Diagonal subgroup

In group theory, a field of mathematics, given a group G, then the diagonal subgroup of the n-fold direct product Gⁿ is the subgroup

This subgroup is isomorphic to G.