単元
可逆元
ともいう
$ a
に関して、
逆元
$ a^{-1}
が存在する時、
$ a
のことを単元と呼ぶ