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^{''}$.

Upgrading Subgroup Triple Product Property Triples

Finite matrix multiplication algorithms from infinite groups

Higher Ext-groups in the triple product case

Additive triples in groups of odd prime order

Families of Association Schemes on Triples from Two-Transitive Groups

A disjoint idempotent decomposition for linear combinations produced from two commutative tripotent matrices and its applications

Products of abstract polytopes

Subgroups of 3-Factor Direct Products

On finite sets of small tripling or small alternation in arbitrary groups

On the complexity of isomorphism problems for tensors, groups, and polynomials IV: linear-length reductions and their applications

$G^{+}$ Method in Action: New Classes of Nonnegative Matrices with Results

Triangle-free triple systems

An Improvement on Triple Systems Without Two Types of Configurations

Splitting of Tensor Products and Intermediate Factor Theorem: Continuous Version

Quasi Gelfand triples

Triality over Schemes

Congruence subgroups and crystallographic quotients of small Coxeter groups

An extension of Steinberg's Theorem to biquotient pairs of subgroups

More on consecutive multiplicatively dependent triples of integers

The Triple Riordan Group

An activities expansion of the transition polynomial of a multimatroid