Grand Unified Theory
に対するゲージ理論であり、大統一理論は基本的にこのゲージ群を含む更に大きなゲージ群に対するゲージ理論である。