Definition:Normal Subgroup/Notation

From ProofWiki
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$