The lexicographical ordering may also be used to characterize all group orders on formula_5 In fact, linear forms with real coefficients, define a map from formula_1 into formula_7 which is injective if the forms are linearly independent (it may be also injective if the forms are dependent, see below).