単元 のバックアップ(No.1)


仮定

  • \( R \) は環

定義

\( a \in R \)単元であるとは、ある \( b \in R \) が存在して \( ab = ba = 1_R \) を満たすこと。

環については一般には乗法の逆元は存在しないが、それでもその中の逆元がある元ということ。