Definition talk:Trivial Group

From ProofWiki
Jump to navigation Jump to search

Should there be a separate definition for Non-Trivial Group? Most of the references I encounter are to the latter. --Lord_Farin (talk) 07:42, 8 October 2012 (UTC)

I see no reason why not. There is precedent: non-empty set, non-null ring, from what I recall, are things we already have. --prime mover (talk) 09:17, 8 October 2012 (UTC)
Done, Definition:Non-Trivial Group. I will start spitting through the references to make them point to the correct page. --Lord_Farin (talk) 10:46, 8 October 2012 (UTC)
...and that's also dealt with. --Lord_Farin (talk) 11:05, 8 October 2012 (UTC)