Ryhmäteoria
Ryhmäteoria on matematiikan osa-alue, joka keskittyy tutkimaan ryhmiä. [1] Sillä on useita sovelluksia fysiikassa ja kemiassa.
Monet kuvaukset säilyttävät joitakin struktuurin ominaisuuksia. Niinpä ryhmäteoriassa automorfismiryhmä on tärkeä käsite. Automorfismien muodostamaa ryhmää kutsutaan symmetriaryhmäksi. [1]
Galois’n teoria tutkii polynomien ratkeavuutta ryhmäteorian keinoin. [1] Sen avulla voidaan polynomien ratkeavuus palauttaa ryhmän ratkeavuuteen. Tätä ryhmien ratkeavuutta on helpompi käsitellä kuin yhtälöiden ratkeavuutta.
Abelin ryhmä on eräs ryhmäteorian perustyökalu, ja se on perustana myös monimutkaisemmille algebrallisille rakenteille, kuten renkaille, kunnille ja moduleille. [1]
Historia
muokkaaRyhmäteorian kehityshistoriassa on kolme tutkimushaaraa:
- 1. geometria 1800-luvun alkupuolella,
- 2. lukuteoria 1700-luvun loppupuolella ja
- 3. algebrallisten yhtälöiden teoria 1700-luvun lopulla johtaen permutaation tutkimiseen.
Tarkastellaan seuraavaksi näitä kolmea tutkimushaaraa erikseen.
- 1) 1800-luvun alussa geometria alkoi menettää suoraa yhteyttään empiiriseen mittaamiseen.. Keskityttiin tutkimaan epäeuklidista geometriaa ja n -dimensioisia avaruuksia. Tämä aiheutti geometrian kehittymisen abstraktimpaan suuntaan. Epäeuklidista geometriaa tutkivat erityisesti Carl Friedrich Gauss, Johan Heinrich Lambert ja Nikolai Lobatševski.
- 2) Vuonna 1761 Leonhard Euler tutki modulaarista aritmetiikkaa. Erikoisesti hänen tutki lukujen potenssien jäännöksiä modulo n. Vaikkei Euleria parhaiten tunnetakaan ryhmäteoriasta, hän antoi aikoinaan esimerkkejä myös siltäkin alalta. Euler antoi esimerkkejä Abelin ryhmän dekompositioista ja aliryhmien sivuluokista. Hän todisti myös erikoistapauksen, jossa aliryhmän kertaluku jakaa ryhmän kertaluvun.
- 3) Joseph-Louis Lagrange tutki ensimmäisenä permutaatioita 1770-luvulla algebrallisten yhtälöiden yhteydessä. Hänen päätavoitteensa oli selvittää kuinka ratkaistaan toisen ja kolmannen asteen yhtälöitä algebrallisesti. Lagrange ei kuitenkaan koskaan koonnut permutaatioihin liittyviä töitään. Kuitenkin hänen voidaan sanoa laittaneen alulle permutaatioryhmien tutkimisen.
Ryhmien pääluokat
muokkaaPermutaatioryhmät
muokkaaPermutaatioita esiintyy lähes joka puolella matematiikassa sekä käytännön elämässä. Juuri tämän vuoksi ryhmäteoriassa alettiin ensimmäisenä tutkia permutaatioryhmiä. Hyvänä käytännön esimerkkinä permutaatioista toimii Rubikin kuution siirrot.
Matemaattisesti määriteltynä permutaatio tarkoittaa bijektiota joukolta itselleen. Permutaatio sanana merkitsee muutosta tai vaihtoa eli jonkin joukon sisäistä muutosta, jolloin alkiot kuitenkin säilyvät ennallaan. Uusi avaamaton korttipakka on aluksi tietyssä järjestyksessä. Nyt, jos järjestystä muutetaan esimerkiksi siten, että ruutuässän tilalle laitetaankin pataässä, voidaan kuvitella ruutuässän kuvautuvan pataässäksi.
Permutaatiota voidaan tarkastella monesta eri näkökulmasta. Kun korttipakan järjestystä muutetaan tietyllä operaatiolla, voidaan sen kuvitella olevan eräänlainen permutaatio. Toisaalta permutaatio voi myös tarkoittaa saavutettua lopputulosta, johon korttipakka järjestämisoperaation jälkeen muotoutuu. Jos jonkin joukon alkiot kuvitellaan numeerisesti tiettyyn järjestykseen, voi permutaatio tarkoittaa myös järjestysnumeroiden muuttumista.
Matriisiryhmät
muokkaaSeuraava tärkeä ryhmien pääluokka on matriisiryhmät (lineaariset ryhmät), joka nimensä mukaisesti koostuu -matriiseista. Kyseisten ryhmien operaatiot tapahtuvat siis n -dimensioisessa vektoriavaruudessa. Tämän vuoksi matriisiryhmät voidaan käsitteellisesti samaistaa permutaatioryhmiin.
Translaatioryhmät
muokkaaTranslaatioryhmät ovat suljettuja rakenteensa suhteen. Jos esimerkiksi ryhmään tehdään translaatiot eli siirrot tai muutokset ja , on ensin suoritettava operaatio ja sitten vasta operaatio .
Käsitteellisesti translaatioryhmä voidaan samaistaa symmetriseen ryhmään. Translaatioryhmät koostuvat siis niistä kaikista translaatioista, jotka säilyttävät ryhmän yksinkertaisen rakenteen.
Abstraktit ryhmät
muokkaaRyhmäteoria kehittyi aluksi konkreettisimmista edellä mainituista ryhmäluokista. Ryhmäoperaatioita käsiteltiin siis luvuilla, permutaatioilla ja matriiseilla. Abstrakti ryhmä käsitteenä kuuluu moderniin eli abstraktiin algebraan.
Ryhmä koostuu esimerkiksi alkioista . Jos ryhmä on suljettu binäärioperaation * suhteen, niin voimassa ovat seuraavat neljä ehtoa:
- 1. Operaatio * on suljettu joukossa eli kaikilla joukon alkioilla ja on voimassa kuuluu joukkoon .
- 2. Assosiatiivilaki on voimassa joukon alkioille
- 3. Neutraalialkion olemassaolo: .
- 4. Käänteisalkion olemassaolo: .
Abstrakti ryhmä voidaan esittää vektoriavaruuksien lineaarimuunnoksina. Tätä tapaa kutsutaan ryhmän esitykseksi.
Topologiset ryhmät
muokkaaTopologinen ryhmä koostuu topologisesta avaruudesta, jossa ryhmällä ovat voimassa seuraavat operaatiot:
- 1. ja
- 2. käänteisalkio: .
Nämä edellä mainitut operaatiot muodostavat jatkuvat funktiot.
Lähteet
muokkaa- Borel, Armand: Linear algebraic groups, s. 126. Berlin, New York: Springer-Verlag, 1991. ISBN 978-0-387-97370-8
- Carter, Nathan C.: Visual group theory. Mathematical Association of America, 2009. ISBN 978-0-88385-757-1 Teoksen verkkoversio.
- http://en.wikipedia.org/wiki/Group_theory tarvitaan parempi lähde
- http://www.mv.helsinki.fi/home/jramo/Rubik_2010/materiaali_luku2.pdf
- http://aleph0.clarku.edu/~djoyce/modalg/transgroups.html
- http://www.cmth.ph.ic.ac.uk/people/d.vvedensky/groups/Chapter2.pdf (Arkistoitu – Internet Archive)
- http://www-groups.dcs.st-and.ac.uk/history/HistTopics/Development_group_theory.html (Arkistoitu – Internet Archive)
- http://www-math.mit.edu/~etingof/groups.pdf
Viitteet
muokkaa- ↑ a b c d Häsä, Jokke & Rämö, Johanna: Johdatus abstraktiin algebraan, s. 43–48. Helsinki: Gaudeamus, 2015. ISBN 978-952-495-361-0