Abstract:Small Coxeter groups are precisely the ones for which the Tits representation is integral, which makes the study of their congruence subgroups relevant. The symmetric group $S_n$ has three natural extensions, namely, the braid group $B_n$, the twin group $T_n$ and the triplet group $L_n$. The latter two groups are small Coxeter groups, and play the role of braid groups under the Alexander-Markov correspondence for appropriate knot theories, with their pure subgroups admitting suitable hyperplane arrangements as Eilenberg-MacLane spaces. In this paper, we prove that the congruence subgroup property fails for infinite small Coxeter groups which are not virtually abelian. As an application, we deduce that the congruence subgroup property fails for both $T_n$ and $L_n$ when $n \ge 4$. We also determine subquotients of principal congruence subgroups of $T_n$, and identify the pure twin group $PT_n$ and the pure triplet group $PL_n$ with suitable principal congruence subgroups. Further, we investigate crystallographic quotients of these two families of small Coxeter groups, and prove that $T_n /PT_n^{'}$, $T_n/T_n^{''}$ and $L_n /PL_n^{'}$ are crystallographic groups. We also determine crystallographic dimensions of these groups and identify the holonomy representation of $T_n/T_n^{''}$.

Recognition of A10 and L4 (4) by two special conjugacy class sizes

Arc-Transitive Graphs of Square-free Order with Valency 11

Pentavalent semisymmetric graphs of square-free order

Conjecture of Li and Praeger Concerning the Isomorphisms of Cayley Graphs of A(5)

The Largest Volume Conjugacy Class in Most Compact Simple Lie Groups

Counting conjugacy classes of elements of finite order in exceptional Lie groups

Finite groups with geodetic Cayley graphs

Finite Non-solvable Groups with a Small Number of Conjugacy Classes of Non-trivial Cyclic Subgroups

Factorizations of Almost Simple Groups with a Solvable Factor, and Cayley Graphs of Solvable Groups

Conjugacy and Element-Conjugacy of Homomorphisms of Compact Lie Groups

Symmetric graphs of prime valency with a transitive simple group

A new lower bound for the number of conjugacy classes

Congruence subgroups and crystallographic quotients of small Coxeter groups

Finite simple groups with two maximal subgroups of coprime orders

A survey on conjugacy class graphs of groups

The Maximal Subgroups of the Exceptional Groups $F_4(q)$, $E_6(q)$ and ${}^2E_6(q)$ and Related Almost Simple Groups

On the Automorphism Groups of Cayley Graphs of Finite Simple Groups

Two characterizations of the smallest non-solvable group

Asymptotic enumeration of graphical regular representations

On the prime graph question for integral group rings of Conway simple groups

Graphs associated to conjugacy classes of normal subgroups in finite groups