More precisely, given a group order on formula_9 there exist an integer and linear forms with real coefficients, such that the induced map formula_10 from formula_1 into formula_12 has the following properties;