Normal Subgroup

Definition

A Subgroup $N$ of $G$ that is Invariant under Conjugation by members of the same Group $G$.

Formal definition

A subgroup $N$ is a normal subgroup $⟺gn{g}^{-1}\in N,\forall g\in G,n\in N$

Subgroup Notation

$N⊴G$