Faktorová grupa neboli faktorgrupa nebo podílová grupa je v teorii grup grupa odvozená od dvou jiných grup způsobem, který zobecňuje dělení na grupy. V univerzální algebře je možné definovat faktorovou grupu jako grupu, která je faktoralgebrou jiné grupy.
Definice
Rozklady podle podgrupy
- Levým rozkladem grupy podle podgrupy je množina
kde množiny se nazývají levé třídy rozkladu.
- Pravým rozkladem grupy podle podgrupy je množina
kde množiny pravé třídy rozkladu.
Normální podgrupa
Podgrupa grupy je normální, značíme , pokud pro všechny platí .
Příklad
Faktorgrupa
Jestliže je normální podgrupa grupy (symbolicky: ), můžeme na množině levých rozkladových tříd zavést grupovou operaci
.
Pak množina levých rozkladových tříd s touto operací tvoří opět grupu, která se nazývá faktorová grupa podle normální podgrupy a značí se .
Příklady
- Je-li libovolná grupa s násobením, pak a jsou její normální podgrupy. Pro příslušné faktorové grupy platí a .
- Množina všech násobků čísla je normální podgrupou aditivní grupy , faktorová grupa je isomorfní s grupou .
Hlavní věty o faktorových grupách
Nechť je homomorfizmus grup. Pak jádro Ker(f) je normální podgrupa G a definuje izomorfizmus grup
Nechť . Pak ke každému homomorfismu grup, pro který , existuje jediný homomorfismus takový, že (kde je projekce na ).
Nechť N a H jsou normální podgrupy G a N je podgrupa H. Pak N je normální podgrupa H, H/N je normální podgrupa G/N a platí
Související články
Literatura
STANOVSKÝ, David. Základy algebry. Praha: Matfyzpress, 2010. 153 s. ISBN 978-80-7378-105-7. Kapitola Grupy.
Zdroj
Poslední aktualizace obsahu: 2023-11-28 05:42:37
Zdroj: Wikipedia (autoři článku Faktorová grupa)
Licence textu: CC-BY-SA-3.0 Unported
Tento článek byl automaticky přejat z Wikipedie. Na obrázcích nebyly provedeny žádné změny. Obrázky se zobrazují ve zmenšené velikosti (jako miniatury). Kliknutím na obrázek získáte další informace o autorovi a licenci. Byly změněny prvky designu, odstraněny některé odkazy specifické pro Wikipedii (např. odkazy na Editaci a nebo na neexistující hesla) a provedena optimalizace pro rychlé načítání.