任意の素数pに対して、拡大Q(2p,ζp){\displaystyle\mathbb{Q}({\sqrt{2}},\zeta_{p})}は次数p(p−1)の正規拡大である。
更一般地，对每一个素数p，域扩张Q(2p,ζp){\displaystyle\mathbb{Q}({\sqrt{2}},\zeta_{p})}都是Q{\displaystyle\mathbb{Q}}的一个正规扩张，扩张的次数是p(p-1)。