Normala subgrupo

subgrupo invarianta sub konjugado

Je grupoteorio, normala subgrupo[1] estas subgrupo, per kiu oni povas difini kvocientan grupon.

DifinoRedakti

Subgrupo   en grupo   estas normala se ĝi plenumas la jenan aksiomon.

  • La konjugaĵo de iu ajn elemento   en la subgrupo per iu ajn elemento   en la tuta grupo apartenas al la subgrupo (t.e.  ).

La notacio   signifas ke   estas normala subgrupo de la grupo  .

EkzemplojRedakti

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

En iu ajn grupo  , la triviala subgrupo   kaj la tuta subgrupo   estas normalaj.

ReferencojRedakti

Eksteraj ligilojRedakti