Normala subgrupo

Ŝablono:Algebraj strukturoj En grupoteorio, normala subgrupo estas subgrupo, per kiu oni povas difini kvocientan grupon.

Difino

Subgrupo $N\le G$ en grupo $G$ estas normala se ĝi plenumas la jenan aksiomon.

• La konjugaĵo de iu ajn elemento $n\in N$ en la subgrupo per iu ajn elemento $g\in G$ en la tuta grupo apartenas al la subgrupo (t.e. $gn{g}^{-1}\in N$).

La notacio $N◃G$ signifas ke $N$ estas normala subgrupo de la grupo $G$.

Ekzemploj

Konjugado estas triviala en komuta grupo; tial, ĉiu subgrupo de komuta grupo estas normala.

En iu ajn grupo $G$, la triviala subgrupo $\{1_G\}$ kaj la tuta subgrupo $G$ estas normalaj.

Eksteraj ligiloj

• Ŝablono:Mathworld
• Ŝablono:Citaĵo el la reto