On non-Abelian tensor squares of linear groups (Q1173865)

Let \(G\) be a group. The tensor square, \(G\otimes G\), is defined to be the group generated by symbols, \(g\otimes h\) (\(g,h\in G\)) subject to relations \(gg'\otimes h=(g(g')\otimes g(h))(g\otimes h)\), \(g\otimes hh'=(g\otimes h)(h(g)\otimes h(h'))\) where \(h(g)=hgh^{-1}\). This construction appears in \textit{A. Lue} [J. Lond. Math. Soc., II. Ser. 14, 309-312 (1976; Zbl 0357.20030)] and is related to \(H_ 2(G)\), the second integral homology group of \(G\). The author proves the following result: Theorem. Let \(\mathbb{F}_ q\) denote the field of \(q\) elements (\(q\neq 2,3,4,9\)). Then (i) \(\text{SL}_ 2(\mathbb{F}_ q)\otimes\text{SL}_ 2(\mathbb{F}_ q)\cong\text{SL}_ 2(\mathbb{F}_ q)\cong\text{PSL}_ 2(\mathbb{F}_ q)\otimes\text{PSL}_ 2(\mathbb{F}_ q)\), (ii) \(\text{GL}_ 2(\mathbb{F}_ q)\otimes\text{GL}_ 2(\mathbb{F}_ q)\cong\text{SL}_ 2(\mathbb{F}_ q)\times\mathbb{F}_ q^*\) and (iii) \(\text{PGL}_ 2(\mathbb{F}_ q)\otimes\text{PGL}_ 2(\mathbb{F}_ q)\cong\text{SL}_ 2(\mathbb{F}_ q)\times\text{PGL}_ 2(\mathbb{F}_ q)^{ab}\). This answers Problem 7 of \textit{R. Brown}, \textit{D. L. Johnson} and \textit{E. F. Robertson} [J. Algebra 111, 177-202 (1987; Zbl 0626.20038)].