In my previous post F is an ordered field G should be the group of pairs (a,b) where a>0 ^^^ then multiplication (a,b)(c,d)=(ac,b+ad) preserves the lexicographic order.