a_5上的自同构。更一般地，对每一个素数，域扩张formula_32都是formula_2的一个正规扩张，扩张的次数是(1)。formula_32是formula_2上的多项式formula_36的分裂域。其中的formula_37是任意一个复数次单位根。
性质.设有域扩张，那么：
正规闭包.设有域扩张，那么总存在域扩张，使得是正规扩张。在同构意义上，“最小”的这样的扩张是唯一。即是说，其他的域扩张如果使得是正规扩张，那么总存在的子扩张，使得同构于。