Ehsaan Hossain, Department of Pure Mathematics, University of Waterloo
“Connell’s Theorem, Part II”
Continuing the proof of Connell’s Theorem: if G has no finite normal subgroups then K[G] is a prime ring. Last time we showed that if ∆(G) is the FC center of G then K[∆(G)] is a commutative domain. We’ll bootstrap this to get prime-ness of K[G], so we’ll need to describe a correspondence of ideals between K[∆(G)] and K[G].
MC 5403