Normaali aliryhmä

Ryhmäteoriassa normaali aliryhmä on aliryhmä, joka toteuttaa kaikilla $a\in G\$ ehdon

aN=Na\

eli mielivaltaisen alkion määräämät vasen ja oikea sivuluokka ovat samat. Aliryhmärelaatiota merkitään $N\vartriangleleft G.\,$ Normaalien ryhmien olemassaolo vaikuttaa suuresti ryhmän rakenteeseen. Lisäksi normaalien aliryhmien avulla voidaan konstruoida tekijäryhmiä. [1]

Normaaliuskriteeri

Mikäli $N\leq G\$ , niin seuraavat ehdot ovat yhtäpitäviä

aliryhmä $N$ on normaali ryhmässä $G$ ,
kaikilla $g\in G$ pätee, että $g^{-1}Ng\subset N$ ,
kaikilla $g\in G$ pätee, että $g^{-1}Ng=N\$ ,
$\left[H,G\right]\leq H\,$ ja
on olemassa sellainen ryhmä $H$ ja sellainen homomorfismi $f:G\rightarrow H$ , että aliryhmä $N$ on ryhmän homomorfismin $f$ ydin eli

N=\mathop {\mathrm {ker} } (f)=\{x\in G\ |\ f(x)=1\}.\

Koska ehdot ovat yhtäpitäviä, voitaisiin niistä mikä tahansa valita normaalin aliryhmän määritelmäksi. Monissa ryhmää vastaavissa algebran rakenteissa otetaan käyttöön viimeisen väitteen analogia, kun halutaan määritellä normaalia aliryhmää vastaava rakenne. Esimerkiksi luupeissa normaalin aliluupin määritelmä on usein helpointa tehdä luuppihomomorfismien avulla. Toisaalta kommutativiisia renkaita tutkittaessa normaalia aliryhmää vastaava rakenne on ideaali. Vaikka ideaalin määritelmä ei suoraan muistuta normaalin aliryhmän määritelmää, niin kommutatiivisen ryhmän osajoukko on ideaali jos ja vain jos se on jonkin rengashomomorfismin ydin.

Todistus eräälle normaaliuskriteerille

Monesti aliryhmän normaalius selvitetään käyttämällä nk. normaaliuskriteeriä, jonka mukaan ryhmän $G$ aliryhmä $N$ on normaali, jos ja vain jos $ana^{-1}\in N\quad \forall a\in G,n\in N.\,$

Tämä normaaliuskriteeri voidaan todistaa seuraavasti: Oletetaan aluksi, että $N$ on ryhmän $G$ normaali aliryhmä. Koska sivuluokat yhtyvät, voidaan valita mielivaltaiset sivuluokkien alkiot $an=ma\$ , missä $m,n\in N$ . Kertomalla tämä alkion $a\$ käänteisalkiolla, saadaan $ana^{-1}=m\in N.\$ Oletetaan sitten väitteen oikea puoli todeksi ja tutkitaan alkiota $a\in G.\$ Osoitetaan, että $aN=Na\$ . Valitaan $n\in N\$ ja merkitään $ana^{-1}=m_{1}\$ , jossa $m_{1}\in N\$ . Kertomalla oikealta alkiolla $a\$ saadaan $an=m_{1}a\in Na\$ . Siis $aN\subseteq Na\$ . Tehdään samoin korvaamalla alkio $a\$ alkiolla käänteisalkiollaan. Siis $a^{-1}na=m_{2}\$ , $m_{2}\in N\$ , josta saadaan $na=am_{2}\$ eli $Na\subseteq aN\$ . Kokonaisuudessaan siis $Na=aN\$ , eli aliryhmä $N$ on normaali.

Esimerkkejä ja ominaisuuksia

Triviaali aliryhmä $\{1\}\$ ja ryhmä itse ovat aina ryhmän normaaleja aliryhmiä.
Ryhmän keskus $Z(G)\,$ on aina normaali ryhmässä $G.\,$
Ryhmän derivaattaryhmät $G^{(k)}\,$ , missä $k\in \mathbb {N} \,$ ovat aina normaaleja ryhmässä $G.\,$
Abelin ryhmän jokainen aliryhmä on normaali.
Jos aliryhmän $H\,$ indeksi ryhmässä on 2, niin $H\vartriangleleft G.\,$
Jos ryhmän $G\,$ on äärellinen, p on ryhmän $G\,$ kertaluvun pienin alkutekijä ja aliryhmän $H\,$ indeksi ryhmässä on p, niin $H\vartriangleleft G.\,$
Jos $N\vartriangleleft G,\,$ niin aliryhmän $N\,$ alkiot melkein kommutoivat muiden aliryhmään kuulumattomien alkioiden kanssa sillä jos $a\in G\,$ ja $n\in N,\,$ niin on olemassa sellainen alkio $m\in N,\,$ että $an=ma.\,$

Lähteet

Häsä, Jokke & Rämö, Johanna: Johdatus abstraktiin algebraan, s. 200–202. Helsinki: Gaudeamus, 2015. ISBN 978-952-495-361-0.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[h1-1] Häsä, Jokke & Rämö, Johanna: Johdatus abstraktiin algebraan, s. 200–202. Helsinki: Gaudeamus, 2015. ISBN 978-952-495-361-0.