Abstract
Presentations of groups by rewriting systems (that is, by monoid presentations), have been fruitfully studied by encoding the rewriting system in a 2-complex—the Squier complex—whose fundamental groupoid then describes the derivation of consequences of the rewrite rules. We describe a reduced form of the Squier complex, investigate the structure of its fundamental groupoid, and show that key properties of the presentation are still encoded in the reduced form.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The study of the relationships between presentations of semigroups, monoids, and groups, and systems of rewriting rules has drawn together concepts from group and semigroup theory, low-dimensional topology, and theoretical computer science. Squier (1987) addressed the question of whether a finitely presented monoid with solvable word problem is necessarily presented by a finite, complete, string rewriting system. He proved that a monoid presented by a finite, complete, string rewriting system must satisfy the homological finiteness condition \(FP_3\): indeed, an earlier result of Anick (1986) implies that such a monoid satisfies the stronger condition \(FP_{\infty }\). These ideas are concisely surveyed in Cohen (1993), and more extensively in Otto and Kobayashi (1997). Since examples are known of finitely presented monoids with solvable word problem that do not satisfy \(FP_3\), Squier’s work shows that such monoids need not be presented by finite, complete, string rewriting systems.
Squier et al. (1994) studied finite, complete, string rewriting systems for monoids and proved that the existence of such a system presenting a monoid M implies a homotopical property—finite derivation type—defined for a graph that encodes the rewriting system. Moreover, they show that having finite derivation type does not depend on the particular rewriting system used to present M, and so is a property of M itself and a necessary condition that M should be presented by a finite, complete string rewriting system.
Finite derivation type is naturally thought of as a property of a 2-complex, the Squier complex associated to a monoid presentation \({\mathcal {P}}\), and obtained by adjoining certain 2-cells to the graph of Squier et al. (1994). This point of view was introduced independently by Pride (1995) and Kilibarda (1997), and then extensively developed in Guba and Sapir (1997, (2006) in terms of both string-rewriting systems, and more geometrically, in terms of directed 2-complexes. The theory developed by Kilibarda and then by Guba and Sapir focusses on the properties of diagram groups, which are fundamental groups of the Squier complex.
Kilibarda (1997) studied the fundamental groupoid of the Squier complex associated to a monoid presentation [X : R]. Gilbert (1998) showed that the fundamental groupoid is a monoid in the category of groupoids, and used this enriched structure to explain Pride’s corresponding theory of diagram groups for monoid presentations of groups (Pride 1999).
The approach of Pride (1999) is based upon the addition of extra 2-cells to a Squier complex so as to realise a homotopy relation introduced in Cremanns and Otto (1996). This augmented Squier complex was called the Pride complex in Gilbert (1998) and denoted by \(K^+\). Beginning with a group presentation \({\mathcal {P}}= \langle X : R \rangle \) of a group G, we obtain a monoid presentation of G by adding relations \(xx^{-1}=1=x^{-1}x\) for each \(x \in X\), and the additional 2-cells correspond to possible overlaps in the use of such relations in the free reduction of words on \(A= X \cup X^{-1}\). The outcome is that if u and v are freely equivalent then any two edge-paths in \(K^+\) from u to v that record this free equivalence are fixed-end-point homotopic, as required for a homotopy relation as defined in Cremanns and Otto (1996). Gilbert (1998) investigated the structure of the fundamental groupoid \(\pi (K^+,A^*)\) and showed that there is a retraction map \(\pi (K^+,A^*) \rightarrow \pi (K^+,F(X))\) to the fundamental groupoid with vertex set the free group F(X).
In this paper—which reconfigures the approach to monoid presentations of groups in Cremanns and Otto (1996) and is a somewhat belated sequel to Gilbert (1998) and Pride (1999)—we adopt a similar approach, but use a different modification of the Squier complex, defining the reduced Squier complex \({\text {Sq}}^{\rho }({\mathcal {P}})\) of a group presentation \({\mathcal {P}}= \langle X : R \rangle \) as a 2-complex having vertex set F(X). We can then work directly with the fundamental groupoid \(\pi ({\text {Sq}}^{\rho }({\mathcal {P}}),F(X))\) and so avoid some of the technicalities from Gilbert (1998). In particular, we show that the set \({\text {star}}_1({\text {Sq}}^{\rho }({\mathcal {P}}))\) of homotopy classes of paths in \(\pi ({\text {Sq}}^{\rho }({\mathcal {P}}),F(X))\) that begin at \(1 \in F(X)\) has a natural group structure, and the end-of-path map
is a crossed module, as defined in Whitehead (1949). We give a presentation for \({\text {star}}_1({\text {Sq}}^{\rho }({\mathcal {P}}))\), and use it to show that the crossed module is isomorphic to that usually associated to a group presentation, as in Brown and Huebschmann (1982). It then follows that the fundamental group \(\pi _1({\text {Sq}}^{\rho }({\mathcal {P}}),1)\) can be interpreted as the kernel of a free presentation of the relation module of \({\mathcal {P}}\), and as in Cremanns and Otto (1996) we may link the module structure of \(\pi _1({\text {Sq}}^{\rho }({\mathcal {P}}),1)\) to the homological finiteness condition \(\text {FP}_3\), and as in Dyer (1993) to Cockcroft properties of \({\mathcal {P}}\).
2 Background notions and notation
2.1 Groupoids
A groupoid G is a small category in which every morphism is invertible. We consider a groupoid as an algebraic structure as in Higgins (1971): the elements are the morphisms, and composition is an associative partial binary operation. The set of vertices of G is denoted V(G), and for each vertex \(x \in V(G)\) there exists an identity morphism \(1_x\). An element \(g \in G\) has domain \(g {\mathbf {d}}\) and range \(g{\mathbf {r}}\) in V(G), with \(gg^{-1} = 1_{g {\mathbf {d}}}\) and \(g^{-1}g = 1_{g {\mathbf {r}}}\). For \(e \in V(G)\) the star of e in G is the set \({\text {star}}_{e}(G) = \{ g \in G : g {\mathbf {d}}=e \}\), and the local group at e is the set \(G(e) = \{ g \in G : g {\mathbf {d}}= e = g {\mathbf {r}}\}\).
2.2 Crossed modules
Crossed modules will be the algebraic models of group presentations that we shall use in our formulation of the relation module and the module of identities for a group presentation. For a more detailed account of these topics , we refer to Brown and Huebschmann (1982).
A crossed module is a group homomorphism \(\partial : T \rightarrow \varGamma \) together with an action of \(\varGamma \) on T (written \((t,g) \mapsto t^g\)) such that \(\partial \) is \(\varGamma \)-equivariant, so that for all \(t \in T\) and \(g \in \varGamma \) we have
and such that for all \(t,u \in T\), we have:
We shall say that \((T, \partial )\) is a crossed \(\varGamma \)-module.
Example 1
Examples of crossed modules include the following:
-
any \(\varGamma \)-module M with the trivial map \(M {\mathop {\rightarrow }\limits ^{0}} \varGamma \),
-
the inclusion of any normal subgroup \(N \hookrightarrow \varGamma \),
-
the map \(T \rightarrow {\text {Aut}} T\) that associates to \(t \in T\) the inner automorphism of T defined by \(a \mapsto t^{-1}at\),
-
any surjection \(T \rightarrow \varGamma \) with central kernel, where \(\varGamma \) acts on T by lifting and conjugation,
-
the boundary map \(\pi _2(X,Y) \rightarrow \pi _1(Y)\) from the second relative homotopy group of a pair of spaces (X, Y) with \(Y \subseteq X\).
The last example motivated the introduction of crossed modules by Whitehead (1949).
Let \(\partial : T \rightarrow \varGamma \) be a crossed module, and let N be the image of \(\partial \). The following properties are easy consequences of (1) and (2).
-
N is normal in \(\varGamma \), and so if we set \(G= \varGamma /N\) we get the short exact sequence of groups: \(1 \rightarrow N \rightarrow \varGamma \rightarrow G \rightarrow 1 \,.\)
-
\(\ker \partial \subseteq Z(T)\), the center of T, so \(\ker \partial \) is abelian.
-
\(\ker \partial \) is invariant under the \(\varGamma \)-action on T, and so is a \(\varGamma \)-module.
-
N acts trivially on Z(T) and thus on \(\ker \partial \), hence \(\ker \partial \) inherits an action of G to become a G-module.
-
the abelianisation \(T^{ab}\) of T inherits the structure of a G-module.
Definition 1
Let \((T, \partial )\) and \((T', \partial ')\) be crossed \(\varGamma \)-modules. A morphism \(\phi :(T, \partial ) \rightarrow (T', \partial ')\) is a group homomorphism \(\phi : T \rightarrow T'\) such that for \(t \in T\), and \(g \in \varGamma \), \( (t^g)\phi = (t \phi )^g\) and \(\phi \partial ' = \partial \).
2.2.1 Free crossed modules
Definition 2
Let \((T, \partial )\) be a crossed \(\varGamma \)-module, let R be a set, and let \(\rho :R \rightarrow T\) be a function. We say \((T, \partial )\) is a free crossed \(\varGamma \)-module with basis \(\rho \) if for any crossed \(\varGamma \)-module \((T', \partial ')\) and function \(\sigma : R \rightarrow T'\) such that \(\sigma \partial ' = \rho \partial \), that is, such that the square
![](http://media.springernature.com/lw221/springer-static/image/art%3A10.1007%2Fs13366-020-00531-6/MediaObjects/13366_2020_531_Equ56_HTML.png)
commutes, then there exists a unique morphism of crossed modules \(\phi :(T, \partial ) \rightarrow (T', \partial ')\) such that \(\rho \phi = \sigma \), that is,
![](http://media.springernature.com/lw271/springer-static/image/art%3A10.1007%2Fs13366-020-00531-6/MediaObjects/13366_2020_531_Equ57_HTML.png)
also commutes. We may also choose to emphasise \(\omega = \rho \partial : R \rightarrow \varGamma \) by saying that a free crossed module \((T, \partial )\) with basis \(\rho \) is a free crossed module on \(\omega \).
The construction of free crossed modules is due to Whitehead (1949), and is also discussed by Brown and Huebschmann (1982).
Proposition 1
(Whitehead 1949) Let \(\varGamma \) be a group, R a set, and \(\omega :R \rightarrow \varGamma \) a function. Then a free crossed \(\varGamma \)-module on \(\omega \) exists and is unique up to isomorphism.
Proof
We sketch the construction, following (Brown and Huebschmann 1982, Proposition 5). Let F be the free group on the basis \(R \times \varGamma \). Then \(\varGamma \) acts on F by right multiplication of basis elements: for \(r \in R\) and \(u,v \in \varGamma \) we have \((r,u)^v=(r,uv)\). We map \((r,u) \mapsto u^{-1}(r \omega )u\) and this induces a group homomorphism \(\delta : F \rightarrow \varGamma \). The subgroup P of F generated by all elements of the form
with \(r,s \in R\) and \(u,v \in \varGamma \) is normal in F, invariant under the \(\varGamma \)-action, and contained in \(\ker \delta \). It follows that \(\delta \) induces \(\partial : F/P \rightarrow \varGamma \), and this is a free crossed \(\varGamma \)-module on \(\omega \). Uniqueness up to isomorphism follows from the usual universal argument. \(\square \)
Whitehead also observed the following:
Proposition 2
(Whitehead 1949, page 457) Let \((C, \partial )\) be the free crossed \(\varGamma \)-module with basis \(\rho \), and set \(Q = {\text {coker}}\partial \). Then \(C^{ab}\) is a free Q-module on the image of the composition \(\overline{\rho }: R \xrightarrow {\rho } C \rightarrow C^{ab}\).
2.2.2 Crossed modules from group presentations
A group presentation \(\mathcal {P}= \langle X : \mathcal {R} \rangle \) of a group G, consists of a set of generators X, and a set of relations \(\mathcal {R} \subseteq (X \cup X^{-1})^* \times (X \cup X^{-1})^*\). We set \(A = X \cup X^{-1}\), we let \(\rho : A^* \rightarrow F(X)\) be the canonical map, and we define \(\hat{\rho } : {\mathcal {R}}\rightarrow F(X)\) by \((\ell ,r) \hat{\rho } = (\ell ^{-1}r)\rho \). We let R be the image of \(\hat{\rho }\) in F(X), and define \(N = \langle \! \langle R \rangle \! \rangle \) to be the normal closure of R in F, so that a typical element of N has the form
where, for \(1 \le j \le k\), we have \(u_j \in F\), \(r_j \in {\mathcal {R}}\), and \(\varepsilon _j = \pm 1\). Then G is the quotient group F(X)/N, and we have a canonical presentation map \(\theta : F(X) \rightarrow G\).
We now let \((C({\mathcal P}),\partial )\) be the free crossed F(X)-module on the function \(\hat{\rho } : {\mathcal R} \rightarrow F(X)\). An element of \(C = C({\mathcal P})\) is represented by a product
where \(r_j \in {\mathcal R}, w_j \in F(X)\) and \(\varepsilon _k = \pm 1\). A typical Peiffer element (trivial in C) has the form
For \((r,w) \in C\) we have \(\partial : (r,w) \mapsto w^{-1}(r \hat{\rho }) w\), and the image of \(\partial \) is N. We denote \(\ker \partial \) by \(\pi =\pi ({\mathcal P})\). We therefore have short exact sequences of groups
and
with \(\pi \) central in C and a G-module.
Proposition 3
(Brown and Huebschmann 1982, Corollary to Proposition 7) The free crossed module C is isomorphic as a group to \(\pi \times N\). Its abelianisation \(C^{ab}\) is a free G-module, and the induced map \(\pi \rightarrow C^{ab}\) is injective, so that we have a short exact sequence of G-modules.
Proof
The group N is free since it is a subgroup of F(X), and so (4) splits. Since \(\pi \) is central in C we have \(C \cong \pi \times N\). It follows that \([C,C] \cong \{ 0 \} \times [N,N]\) and so \(\pi \rightarrow C^{ab}\) is injective. \(C^{ab}\) is free by Proposition 2. \(\square \)
In the sequence (5), the G-module \(N^{ab}\) is the relation module of the presentation \({\mathcal {P}}\), and the G-module \(\pi \) is the module of identities. The sequence (5) then gives a free presentation of the relation module.
3 Regular groupoids
We now introduce some additional structure on a groupoid. This idea originates in Brown and Gilbert (1989), and was further developed in Gilbert (1998) and Brown (2010). Brown uses the terminology whiskered groupoid for what Gilbert had called a semiregular groupoid. We shall use the semiregular terminology, and will discuss in detail the special case of regular groupoids.
Definition 3
Let G be a groupoid, with vertex set V(G) and domain and range maps \({\mathbf {d}}, {\mathbf {r}}:G \rightarrow V(G)\). Then G is semiregular if
-
V(G) is a monoid, with identity \(e \in V(G)\),
-
there are left and right actions of V(G) on G, denoted \(x \rhd \alpha \), \(\alpha \lhd x\), which for all \(x, y \in V(G)\) and \(\alpha , \beta \in G\) satisfy:
-
(a)
\((xy) \rhd \alpha = x \rhd (y \rhd \alpha )\); \(\alpha \lhd (xy) = (\alpha \lhd x) \lhd y\); \((x\rhd \alpha ) \lhd y = x \rhd (\alpha \lhd y)\),
-
(b)
\(e \rhd \alpha = \alpha = \alpha \lhd e\),
-
(c)
\((x \rhd \alpha ) {\mathbf {d}}= x(\alpha {\mathbf {d}})\); \((\alpha \lhd x){\mathbf {d}}= (\alpha {\mathbf {d}})x\); \((x \rhd \alpha ) {\mathbf {r}}= x(\alpha {\mathbf {r}})\); \((\alpha \lhd x){\mathbf {r}}= (\alpha {\mathbf {r}})x\),
-
(d)
\(x \rhd (\alpha \circ \beta ) = (x \rhd \alpha ) \circ (x \rhd \beta )\); \((\alpha \circ \beta ) \lhd x = (\alpha \lhd x) \circ (\beta \lhd x)\), whenever \(\alpha \circ \beta \) is defined,
-
(e)
\(x \rhd 1_y = 1_{xy} = 1_x \lhd y\).
-
(a)
A semiregular groupoid G is a regular groupoid if V(G) is a group.
Our first result collates some simple facts from (Gilbert 1998, section 1).
Proposition 4
-
(a)
Let G be a semiregular groupoid. Then there are two everywhere defined binary operations on G given by:
$$\begin{aligned} \alpha * \beta&= (\alpha \lhd \beta {\mathbf {d}}) \circ (\alpha {\mathbf {r}}\rhd \beta ) \\ \alpha \circledast \beta&= (\alpha {\mathbf {d}}\rhd \beta ) \circ (\alpha \lhd \beta {\mathbf {r}}) \,. \end{aligned}$$Each of the binary operations \(*\) and \(\circledast \) make G into a monoid, with identity \(1_e\).
-
(b)
The binary operation \(*\) and the monoid structure on V(G) make the semiregular groupoid G into a strict monoidal groupoid if and only if the operations \(*\) and \(\circledast \) on G coincide.
-
(c)
Let G be a regular groupoid. Then each of the two binary operations \(*\) and \(\circledast \) given in Proposition 4 make G into a group, with identity \(1_e\).
-
(d)
Let G be a regular groupoid. Then \({\mathbf {r}}: (G, *) \rightarrow V(G)\) is a group homomorphism, and \({\text {star}}_e(G)\) is a subgroup of \((G,*)\).
Proof
We remark only on the proof of (c), since it is mis-stated in Gilbert (1998). The inverse of \(\alpha \) with respect to \(*\) is
and with respect to \(\circledast \) is
where \(^{\circ }\) is the inverse of \(\alpha \) with respect to the groupoid operation, and \(^{-1}\) is the inverse in the group V(G). \(\square \)
Definition 4
In view of part (c) of Proposition 4, we say that a semiregular groupoid is monoidal if the operations \(*\) and \(\circledast \) coincide. [Brown (2010) calls such semiregular groupoids commutative.]
Still following (Gilbert 1998, section 1), we state the connection between regular groupoids and crossed modules.
Proposition 5
In a regular groupoid G, the group \((G,*)\) admits a group action of V(G) by automorphisms, defined for \(\alpha \in G\) and \(q \in V(G)\) by \(\alpha ^q = q^{-1} \rhd \alpha \lhd q\). Then \({\mathbf {r}}: {\text {star}}_e(G) \rightarrow V(G)\) is a crossed module if and only if G is monoidal.
4 The Squier complex of a group presentation
Let \({\mathcal {P}}= \langle X: {\mathcal {R}}\rangle \) be a group presentation. Recall from Sect. 1.2.2 that relations \((l,r) \in {\mathcal {R}}\) may involve words in \((X \cup X^{-1})^*\) that are not freely reduced. However, to reduce notational clutter, we shall suppress mention of the free reduction map \(\rho : (X \cup X^{-1})^* \rightarrow F(X)\) in what follows. Hence if \(p,q \in F(X)\) and \((l,r) \in {\mathcal {R}}\), we shall write prq for \(p(r \rho )q\), and so on. The product prq is then interpreted as a product in F(X), but need not of course be reduced as written.
Example 2
If \(p=aba^{-1}\) and \(q=c^{-1}dc\) in F(X), and \(r = acc^{-1}c \in (X \cup X^{-1})^*\), then
Definition 5
The reduced Squier complex \({\text {Sq}}^{\rho }({\mathcal {P}})\) is the 2-complex defined as follows:
-
the vertex set of \({\text {Sq}}^{\rho }({\mathcal {P}})\) is the free group F(X) on X,
-
the edge set of \({\text {Sq}}^{\rho }({\mathcal {P}})\) consists of all 3-tuples (p, l, r, q) with \(p, q \in F(X)\) and \((l,r) \in {\mathcal {R}}\). Such an edge will start at plq and end at prq, so each edge corresponds to the application of a relation in F(X).
-
the 2-cells correspond to applications of non-overlapping relations, and so a 2-cell is attached along every edge path of the form:
The edge paths
$$\begin{aligned} (p, l,r, qp'l'q')(prqp', l' , r', q') \end{aligned}$$and
$$\begin{aligned} (plqp', l' , r', q')(p, l,r, qp'r'q') \end{aligned}$$will therefore be homotopic in \({\text {Sq}}^{\rho }({\mathcal {P}})\).
Lemma 1
The fundamental groupoid \(\pi ({\text {Sq}}^{\rho }({\mathcal {P}}),F(X))\) of the Squier complex \({\text {Sq}}^{\rho }({\mathcal {P}})\) of a group presentation \({\mathcal {P}}\) is a regular groupoid.
Proof
The vertex set of \(\pi = \pi ({\text {Sq}}^{\rho }({\mathcal {P}}),F(X))\) is the group F(X). We need to define left and right actions of F(X) on homotopy classes of paths in \({\text {Sq}}^{\rho }({\mathcal {P}})\). We first define such actions for single edges. Let \(u, v \in F(X)\) and suppose that (p, l, r, q) is an edge in \({\text {Sq}}^{\rho }({\mathcal {P}})\). We define
It is then clear that these actions can be extended to edge-paths in \({\text {Sq}}^{\rho }({\mathcal {P}})\), and induce actions of F(X) on homotopy classes of paths. \(\square \)
In what follows it will be convenient to work directly with edge paths in \({\text {Sq}}^{\rho }({\mathcal {P}})\), even though these are to be interpreted as representatives of homotopy classes in the fundamental groupoid \(\pi ({\text {Sq}}^{\rho }({\mathcal {P}}),F(X))\). In particular, we shall apply the operations \(*\) and \(\circledast \) directly to edge paths.
Theorem 1
The regular groupoid \(\pi (Sq({\mathcal {P}}),F(X))\) is monoidal.
Proof
Recall that
First we consider single-edge paths \(\alpha = (p,l,r,q)\) and \(\beta =(p',l',r',q')\). Then
These paths comprise the boundary of a 2-cell in \({\text {Sq}}^{\rho }({\mathcal {P}})\) and are thus homotopic: hence \(\alpha * \beta = \alpha \circledast \beta \).
Now consider edge paths \(\alpha = \alpha _1 \circ \alpha _2 \circ \cdots \circ \alpha _k\) and \(\beta = \beta _1 \circ \beta _2 \circ \cdots \circ \beta _m\) and with each \(\alpha _i\), \(\beta _j\) single edges. We set \(m=1\) and \(k>1\): then we may assume that if \(\beta \) is the single edge \(\beta _1\) then
We then have
So by induction on k, we have \(\alpha *\beta = \alpha \circledast \beta \), whenever \(m=1\). Now for \(m>1\) we assume inductively that, for any edge path \(\alpha \),
Then
Thus by induction we have that \(\alpha * \beta = \alpha \circledast \beta \), for all edge paths \(\alpha , \beta \) in \({\text {Sq}}^{\rho }({\mathcal {P}})\). \(\square \)
From Proposition 5 we have:
Corollary 1
The subset \({\text {star}}_1(\pi ({\text {Sq}}^{\rho }({\mathcal {P}}),F(X))\) of the fundamental groupoid of the Squier complex \({\text {Sq}}^{\rho }({\mathcal {P}})\) is a group under the binary operation \(*\), and the restriction of the range map is a crossed module
4.1 The crossed module of a Squier complex
Our aim is now to show that the crossed module in Corollary 1 is isomorphic to the free crossed module \(C \xrightarrow {\partial } F(X)\) derived from the presentation \({\mathcal {P}}\), as in Sect. 1.2.2. Furthering our blurring of the distinction between an edge path and its homotopy class in the fundamental groupoid, we shall abbreviate the group \({\text {star}}_1(\pi ({\text {Sq}}^{\rho }({\mathcal {P}}),F(X)))\) as \({\text {star}}_1({\text {Sq}}^{\rho }({\mathcal {P}}))\). We denote by \(S_1\) the set of all edges \(e \in {\text {Sq}}^{\rho }({\mathcal {P}})\) with \(e {\mathbf {d}}= 1\), that is
The condition that \(plq=1\) means ( if we momentarily undo our notational convention of supressing the map \(\rho \)) that \(p(l \rho )q\) freely reduces to the empty word. We shall denote the edge \((q^{-1}l^{-1},l,r,q)\) by \(\lambda _{l,r,q}\).
Let \(e = (p,l,r,q)\) be an edge of \({\text {Sq}}^{\rho }({\mathcal {P}})\) in the connected component of \(1 \in F(X)\), and define
Proposition 6
Let \(\alpha \) be an edge path in \({\text {star}}_1({\text {Sq}}^{\rho }({\mathcal {P}}))\). Then \(\alpha \) is equal to a \(*\)-product of single edges in \(S_1\). Thus the group \(({\text {star}}_1({\text {Sq}}^{\rho }({\mathcal {P}})),*)\) is generated by \(S_1\)
Proof
The claim is trivial for edge paths \(\alpha \) of length 1, so now suppose that
for some \(n>1\), with each \(\alpha _i \) a single edge. Set \(\lambda _i = \alpha _i \lambda =(\alpha _i{\mathbf {d}})^{-1} \rhd \alpha _i\). Then \(\lambda _i \in S_1\), and \(\alpha _1 = \lambda _1\). We now assume inductively that
Then
Therefore \(\alpha = \lambda _1 *\cdots *\lambda _n\) . \(\square \)
Definition 6
We denote the product \(\lambda _1 * \cdots *\lambda _n\) used to represent \(\alpha \in {\text {star}}_1({\text {Sq}}^{\rho }({\mathcal {P}}))\) in Proposition 6 by \(\alpha \lambda \).
Lemma 2
Suppose that \(\alpha \circ \beta \in {\text {star}}_1({\text {Sq}}^{\rho }({\mathcal {P}}))\). Then \((\alpha \circ \beta ) \lambda = \alpha \lambda *\beta \lambda \).
We now want to understand the effect of homotopy of edge paths in \({\text {Sq}}^{\rho }({\mathcal {P}})\) on the \(*\)-products defined in Proposition 6. We first consider a 1-homotopy, that is, the insertion of deletion of a pair of inverse edges. Let \(\xi = \rho \circ \sigma \) in \(Sq({\mathcal {P}})\), with \(\rho \in {\text {star}}_1({\text {Sq}}^{\rho }({\mathcal {P}}))\). Then consider the homotopic path \(\xi ' = \rho \circ \alpha \circ \alpha ^{\circ } \circ \sigma \), with \(\alpha \) a single edge. Then
Therefore a 1-homotopy applied to an edge path \(\xi \) does not change the \(*\)-product \(\xi \lambda \).
Suppose that we have a 2-cell
![](http://media.springernature.com/lw238/springer-static/image/art%3A10.1007%2Fs13366-020-00531-6/MediaObjects/13366_2020_531_Equ8_HTML.png)
in the connected component of \(1 \in F(X)\) in \({\text {Sq}}^{\rho }({\mathcal {P}})\), with
This 2-cell gives a homotopy between \(\alpha \circ \beta \) and \( \gamma \circ \delta \), or equivalently tells us that in \(\pi ({\text {Sq}}^{\rho }({\mathcal {P}}))\) we have
If this 2-cell is involved in a 2-homotopy between edge paths \(\xi \) and \(\xi '\), we may assume using 1-homotopies where necessary, that we have \(\xi = \rho \circ \alpha \circ \beta \circ \sigma \) and \(\xi ' = \rho \circ \gamma \circ \delta \circ \sigma \), that is a configuration
![](http://media.springernature.com/lw388/springer-static/image/art%3A10.1007%2Fs13366-020-00531-6/MediaObjects/13366_2020_531_Equ59_HTML.png)
Then, using \(\simeq \) to denote homotopy of edge paths in \({\text {Sq}}^{\rho }({\mathcal {P}})\), we have
The above considerations show that, for a given homotopy class in \({\text {star}}_1({\text {Sq}}^{\rho }({\mathcal {P}}))\), we may select a representative edge path \(\xi \) in the form of its \(*\)-product \(\xi \lambda \) and that this product will be unique up to changes induced by the 2-cells in \({\text {Sq}}^{\rho }({\mathcal {P}})\), which may modify the product as in Eq. (10) above. We can be more precise.
Proposition 7
Given \(q \in F(X)\) and \((l,r) \in {\mathcal {R}}\), we set
Then the following are a set of defining relations for the group \(({\text {star}}_1({\text {Sq}}^{\rho }({\mathcal {P}})),*)\) on the generating set \(S_1\):
where \((l,r), (s,d) \in {\mathcal {R}}\) and \(u,v \in F(X)\).
Proof
Since
and
we see that the stated relations are true in \(({\text {star}}_1({\text {Sq}}^{\rho }({\mathcal {P}})),*)\) since they record the equality of the two paths around the sides of the 2-cell
![](http://media.springernature.com/lw350/springer-static/image/art%3A10.1007%2Fs13366-020-00531-6/MediaObjects/13366_2020_531_Equ60_HTML.png)
On the other hand, to accomplish the rewriting in (10), we need to identify the paths around the boundary of a general 2-cell as in (8) and, in the notation of (9), use the relation
Now
and
If we set \(v=qt\) then
and
and the required relation is
\(\square \)
Theorem 2
The crossed F(X)-module \({\text {star}}_1({\text {Sq}}^{\rho }({\mathcal {P}})) \xrightarrow {{\mathbf {r}}} F(X)\) derived from the Squier complex \({\text {Sq}}^{\rho }({\mathcal {P}})\) of a group presentation \({\mathcal {P}}= \langle X: {\mathcal {R}}\rangle \), is isomorphic to the free crossed F(X)-module \(C \xrightarrow {\partial } F\) derived from \( {\mathcal {P}}\).
Proof
Recall from Sect. 1.2.2 that the free crossed module \(C \xrightarrow {\partial } F\) has basis function \(v: {\mathcal {R}}\rightarrow C\), \(v: (l,r) \mapsto (l,r, 1)\). We define \(\overline{v}: {\mathcal {R}}\rightarrow {\text {star}}_1({\text {Sq}}^{\rho }({\mathcal {P}}))\) by \(\overline{v}: (l,r) \mapsto (l^{-1}, l,r, 1)\). Then \(v\partial = \overline{v}{\mathbf {r}}\), and thus by freeness of \((C, \partial )\), we have a crossed module morphism \(\phi : C \rightarrow {\text {star}}_1({\text {Sq}}^{\rho }({\mathcal {P}}))\), defined on generators by \((l,r, u) \mapsto (u^{-1}l^{-1}, l,r, u) = \lambda _{l,r,u}\). We note that this is a bijection from the group generating set of C to \(S_1\).
To obtain an inverse to \(\phi \), we therefore wish to map \(\lambda _{l,r,u} \mapsto (l,r,u)\). This will be well-defined and a homomorphism if and only if the defining relations given in (11) in Proposition 7 are mapped to an equation that holds in the group C. Now the left-hand side of (11) maps to
and the right-hand side to
and in the crossed F(X)-module C we do indeed have
\(\square \)
The kernel of the map \({\mathbf {r}}: {\text {star}}_1({\text {Sq}}^{\rho }({\mathcal {P}})) \rightarrow F(X)\) is the local group at \(1 \in F(X)\) of the groupoid \(\pi ({\text {Sq}}^{\rho }({\mathcal {P}}), F(X))\), that is the fundamental group \(\pi _1({\text {Sq}}^{\rho }({\mathcal {P}}),1)\). Then from Proposition 3 we obtain:
Proposition 8
Let \({\mathcal {P}}= \langle X: {\mathcal {R}}\rangle \) be a presentation of a group G with presentation map \(\theta : F(X) \rightarrow G\) and let \(N = \ker \theta \), so that \(N^{ab}\) is the relation module of \({\mathcal {P}}\). Then we have a short exact sequence of G-modules:
Example 3
Let \({\mathcal {P}}=\langle x : xx^{-1}=1 \rangle \) presenting the infinite cyclic group \(\langle x \rangle \). Then the relation modle is trivial, and (12) reduces to an isomorphism \(\pi _1({\text {Sq}}^{\rho }({\mathcal {P}}),1) \cong {\mathbb {Z}}\langle x \rangle \). We can also see this from the construction of \({\text {Sq}}^{\rho }({\mathcal {P}})\). The Squier complex \({\text {Sq}}^{\rho }({\mathcal {P}})\) has vertex set \(\langle x \rangle \) and each edge is a loop. The generating set \(S_1\) in Proposition 6 is
and we write \(\lambda _q = (x^{-q},xx^{-1},1,x^q)\). By Proposition 7 we have a presentation for \(\pi _1({\text {Sq}}^{\rho }({\mathcal {P}}),1) = {\text {star}}_1({\text {Sq}}^{\rho }({\mathcal {P}}))\) given by
and so \(\pi _1({\text {Sq}}^{\rho }({\mathcal {P}}),1)\) is free abelian of countably infinite rank, and the \(\langle x \rangle \)-action is defined by \(\lambda _q^x = \lambda _{q+1}\).
4.2 Properties of \(\pi _1({\text {Sq}}^{\rho }({\mathcal {P}}),1)\)
We show in two Corollaries of Proposition 8 how properties of the presentation \({\mathcal {P}}\) and the group G are reflected in properties of the fundamental group of the reduced Squier complex. The illustrative examples that we give are drawn from Cremanns and Otto (1996) and Dyer (1993).
The first result was proved for the Squier complex of Squier et al. (1994) by Cremanns and Otto. We refer to Brown (1982, Chapter VIII) and to Cremanns and Otto (1996, section 4) for information on the condition \(\text {FP}_3\)
Corollary 2
(Cremanns and Otto 1996, Theorem 4.10) Let G be presented by the finite presentation \({\mathcal {P}}= \langle X : {\mathcal {R}}\rangle \). Then the following are equivalent.
-
(a)
\(\pi _1({\text {Sq}}^{\rho }({\mathcal {P}}),1)\) is a finitely generated G-module,
-
(b)
G is of type \(\text {FP}_3\).
Proof
There is an exact sequence of G-modules (see Brown 1982, Proposition II.5.4),
and if \(\pi _1({\text {Sq}}^{\rho }({\mathcal {P}}),1)\) is a finitely generated as a G module by a set S this extends, using (12), to a partial free resolution of finite type
which shows that G has type \(\text {FP}_3\). Conversely, if G has type \(\text {FP}_3\) then \(\pi _1({\text {Sq}}^{\rho }({\mathcal {P}}),1)\) is the kernel (at dimension 2) in a partial free resolution of \({\mathbb {Z}}\) of finite type and so is finitely generated as a consequence of the generalized Schanuel Lemma, see Brown (1982, Proposition 4.3). \(\square \)
The second result characterizes the Cockcroft properties of \({\mathcal {P}}\). Following Dyer (1993, Theorem 4.2) we make the following definition. Let L be a subgroup of G, and apply the tensor product \(- \otimes _{L} {\mathbb {Z}}\) to the sequence (12) to obtain the sequence
of abelian groups, where G/L is the set of left cosets of L in G. Then \({\mathcal {P}}\) is L-Cockcroft if the map
in (13) is an isomorphism. Immediately from (13) we obtain part of Dyer (1993, Theorem 4.2) in terms of \(\pi _1({\text {Sq}}^{\rho }({\mathcal {P}}),1)\).
Corollary 3
(Dyer 1993, Theorem 4.2) Let G be presented by the presentation \({\mathcal {P}}= \langle X : {\mathcal {R}}\rangle \) and let L be a subgroup of G. Then the following are equivalent:
-
(a)
\({\mathcal {P}}\) is L-Cockcroft,
-
(b)
the map \(\pi _1({\text {Sq}}^{\rho }({\mathcal {P}}),1) \otimes _L {\mathbb {Z}}\rightarrow \bigoplus _{r \in {\mathcal {R}}} {\mathbb {Z}}(G/L)\) in (13) is the zero map.
References
Anick, D.J.: On the homology of associative algebras. Trans. Am. Math. Soc. 296, 641–659 (1986)
Brown, K.S.: Cohomology of Groups. Graduate Texts in Math., vol. 87. Springer, New York (1982)
Brown, R., Huebschmann, J.: Identities among relations. In: Brown, R., Thickstun, T.L. (eds.) Low dimensional topology, London Math. Soc. Lect. Notes, vol. 48, pp. 153–202. Cambridge University Press, Cambridge
Brown, R., Gilbert, N.D.: Automorphism structures for crossed modules and algebraic models of 3-types. Proc. Lond. Math. Soc 59(3), 51–73 (1989)
Brown, R.: Possible connections between whiskered categories and groupoids, Leibniz algebras, automorphism structures and local-to-global questions. J. Homotopy Relat. Struct. 1(1), 1–13 (2010)
Cohen, D.E.: String rewriting—a survey for group theorists. In: Niblo, G.A., Roller, M.A. (eds.) Geometric group theory, London Math. Soc. Lect. Notes, vol. 181, pp. 37–47. Cambridge University Press, Cambridge (1993)
Cremanns, R., Otto, F.: For groups the property of having finite derivation type is equivalent to the homological finiteness condition \(FP_3\). J. Symb. Comput. 22, 155–177 (1996)
Dyer, M.N.: Crossed modules and \(\Pi _2\) homotopy modules. In: Hog-Angeloni, C., et al. (eds) Two-dimensional Homotopy and Combinatorial Group Theory, London Math. Soc. Lect. Notes, vol. 197, pp. 125–156. Cambridge University Press, Cambridge (1993)
Gilbert, N.D.: Monoid presentations and associated groupoids. Int. J. Algebra Comput. 8, 141–152 (1998)
Guba, V.S., Sapir, M.V.: Diagram groups. Memoirs Am. Math. Soc. 130, 1–117 (1997)
Guba, V.S., Sapir, M.V.: Diagram groups and directed \(2\)-complexes: homotopy and homology. J. Pure Appl. Algebra 205, 1–47 (2006)
Higgins, P.J.: Notes on categories and groupoids. Van Nostrand Reinhold Math. Stud., vol. 32 (1971) (Reprinted electronically at)www.tac.mta.co/tac/reprints/articles/7/7tr7.pdf
Kilibarda, V.: On the algebra of semigroup diagrams. Int. J. Algebra Comput. 7, 313–338 (1997)
Otto, F., Kobayashi, Y.: Properties of monoids that are presented by finite convergent string-rewriting systems—a survey. In: Advances in algorithms, languages, and complexity, pp. 225–266. Kluwer Academic Publishers, Dordrecht (1997)
Pride, S.J.: Low-dimensional homotopy theory for monoids I. Int. J. Algebra Comput. 5, 631–649 (1995)
Pride, S.J.: Low-dimensional homotopy theory for monoids II: groups. Glasg. Math. J. 41, 1–11 (1999)
Squier, C.C.: Word problems and a homological finiteness condition for monoids. J. Pure Appl. Algebra 49, 201–216 (1987)
Squier, C.C., Otto, F., Kobayashi, Y.: A finiteness condition for rewriting systems. Theor. Comput. Sci. 131, 271–294 (1994)
Whitehead, J.H.C.: Combinatorial homotopy II. Bull. Am. Math. Soc. 55, 453–496 (1949)
Acknowledgements
A version of these results is presented in the second author’s PhD thesis at Heriot-Watt University, Edinburgh. The generous financial support of a PhD Scholarship from the Carnegie Trust for the Universities of Scotland is duly and gratefully acknowledged. We are grateful to the referee for the careful and scholarly scrutiny given to our paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Gilbert, N.D., McDougall, E.A. Groupoids and the algebra of rewriting in group presentations. Beitr Algebra Geom 62, 623–639 (2021). https://doi.org/10.1007/s13366-020-00531-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13366-020-00531-6