Lexikon der Mathematik: Coxeter-Komplex
ein numerierter simplizialer Komplex, der einer Coxeter-Gruppe zugeordnet ist.
Es sei G eine Coxeter-Gruppe mit Erzeugermenge S und zugehöriger Coxeter-Matrix M. Für J ⊆ S sei
\begin{eqnarray}{G}_{J}:=\langle s|s\in J\rangle.\end{eqnarray}
Weiter bezeichnen wir mit Δ die Menge aller Nebenklassen der Untergruppen GJ . Auf Δ sei die Halbordnung ≤ definiert durch
\begin{eqnarray}g{G}_{I}\le h{G}_{J}\iff g{G}_{I}\supseteq h{G}_{J}.\end{eqnarray}
Dann ist der zugehörige Coxeter-Komplex Σ(M) definiert als der numerierte Komplex (Δ, ≤). Die Punkte dieses Komplexes sind
\begin{eqnarray}\{g{G}_{S\backslash \{s\}}|g\in G,s\in S\},\end{eqnarray}
seine Kammern sind die Elemente von G.Es sei beispielsweise
\begin{eqnarray}G=\langle s,t|{s}^{2}={t}^{2}={(st)}^{m}=1\rangle \end{eqnarray}
die Coxeter-Gruppe mit Coxeter-Diagramm I2(m), d.i. die Symmetriegruppe des regulären m-Ecks.Dann ist der zugehörige Coxeter-Komplex Σ der Fahnenkomplex des regulären m-Ecks, und die Gruppe G operiert in natürlicher Weise auf Σ.
Der Fall m = 4 ist in der Abbildung wiedergegeben.
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.