Ratkeava ryhmä

Ryhmäteoriassa ratkeavalla ryhmällä tarkoitetaan ryhmää, jonka jonkin kertaluvun derivaattaryhmässä on vain yksi alkio.Humphreys, s. 150–151 Yhtäpitävästi voidaan määritellä, että ryhmä on ratkeava, jos sillä on normaalijono, jonka kompositiotekijät ovat Abelin ryhmiä.Humphreys, s. 146 Ratkeavuus on saanut nimensä Évariste Galois’n polynomiyhtälöiden ratkeavuutta koskevasta työstä (ks. Abelin–Ruffinin lause). Galois osoitti, että jokaiseen polynomiyhtälöön liittyy yksikäsitteinen ryhmä, jota nykyään kutsutaan tämän polynomin Galois’n ryhmäksi ja että tämän ryhmän ratkeavuus on yhtäpitävää polynomiyhtälön tietyntyyppisten juurien olemassaololle ("polynomin ratkeavuus").

Määritelmien yhtäpitävyys

Osoitetaan, että kaksi edellä esitettyä määritelmää ovat todella yhtäpitävät. Oletetaan aluksi, että ryhmä G on ratkeava ensimmäisen määritelmän mielessä. Eräs derivaattaryhmien perusominaisuus on se, että ''H on H:n (aito tai epäaito) normaali aliryhmä, eli  kaikilla ryhmillä H. Näin ollen ratkeavuuden ensimmäisen määritelmän nojalla saadaan  jollain n, missä siis G(k) on G:n kertalukua k oleva derivoitu ryhmä. Saatu jono on G:n kompositiojono ja sen tekijät G(k-1)/G(k) ovat derivaattaryhmien perusominaisuuksien nojalla Abelin ryhmiä. Siispä ensimmäisestä määritelmästä seuraa toinen.

Oletetaan sitten, että ryhmä G on ratkeava toisen määritelmän mukaan, jolloin siis on olemassa normaalijono , jolla tekijät Ai/Ai-1 ovat Abelin ryhmiä. Tässä kohtaa hyödynnetään taas yhtä derivaattaryhmien perustavanlaatuisista ominaisuuksista, nimittäin sitä, että jos mielivaltaisen ryhmän H aliryhmä F on normaali ja tekijäryhmä  on Abelin ryhmä, niin H on F:n aliryhmä. Tätä tietoa käyttäen nähdään, että G' ≤ Ar-1. Aliryhmärelaatiot säilyvät ryhmiä derivoitaessa , joten tästä seuraa myös G(2) ≤ Ar-2, G(3) ≤ Ar-3 ja niin edelleen. Lopulta saadaan G(r) ≤ A0 = {1}. Siispä G(r) = {1}, eli G ratkeava myös ensimmäisen määritelmän mielessä. Näin ollen määritelmät ovat yhtäpitävät.

Ratkeavia ja ratkeamattomia ryhmiäSymmetrinen ryhmä Sn on ratkeava tarkalleen silloin, kun 1 ≤ n ≤ 4.Äärellinen ryhmä''' on ratkeava tarkalleen silloin, kun sen kompositiotekijät ovat syklisiä ryhmiä, joiden kertaluku on alkuluku.Humphreys, s. 148
Jos erityisesti äärellisen ryhmän kertaluku on jonkin alkuluvun potenssi (ks. p-ryhmä), niin ryhmä on ratkeava.Humphreys, s. 155
Burnsiden lauseen mukaan äärellinen ryhmä G, jonka kertaluku on muotoa #G = paqb, missä p ja q ovat alkulukuja on aina ratkeava.
Burnsiden otaksuman (todistettu oikeaksi v. 1963) mukaan jokainen äärellinen paritonta kertalukua oleva ryhmä on ratkeava.
Kolmella alkuluvulla jaollinen ryhmä ei aina ole ratkeava. Edellisen kohdan perusteella kertaluvun on tällöin oltava parillinen.
Abelin ryhmät ovat aina ratkeavia, sillä niillä G = {1}.Humphreys, s. 149

 Lähteet 


 Viitteet 

Luokka:Ryhmäteoria