域基本定义定义：若\(R\)是一个环，并且\(R^*=R\setminus\{0\}\)对于乘法构成一个交换群，则称\(R\)为一个域。定义：交换除环叫作域。定理：域一定是整环。定理：有限整环一定是域。定义：只包含有限个元素的域称为有限域，其元素个数称为该域的阶。有限域又叫作伽罗瓦域(Galoisfield)。