Natural homomorphism of group theory ↩

Metadata 
shorthands: {}
aliases: [Natural projection of group theory]
created: 2021-12-06 13:29:42
modified: 2022-01-10 04:13:02

is a group and is a normal subgroup.
Then is the natural homomorphism.1

Proof that it is a homomorphism

turns the input into the coset that it represents, . Now it is easy to see that:

So is really a homomorphism.

  1. Where is the Quotient group
    ↩