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.

- Quotient group | 45, 916, 10
- Subgroup | 0, 916, 12
- Group | 0, 2k, 47
- Algebra | 0, 2k, 65
- Mathematics | 17, 10k, 239
- Ciro Santilli's Homepage | 238, 147k, 2k

- The best articles by Ciro Santilli | 2k
- Fundamental theorem on homomorphisms | 29
- Group extension problem | 108
- Group homomorphism | 95, 124, 2
- Relationship between the quotient group and direct products | 304
- Simple group | 48
- Subquotient | 64