Talk:Cosets are Equivalent

From ProofWiki
Jump to navigation Jump to search

The special case smells suspiciously like a corollary; if agreed, it should be moved to a subpage (more so as I imagine this is a form of the result which is often referred to). --Lord_Farin (talk) 21:47, 8 October 2012 (UTC)

Good call. Feel free to do so, if I haven't got there before you (won't be tonight, I'm on an early tomorrow). Leave the citations in, I'll sort them when I get there. --prime mover (talk) 22:00, 8 October 2012 (UTC)
It's even worse; the "special case" is inextricably interwoven with the rest of the result (in the proofs at least). I am not able to decide what is the intention of this result, what is to be viewed as an easy corollary, and what is plainly not demonstrated by the proofs currently up. --Lord_Farin (talk) 13:17, 9 October 2012 (UTC)