In the mathematical discipline of group theory, for a given group G, the diagonal subgroup of the n-fold direct product Gⁿ is the subgroup

${\displaystyle \{(g,\dots ,g)\in G^{n}:g\in G\}.}$

This subgroup is isomorphic to G.