The nonabelian tensor square G⊗G of the group G is the group generated by the symbols g ⊗ h, where g, h ∈ G, subject to the relations gg′ ⊗ h = (gg′ ⊗ h)(g ⊗ h) and g ⊗ hh′ = (g ⊗ h)(g ⊗ hh′) for all g, g, h, h′ ∈ G, where gg′ = gg′g−1 is conjugation on the left. Following the work of C. Miller [18], R. K. Dennis in [10] introduced the nonabelian tensor square which is a specialization of the m...