逆元 (ぎゃくげん、英: inverse element)
集合 G の元を a とする。演算,すなわち結合法・について,a・x=x・a=e を満たす x は,ただ1つ定まる。この x を a の逆元といい,a -1 と書く。結合法が+で表わされるときは,その逆元を -a と書く (群 ) 。