×

zbMATH — the first resource for mathematics

A resource-efficient algorithm for study the growth in finite two-generator groups of exponent 5. (Russian. English summary) Zbl 07311642
Summary: For studying the growth in finite groups, we present a resource-efficient algorithm which is a modification of our early algorithm. The purpose of the modification is to minimize the space complexity of the algorithm and to save its time complexity at an acceptable level. The main idea of the modified algorithm is to take in the given group \(G\) a suitable subgroup \(N\) such that \(|N|\ll|G|\), to calculate growth functions for all cosets \(gN\) independently of each other, to summarize these functions and to obtain the growth function for the group \(G\). By using this algorithm, we calculate the growth functions for the group \(B_{18}\) with two generators \(a_1\) and \(a_2\) and for the groups \(B_{18}, B_{19}\) with four generators \(a_1, a_1^{-1}, a_2\) and \(a_2^{-1}\), where \(B_k=B_0(2,5)/\langle a_{k+1},\ldots,a_{34}\rangle\) is a quotient of the group \(B_0(2,5)=\langle a_1,a_2 \rangle\) which is the largest two-generator Burnside group of exponent 5 (its order is \(5^{34}\)), \(a_1\) and \(a_2\) are generators of \(B_0(2, 5)\) and \(a_3,\ldots,a_{34}\) are the commutators of \(B_0(2, 5)\), so each element in \(B_0(2, 5)\) can be represented as \(a_1^{\alpha_1}\cdot a_2^{\alpha_2}\cdot\ldots\cdot a_{34}^{\alpha_{34}}\), \(\alpha_i \in \mathbb{Z}_5\), \(i=1,2,\ldots,34\). Based on these data, we formulate a hypothesis about the diameters of Cayley graphs of the group \(B_0(2, 5)\) with generating sets \(A_2=\{ a_1,a_2 \}\) and \(A_4 = \{ a_1,a_1^{-1},a_2,a_2^{-1}\}\), namely, \(D_{A_2}(B_0(2,5)) \approx 105\) and \(D_{A_4}(B_0(2,5)) \approx 69\).
MSC:
20 Group theory and generalizations
68 Computer science
Software:
Stony Brook
PDF BibTeX XML Cite
Full Text: DOI MNR
References:
[1] Kuznetsov A. A., “An algorithm for computation of the growth functions in finite two-generated groups of exponent 5”, Prikladnaya Diskretnaya Matematika, 2016, no. 3(33), 116-125 (in Russian)
[2] Kuznetsov A. A., Kuznetsova A. S., “A parallel algorithm for study of the Cayley graphs of permutetion groups”, Vestnik SibSAU, 2014, no. 1, 34-39 (in Russian)
[3] Even S., Goldreich O., “The Minimum Length Generator Sequence is NP-Hard”, J. Algorithms, 1981, no. 2, 311-313 · Zbl 0467.68046
[4] Skiena S., The Algorithm Design Manual, Springer Science+Business Media, London, 2008, 730 pp. · Zbl 1149.68081
[5] Sims C., “Fast multiplication and growth in groups”, Proc. 1998 Intern. Symp. Symbolic Algebraic Computation, 1998, 165-170 · Zbl 0922.20037
[6] Havas G., Wall G., Wamsley J., “The two generator restricted Burnside group of exponent five”, Bull. Austral. Math. Soc., 1974, no. 10, 459-470 · Zbl 0277.20025
[7] Sims C., Computation with Finitely Presented Groups, Cambridge University Press, Cambridge, 1994, 628 pp. · Zbl 0828.20001
[8] Holt D., Eick B., O’Brien E., Handbook of Computational Group Theory, Chapman & Hall/CRC Press, Boca Raton, 2005, 514 pp. · Zbl 1091.20001
[9] Kuznetsov A. A., Kuznetsova A. S., “Fast multiplication in finite two-generated groups of exponent five”, Prikladnaya Diskretnaya Matematika, 2013, no. 1, 110-116 (in Russian)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.