2的正规扩张。设域formula_18是由所有复代数数生成的扩域，则formula_18是formula_2的一个代数闭包，并且formula_5在formula_18里面。另一方面，并且，如果记formula_24是formula_8的复根之一，那么映射：是formula_5在formula_18上的一个嵌入，并且它限制在formula_2上的部分是平凡的（将formula_2中元素映射到自己）。但是并不是formula_5上的自同构。更一般地，对每一个素数，域扩张formula_32都是form