可逆元群

的可逆元组成了一于乘法下的群 ，称做 的可逆元群。可逆元群U(R)有时亦被标记成R^*或R^×。

在一可交换单作环R内，可逆元群U(R)以乘法作用于R上头。此一作用的轨道(orbit)被称为结合集合；换句话说，存在一于R上的等价关系 ~ ，且当r~s时，表示存在一可逆元u使得r=us。

U是一由环范畴至群范畴的函数子：每一个环同态 f : R → S 都可导出一群同态U(f) : U(R) → U(S)，当f会将可逆元映射至可逆元时。此一函数子有为整数群环结构的左伴随。

一个环R是一个除环当且仅当R^* = R \ {0}。