Small Artin Groups: Definitions and Frameworks

Updated 5 July 2026

Small Artin groups are defined as groups with finite labels 2 and 3 or, alternatively, via low rank or complete parabolic subgraphs, reflecting multiple notions of 'smallness'.
They serve as fundamental building blocks in Artin group theory, playing a key role in subgroup separability, reduction principles, and structural decompositions.
Applications range from solving the word problem and classifying congruence subgroups to geometric realizations in plane curve complements and model-theoretic distinctions.

“Small Artin groups” is not a uniform term. In the usual Artin-group terminology, it refers to small-type Artin groups, meaning that all defining labels are $2$ or $3$. In other parts of the literature, however, “small” is used for low-rank Artin groups, for complete parabolic subgroups that are small in graph diameter, or for a representation-theoretic class defined by integrality of a specialization of Squier’s generalized Burau representation. The subject therefore consists less of a single canonical class than of a family of closely related low-complexity regimes in the general theory of Artin groups (Juhasz, 22 Jul 2025, Godelle et al., 2011, Möller et al., 2022, Kumar, 27 Oct 2025).

1. Terminology and competing meanings

The principal source of ambiguity is that different papers isolate different notions of “smallness.”

Usage	Defining condition	Context
Standard small type	all finite labels are $2$ or $3$	usual Artin-group terminology
Low-rank small groups	rank at most $2$	subgroup separability and structural decompositions
Small parabolic pieces	complete induced subgraphs	parabolic intersection and Bass–Serre reductions
Squier-integral small groups	exponents in $\{1,2,3,\infty\}$	congruence subgroup theory

In the standard usage, a small Artin group has only labels $2$ and $3$. This is the sense explicitly contrasted with Juh’s 2025 class of Artin groups with no $3$-labels: those groups have labels in $\{0,2,4,5,6,\dots\}$ , so they are not the same class, and their intersection with standard small Artin groups is essentially the right-angled case (Juhasz, 22 Jul 2025).

A second usage treats “small Artin groups” as the decisive rank-$3$0 pieces from which certain higher-rank groups are assembled. This is particularly visible in subgroup separability, where rank $3$1 and rank $3$2 Artin groups are the atomic LERF building blocks (Almeida et al., 2020).

A third usage concerns complete standard parabolic subgroups. These are “small” not in rank, but in graph diameter: their defining induced subgraphs are complete, hence of diameter at most $3$3, and they function as the “puzzle pieces” in reduction arguments for intersections, fixed point properties, and automatic continuity (Möller et al., 2022).

A fourth, explicitly terminological, definition appears in the congruence-subgroup literature: a group is called a small Artin group if it admits a Coxeter system with all exponents in $3$4, equivalently if Squier’s generalized Burau representation becomes integral after specializing $3$5 and $3$6 (Kumar, 27 Oct 2025).

A probabilistic perspective sharpens how restrictive these families are. In the random Artin-group model with rank $3$7 and permitted labels controlled by a function $3$8, $3$9-type groups, RAAGs, triangle-free Artin groups, and spherical Artin groups are uniformly small, whereas $2$0-dimensional Artin groups have threshold scale $2$1, and large-type, extra-large-type, and free-of-infinity groups have threshold scale $2$2 (Goldsborough et al., 2023).

2. Presentations and canonical subclasses

An Artin group is defined from a finite simplicial graph $2$3 with vertex set $2$4 and edge labels $2$5. If $2$6 are adjacent, the defining relation is the usual alternating braid relation

$2$7

and if there is no edge, there is no Artin relation between those generators. Equivalently, the label data may be encoded by a Coxeter matrix $2$8, with standard parabolic subgroups obtained by passing to full induced subgraphs (Almeida et al., 2020).

In this framework, the main standard subclasses are:

Small type: all finite labels are $2$9 or $3$0.
Right-angled Artin groups: all labels are $3$1 or $3$2.
Even Artin groups: every finite label is even.
Large type: all finite labels are at least $3$3.
Extra-large type: all finite labels are at least $3$4.
Spherical type: the associated Coxeter group is finite.

Among irreducible spherical Artin groups, the small-type cases are precisely

$3$5

This list is important because it isolates the simply laced finite-type families inside the broader spherical classification (Jankiewicz et al., 2020).

Rank is the number of vertices of the defining graph. In low rank, the dihedral groups

$3$6

form the complete rank-$3$7 family, with special cases $3$8 giving $3$9, $2$0 giving type $2$1, $2$2 giving type $2$3, and $2$4 giving type $2$5 (Almeida et al., 2020).

3. Low-rank small Artin groups as building blocks

One of the clearest senses in which small Artin groups are fundamental is subgroup separability. The graph-theoretic class $2$6 introduced for this purpose starts from graphs with at most two vertices and is closed under disjoint union and 2-cone extension. The associated Artin groups are exactly those obtained from rank-$2$7 Artin groups by repeated free products and direct products with $2$8, and these are precisely the subgroup separable Artin groups (Almeida et al., 2020).

The structural statement is: $2$9 Thus every subgroup separable Artin group is assembled from the smallest Artin groups by the two operations

$\{1,2,3,\infty\}$ 0

The low-rank pieces are completely controlled. Rank $\{1,2,3,\infty\}$ 1 gives $\{1,2,3,\infty\}$ 2, hence LERF. Every rank- $\{1,2,3,\infty\}$ 3 Artin group $\{1,2,3,\infty\}$ 4 is also LERF: the case $\{1,2,3,\infty\}$ 5 is abelian, and for $\{1,2,3,\infty\}$ 6 the group is an irreducible spherical rank- $\{1,2,3,\infty\}$ 7 Artin group with infinite cyclic center and a one-relator presentation, so Moldavanskii–Timofeeva’s theorem applies (Almeida et al., 2020).

At rank $\{1,2,3,\infty\}$ 8, the classification already becomes rigid. A connected rank- $\{1,2,3,\infty\}$ 9 Artin group is LERF only when its graph is a 2-cone over a rank-$2$0 graph, equivalently when

$2$1

Graph-theoretically, these are exactly the connected three-vertex cases in which one vertex is $2$2-adjacent to the other two (Almeida et al., 2020).

This low-rank picture is not merely illustrative. It says that, for subgroup separability, small Artin groups are not peripheral examples but the complete set of irreducible building blocks.

4. Small parabolic pieces and reduction principles

A different but equally important notion of smallness is encoded by parabolic subgroups. For a subset $2$3, the subgroup $2$4 generated by $2$5 is a standard parabolic subgroup. If every two distinct vertices of $2$6 are joined by an edge, then $2$7 is free of infinity, equivalently $2$8 is complete, and $2$9 is a complete standard parabolic subgroup (Möller et al., 2022).

These complete parabolics are small in graph diameter rather than in rank. They are singled out by the reduction principle:

if all complete standard parabolic subgroups of $3$0 have a property $3$1, then $3$2 should have property $3$3.

The paper on parabolic intersections makes this precise for several intersection conditions. Its main theorem shows that if intersections of parabolic subgroups are parabolic inside every complete Artin subgroup $3$4, then in the ambient group the intersection of a complete parabolic subgroup with an arbitrary parabolic subgroup is again parabolic: $3$5 This result is proved by repeated Bass–Serre decompositions

$3$6

along missing edges, so that complete parabolic subgroups appear as the terminal pieces of the decomposition (Möller et al., 2022).

A related reduction philosophy appears in the survey of basic questions on Artin–Tits groups. There, torsion-freeness, triviality of center in the connected non-spherical case, and solvability of the word problem all reduce from arbitrary Artin groups to the free-of-infinity case. In particular:

if all free-of-infinity Artin groups are torsion-free, then all Artin groups are torsion-free;
if all non-spherical connected free-of-infinity Artin groups have trivial center, then all non-spherical connected Artin groups do;
if all free-of-infinity Artin groups have solvable word problem, then all Artin groups do (Godelle et al., 2011).

This is directly relevant to small type, because small-type Artin groups are free of infinity. In that sense, standard small Artin groups lie in the reduced core case for several foundational conjectures.

5. Small type versus the no-$3$7-label phenomenon

A persistent misconception in recent literature is to identify standard small Artin groups with the class treated by Juh’s polynomial Dehn-function theorem. That identification is false. The theorem concerns Artin groups whose defining graph has no edge labeled $3$8, not Artin groups whose labels are only $3$9 or $3$0 (Juhasz, 22 Jul 2025).

More precisely, if $3$1 has labels $3$2 for every edge, then

$3$3

is an isoperimetric function for the standard Artin presentation. Equivalently, every null-homotopic word of length $3$4 bounds a van Kampen diagram of area at most $3$5, and therefore the word problem is solvable. The paper records the corollary: $3$6

The class is

$3$7

where $3$8 means “no edge.” This includes all even Artin groups and all right-angled Artin groups, but it excludes the genuinely small-type braid relations with label $3$9. In standard terminology, small Artin groups have labels only $\{0,2,4,5,6,\dots\}$ 0 or $\{0,2,4,5,6,\dots\}$ 1, so Juh’s class intersects them essentially only in the right-angled case (Juhasz, 22 Jul 2025).

The reason the label $\{0,2,4,5,6,\dots\}$ 2 case is excluded is structural rather than cosmetic. Juh’s proof works by splitting regions of a van Kampen diagram into commuting $\{0,2,4,5,6,\dots\}$ 3-regions and noncommuting $\{0,2,4,5,6,\dots\}$ 4-regions,

$\{0,2,4,5,6,\dots\}$ 5

and then applying relative $\{0,2,4,5,6,\dots\}$ 6- $\{0,2,4,5,6,\dots\}$ 7 methods after passing to Howie diagrams and collapsed diagrams. The label $\{0,2,4,5,6,\dots\}$ 8 case produces length- $\{0,2,4,5,6,\dots\}$ 9 braid relators, which do not fit this dichotomy or the associated band arguments. The theorem therefore clarifies a genuine boundary in current diagrammatic methods: standard small-type groups are not covered precisely because the short $3$00-braid relations remain the essential obstruction (Juhasz, 22 Jul 2025).

6. Congruence and representation-theoretic smallness

A substantially different notion of small Artin group appears in the study of congruence subgroups. Starting from Squier’s representation

$3$01

over $3$02, one specializes to

$3$03

At this specialization, the representation is integral exactly when every exponent satisfies

$3$04

The paper therefore defines a small Artin group to be an Artin group admitting such a Coxeter system (Kumar, 27 Oct 2025).

This definition includes:

braid groups;
right-angled Artin groups.

It is the Artin analogue of the corresponding notion for Coxeter groups, where the Tits representation is integral precisely for the same exponent set. Under this definition, standard small type and RAAGs both count as small, because labels $3$05, $3$06, and $3$07 are all permitted (Kumar, 27 Oct 2025).

The associated principal congruence subgroups are defined by reducing the specialized representation modulo $3$08: $3$09

The main global result is negative. If a small Coxeter graph has a connected component that is not affine, then the corresponding Artin group does not have the congruence subgroup property. Thus the only cases not ruled out are those whose connected components are all affine (Kumar, 27 Oct 2025).

At low levels, the paper identifies several principal congruence subgroups explicitly. For spherical type,

$3$10

$3$11

For right-angled Artin groups, level $3$12 is trivial in the sense that

$3$13

while level $3$14 satisfies

$3$15

This places braid groups, RAAGs, and other Squier-integral small Artin groups inside a unified congruence framework (Kumar, 27 Oct 2025).

7. Model theory and geometric realizations of small examples

Small and low-rank Artin groups also play a prominent role in model theory. A paper proves that two spherical Artin groups are elementarily equivalent if and only if they are isomorphic, so within spherical type the first-order theory determines the isomorphism class exactly (Cassella et al., 29 Jul 2025).

The same paper reduces the superstability problem for a non-abelian Artin group to a rank-$3$16 question: one needs a dihedral parabolic subgroup $3$17 to be $3$18-pure in the ambient group for some sufficiently large prime $3$19. This reduction makes dihedral Artin groups the decisive small test cases for a global model-theoretic property (Cassella et al., 29 Jul 2025).

The dihedral groups are analyzed explicitly. For $3$20, the quotient by the center is

$3$21

These computations are used both in the superstability reduction and in distinguishing low-rank spherical types by first-order means (Cassella et al., 29 Jul 2025).

On the affine side, the paper proves that the groups of type $3$22, $3$23, can be separated from the other simply laced affine Artin groups by existential sentences. The argument uses strong co-Hopfianity and second homology computations such as

$3$24

contrasting with the finite $3$25-group second homology of $3$26 and $3$27 (Cassella et al., 29 Jul 2025).

Small Artin groups also admit concrete geometric realizations as fundamental groups of plane-curve complements. The deltoid gives the Artin group of the triangle,

$3$28

and a parabola together with two parallel lines yields the Euclidean Artin group $3$29,

$3$30

More generally, for the hypocycloids $3$31, the fundamental group of the complement is the Artin group of the polygon on

$3$32

vertices (Kabiraj et al., 2017).

These realizations are significant because they turn small and low-rank Artin groups into explicit topological objects: cusp and node combinatorics become braid and commutation relations, and polygonal real diagrams become affine cycle-type Artin groups. In that sense, the study of small Artin groups sits at the intersection of Coxeter combinatorics, subgroup structure, geometric group theory, arithmetic representations, model theory, and the topology of plane curves.