Simple Search

Query:

Enter a query and click »Search«...

Format:

Display: entries per page entries

Zbl 1163.20022
Eick, Bettina; Nickel, Werner
Computing the Schur multiplicator and the nonabelian tensor square of a polycyclic group. (English)
[J] J. Algebra 320, No. 2, 927-944 (2008). ISSN 0021-8693

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=({^gh}\times{^gk})(g\otimes k)$ and $g\otimes hk=(g\otimes h)({^hg}\times{^hk})$. 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(G)$ 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(G)$ with factor the product $G\times G$. Another group $\tau(G)$ is constructed by means of a consistent polycyclic presentation, and the group $\nu(G)$ is a central extension of $\tau(G)$. Then a consistent polycyclic presentation of the group $\nu(G)$ may be computed by adding new central generators for every relation of the group $\tau(G)$ 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(G)$. 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.\par 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\times 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(G)$ (of order $2^{54}3^{56} 7^{54}$) takes 6 minutes, the tensor square, however, is not computable.
[János Kurdics (Ny\'iregyháza)]

MSC 2000:: *20F05 Presentations of groups
20-04 Machine computation, programs (group theory)
20D10 Solvable finite groups
20E22 Extensions and other compositions of groups
20F16 Solvable groups
20J05 Homological methods in group theory

Keywords: polycyclic presentations; algorithms; polycyclic groups; nonabelian tensor squares; Schur multiplicators

Cited in: Zbl 1239.20020

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering Article Journal

	Scientific prize winners of the ICM 2010
	Overhang
	Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Simple Search

Zentralblatt MATH Berlin [Germany]