Two-generator two-groups of class two and their nonabelian tensor squares

Abstract

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),$$ for all $g,g\prime,h,h\prime \in G< / f>, where $^gg\prime=gg\primeg^{−1}$. The nonabelian tensor square is a special case of the nonabelian tensor product which has its origins in homotopy theory. It was introduced by R. Brown and J.-L. Loday in [4] and [5], extending ideas of J.H.C. Whitehead in [10]. The topic of this paper is the classification of 2-generator 2-groups of class two up to isomorphism and the determination of nonabelian tensor squares for these groups.

On the efficiency of some p-groups

“…Also, in [16], Kappe, Sarmin and Visscher worked on two-generator 2-groups of nilpotency class 2. Also let us consider the following semigroups defined by the presentations:…”

On the Capability of Finitely Generated Non-Torsion Groups of Nilpotency Class 2

“…In [1], a new classification for two-generator p-groups of nilpotency class 2 is given that corrects and simplifies previous classifications published in [2,11,16]. Based on this new classification, Magidin and Morse give a complete determination of all capable two-generator p-groups of class 2, using a unified approach and modified tensor methods [14].…”

Infinite metacyclic groups and their non-abelian tensor squares

“…1) is well defined. The formula follows by repeatedly applying the defining relations for G(m, n,r), as given in Theorem 3.2, and the defining relations of the tensor square to a a b^ <S> cfb 5 and collecting terms, observing that G <g> G is abelian by Proposition 3.5 in [11]. We observe that E m {-l,m + 1) = 0 or 1, if m is odd or even, respectively.…”