Browsing by Author "Arppe, Alli-Kaisa"

Coxeterin ryhmät ovat ryhmiä, joille voidaan antaa esitys G=<s_1, ... s_d: s2_i=1, (s_i s_j)^m_{ij}=1> missä m_{ij}ЄZ. Tämän pro gradun tehtävänä on näyttää, että kyseisen rajoitetun esityksen ryhmiä on rajallinen määrä sekä esittää niiden luokittelu. Luokitteluun tarvittavia työkaluja ovat Coxeterin graafit ja matriisit. Pro gradussa muistutetaan tarpeellisista lineaarialgebran määritelmistä sekä annetaan taustatietoa positiividefiniitti ja positiivisemidefiniitti matriiseista. Lisäksi käydään läpi ryhmäteorian taustoja ja erityisesti ryhmien esittämistä generaattoreiden ja relaatioiden avulla. Taustatietojen jälkeen määritellään Coxeterin graafit muutamien esimerkkien kera ja selitetään miten matriisi voidaan johtaa Coxeterin graafin esityksestä. Työssä näytetään, että kaikki listatut Coxeterin graafit ovat joko positiividefiniittejä tai positiivisemidefiniittejä sekä todistetaan, että ne ovat ainoat positiividefiniitti ja -semidefiniitti graafit. Luokittelu loppuu siihen. Lopuksi pro gradussa annetaan yleisempi kuvaus rajallisten heijastusten ryhmistä (finite reflection groups).