In group theory, a field of mathematics, given a group G, then the diagonal subgroup of the n-fold direct product Gn is the subgroup
This subgroup is isomorphic to G.