由有限个元组成的域称为有限域,又称为伽罗瓦域 整数模p的剩余类环是一个有p个元的有限域 显然,任一有限域F包含的素域一定是,而不可能是 F是的一个有限扩张,因而,F可看作上的一个n维向量空间 设是