Talk:Ordered Group Equivalences

I'm not sure how to refactor this, or whether it even makes sense to refactor it. It's a good textbook exercise, but I think for the purpose of providing a comprehensive assortment of theorems on which to build other ones, the version at Properties of Ordered Group does a better job. --Dfeuer (talk) 22:53, 22 February 2013 (UTC)