5是有限扩张。formula_10，所以这个扩张是单扩张。集合formula_11是在formula_4中添加formula_13生成的扩域，显然也是一个单扩张。它的次数是2，因为formula_14可作为一个基。formula_4的有限扩张也称为代数数域，在代数数论有重要地位。有理数的另一个扩张域是关于一个素数的进数域formula_16。它与formula_2类似，是有理数域完备化得到的数域。但由于使用的拓扑不同，所以与formula_2有着截然不同的性质。对任何的素数和正整数，都存在一个元