In the context of group theory, particularly in the study of algebraic groups and Lie groups, a diagonal subgroup is typically a subgroup that is constructed from the diagonal elements of a product of groups. For example, consider the direct product of two groups \( G_1 \) and \( G_2 \).
New to topics? Read the docs here!