Talk:Product of Positive Element and Element Greater than One

From ProofWiki
Jump to navigation Jump to search

Hope you don't mind, I've started a new category. --prime mover (talk) 18:15, 3 January 2013 (UTC)

Concerning the eqn template: please contemplate the changes I've made to its structure. I hope you agree it is more readable this way. --Lord_Farin (talk) 18:57, 3 January 2013 (UTC)

Multiplying the other way

*sigh*. This same result holds, with the same proof, if you multiply the element greater than one by the positive element. Since the ring may not be commutative, this one does not trivially imply that one. --Dfeuer (talk) 20:02, 3 January 2013 (UTC)

Simply state both on this page. There is intuitively no difference between the two. This can be formalised by something like the Definition:Opposite Group but for the ring product. --Lord_Farin (talk) 20:39, 3 January 2013 (UTC)