V matematice hraje homomorfismus zvláštní roli, protože umožňuje vytvořit spojení mezi dvěma algebraickými strukturami. Jednou z důležitých otázek, které se objevují při studiu homomorfismů, je otázka normality jádra homomorfismu.
Jádro homomorfismu je podskupina skupiny, která je zdrojem homomorfního zobrazení. Důkaz normality jádra homomorfismu je jedním z klíčových kroků při pochopení vlastností a struktury skupin.
Pro důkaz normálnosti jádra homomorfismu je nutné prokázat, že jakýkoli prvek jádra při násobení s některým prvkem ze skupiny zůstává v jádře. Formálně, pokud jsou skupiny G A H A f: G → H homomorfismus, pak je jádro homomorfismu označované ker (f) normální podskupinou v G.
Důkaz normality jádra homomorfismu zahrnuje použití definice homomorfismu a algebraických vlastností skupin. Pomocí přísnosti matematického uvažování a logické posloupnosti lze stanovit, že jádro homomorfismu splňuje podmínku normální podskupiny.
Definice homomorfismu
Nechte nastavit dvě skupiny G A H s operacemi * a⨂. Homomorfismus mezi skupinami G A H je funkce f: G → H, takže pro všechny prvky a A B Z G je splněna podmínka:
To znamená, že homomorfismus zachovává výsledek operace mezi prvky skupiny G tím, že je přenese do skupiny H. Je důležité poznamenat, že homomorfismus nemusí být nutně injektivní nebo surjektivní zobrazení.
Pomocí homomorfismů můžeme studovat vlastnosti skupiny G analýzou jejích homomorfních obrazů v jiných skupinách. Například důkaz normality jádra homomorfismu nám umožňuje porozumět struktuře podskupiny G, která je jádrem daného homomorfismu.
Důkaz uzavřenosti při operaci
Předpokládejme, že máme homomorfismus f: G → H mezi dvěma skupinami G A H. Aby bylo možné prokázat, že jádro f je uzavřeno v provozu, je nutné a dostatečné ukázat, že u všech dvou prvků a, b z jádra f, jejich součin ab také patří k jádru.
Důkaz uzavřenosti operace začíná předpokladem, že a A b jsou v jádru f:
- Podle definice, f(a) = eH kde eH - neutrální prvek ve skupině H.
- Podobně, f (b) = eH.
- Vezměme si dílo ab:
Nejprve použijeme homomorfismus k tomuto dílu: f(ab) = f(A)f (b).
Takže jsme se ujistili, že dílo ab patří jádru f.
Tímto způsobem bylo prokázáno, že jádro f je uzavřeno v provozu. Tato vlastnost umožňuje použití jádra v dalším uvažování a výzkumu skupin na základě jeho struktury a vlastností.
Důkaz zachování neutrálního prvku
Pro důkaz zachování neutrálního prvku při homomorfismu $f: G
igtarrow G '$ musí ukázat, že obraz prvku $e \in G$, kde $e$ je neutrální prvek, je také neutrálním prvkem v $g'$.
$ E \in G $ je neutrální prvek A $F: G
igtarrow G ' $ - homomorfismus. Tehdy:
1. Důkaz $F (e) = e'$, kde $e '$ je neutrální prvek pro $G'$:
Zvažte součin $f(e) \cdot f (g)$ pro libovolný $g \In g$. S ohledem na vlastnosti homomorfismu, máme:
$f(e) \cdot f(g) = f(e \cdot g)$
Protože $e$ je neutrální prvek, pak $e \cdot g = g$ pro jakýkoli $g \In g$. Tehdy:
Takže místo $e \in G$ v uvažované rovnosti můžete nastražit $f (e) \in G'$. Získat:
A to je přesně vlastnost jednotkového prvku!
Je tedy prokázáno, že obraz neutrálního prvku v homomorfismu je také neutrálním prvkem pro příslušnou skupinu $G'$.
Poznámka: tento důkaz platí pouze pro skupiny s operací násobení.
Důkaz normálnosti jádra
Důkaz normality jádra homomorfismu je založen na definici normální podskupiny.
Nechť je dán homomorfismus skupin f G → H, kde G A h skupiny.
Jádro homomorfismu se nazývá množina k = f (g) = eH kde eH - neutrální prvek ve skupině H.
Chcete-li prokázat normálnost jádra, musíte prokázat, že je normální podskupinou skupiny G.
K tomu je třeba zkontrolovat následující podmínky:
- Uzavřenost ohledně operace skupiny G: pro všechny dva prvky g1, g2 ∈ K, jejich dílo g1g2 mělo by také patřit do množiny k.
- Uzavřenost vůči reverznímu prvku: pro jakýkoli prvek g ∈ K by jeho reverzní prvek g -1 měl také patřit do množiny k.
- Uzavřenost ohledně konjugace: u všech dvou prvků g ∈ K A H ∈ G by jejich párování hgh -1 mělo také patřit k množině k.
Pokud jsou splněny všechny tyto podmínky, je jádro normální podskupinou skupiny G.