Talk:Non-Zero Real Numbers under Multiplication form Abelian Group

From ProofWiki
Jump to navigation Jump to search

Am I missing something or does this follow from: Real Numbers under Multiplication form Monoid, Inverses for Real Multiplication and Invertible Elements of Monoid form Subgroup of Cancellable Elements. Wanfactory (talk) 17:39, 20 December 2016 (EST)

Removing a proof and replacing it with something else is considered suboptimal. See Help:FAQ/Questions about contributions/You undid my corrections. --prime mover (talk) 17:50, 20 December 2016 (EST)
The previous proof was considered questionable. The invertible elements of Monoid result seem to take care of the problematic parts. Wanfactory (talk) 18:13, 20 December 2016 (EST)
Questionable solely because of one technical detail that can be fixed in a straightforward manner. --prime mover (talk) 18:24, 20 December 2016 (EST)
... which has now been attended to. --prime mover (talk) 18:32, 20 December 2016 (EST)
My apologies. Am I correct in understanding that adding an alternate proof is preferrable to completely reworking a questionable proof? Wanfactory (talk) 19:11, 20 December 2016 (EST)
Unless (according to a recent informal ruling):
a) the questionable approach is completely irretrievable, and after discussion on the talk page it has been agreed that it will be disposed of
b) You wrote the questionable proof yourself and you are pretty sure your approach was a dead end
then yes. Deleting someone else's stuff to make way for yours -- particularly if your proof uses a different approach -- is considered to be poor manners. --prime mover (talk) 01:19, 21 December 2016 (EST)