Quotient group ↩

Metadata

aliases: []
shorthands: {}
created: 2021-12-06 13:20:31
modified: 2022-01-10 04:13:04

is a group and

.
Then

is also a group with the set product "

Proof that it is indeed a group

We need to check the group axioms:

Is the product of two cosets is always a coset?

Easy to see that it is true.