除环

扩展释义

在抽象代数中，除环（也称为斜体）是一个非零环，其中每个非零元素a都具有乘法逆，即具有x·a=a·x的元素x。换句话说，一个环当且仅当单位组等于所有非零元素的集合的时候它是一个除环。 除环是一种不可交换的环。除环不同于域，只是因为它们的乘法不需要交换。 然而，通过韦德伯恩的小定理，所有有限除环都是可交换的，因此是有限域。 历史上，除环有时被称为域，而域称为“交换域”。除了零理想和本身之外，所有除环都是简单的，即没有双面理想。