理論の一つがゲージ群formula_18を持っていると、双対な理論はゲージ群formula_19を持っている。