Talk:Non-Zero Real Numbers under Multiplication form Abelian Group
Jump to navigation
Jump to search
Am I missing something or does this follow from: Real Numbers under Multiplication form Monoid, Inverse 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)
- ... which has now been attended to. --prime mover (talk) 18:32, 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)
- Unless (according to a recent informal ruling):