Ciro Santilli $$ Sponsor Ciro $$ 中国独裁统治 China Dictatorship 新疆改造中心、六四事件、法轮功、郝海东、709大抓捕、2015巴拿马文件 邓家贵、低端人口、西藏骚乱
🔗

Normal subgroup

| 🗖 nosplit | ↑ parent "Quotient group" | words: 149 | descendant words: 554 | descendants: 8
🔗
🔗
Only normal subgroups can be used to form quotient groups: their key definition is that they plus their cosets form a group.
🔗
🔗
One key intuition is that "a normal subgroup is the kernel" of a group homomorphism, and the normal subgroup plus cosets are isomorphic to the image of the isomorphism, which is what the fundamental theorem on homomorphisms says.
🔗
Therefore "there aren't that many group homomorphism", and a normal subgroup it is a concrete and natural way to uniquely represent that homomorphism.
🔗
The best way to think about the, is to always think first: what is the homomorphism? And then work out everything else from there.
🔗
🔗

Ancestors

🔗