Perfect Prishchepov groups

DOI10.1016/J.JALGEBRA.2021.09.005MaRDI QIDQ2236082zbMATH OpenOpenAlexFDO

Authors Ihechukwu Chinyere, B. O. Bainson

Publication date 22 October 2021

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2010.13000

cyclically presented groups LOG groups perfect groups Prishchepov groups

Generators, relations, and presentations of groups (20F05) Geometric group theory (20F65) Topological methods in group theory (57M07) Relations of low-dimensional topology with graph theory (57M15)

Abstract: We study cyclically presented groups of type

m a t h f r a k F

to determine when they are perfect. It turns out that to do so, it is enough to consider the Prishchepov groups, so modulo a certain conjecture, we classify the perfect Prishchepov groups

P (r, n, k, s, q)

in terms of the defining integer parameters

r, n, k, s, q

. In particular, we obtain a classification of the perfect Campbell and Robertson's Fibonacci-type groups

H (r, n, s)

, thereby proving a conjecture of Williams, and yielding a complete classification of the groups

H (r, n, s)

that are connected Labelled Oriented Graph groups.

Review text

Cyclically presented groups form an interesting class of groups that appear in different mathematical areas. An important issue in the study of cyclically presented groups of type \(\mathfrak{F}\) is the question of when they are either trivial or perfect. The general presentation of cyclically presented groups of type \(\mathfrak{F}\) is known and the Prishchepov groups iform a special subclass. It is proved that the above problem can be reduced to Prishchepov groups \(P(r, n, k, s, q)\). Prishchepov groups contain some interesting classes of groups like Conway's Fibonacci groups \(F(2,n) = P(2,n,3,1,1)\), the groups of Fibonacci type \(G_n(m, k) = P (2, n, k + 1, 1, m)\) and others. The paper starts with a couple of easy reductions. The first is that \(P(r, n, k, s, q) \cong P(r, n, n- k +2, r, q)\) and thus it can be assumed that \(r \ge s\). The second is that the Prishchepov group is the free product of Prishchepov groups \(P(r, n, k, s, q)\) with \((n, q, k -1) = 1\). Thus it is assumed that \((n, q, k -1) = 1\). The third reduction is that it can be assumed that \(q = 1\) because, if \(P(r, n, k, s, q)\) is perfect and \((n, q, k -1) =1\) implies that \((n, q) = 1\) and \(P(r, n, k, s, q) \cong P(r, n, \hat{q}(k - 1), s, 1)\) where \(q\hat{q} \equiv 1\bmod n\). The proofs use properties of circulant matrices and the algebraic structure of Prishchepov groups. The characterisation of perfect and trivial Prishchepov groups is given in steps with increasing complexity of the presentation. For the groups \(H(r, n, s) = P(r, n, r+1, s, 1)\), it is proved that they are perfect if and only if they are trivial if and only if \(|r - s| =1\) and either \(r \equiv 0\) or \(s \equiv 0\bmod n\). In particular, this result proves a conjecture stated by Williams. Furthermore, the authors state a characterisation of the \(H(r, n, s)\) groups that are LOG (labelled oriented graph groups). In particular the only LOG groups in this category are the \((n, r)\)-torus knot group and \(\mathbb{Z}\). The second result is for groups of type \(\tilde{\mathfrak{Z}}\) (which are of two types: (\(\mathfrak{Z}\)) \(q(r - s) \equiv 2(k - 1)\bmod n\) and (\(\mathfrak{Z}'\)) \(q(r + s) \equiv 0\bmod n)\). They prove that the group \(P(r, n, k, s, q)\) of type \(\tilde{\mathfrak{Z}}\) is perfect if and only if \(|r - s| =1\), \((n, q) = 1\) and \((k - 1 - qr, n) = 1\). The authors state a conjecture which states that if the group \(P(r, n, k, r - 1, q)\) is perfect then it is of type \(\tilde{\mathfrak{Z}}\). If the conjecture is verified, then, when it is combined with the results of the paper, it will provide a complete classification of perfect Prishchepov groups The final result is that \(P({\alpha}n + r, m , k, {\beta}n + r - 1, q)\) is perfect if \(\alpha = \beta\) and \(P(r, n, k, r - 1, q)\) is perfect.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Perfect Prishchepov groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2236082)