The nonabelian tensor square of a finite split metacyclic group

Abstract

Given any group G, its tensor square G ⊗ G is defined by the followingpresentation(see [[3]):where g,g′,h,h′ range independently over G, and gh=ghg−1. In what follows, gg′ ⊗ gh is often written in the abbreviated form g(g′ ⊗ h).