Grupo Coxeter

En matemáticas , un grupo de Coxeter , llamado así por HSM Coxeter , es un grupo abstracto que admite una descripción formal en términos de reflexiones (o espejos caleidoscópicos ). En efecto, los grupos de Coxeter finitos son precisamente los grupos de reflexión euclidianos finitos ; por ejemplo, el grupo de simetría de cada poliedro regular es un grupo de Coxeter finito. Sin embargo, no todos los grupos de Coxeter son finitos, y no todos pueden describirse en términos de simetrías y reflexiones euclidianas. Los grupos de Coxeter se introdujeron en 1934 como abstracciones de los grupos de reflexión, ^[1] y los grupos de Coxeter finitos se clasificaron en 1935. ^[2]

Los grupos de Coxeter encuentran aplicaciones en muchas áreas de las matemáticas. Ejemplos de grupos de Coxeter finitos incluyen los grupos de simetría de politopos regulares y los grupos de Weyl de álgebras de Lie simples . Ejemplos de grupos de Coxeter infinitos incluyen los grupos de triángulos correspondientes a teselaciones regulares del plano euclidiano y el plano hiperbólico , y los grupos de Weyl de álgebras de Kac-Moody de dimensión infinita . ^{[3] [4] [5]}

Formalmente, un grupo de Coxeter se puede definir como un grupo con la presentación

${\displaystyle \left\langle r_{1},r_{2},\ldots ,r_{n}\mid (r_{i}r_{j})^{m_{ij}}=1\right\rangle }$

donde y es un entero o para . Aquí, la condición significa que no se debe imponer ninguna relación de la forma para ningún entero .${\displaystyle m_{ii}=1}$${\displaystyle m_{ij}=m_{ji}\geq 2}$${\estilo de visualización\infty}$${\displaystyle i\neq j}$${\displaystyle m_{ij}=\infty }$${\displaystyle (r_{i}r_{j})^{m}=1}$${\displaystyle m\geq 2}$

El par donde es un grupo de Coxeter con generadores se llama sistema de Coxeter . Nótese que en general no está determinado de forma única por . Por ejemplo, los grupos de Coxeter de tipo y son isomorfos pero los sistemas de Coxeter no son equivalentes, ya que el primero tiene 3 generadores y el segundo tiene 1 + 3 = 4 generadores (ver más abajo una explicación de esta notación).${\estilo de visualización (W,S)}$${\estilo de visualización W}$${\displaystyle S=\{r_{1},\dots ,r_{n}\}}$${\displaystyle S}$${\displaystyle W}$${\displaystyle B_{3}}$${\displaystyle A_{1}\times A_{3}}$

De la definición anterior se pueden extraer inmediatamente varias conclusiones.

• La relación significa que para todos  ; como tal los generadores son involuciones .${\displaystyle m_{ii}=1}$${\displaystyle (r_{i}r_{i})^{1}=(r_{i})^{2}=1}$${\displaystyle i}$
• Si , entonces los generadores y conmutan. Esto se deduce de la observación de que${\displaystyle m_{ij}=2}$${\displaystyle r_{i}}$${\displaystyle r_{j}}$

${\displaystyle xx=yy=1}$,

junto con

${\displaystyle xyxy=1}$

implica que

${\displaystyle xy=x(xyxy)y=(xx)yx(yy)=yx}$.

Alternativamente, dado que los generadores son involuciones, , entonces . Es decir, el conmutador de y es igual a 1, o equivalentemente que y conmutan.${\displaystyle r_{i}=r_{i}^{-1}}$${\displaystyle 1=(r_{i}r_{j})^{2}=r_{i}r_{j}r_{i}r_{j}=r_{i}r_{j}r_{i}^{-1}r_{j}^{-1}}$${\displaystyle r_{i}}$${\displaystyle r_{j}}$${\displaystyle r_{i}}$${\displaystyle r_{j}}$

La razón por la que se estipula en la definición es que${\displaystyle m_{ij}=m_{ji}}$${\displaystyle i\neq j}$

${\displaystyle yy=1}$,

junto con

${\displaystyle (xy)^{m}=1}$

ya implica que

${\displaystyle (yx)^{m}=(yx)^{m}yy=y(xy)^{m}y=yy=1}$.

Una prueba alternativa de esta implicación es la observación de que y son conjugados : de hecho .${\displaystyle (xy)^{k}}$${\displaystyle (yx)^{k}}$${\displaystyle y(xy)^{k}y^{-1}=(yx)^{k}yy^{-1}=(yx)^{k}}$

La matriz de Coxeter es la matriz simétrica con entradas . De hecho, toda matriz simétrica con entradas diagonales exclusivamente 1 y entradas no diagonales en el conjunto es una matriz de Coxeter.${\displaystyle n\times n}$ ${\displaystyle m_{ij}}$${\displaystyle \{2,3,\ldots \}\cup \{\infty \}}$

La matriz de Coxeter se puede codificar convenientemente mediante un diagrama de Coxeter , según las siguientes reglas.

• Los vértices del gráfico están etiquetados mediante subíndices generadores.
• Los vértices y son adyacentes si y sólo si .${\displaystyle i}$${\displaystyle j}$${\displaystyle m_{ij}\geq 3}$
• Un borde se etiqueta con el valor de siempre que el valor sea o mayor.${\displaystyle m_{ij}}$${\displaystyle 4}$

En particular, dos generadores conmutan si y solo si no están unidos por una arista. Además, si un grafo de Coxeter tiene dos o más componentes conectados , el grupo asociado es el producto directo de los grupos asociados a los componentes individuales. Por lo tanto, la unión disjunta de grafos de Coxeter produce un producto directo de grupos de Coxeter.

La matriz de Coxeter, , está relacionada con la matriz de Schläfli con elementos , pero los elementos se modifican, siendo proporcionales al producto escalar de los generadores por pares. La matriz de Schläfli es útil porque sus valores propios determinan si el grupo de Coxeter es de tipo finito (todos positivos), tipo afín (todos no negativos, al menos un cero) o tipo indefinido (de lo contrario). El tipo indefinido a veces se subdivide aún más, por ejemplo, en grupos de Coxeter hiperbólicos y otros. Sin embargo, existen múltiples definiciones no equivalentes para los grupos de Coxeter hiperbólicos.${\displaystyle M_{ij}}$${\displaystyle n\times n}$ ${\displaystyle C}$${\displaystyle C_{ij}=-2\cos(\pi /M_{ij})}$

Ejemplos

Grupo Coxeter	Un 1 × Un 1	Un 2	B2​	Yo 2 (5)	G2​	${\displaystyle {\tilde {A}}_{1}=I_{2}(\infty )}$	Un 3	B3​	D4​	${\displaystyle {\tilde {A}}_{3}}$
Diagrama de Coxeter
Matriz de Coxeter	${\displaystyle \left[{\begin{smallmatrix}1&2\\2&1\\\end{smallmatrix}}\right]}$	${\displaystyle \left[{\begin{smallmatrix}1&3\\3&1\\\end{smallmatrix}}\right]}$	${\displaystyle \left[{\begin{smallmatrix}1&4\\4&1\\\end{smallmatrix}}\right]}$	${\displaystyle \left[{\begin{smallmatrix}1&5\\5&1\\\end{smallmatrix}}\right]}$	${\displaystyle \left[{\begin{smallmatrix}1&6\\6&1\\\end{smallmatrix}}\right]}$	${\displaystyle \left[{\begin{smallmatrix}1&\infty \\\infty &1\\\end{smallmatrix}}\right]}$	${\displaystyle \left[{\begin{smallmatrix}1&3&2\\3&1&3\\2&3&1\end{smallmatrix}}\right]}$	${\displaystyle \left[{\begin{smallmatrix}1&4&2\\4&1&3\\2&3&1\end{smallmatrix}}\right]}$	${\displaystyle \left[{\begin{smallmatrix}1&3&2&2\\3&1&3&3\\2&3&1&2\\2&3&2&1\end{smallmatrix}}\right]}$	${\displaystyle \left[{\begin{smallmatrix}1&3&2&3\\3&1&3&2\\2&3&1&3\\3&2&3&1\end{smallmatrix}}\right]}$
Matriz de Schläfli	${\displaystyle \left[{\begin{smallmatrix}2&0\\0&2\end{smallmatrix}}\right]}$	${\displaystyle \left[{\begin{smallmatrix}\ \,2&-1\\-1&\ \,2\end{smallmatrix}}\right]}$	${\displaystyle \left[{\begin{smallmatrix}\ \,2&-{\sqrt {2}}\\-{\sqrt {2}}&\ \,2\end{smallmatrix}}\right]}$	${\displaystyle \left[{\begin{smallmatrix}\ \,2&-\phi \\-\phi &\ \,2\end{smallmatrix}}\right]}$	${\displaystyle \left[{\begin{smallmatrix}\ \,2&-{\sqrt {3}}\\-{\sqrt {3}}&\ \,2\end{smallmatrix}}\right]}$	${\displaystyle \left[{\begin{smallmatrix}\ \,2&-2\\-2&\ \,2\end{smallmatrix}}\right]}$	${\displaystyle \left[{\begin{smallmatrix}\ \,2&-1&\ \,0\\-1&\ \,2&-1\\\ \,0&-1&\ \,2\end{smallmatrix}}\right]}$	${\displaystyle \left[{\begin{smallmatrix}\ \,\ \ 2&-{\sqrt {2}}&\ \,0\\-{\sqrt {2}}&\ \,\ \ 2&-1\\\ \,\ \ 0&\ \,-1&\ \,2\end{smallmatrix}}\right]}$	${\displaystyle \left[{\begin{smallmatrix}\ \,2&-1&\ \,0&\ \,0\\-1&\ \,2&-1&-1\\\ \,0&-1&\ \,2&\ \,0\\\ \,0&-1&\ \,0&\ \,2\end{smallmatrix}}\right]}$	${\displaystyle \left[{\begin{smallmatrix}\ \,2&-1&\ \,0&-1\\-1&\ \,2&-1&\ \,0\\\ \,0&-1&\ \,2&-1\\-1&\ \,0&-1&\ \,2\end{smallmatrix}}\right]}$

El gráfico en el que los vértices a través de se colocan en una fila con cada vértice unido por una arista no etiquetada a sus vecinos inmediatos es el diagrama de Coxeter del grupo simétrico ; los generadores corresponden a las transposiciones . Dos transposiciones no consecutivas cualesquiera conmutan, mientras que multiplicar dos transposiciones consecutivas da un 3-ciclo : . Por lo tanto es un cociente del grupo de Coxeter que tiene diagrama de Coxeter . Argumentos adicionales muestran que este mapa de cocientes es un isomorfismo.${\displaystyle A_{n}}$ ${\displaystyle 1}$${\displaystyle n}$ ${\displaystyle S_{n+1}}$ ${\displaystyle (1~~2),(2~~3),\dots ,(n~~n+1)}$${\displaystyle (k~~k+1)\cdot (k+1~~k+2)=(k~~k+2~~k+1)}$${\displaystyle S_{n+1}}$${\displaystyle A_{n}}$

Los grupos de Coxeter son una abstracción de los grupos de reflexión. Los grupos de Coxeter son grupos abstractos , en el sentido de que se dan mediante una presentación. Por otro lado, los grupos de reflexión son concretos , en el sentido de que cada uno de sus elementos es el compuesto de un número finito de reflexiones geométricas sobre hiperplanos lineales en algún espacio euclidiano. Técnicamente, un grupo de reflexión es un subgrupo de un grupo lineal (o varias generalizaciones) generado por matrices ortogonales de determinante -1. Cada generador de un grupo de Coxeter tiene orden 2, lo que abstrae el hecho geométrico de que realizar una reflexión dos veces es la identidad. Cada relación de la forma , correspondiente al hecho geométrico de que, dados dos hiperplanos que se encuentran en un ángulo de , el compuesto de las dos reflexiones sobre estos hiperplanos es una rotación de , que tiene orden k .${\displaystyle (r_{i}r_{j})^{k}}$${\displaystyle \pi /k}$${\displaystyle 2\pi /k}$

De esta manera, cada grupo de reflexión puede presentarse como un grupo de Coxeter. ^[1] La inversa es parcialmente cierta: cada grupo de Coxeter finito admite una representación fiel como un grupo de reflexión finito de algún espacio euclidiano. ^[2] Sin embargo, no todo grupo de Coxeter infinito admite una representación como un grupo de reflexión.

Se han clasificado grupos de Coxeter finitos. ^[2]

Los grupos de Coxeter finitos se clasifican en términos de sus diagramas de Coxeter . ^[2]

Los grupos de Coxeter finitos con diagramas de Coxeter conexos constan de tres familias de un parámetro de dimensión creciente ( para , para , y para ), una familia de un parámetro de dimensión dos ( para ), y seis grupos excepcionales ( y ). Cada grupo de Coxeter finito es el producto directo de un número finito de estos grupos irreducibles. ^[a]${\displaystyle A_{n}}$${\displaystyle n\geq 1}$${\displaystyle B_{n}}$${\displaystyle n\geq 2}$${\displaystyle D_{n}}$${\displaystyle n\geq 4}$${\displaystyle I_{2}(p)}$${\displaystyle p\geq 5}$${\displaystyle E_{6},E_{7},E_{8},F_{4},H_{3},}$${\displaystyle H_{4}}$

Muchos de ellos, pero no todos, son grupos de Weyl, y cada grupo de Weyl puede realizarse como un grupo de Coxeter. Los grupos de Weyl son las familias y las excepciones y se denotan en la notación de grupos de Weyl como${\displaystyle A_{n},B_{n},}$${\displaystyle D_{n},}$${\displaystyle E_{6},E_{7},E_{8},F_{4},}$${\displaystyle I_{2}(6),}$${\displaystyle G_{2}.}$

Los que no son de Weyl son las excepciones y aquellos miembros de la familia que no son excepcionalmente isomorfos a un grupo de Weyl (a saber, y ).${\displaystyle H_{3}}$${\displaystyle H_{4},}$${\displaystyle I_{2}(p)}$${\displaystyle I_{2}(3)\cong A_{2},I_{2}(4)\cong B_{2},}$${\displaystyle I_{2}(6)\cong G_{2}}$

Esto se puede demostrar comparando las restricciones de los diagramas de Dynkin (no dirigidos) con las restricciones de los diagramas de Coxeter de grupos finitos: formalmente, el gráfico de Coxeter se puede obtener del diagrama de Dynkin descartando la dirección de las aristas y reemplazando cada arista doble con una arista etiquetada 4 y cada arista triple con una arista etiquetada 6. Nótese también que cada grupo de Coxeter generado finitamente es un grupo automático . ^[6] Los diagramas de Dynkin tienen la restricción adicional de que las únicas etiquetas de arista permitidas son 2, 3, 4 y 6, lo que produce lo anterior. Geométricamente, esto corresponde al teorema de restricción cristalográfica y al hecho de que los politopos excluidos no llenan el espacio ni teselan el plano –para el dodecaedro (dualmente, icosaedro) no llena el espacio; para el de 120 celdas (dualmente, 600 celdas) no llena el espacio; porque un p -gono no tesela el plano excepto para o (las teselaciones triangular, cuadrada y hexagonal, respectivamente).${\displaystyle H_{3},}$${\displaystyle H_{4},}$${\displaystyle I_{2}(p)}$${\displaystyle p=3,4,}$${\displaystyle 6}$

Nótese además que los diagramas de Dynkin (dirigidos) B _n y C _n dan lugar al mismo grupo de Weyl (de ahí el grupo de Coxeter), porque difieren como gráficos dirigidos , pero concuerdan como gráficos no dirigidos – la dirección es importante para los sistemas raíz pero no para el grupo de Weyl; esto corresponde a que el hipercubo y el politopo cruzado son politopos regulares diferentes pero tienen el mismo grupo de simetría.

En la siguiente tabla se dan algunas propiedades de los grupos de Coxeter irreducibles finitos. El orden de un grupo reducible se puede calcular mediante el producto de los órdenes de sus subgrupos irreducibles.

Rango n	Símbolo de grupo	Símbolo alternativo	Notación entre corchetes	Gráfico de Coxeter	Reflexiones m = 1 ⁄ 2 nh [7]	Número h de Coxeter	Orden	Estructura del grupo [8]	Politopos relacionados
1	Un 1	Un 1	[ ]		1	2	2	${\displaystyle S_{2}}$	{ }
2	Un 2	Un 2	[3]		3	3	6	${\displaystyle S_{3}\cong D_{6}\cong \operatorname {GO} _{2}^{-}(2)\cong \operatorname {GO} _{2}^{+}(4)}$	{3}
3	Un 3	Un 3	[3,3]		6	4	24	${\displaystyle S_{4}}$	{3,3}
4	Un 4	Un 4	[3,3,3]		10	5	120	${\displaystyle S_{5}}$	{3,3,3}
5	Un 5	Un 5	[3,3,3,3]		15	6	720	${\displaystyle S_{6}}$	{3,3,3,3}
norte	Un​	Un​	[3 n −1 ]	...	n ( n +1)/2	n +1	( n +1)!	${\displaystyle S_{n+1}}$	n -símplex
2	B2​	C 2	[4]		4	4	8	${\displaystyle C_{2}\wr S_{2}\cong D_{8}\cong \operatorname {GO} _{2}^{-}(3)\cong \operatorname {GO} _{2}^{+}(5)}$	{4}
3	B3​	C 3	[4,3]		9	6	48	${\displaystyle C_{2}\wr S_{3}\cong S_{4}\times 2}$	{4,3} / {3,4}
4	B4​	C 4	[4,3,3]		16	8	384	${\displaystyle C_{2}\wr S_{4}}$	{4,3,3} / {3,3,4}
5	B 5	C 5	[4,3,3,3]		25	10	3840	${\displaystyle C_{2}\wr S_{5}}$	{4,3,3,3} / {3,3,3,4}
norte	Bn​	C n	[4,3 n −2 ]	...	número 2	2 n	2nn !​ ​	${\displaystyle C_{2}\wr S_{n}}$	n -cubo / n- ortoplex
4	D4​	B4​	[3 1,1,1 ]		12	6	192	${\displaystyle C_{2}^{3}S_{4}\cong 2^{1+4}\colon S_{3}}$	h{4,3,3} / {3,3 1,1 }
5	D5​	B 5	[3 2,1,1 ]		20	8	1920	${\displaystyle C_{2}^{4}S_{5}}$	h{4,3,3,3} / {3,3,3 1,1 }
norte	Dn​	Bn​	[3 n −3,1,1 ]	...	n ( n - 1)	2( n -1)	2 n −1 n !	${\displaystyle C_{2}^{n-1}S_{n}}$	n -demicube / n- ortoplex
6	E6​	E6​	[3 2,2,1 ]		36	12	51840 (72x6!)	${\displaystyle \operatorname {GO} _{6}^{-}(2)\cong \operatorname {SO} _{5}(3)\cong \operatorname {PSp} _{4}(3)\colon 2\cong \operatorname {PSU} _{4}(2)\colon 2}$	2 21 , 1 22
7	E7​	E7​	[3 3,2,1 ]		63	18	2903040 (72x8!)	${\displaystyle \operatorname {GO} _{7}(2)\times 2\cong \operatorname {Sp} _{6}(2)\times 2}$	3 21 , 2 31 , 1 32
8	E8​	E8​	[3 4,2,1 ]		120	30	696729600 (192x10!)	${\displaystyle 2\cdot \operatorname {GO} _{8}^{+}(2)}$	4 21 , 2 41 , 1 42
4	F4​	F4​	[3,4,3]		24	12	1152	${\displaystyle \operatorname {GO} _{4}^{+}(3)\cong 2^{1+4}\colon (S_{3}\times S_{3})}$	{3,4,3}
2	G2​	- ( D6 2)	[6]		6	6	12	${\displaystyle D_{12}\cong \operatorname {GO} _{2}^{-}(5)\cong \operatorname {GO} _{2}^{+}(7)}$	{6}
2	Yo 2 (5)	G2​	[5]		5	5	10	${\displaystyle D_{10}\cong \operatorname {GO} _{2}^{-}(4)}$	{5}
3	H3​	G3​	[3,5]		15	10	120	${\displaystyle 2\times A_{5}}$	{3,5} / {5,3}
4	H4​	G 4	[3,3,5]		60	30	14400	${\displaystyle 2\cdot (A_{5}\times A_{5})\colon 2}$[b]	{5,3,3} / {3,3,5}
2	Yo 2 ( n )	Dnúmero 2	[ n ]		norte	norte	2 n	${\displaystyle D_{2n}}$ ${\displaystyle \cong \operatorname {GO} _{2}^{-}(n-1)}$cuando n = p k + 1, p primo cuando n = p k − 1, p primo${\displaystyle \cong \operatorname {GO} _{2}^{+}(n+1)}$	{ pag }

El grupo de simetría de cada politopo regular es un grupo de Coxeter finito. Nótese que los politopos duales tienen el mismo grupo de simetría.

Existen tres series de politopos regulares en todas las dimensiones. El grupo de simetría de un n -símplex regular es el grupo simétrico S _{n +1} , también conocido como grupo de Coxeter de tipo A _n . El grupo de simetría del n - cubo y su dual, el n -politopo cruzado, es B _n , y se conoce como grupo hiperoctaédrico .

Los politopos regulares excepcionales en dimensiones dos, tres y cuatro corresponden a otros grupos de Coxeter. En dos dimensiones, los grupos diedros , que son los grupos de simetría de los polígonos regulares , forman la serie I ₂ ( p ), para p ≥ 3. En tres dimensiones, el grupo de simetría del dodecaedro regular y su dual, el icosaedro regular , es H ₃ , conocido como el grupo icosaédrico completo . En cuatro dimensiones, hay tres politopos regulares excepcionales, el de 24 celdas , el de 120 celdas y el de 600 celdas . El primero tiene grupo de simetría F ₄ , mientras que los otros dos son duales y tienen grupo de simetría H ₄ .

Los grupos de Coxeter de tipo D _n , E ₆ , E ₇ y E ₈ son los grupos de simetría de ciertos politopos semirregulares .

Tabla de familias de politopos irreducibles
Familia n	n - símplex	n - hipercubo	n - ortoplex	n - demicubo	1 k2	2k1​	k21​	politopo pentagonal
Grupo	Un​	Bn​		Yo 2 ( pág ) Dn​	E6​ E7​ E8​ F4​ G2​			H- n
2	Triángulo	Cuadrado		p-gono (ejemplo: p=7 )	Hexágono			Pentágono
3	Tetraedro	Cubo	Octaedro	Tetraedro				Dodecaedro	Icosaedro
4	5 celdas	Teseracto	16 celdas	Acto de Demitesseract	24 celdas			120 celdas	600 celdas
5	5-símplex	5 cubos	5-ortoplex	5-demicubes
6	6-símplex	6 cubos	6-ortoplex	6-demicubes	1 22	2 21
7	7-símplex	7 cubos	7-ortoplex	7-demicube	1 32	2 31	3 21
8	8-símplex	8 cubos	8-ortoplex	8-demicubes	1 42	2 41	4 21
9	9-símplex	9 cubos	9-ortoplex	9-demicubes
10	10-símplex	10 cubos	10-ortoplex	10-demicubes

Los grupos de Coxeter afines forman una segunda serie importante de grupos de Coxeter. Estos no son finitos en sí mismos, pero cada uno contiene un subgrupo abeliano normal tal que el grupo cociente correspondiente es finito. En cada caso, el grupo cociente es en sí mismo un grupo de Coxeter, y el grafo de Coxeter del grupo de Coxeter afín se obtiene a partir del grafo de Coxeter del grupo cociente añadiendo otro vértice y una o dos aristas adicionales. Por ejemplo, para n  ≥ 2, el grafo que consiste en n +1 vértices en un círculo se obtiene de A _n de esta manera, y el grupo de Coxeter correspondiente es el grupo de Weyl afín de A _n (el grupo simétrico afín ). Para n  = 2, esto se puede representar como un subgrupo del grupo de simetría de la teselación estándar del plano por triángulos equiláteros.

En general, dado un sistema de raíces, se puede construir el diagrama de Stiefel asociado , que consiste en los hiperplanos ortogonales a las raíces junto con ciertas traslaciones de estos hiperplanos. El grupo de Coxeter afín (o grupo de Weyl afín) es entonces el grupo generado por las reflexiones (afines) sobre todos los hiperplanos en el diagrama. ^[9] El diagrama de Stiefel divide el plano en infinitos componentes conectados llamados alcobas , y el grupo de Coxeter afín actúa libre y transitivamente sobre las alcobas, tal como el grupo de Weyl ordinario actúa libre y transitivamente sobre las cámaras de Weyl. La figura de la derecha ilustra el diagrama de Stiefel para el sistema de raíces.${\displaystyle G_{2}}$

Supóngase que es un sistema de raíces irreducible de rango y sea una colección de raíces simples. Sea, también, la raíz más alta. Entonces el grupo de Coxeter afín se genera por las reflexiones ordinarias (lineales) sobre los hiperplanos perpendiculares a , junto con una reflexión afín sobre una traslación del hiperplano perpendicular a . El grafo de Coxeter para el grupo de Weyl afín es el diagrama de Coxeter-Dynkin para , junto con un nodo adicional asociado a . En este caso, una alcoba del diagrama de Stiefel se puede obtener tomando la cámara fundamental de Weyl y cortándola por una traslación del hiperplano perpendicular a . ^[10]${\displaystyle R}$${\displaystyle r>1}$${\displaystyle \alpha _{1},\ldots ,\alpha _{r}}$${\displaystyle \alpha _{r+1}}$${\displaystyle \alpha _{1},\ldots ,\alpha _{r}}$${\displaystyle \alpha _{r+1}}$${\displaystyle R}$${\displaystyle \alpha _{r+1}}$${\displaystyle \alpha _{r+1}}$

A continuación se muestra una lista de los grupos de Coxeter afines:

Símbolo de grupo	Símbolo de Witt	Notación entre corchetes	Gráfico de Coxeter	Teselaciones uniformes relacionadas
${\displaystyle {\tilde {A}}_{n}}$	${\displaystyle P_{n+1}}$	[3 [ n ] ]	... o ...	Panal de abejas simplectico
${\displaystyle {\tilde {B}}_{n}}$	${\displaystyle S_{n+1}}$	[4,3 n − 3 ,3 1,1 ]	...	Panal de abeja semihipercúbico
${\displaystyle {\tilde {C}}_{n}}$	${\displaystyle R_{n+1}}$	[4,3 n −2 ,4]	...	Panal hipercúbico
${\displaystyle {\tilde {D}}_{n}}$	${\displaystyle Q_{n+1}}$	[ 3 1,1 ,3 n −4 ,3 1,1 ]	...	Panal de abeja semihipercúbico
${\displaystyle {\tilde {E}}_{6}}$	${\displaystyle T_{7}}$	[3 2,2,2 ]	o	2 22
${\displaystyle {\tilde {E}}_{7}}$	${\displaystyle T_{8}}$	[3 3,3,1 ]	o	3 31 , 1 33
${\displaystyle {\tilde {E}}_{8}}$	${\displaystyle T_{9}}$	[3 5,2,1 ]		5 21 , 2 51 , 1 52
${\displaystyle {\tilde {F}}_{4}}$	${\displaystyle U_{5}}$	[3,4,3,3]		Panal de abeja de 16 celdas Panal de abeja de 24 celdas
${\displaystyle {\tilde {G}}_{2}}$	${\displaystyle V_{3}}$	[6,3]		Azulejos hexagonales y azulejos triangulares
${\displaystyle {\tilde {A}}_{1}=I_{2}(\infty )}$	${\displaystyle W_{2}}$	[∞]		Apeirogon

El subíndice del símbolo del grupo es uno menos que el número de nodos en cada caso, ya que cada uno de estos grupos se obtuvo agregando un nodo al gráfico de un grupo finito.

Hay infinitos grupos de Coxeter hiperbólicos que describen grupos de reflexión en el espacio hiperbólico , incluidos en particular los grupos de triángulos hiperbólicos.

Se dice que un grupo de Coxeter es irreducible si su diagrama de Coxeter-Dynkin es conexo. Todo grupo de Coxeter es el producto directo de los grupos irreducibles que corresponden a los componentes de su diagrama de Coxeter-Dynkin.

Una elección de generadores de reflexión da lugar a una función de longitud ℓ en un grupo de Coxeter, es decir, el número mínimo de usos de generadores necesarios para expresar un elemento de grupo; esta es precisamente la longitud en la métrica de palabras en el grafo de Cayley . Una expresión para v que utiliza generadores ℓ ( v ) es una palabra reducida . Por ejemplo, la permutación (13) en S ₃ tiene dos palabras reducidas, (12)(23)(12) y (23)(12)(23). La función define una función que generaliza la función de signos para el grupo simétrico.${\displaystyle v\to (-1)^{\ell (v)}}$${\displaystyle G\to \{\pm 1\},}$

Utilizando palabras reducidas se pueden definir tres órdenes parciales en el grupo de Coxeter, el orden débil (derecha) , el orden absoluto y el orden Bruhat (nombrado por François Bruhat ). Un elemento v excede a un elemento u en el orden Bruhat si alguna (o equivalentemente, cualquier) palabra reducida para v contiene una palabra reducida para u como subcadena, donde se omiten algunas letras (en cualquier posición). En el orden débil, v  ≥  u si alguna palabra reducida para v contiene una palabra reducida para u como segmento inicial. De hecho, la longitud de la palabra lo convierte en un poset graduado . Los diagramas de Hasse correspondientes a estos órdenes son objetos de estudio y están relacionados con el gráfico de Cayley determinado por los generadores. El orden absoluto se define de forma análoga al orden débil, pero con un conjunto/alfabeto generador que consta de todos los conjugados de los generadores de Coxeter.

Por ejemplo, la permutación (1 2 3) en S ₃ tiene sólo una palabra reducida, (12)(23), por lo que cubre (12) y (23) en el orden Bruhat pero sólo cubre (12) en el orden débil.

Dado que un grupo de Coxeter se genera a partir de un número finito de elementos de orden 2, su abelianización es un 2-grupo abeliano elemental , es decir, es isomorfo a la suma directa de varias copias del grupo cíclico . Esto puede reformularse en términos del primer grupo de homología de .${\displaystyle W}$ ${\displaystyle Z_{2}}$${\displaystyle W}$

El multiplicador de Schur , igual al segundo grupo de homología de , se calculó en (Ihara y Yokonuma 1965) para grupos de reflexión finitos y en (Yokonuma 1965) para grupos de reflexión afines, con una explicación más unificada dada en (Howlett 1988). En todos los casos, el multiplicador de Schur es también un 2-grupo abeliano elemental. Para cada familia infinita de grupos de Weyl finitos o afines, el rango de se estabiliza a medida que tiende al infinito.${\displaystyle M(W)}$${\displaystyle W}$${\displaystyle \{W_{n}\}}$${\displaystyle M(W_{n})}$${\displaystyle n}$

• Grupo Artin-Tetas
• Teorema de Chevalley-Shephard-Todd
• Grupo de reflexión complejo
• Elemento de Coxeter
• Álgebra de Iwahori-Hecke , una deformación cuántica del álgebra de grupos
• Polinomio de Kazhdan-Lusztig
• Elemento más largo de un grupo de Coxeter
• Subgrupo parabólico de un grupo de reflexión
• Disposición supersoluble

• "Grupo de Coxeter", Enciclopedia de Matemáticas , EMS Press , 2001 [1994]
• Weisstein, Eric W. , "Grupo Coxeter", MathWorld
• Software de Jenn para visualizar los gráficos de Cayley de grupos de Coxeter finitos en hasta cuatro generadores