The nonabelian tensor square of a \(2\)-generator \(p\)-group of class \(2\) (Q1842024)

The authors consider the tensor square of some finite \(p\)-groups. The main results are Theorem 4.2. Let \(G=\langle a\rangle\rtimes\langle b\rangle\), where \([a, b]=a^{p^{\alpha-\gamma}}\); \(| a|=p^ \alpha\), \(| b|=p^ \beta\), \(|[a,b]|=p^ \gamma\), \(p\) is prime, \(p\neq 2\), \(\alpha\geq\beta\), \(\alpha\geq 2\gamma\), \(\beta\geq\gamma\geq 1\). Then \(G\otimes G\cong\mathbb{Z}^ 2_{p^ \beta}\times\mathbb{Z}_{p^{\alpha-\gamma}}\times\mathbb{Z}_{\min (p^{\alpha-\gamma}, p^ \beta)}\). Theorem 4.3. Let \(G=(\langle c\rangle\times\langle a\rangle)\rtimes\langle b\rangle\), where \([a,b]=c\), \([a,c]=[b,c]=1\), \(| a|=p^ \alpha\), \(| b|=p^ \beta\), \(| c|=p^ \gamma\), \(p\) is prime, \(p\neq 2\), \(\alpha\geq\beta\geq\gamma\geq 1\). Then \(G\otimes G\cong\mathbb{Z}_{p^ \alpha}\times\mathbb{Z}^ 3_{p^ \beta}\times\mathbb{Z}^ 2_{p^ \gamma}\). Theorem 4.4. Let \(G=(\langle c\rangle\times\langle a\rangle)\rtimes\langle b\rangle\), where \([a,b]=a^{p^{\alpha - \gamma}}\), \([c,b]=a^{-p^{2(\alpha-\gamma)}}\), \(| a|=p^ \alpha\), \(| b|=p^ \beta\), \(| c|=p^ \sigma\), \(|[a,b]|=p^ \gamma\), \(p\) is prime, \(p\neq 2\), \(\gamma >\sigma\geq 1\), \(\alpha +\sigma\geq 2\gamma\), \(\alpha\geq\beta\), \(\beta\geq\gamma\). Then \(G\otimes G\cong\mathbb{Z}_{p^{\alpha- \gamma}}\times\mathbb{Z}^ 3_{p^ \delta}\times\mathbb{Z}^ 2_{p^ \tau}\), where \(\delta=\min (\alpha-\gamma,\beta)\), \(\tau=\min (\alpha- \gamma,\sigma)\).