Definition:Normal Subgroup/Notation
Jump to navigation
Jump to search
Definition
The statement that $N$ is a normal subgroup of $G$ is represented symbolically as $N \lhd G$.
A normal subgroup is often represented by the letter $N$, as opposed to $H$ (which is used for a general subgroup which may or may not be normal).
To use the notation introduced in the definition of the conjugate:
- $N \lhd G \iff \forall g \in G: N^g = N$