Normal Subgroup

algebra

Definition

Normalteiler

Normal Subgroup

A group $(N,\circ )$ is called normal subgroup of group $(G,\circ )$, denoted as $N⊴G$ if:

$$N⊴G:⟺\forall a,b\in G:(a\circ N)\circ (b\circ N)=(a\circ b)\circ N$$