可逆元ともいう

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