Normal subgroup ↩

Metadata

shorthands: {}
aliases: [Invariant subgroup, Self-conjugate subgroup]
created: 2021-12-06 13:07:47
modified: 2022-01-10 04:13:04

is a normal subgroup of

and

Natural language: left and right cosets are equal.

Notation

The equation does not have to hold element-wise
For any finite , if , then , since it only has a single coset, be it right or left