Dihedral grupp
Den dihedrala gruppen är ett begrepp inom matematik, den betecknas och avser symmetrigruppen för en regelbunden polygon. Elementen i den dihedrala gruppen utgörs av permutationer som avbildar n-hörningens punkter på sig själva, under det att avståndet mellan alla punkter bevaras. Tillsammans med en binär operator i form av sammansättning av avbildningar, bildar mängden av alla sådana avbildningar en grupp. En dihedral grupp Dn har ordningen 2n, dvs antalet symmetriavbildningar är totalt 2n stycken (av denna anledning betecknas gruppen ibland D2n).
Grupper är viktiga studieobjekt inom den abstrakta algebran och de dihedrala grupperna är de enklaste exemplen på grupper som inte är abelska grupper, eftersom Dn inte är kommutativ för n > 2 .
Gruppen D1 är isomorf med och är isomorf med Kleins fyrgrupp. Dessa är även unika i avseendet att de inte är delgrupper till de symmetriska grupperna S1 respektive S2. För n > 2 gäller att Dn är en delgrupp i Sn.
Definitioner
[redigera | redigera wikitext]Det finns många sätt att definiera de dihedrala grupperna på, samtliga är ekvivalenta.
- Dn består av de 2n avbilningar som avbildar en regelbunden n-hörning på sig själv. Avbildningarna består av n rotationer och n speglingar.
- För n > 2 kan Dn ses som automorfigruppen, dvs alla avbildningar som bevarar bågar, för en graf bestående av endast en cykel med n noder.
- Dn, för n > 1, kan ses som gruppen med ordning 2n som genereras av två element t och s som uppfyller:
Exempel: En liksidig triangel
[redigera | redigera wikitext]![](http://178.128.105.246/cars-http-upload.wikimedia.org/wikipedia/commons/thumb/3/38/Labeled_Triangle_Reflections.svg/250px-Labeled_Triangle_Reflections.svg.png)
Till exempel är den dihedrala gruppen D3 en abstrakt beskrivning över de sex olika sätt som en liksidig triangel kan avbildas på sig själv. Triangeln kan roteras på tre sätt: 0, 120 och 240 grader. Vidare finns tre symmetrilinjer i vilka triangeln kan speglas, så gruppen har ordning 6. Om Rk är rotation med radianer för och Sk är spegling i de olika symmetrilinjerna kan man ställa upp följande Cayleytabell för gruppen:
R0 | R1 | R2 | S0 | S1 | S2 | |
---|---|---|---|---|---|---|
R0 | R0 | R1 | R2 | S0 | S1 | S2 |
R1 | R1 | R2 | R0 | S1 | S2 | S0 |
R2 | R2 | R0 | R1 | S2 | S0 | S1 |
S0 | S0 | S2 | S1 | R0 | R2 | R1 |
S1 | S1 | S0 | S2 | R1 | R0 | R2 |
S2 | S2 | S1 | S0 | R2 | R1 | R0 |
Exempelvis är , dvs spegling i symmetrilinje 1 följt av spegling i symmetrilinje 0 är likvärdigt med att rotera triangeln 240 grader.
Elementen i gruppen kan ses som permutationer av triangelns hörn. Om hörnen betecknas med 1, 2 och 3, kan permutationerna kan uttryckas på cykelform som:
Man ser då exempelvis att:
Av faktumet att den symmetriska gruppen har element och att är en undergrupp till och har 6 element ser man att och är samma grupp.
Matrisrepresentation
[redigera | redigera wikitext]Om man fixerar centrum av n-hörningen vid origo kan man se elementen i den dihedrala gruppen som linjära avbildningar av planet. Man kan då representera elementen i gruppen som matriser, ett exempel på en grupprepresentation.
Exempelvis kan gruppen representeras av följande matriser under multiplikation:
I allmänhet kan den dihedrala gruppen uttryckas som matriserna:
för .
Referenser
[redigera | redigera wikitext]- Rotman, Joseph (1995). An Introduction to the Theory of Groups. Springer Verlag. sid. 68. ISBN 0-387-94285-8
- Dummit, David; Richard Foote (2004). Abstract Algebra. John Wiley and Sons. ISBN 0-471-43334-9
- Svensson, Per-Anders (2001). Abstrakt Algebra. Studentlitteratur. ISBN 978-91-44-01262-9