都是复数，不在formula_5里面。只有在加入了三次单位根：formula_14后的扩域formula_15才是一个正规扩张。也可以用正规扩张的第二个定义来证明formula_5不是formula_2的正规扩张。设域formula_18是由所有复代数数生成的扩域，则formula_18是formula_2的一个代数闭包，并且formula_5在formula_18里面。另一方面，并且，如果记formula_24是formula_8的复根之一，那么映射：是formula_5在formula_18上的