环论 |
---|
基础概念 环
相关结构
|
非交换环(英语:Noncommutative ring)
非交换代数几何(英语:Noncommutative algebraic geometry) 自由代数(英语:Free algebra) 运算元代数(英语:Operator algebra) |
除环(英语:Division ring),又译非可换体、反对称体(skew field),是一类特殊的环,在环内除法运算有效。需要特别注意的是,此环内必有非0元素,且环内所有的非0量都有对应的倒数[注 1]。除环不一定是交换环,比如四元数环。
换种说法,一个环是除环当且仅当其可逆元群包含了环中所有的非零元素。
交换的除环就是域,因此我们只需研究非交换的除环。除四元数环外,如果把四元数环中的系数由实数改为有理数,则仍构成一个除环。更一般地,若是一个环,是上的一个不可约模,则的自同态环是一个除环。