Talk:Inversion Mapping on Ordered Group is Dual Order-Isomorphism

From this and your result, it looks like we get a very strong, but hard to describe, fact that the inversion mapping on an ordered group is an order isomorphism and a group isomorphism to the opposite group with the dual ordering. --Dfeuer (talk) 23:45, 22 February 2013 (UTC)