A polycyclic presentation for the q-tensor square of a polycyclic group
In their fundamental paper [Topology 26, 311--335 (1987; Zbl 0622.55009)], \textit{R. Brown} and \textit{J.-L. Loday} defined the non-abelian tensor product \(G \otimes H\) of groups \(G\) and \(H\) acting compatibly on each other. The paper under review deals with a generalisation of this classical construction. \par Given groups \(G, H\) acting compatibly on each other and a non-negative integer \(q\), \textit{D. Conduché} and \textit{C. Rodríguez-Fernández} [J. Pure Appl. Algebra 78, No. 2, 139--160 (1992; Zbl 0795.20035)] defined their \(q\)-tensor product \(G\otimes^q H\) in the context of \(q\)-crossed modules. The construction yields the non-abelian tensor product \(G \otimes H\) of Brown and Loday [loc. cit.] for \(q=0\). If \(G=H\), then \(G\otimes^q G\) is referred as the \(q\)-tensor square. \par Let \(G^\phi\) be an isomorphic copy of \(G\) via an isomorphism \(\phi\). For each \(q \ge1\), let \(\widehat{\mathcal{G}}=\{\hat{k}\mid k \in G\}\) be a set of symbols one for each element of \(G\) and set \(\widehat{\mathcal{G}}=\emptyset\) for \(q=0\). Define an extension \(\nu^q(G)\) of the \(q\)-tensor square \(G\otimes^q G\) via the presentation \[\nu^q(G)= \langle G, G^\phi,\widehat{\mathcal{G}} \mid R, [g, h^\phi]^k[g^k, (h^k)^\phi]^{-1}, [g, h^\phi]^{k^\phi}[g^k, (h^k)^\phi]^{-1}~\text{for all}~g, h,k \in G \rangle,\] where \(R\) is a certain set of relations involving elements of \(\widehat{\mathcal{G}}\) and that of \(G\). The authors give an algorithm for deriving a polycyclic presentation for \(G\otimes^q G\) when \(G\) is polycyclic, via its embedding into the extension \(\nu^q(G)\). They also establish a criterion for computing the \(q\)-exterior center \(Z^\wedge_q(G)\) of a polycyclic group \(G\), which is helpful for deciding whether or not \(G\) is capable modulo \(q\). These results extend similar results of \textit{B. Eick} and \textit{W. Nickel} [J. Algebra 320, No. 2, 927--944 (2008; Zbl 1163.20022)] for the case \(q= 0\).
- On the q-tensor square of a group
- Some structural and closure properties of an extension of the q-tensor product of groups, q≥0
- scientific article; zbMATH DE number 7006833
- Some computations of non-Abelian tensor products of groups
- An intrinsic approach to the non-abelian tensor product via internal crossed squares
- The non-Abelian tensor product of finite groups is finite
- Finiteness conditions for the non-abelian tensor product of groups
- Non-abelian tensor product of residually finite groups
- scientific article; zbMATH DE number 1283937
- Non-abelian tensor and exterior products modulo \(q\) and universal \(q\)- central relative extension
- Computing the nonabelian tensor squares of polycyclic groups.
- Computing the Schur multiplicator and the nonabelian tensor square of a polycyclic group.
- scientific article; zbMATH DE number 4165175 (Why is no real title available?)
- scientific article; zbMATH DE number 534859 (Why is no real title available?)
- scientific article; zbMATH DE number 2133330 (Why is no real title available?)
- scientific article; zbMATH DE number 894043 (Why is no real title available?)
- Non-abelian tensor and exterior products modulo \(q\) and universal \(q\)- central relative extension
- On a construction related to the non-abelian tensor square of a group
- On the q-tensor square of a group
- Q-perfect groups and universal Q-central extensions
- Some computations of non-Abelian tensor products of groups
- Tensor Products and q -Crossed Modules
- The q-tensor square of finitely generated nilpotent groups, q odd
- Van Kampen theorems for diagrams of spaces
- \(q\)-tensor and exterior centers, related degrees and capability
- On the q-tensor square of a group
- An intrinsic approach to the non-abelian tensor product via internal crossed squares
- Some structural and closure properties of an extension of the q-tensor product of groups, q≥0
- Computing the Schur multiplicator and the nonabelian tensor square of a polycyclic group.
This page was built for publication: A polycyclic presentation for the \(q\)-tensor square of a polycyclic group
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2285741)
