可逆元

数学、とくに代数学における可逆元（かぎゃくげん、英: invertible element）または単元（たんげん、英: unit）とは、一般に代数系の乗法と呼ばれる二項演算に対する逆元を持つ元のことをいう。 == 定義 == いくつかの冪等元を持つ半群 S について、S の元 a は S の元 b と冪等元 e が存在して ab = e となるとき e に対する右可逆元であるといい、 S の元 c と冪等元 e′ が存在して ca = e′ となるとき e′ に対する左可逆元であるという。