Two-generator two-groups of class two and their nonabelian tensor squares
Two-generator two-groups of class two and their nonabelian tensor squares
The nonabelian tensor square G[otimes ] G of a group G is generated by the symbols g[otimes ] h, g,h ∈ G, subject to the relations gg\prime\otimesh=(^gg\prime\otimes^gh)(g\otimesh) and g\otimeshh\prime-(g\otimesh)(^hg\otimes^hh\prime),$g,g\prime,h,h\prime \in G< / f>, where . The nonabelian tensor square is a special case of the nonabelian tensor product which has …