# zbMATH — the first resource for mathematics

##### Examples
 Geometry Search for the term Geometry in any field. Queries are case-independent. Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact. "Topological group" Phrases (multi-words) should be set in "straight quotation marks". au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted. Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff. "Quasi* map*" py: 1989 The resulting documents have publication year 1989. so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14. "Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic. dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles. py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses). la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

##### Operators
 a & b logic and a | b logic or !ab logic not abc* right wildcard "ab c" phrase (ab c) parentheses
##### Fields
 any anywhere an internal document identifier au author, editor ai internal author identifier ti title la language so source ab review, abstract py publication year rv reviewer cc MSC code ut uncontrolled term dt document type (j: journal article; b: book; a: book article)
Computing the Schur multiplicator and the nonabelian tensor square of a polycyclic group. (English) Zbl 1163.20022

The nonabelian tensor square $G\otimes H$, which came from homotopy theory, of the groups $G$ and $H$ is the group generated by the symbols $g\otimes h$ and the relations $gh\otimes k=\left({}^{g}h×{}^{g}k\right)\left(g\otimes k\right)$ and $g\otimes hk=\left(g\otimes h\right)\left({}^{h}g×{}^{h}k\right)$. By the result of R. D. Blyth and R. F. Morse, if the group is polycyclic then so is the tensor square, and the present paper provides an effective algorithm for computing a consistent polycyclic presentation for the tensor square, with such a presentation for the group $G$ given. The group $\nu \left(G\right)$ is important in the construction: to the generators ${g}_{i}$ of the group $G$ a set of new generators $\overline{{g}_{i}}$ is added the same in number, subject to the same relations, and further suitable relations concerning the action of the generators on the commutators between elements of these two sets. The nonabelian tensor square embeds as a normal subgroup into the group $\nu \left(G\right)$ with factor the product $G×G$. Another group $\tau \left(G\right)$ is constructed by means of a consistent polycyclic presentation, and the group $\nu \left(G\right)$ is a central extension of $\tau \left(G\right)$. Then a consistent polycyclic presentation of the group $\nu \left(G\right)$ may be computed by adding new central generators for every relation of the group $\tau \left(G\right)$ and modifying those relations in an appropriate way. Finally, the consistent polycyclic presentation of the tensor square may be obtained as the presentation of a subgroup of the group $\nu \left(G\right)$. Moreover, algorithms for computing presentations of certain related other group constructions and for checking whether a polycyclic group is isomorphic to the central factor of some group are also provided.

The algorithms are implemented by the authors in the computer algebra system GAP. The tensor squares are computed for nonabelian groups of order at most 30 up to now, the new algorithms make the same computation for solvable groups of order at most 100 very fast. For the wreath product of the group of $4×4$ upper triangular invertible matrices over the field of 7 elements and the cyclic group of order 3 (of order ${2}^{12}{3}^{13}{7}^{18}$) the computation of the group $\tau \left(G\right)$ (of order ${2}^{54}{3}^{56}{7}^{54}$) takes 6 minutes, the tensor square, however, is not computable.

##### MSC:
 20F05 Generators, relations, and presentations of groups 20-04 Machine computation, programs (group theory) 20D10 Solvable finite groups, theory of formations etc. 20E22 Extensions, wreath products, and other compositions of groups 20F16 Solvable groups, supersolvable groups 20J05 Homological methods in group theory
GAP
##### References:
 [1] Beyl, F. R.; Felgner, U.; Schmidt, P.: On groups occurring as center factor groups, J. algebra 61, No. 1, 161-177 (1979) · Zbl 0428.20028 · doi:10.1016/0021-8693(79)90311-9 [2] Beyl, F. R.; Tappe, J.: Group extensions, representations and the Schur multiplicator, Lecture notes in math. 958 (1982) · Zbl 0544.20001 [3] Blyth, R. D.; Morse, R. F.: Computing the non-abelian exterior square of polycyclic groups · Zbl 1187.20036 [4] Brown, R.; Johnson, D. L.; Robertson, E. F.: Some computations of nonabelian tensor products of groups, J. algebra 111, No. 1, 177-202 (1987) · Zbl 0626.20038 · doi:10.1016/0021-8693(87)90248-1 [5] Brown, R.; Loday, J. -L.: Excision homotopique en basse dimension, C. R. Acad. sci. Paris sér. I math. 298, No. 15, 353-356 (1984) · Zbl 0573.55011 [6] Brown, R.; Loday, J. -L.: Van kampen theorems for diagrams of spaces, Topology 26, No. 3, 311-335 (1987) · Zbl 0622.55009 · doi:10.1016/0040-9383(87)90004-8 [7] R. Dennis, In search of new homology functors having a close relationship to K-Theory, Cornell University preprint, 1976 [8] B. Eick, Algorithms for polycyclic groups, Habilitationsschrift, Universität Kassel, 2001 [9] Eick, B.; Nickel, W.: Polycyclic — computing with polycyclic groups, (2007) [10] Ellis, G.: On the capablity of groups, Proc. Edinburgh math. Soc. 41, 487-495 (1998) · Zbl 0999.20025 · doi:10.1017/S0013091500019842 [11] Ellis, G.; Leonard, F.: Computing Schur multipliers and tensor products of finite groups, Math. proc. R. irish acad. 95, 137-147 (1994) · Zbl 0863.20010 [12] Holt, D.: The calculation of the Schur multiplier of a permutation group, , 307-319 (1984) · Zbl 0544.20004 [13] Holt, D. F.; Eick, B.; O’brien, E. A.: Handbook of computational group theory, Discrete math. Appl. (2005) [14] A. McDermott, Tensor products of groups and related theory, PhD thesis, National University of Ireland, Galway, 1998 [15] Morse, R. F.: Advances in computing the nonabelian tensor square of polycyclic groups, Irish math. Soc. bull. 56, 115-123 (2005) · Zbl 1187.20036 [16] W. Nickel, Central extensions of polycyclic groups, PhD thesis, Australian National University, Canberra, 1993 [17] Nickel, W.: Computing nilpotent quotients of finitely presented groups, DIMACS ser. Discrete math. Theoret. comput. Sci., 175-191 (1996) · Zbl 0854.20046 [18] W. Nickel, NQ, 1998, A refereed GAP 4 package, see [21] [19] Rocco, N.: On a construction related to the nonabelian tensor square of a group, Bol. soc. Brasil. mat. 22, 63-79 (1991) · Zbl 0791.20020 · doi:10.1007/BF01244898 [20] Sims, C. C.: Computation with finitely presented groups, (1994) [21] Group, The Gap: GAP — groups, algorithms and programming, (2005) [22] Whitehead, J.: A certain exact sequence, Ann. of math. 52, 51-110 (1950) · Zbl 0037.26101 · doi:10.2307/1969511