Aliryhmäkriteeri

Wikipediasta
Siirry navigaatioon Siirry hakuun

Aliryhmäkriteeri on ryhmäteorian lause, joka kertoo, milloin ryhmän osajoukko on ryhmän aliryhmä. Aliryhmäkriteerin hyödyllisyys perustuu siihen, että rakenteen todentaminen assosiatiiviseksi (liitännäiseksi) on usein hyvin työlästä. Joukko on usein helpompi näyttää ryhmäksi vain osoittamalla, että se on jonkin tunnetun ryhmän aliryhmä.

Olkoon G ryhmä ja H sen osajoukko. Tällöin H on ryhmän G aliryhmä, jos ja vain jos

  • H on epätyhjä (ehto 1)
  • ab⁻¹ ∈ H aina, kun a, bH (ehto 2).

Todistuksessa näytetään, että

  • jos H on ryhmä, niin se täyttää ehdot 1 ja 2 (väite 1)
  • jos H täyttää ehdot 1 ja 2, niin H on ryhmä (väite 2).

Osoitetaan väite 1. Ryhmän määritelmän mukaan ryhmässä on neutraalialkio e. Siispä eH, joten H on epätyhjä, eli ehto 1 toteutuu. Ehdon 2 toteutuminen nähdään seuraavasti: oletetaan, että a, bH. Ryhmän määritelmän nojalla jokaisella ryhmän alkiolla on käänteisalkio, joka kuuluu ryhmään. Erityisesti siis alkiolla bH on olemassa käänteisalkio b⁻¹ ∈ H. Koska nyt a, b⁻¹ ∈ H ja laskutoimitus on ryhmän määritelmän nojalla vakaa, niin ab⁻¹ ∈ H aina, kun a, bH.

Osoitetaan väite 2. Todistuksen ideana on osoittaa, että ehtojen 1 ja 2 ollessa voimassa joukko H täyttää ryhmän määritelmän ehdot, jotka ovat laskutoimituksen vakaus ja liitännäisyys sekä neutraalialkion ja käänteisalkioiden olemassaolo.

Laskutoimituksen liitännäisyys on voimassa ryhmässä G, joten se on voimassa myös joukossa H.

Neutraalialkio on olemassa ja se kuuluu joukkoon H. Tämä seuraa ehdosta 2. Koska ab⁻¹ ∈ H kaikilla a, bH, niin erityisesti aa⁻¹ ∈ H kaikilla aH. Koska aa⁻¹ = e, niin eH.

Jokaisella joukon H alkiolla on käänteisalkio, joka kuuluu joukkoon H. Tämä seuraa ehdosta 2 ja neutraalialkion olemassaolosta. Koska ab⁻¹ ∈ H kaikilla a, bH, niin erityisesti ea⁻¹ ∈ H kaikilla aH (eH). Koska ea⁻¹ = a⁻¹, niin a⁻¹ ∈ H.

Laskutoimitus on vakaa. Tämä seuraa ehdosta 2 ja käänteisalkioiden olemassaolosta. Jos a, bH, niin edellisen nojalla myös b⁻¹ ∈ H. Siispä ehdon 2 nojalla a(b⁻¹)⁻¹ ∈ H kaikilla a, b⁻¹ ∈ H. Koska pätee a(b⁻¹)⁻¹ = ab, niin abH kaikilla a, bH.

Siispä H täyttää ryhmän ehdot, joten ryhmän G osajoukkona se on ryhmän G aliryhmä.

Aliryhmäkriteeri äärellisissä ryhmissä

[muokkaa | muokkaa wikitekstiä]

Äärellisissä ryhmissä aliryhmäkriteeri yksinkertaistuu hieman. Jos G on äärellinen ryhmä ja bH, niin on olemassa sellainen positiivinen kokonaisluku n, että bn = e. Tällöin alkion b käänteisalkio on bn−1. Siis jos tällöin ehto abH pätee aina, kun a, bH, niin induktiivisesti voidaan päätellä myös, että ab⁻¹ = abn−1H. Tällöin aliryhmäkriteerin perusteella H on ryhmä. Triviaalisti ryhmissä väite pätee toiseen suuntaan. Toiseen suuntaan päättely on triviaali, joten saadaan aliryhmäkriteeri äärellisille ryhmille:

Olkoon G äärellinen ryhmä ja H sen osajoukko. Tällöin H on ryhmän G aliryhmä, jos ja vain jos

  • H on epätyhjä (ehto 1)
  • abH aina, kun a, bH (ehto 2).

Todistuksen perusteella itse asiassa ehtoja voitaisiin vieläkin hieman heikentää. Ryhmän G äärellisyyden sijasta voitaisiin olettaa vain, että ryhmän G jokaisella alkiolla olisi äärellinen kertaluku. Päättely sujuisi tällöin kuten edellä.

Kirjallisuutta

[muokkaa | muokkaa wikitekstiä]