\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{Coxeter group}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{group_theory}{}\paragraph*{{Group Theory}}\label{group_theory}

[[!include group theory - contents]]

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{definition}{Definition}\dotfill \pageref*{definition} \linebreak
\noindent\hyperlink{examples}{Examples}\dotfill \pageref*{examples} \linebreak
\noindent\hyperlink{finite_reflection_groups}{Finite reflection groups}\dotfill \pageref*{finite_reflection_groups} \linebreak
\noindent\hyperlink{the_family_}{The family $A_n$}\dotfill \pageref*{the_family_} \linebreak
\noindent\hyperlink{the_family__2}{The family $B_n$}\dotfill \pageref*{the_family__2} \linebreak
\noindent\hyperlink{the_family__3}{The family $D_n$}\dotfill \pageref*{the_family__3} \linebreak
\noindent\hyperlink{the_family__4}{The family $I_2(m)$}\dotfill \pageref*{the_family__4} \linebreak
\noindent\hyperlink{the_groups___}{The groups $E_8$, $E_7$, $E_6$}\dotfill \pageref*{the_groups___} \linebreak
\noindent\hyperlink{TheGroupF4}{The group $F_4$}\dotfill \pageref*{TheGroupF4} \linebreak
\noindent\hyperlink{the_group__2}{The group $G_2$}\dotfill \pageref*{the_group__2} \linebreak
\noindent\hyperlink{CoxeterGroupH4}{The groups $H_3$, $H_4$}\dotfill \pageref*{CoxeterGroupH4} \linebreak
\noindent\hyperlink{affine_reflection_groups}{Affine reflection groups}\dotfill \pageref*{affine_reflection_groups} \linebreak
\noindent\hyperlink{hyperbolic_reflection_groups}{Hyperbolic reflection groups}\dotfill \pageref*{hyperbolic_reflection_groups} \linebreak
\noindent\hyperlink{properties_of_coxeter_groups}{Properties of Coxeter groups}\dotfill \pageref*{properties_of_coxeter_groups} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

A \emph{Coxeter group} is a [[group]] determined by a \emph{Coxeter matrix}, and is a combinatorial abstraction of the idea of a [[reflection group]].

\hypertarget{definition}{}\subsection*{{Definition}}\label{definition}

A \emph{Coxeter matrix} over an index [[set]] $I$ is a symmetric [[matrix]]

\begin{displaymath}
M \colon I \times I \to \{1, 2, 3, \ldots, \infty\}
\end{displaymath}
such that $M(i, i) = 1$ for all $i \in I$, else $M(i, j) \gt 1$. Writing $m_{i,j} = M(i, j)$, the associated \textbf{Coxeter group} $W_M$ is the group presented as having generators $s_i$, $i \in I$, and relations

\begin{displaymath}
(s_i s_j)^{m_{i, j}} = 1
\end{displaymath}
for all $i, j \in I$, whenever $m_{i, j} \neq \infty$. In other words, $m_{i, j}$ is the order of $s_i s_j$ (as is easily shown), and these orders determine the group.

A Coxeter group is usually more properly regarded as a [[group presentation]] rather than as an abstract group, but there is less than perfect consistency on this point in the literature. The $s_i$ are [[involutions]] that play the role of reflections generating the group.

Often Coxeter groups are specified by means of \textbf{Coxeter diagrams}. A Coxeter diagram associated with a Coxeter matrix is a [[graph|multigraph]] whose vertices are indexed by $I$, and with $m_{i, j} - 2$ edges between distinct vertices $i, j$. Coxeter diagrams are convenient visual aids; for example, involutions $s_i$, $s_j$ commute precisely when there are no edges between $i$ and $j$, and so the product of two Coxeter groups is specified by the disjoint union of their Coxeter diagrams.

\hypertarget{examples}{}\subsection*{{Examples}}\label{examples}

\hypertarget{finite_reflection_groups}{}\subsubsection*{{Finite reflection groups}}\label{finite_reflection_groups}

Let $V$ be a finite dimensional real [[Euclidean space]], and suppose $G$ is a finite group generated by linear reflections of $V$ (each pointwise fixing a linear hyperplane and preserving the Euclidean metric). Then $G$ is a Coxeter group. Such finite Coxeter groups are also called \textbf{spherical Coxeter groups} (being subgroups of isometry groups of Euclidean spheres).

In this case, each generating reflection $s_i$ is the mirror reflection specified by the fixed hyperplane $H_i$, with $s_i(v_i) = -v_i$ for any $v_i$ orthogonal to $H_i$. It is easy to check that $m_{i, j}$ is the order of $s_i s_j$, where $\pi/m_{i, j}$ is the dihedral angle between $H_i$ and $H_j$. Moreover, the relations $(s_i s_j)^{m_{i, j}} = 1$ suffice to specify the structure of the group, roughly because the dihedral angles uniquely determine a hyperplane arrangement up to an element of the orthogonal group, and the hyperplane arrangement determines the group in kaleidoscopic fashion, using the hyperplanes as mirrors.

Finite reflection groups have been completely classified. Notice that if $G$ and $H$ are finite reflection groups on $V$ and $W$ respectively, then $G \times H$ is a finite reflection group on $V \times W$. Such reflection groups are called \textbf{reducible}, and for the purposes of classification it suffices to consider just irreducible reflection groups. Also, if $G$ is a reflection group on $V$, we can regard it as a reflection group on $V \times \mathbb{R}$ in a trivial way, but we ignore such \emph{inessential extensions} in our descriptions below. Thus it will suffice to consider only irreducible, essential finite reflection groups. The dimension of the Euclidean space on which the group acts will be indicated by a subscript (with mild and fixable exceptions for $E_7$ and $E_6$).

Irreducible essential finite reflection groups fall into four infinite families $A_n$, $B_n = C_n$, $D_n$, $I_2(m)$, together with a small number of exceptional groups:

\begin{enumerate}%
\item $E_6$, $E_7$, $E_8$,
\item $F_4$,
\item $G_2$,
\item $H_3$, $H_4$.

\end{enumerate}
The Coxeter matrices which specify these groups are often and traditionally encoded in the form of \textbf{Coxeter diagrams}, consisting of $n$ dots, and $k-2$ line segments between dots $i$ and $j$ if $m_{i, j} = k$. The case where $k = 2$ (no line segments) means $s_i$ and $s_j$ commute. Coxeter diagrams are highly convenient; for example, there are a number of ``coincidences'' where various Coxeter groups in different families A-I are isomorphic, and these coincidences are visually apparent by seeing that their Coxeter diagrams are isomorphic. Similarly, the Coxeter diagram of a reducible group $G \times H$ is the disjoint union of the Coxeter diagrams for $G$ and $H$ separately, and so in the irreducible case we are only interested in \emph{connected} Coxeter diagrams.

\hypertarget{the_family_}{}\paragraph*{{The family $A_n$}}\label{the_family_}

$A_n$ is the isometry group of a regular $n$-simplex, and is identified with the symmetric group $S_{n+1}$, where $s_i$ is identified with the permutation $(i i+1)$. We have $m_{i, i+1} = m_{i+1, i} = 3$, and $m_{i, j} = 2$ if ${|i-j|} \geq 2$. The condition $(s_i s_{i+1})^3 = 1$ may be rewritten as a braid relation

\begin{displaymath}
s_i s_{i+1} s_i = s_{i+1} s_i s_{i+1}
\end{displaymath}
since the $s_i$ are involutions.

\hypertarget{the_family__2}{}\paragraph*{{The family $B_n$}}\label{the_family__2}

$B_n = C_n$ is the isometry group of a regular $n$-cube $\{-1, 1\}^n$, and is identified with a wreath product $S_n \ltimes (\mathbb{Z}_2)^n$. The generators may be given by $s_1, \ldots, s_{n-1}, t_{n-1}$ where $s_i$ is the reflection through the hyperplane $x_i = x_{i+1}$ (i.e., swap the $i^{th}$ and $(i+1)^{st}$ coordinates), and $t_{n-1}$ is the reflection through the hyperplane $x_n = 0$. The Coxeter diagram looks like this:

so that $s_{n-1} t_{n-1}$ is of order 4, but $s_i t_{n-1}$ is otherwise of order 2 (i.e., $s_i$ and $t_{n-1}$ commute).

\textbf{Remark:} The distinction between $B_n$ and $C_n$ is not apparent at the level of Coxeter groups, but rather at the level of [[root system|root systems]], used to classify simple complex Lie algebras. In other words, in this case there are two distinct root systems which generate the same reflection group.

\hypertarget{the_family__3}{}\paragraph*{{The family $D_n$}}\label{the_family__3}

$D_n$ is the linear isometry group on the set of integral vectors in $\mathbb{R}^n$ of length $\sqrt{2}$, of which there are $2n(n-1)$ many. It is not an isometry group of a regular solid, but it is a subgroup of $B_n$ of index 2. In this case there are involutions $s_1, \ldots s_{n-1}, t_{n-1}$ where $s_i$ is as described for the case $B_n$, and $t_{n-1}$ swaps and negates the last two coordinates. The Coxeter diagram looks like this:

We see by examining the Coxeter diagrams that $A_3 \cong D_3$. The case $D_4$ on the other hand admits a symmetry of order 3, called [[triality]].

\hypertarget{the_family__4}{}\paragraph*{{The family $I_2(m)$}}\label{the_family__4}

The [[dihedral group]] of order $2 n$ is the isometry group of a regular $n$-gon in the plane, or of the set $\{e^{2\pi i j/n}: 1 \leq j \leq n\}$ in $\mathbb{C}^1 \cong \mathbb{R}^2$. This is generated by two reflections: complex conjugation, and reflection through the hyperplane orthogonal to $1 + e^{2\pi i/n}$. The Coxeter diagram has $m-2$ edges between two vertices. There are coincidences $A_2 \cong I_2(3)$, and $B_2 \cong I_2(4)$.

There is also a coincidence $I_2(6) \cong G_2$ (which allows us to elide over the description of the Coxeter group $G_2$!). The distinction between them is again only at the level of root systems, where the root system of $G_2$ consists of the 12 vectors

\begin{displaymath}
\{e^{2\pi i j/6}\} \cup \{e^{2\pi i j/6} + e^{2\pi i (j+1)/6}\}
\end{displaymath}
\hypertarget{the_groups___}{}\paragraph*{{The groups $E_8$, $E_7$, $E_6$}}\label{the_groups___}

There is a rich and fascinating literature on these structures; we confine ourselves only to a very succinct (and cryptic) description.

$E_8$ is the group of linear isometries of a root system consisting of vectors $x = (x_1, \ldots, x_8)$ in $\mathbb{Z}^8 \cup (\mathbb{Z} + \frac1{2})^8$ such that

\begin{displaymath}
\sum_i x_i \in 2\mathbb{Z}, \qquad {|x|} = \sqrt{2}.
\end{displaymath}
Its Coxeter diagram is:

$E_7$ is the group of linear isometries of the subset of roots used for $E_8$ whose first two coordinates are equal. Its Coxeter diagram is:

$E_6$ is the group of linear isometries of the subset of roots used for $E_8$ whose first three coordinates are equal. Its Coxeter diagram is:

\hypertarget{TheGroupF4}{}\paragraph*{{The group $F_4$}}\label{TheGroupF4}

The group $F_4$ is the [[isometry group]] of the [[24-cell]], which is a [[regular polytope]] in $\mathbb{R}^4$ consisting of the 8 unit [[quaternions]] $\pm 1$, $\pm i$, $\pm j$, $\pm k$ and the 16 unit quaternions given by $\frac1{2}(\varepsilon_0 1 + \varepsilon_1 i + \varepsilon_2 j + \varepsilon_3 k)$ where $(\varepsilon_0, \ldots, \varepsilon_3) \in \{-1, 1\}^4$. (These 24 quaternions form a [[group]] under multiplication, and this group is isomorphic to the [[binary tetrahedral group]].)

The Coxeter diagram is:

\hypertarget{the_group__2}{}\paragraph*{{The group $G_2$}}\label{the_group__2}

See the discussion on $I_2(m)$ above.

\hypertarget{CoxeterGroupH4}{}\paragraph*{{The groups $H_3$, $H_4$}}\label{CoxeterGroupH4}

The group $H_3$ is the isometry group of the regular [[dodecahedron]] or of the regular [[icosahedron]] in $\mathbb{R}^3$, and is abstractly isomorphic to the group $\mathbb{Z}_2 \times Alt_5$, having 120 elements ([[icosahedral group]]). Its Coxeter diagram is:

The group $H_4$ is the isometry group of a [[regular polyhedron]] in $\mathbb{R}^4$ known as the [[120-cell]], or of the dual polyhedron known as the [[600-cell]]. Its Coxeter diagram is:

\hypertarget{affine_reflection_groups}{}\subsubsection*{{Affine reflection groups}}\label{affine_reflection_groups}

\hypertarget{hyperbolic_reflection_groups}{}\subsubsection*{{Hyperbolic reflection groups}}\label{hyperbolic_reflection_groups}

\hypertarget{properties_of_coxeter_groups}{}\subsection*{{Properties of Coxeter groups}}\label{properties_of_coxeter_groups}

\begin{theorem}
\label{}\hypertarget{}{}
Equality in Coxeter groups is decidable. In other words, there is an algorithm which, given two words $u$, $v$ in the generators $s_i$, determines in finitely many steps whether $u v^{-1}$ belongs to the relator subgroup.

\end{theorem}
\begin{proof}
Consider the equivalence relation on words generated by the relation $u \sim v$ if $v$ is obtained by replacing an alternating substring of the form $s_i s_j s_i \ldots$ of length $m_{i, j}$ by the alternating substring $s_j s_i s_j \ldots$ of the same length. Clearly each equivalence class has only finitely many members since all the word-lengths are the same. Then say that $u$ is \emph{reduced} if no member of its equivalence class contains a substring of the form $s_i s_i$. If $u$ is unreduced, then $u$ is $\sim$-related to, hence in the same coset of the relator subgroup as, a $v$ which has such a substring $s_i s_i$, which in turn is in the coset of the word obtained by deleting $s_i s_i$, called a \emph{reduction} of $u$. The algorithm proceeds by enumerating all words in the $\sim$-equivalence class of $u$, passing to the first reduction that arises, and iterating this process until one finally obtains a reduced word $w$; this will be in the same relator coset as $u$. Then, two reduced words are in the same relator coset if and only if they are $\sim$-equivalent, and more generally two words $u$, $v$ are in the same relator coset if and only if the algorithm applied to each produces two reduced words which are $\sim$-equivalent.

\end{proof}
Reduced-word expressions for a group element $u$ may be visualized as paths of minimal length from the identity to $u$ in the [[Cayley graph]] given by the group presentation (here, a simple [[graph]] whose vertices are group elements, with an edge between $u$ and $v$ if $s_i u = v$ for some generator $s_i$). Such reduced-word expressions are important in the study of [[building|buildings]] based on the Coxeter group, and also in the related study of [[BN-pair|BN-pairs]].

\hypertarget{references}{}\subsection*{{References}}\label{references}

\begin{itemize}%
\item N. [[Bourbaki]], \emph{Groupes et Alg\`e{}bras de Lie}, Chapitres 4-6, Masson, Paris (1981).


\item [[Kenneth Brown]], \emph{Buildings}, Springer Monographs in Mathematics, Springer 1989.


\item James Humphreys, \emph{Reflection groups and Coxeter groups}, Cambridge Studies in Advanced Mathematics 29, 1990, \href{http://www.zentralblatt-math.org/zmath/en/advanced/?q=an:0725.20028&format=complete}{ZMATH entry}.



\end{itemize}
[[!redirects Coxeter groups]]

[[!redirects Coxeter matrix]] [[!redirects Coxeter matrices]]

[[!redirects Coxeter diagram]] [[!redirects Coxeter diagrams]]



\end{document}