Matt: Suppose F is a computable ordered field and G is the set of (a,b) in F^2 with a nonzero orderded lexicographicly such that (a,b)(c,d)=(ac,b+ad) (think of composing maps x-->ax+b). Then G is an ordered group and it is non-abelian. Dave