可逆元素

單位又被稱為可逆元素。在數學裏，於一(有單位的)環 ${\displaystyle R\,}$內的可逆元素是指一 ${\displaystyle R\,}$的可逆元素，即一元素 ${\displaystyle u\,}$使得存在一於 ${\displaystyle R\,}$內的 ${\displaystyle v\,}$有下列性質： ${\displaystyle uv=vu=1_{R}\,}$，其中 ${\displaystyle 1_{R}\,}$是乘法單位元素。

亦即， ${\displaystyle u\,}$是 ${\displaystyle R\,}$內乘法么半群的一可逆元素。

可逆元素群

主條目：單位群

${\displaystyle R\,}$的可逆元素組成了一於乘法下的群 ${\displaystyle U(R)\,}$ ，稱做 ${\displaystyle R\,}$的可逆元素群（或單位群）。可逆元素群 ${\displaystyle U(R)\,}$ 有時亦被標記成 ${\displaystyle R^{*}}$ 或${\displaystyle R^{\times }}$。

在一可交換單作環 ${\displaystyle R\,}$ 內，可逆元素群 ${\displaystyle U(R)\,}$ 以乘法作用於 ${\displaystyle R\,}$上頭。此一作用的軌道(orbit)被稱為結合集合；換句話說，存在一於R上的等價關係 ~ ，且當${\displaystyle r\sim s}$時，表示存在一可逆元素 ${\displaystyle u}$ 使得 ${\displaystyle r=us}$。

${\displaystyle U}$ 是一由環範疇至群範疇的函子：每一個環同態 ${\displaystyle f:R\rightarrow S}$ 都可導出一群同態 ${\displaystyle U(f):U(R)\rightarrow U(S)}$，當 ${\displaystyle f}$ 會將可逆元素映射至可逆元素時。此一函數子有為整數群環結構的左伴隨。

一個環 ${\displaystyle R\,}$ 是一個除環當且僅當${\displaystyle R^{*}=R\backslash \{0\}}$。

例子

• 在整數環${\displaystyle \mathbb {Z} }$裏，可逆元素為±1。其每一軌道內都有兩個元素n和−n。

• 任一單位根均是某一單作環${\displaystyle R}$內的可逆元素。（若${\displaystyle r}$是一單位根，且${\displaystyle r^{n}=1}$，則${\displaystyle r^{-1}=r^{n-1}}$亦為${\displaystyle R}$的元素）。
• 在代數數論裏，狄利克雷單位定理證明了許多代數整數環內可逆元素的存在域。例如，在環${\displaystyle \mathbb {Z} ({\sqrt {5}})}$，${\displaystyle ({\sqrt {5}}+2)({\sqrt {5}}-2)=1}$，因此${\displaystyle ({\sqrt {5}}+2),({\sqrt {5}}-2),1}$都是可逆元素。
• 在環${\displaystyle M(n,F)}$，於一體${\displaystyle F}$上的${\displaystyle n\times n}$矩陣內，其可逆元素恰好就是可逆矩陣。