„Coxeter-Gruppe“ – Versionsunterschied
[gesichtete Version] | [gesichtete Version] |
Link zu Wikipedia-Seite für H. S. M. Coxeter | Keine Bearbeitungszusammenfassung | ||
Zeile 8: | Zeile 8: | ||
[[Datei:Finite coxeter.svg|500px|rechts|mini|Klassifikation der Coxeter-Diagramme]] | [[Datei:Finite coxeter.svg|500px|rechts|mini|Klassifikation der Coxeter-Diagramme]] | ||
[[Harold Scott MacDonald Coxeter|Coxeter]] bewies 1934, dass jede Spiegelungsgruppe eine Coxeter-Gruppe ist, und ein Jahr später, | [[Harold Scott MacDonald Coxeter|Coxeter]] bewies 1934, dass jede Spiegelungsgruppe eine Coxeter-Gruppe ist, und ein Jahr später, dass jede [[Endliche Gruppe|endliche]] Coxeter-Gruppe eine Spiegelungsgruppe ist. Weiter klassifizierte er endliche Coxeter-Gruppen durch ihre '''Coxeter-Diagramme'''. Diese sind [[Graph (Graphentheorie)|Graphen]] mit einem Knoten für jeden Erzeuger <math>r_i</math>, Kanten zwischen den <math>r_i</math> und <math>r_j</math> verbindenden Knoten genau für <math>m_{ij}\ge 3</math> und einer Markierung der Kante durch <math>m_{ij}</math> für <math>m_{ij}\ge 4</math>. Die rechts abgebildete Grafik zeigt alle Coxeter-Diagramme, wobei <math>A_n, B_n=C_n</math> und <math>D_n</math> jeweils für jedes <math>n\ge 1</math> einem Coxeter-Diagramm entsprechen. Jedes dieser Diagramme entspricht einer endlichen Spiegelungsgruppe. | ||
== Literatur == | == Literatur == |
Version vom 25. Juli 2022, 15:43 Uhr
In der Mathematik sind Coxeter-Gruppen eine formale Beschreibung und Verallgemeinerung von Spiegelungsgruppen.
Coxeter-Gruppen werden abstrakt definiert als Gruppen mit einer Präsentierung
mit und für . Für soll unendliche Ordnung haben.
Das Paar (W,S) mit wird als Coxeter-System bezeichnet.
![](https://upload.wikimedia.org/wikipedia/commons/thumb/e/e7/Finite_coxeter.svg/500px-Finite_coxeter.svg.png)
Coxeter bewies 1934, dass jede Spiegelungsgruppe eine Coxeter-Gruppe ist, und ein Jahr später, dass jede endliche Coxeter-Gruppe eine Spiegelungsgruppe ist. Weiter klassifizierte er endliche Coxeter-Gruppen durch ihre Coxeter-Diagramme. Diese sind Graphen mit einem Knoten für jeden Erzeuger , Kanten zwischen den und verbindenden Knoten genau für und einer Markierung der Kante durch für . Die rechts abgebildete Grafik zeigt alle Coxeter-Diagramme, wobei und jeweils für jedes einem Coxeter-Diagramm entsprechen. Jedes dieser Diagramme entspricht einer endlichen Spiegelungsgruppe.
Literatur
- Coxeter, HSM: Discrete groups generated by reflections, Annals of Mathematics, 35 (3): 588–621, 1934.
- Coxeter, HSM: The complete enumeration of finite groups of the form , J. London Math. Soc., 1, 10 (1): 21–25, 1935.