乗法も同じで、日常で扱う定義が全てではありません。 減法の定義 群(G,+)(加法群とは敢えて言いません)において、bの反元をbと書くことにし(この「」は減法の記号「」ではありません)、減法を ab:=a(b) として定義します。 除法の定義 群(G,×)における、bの逆元をb^1と書くことにし、除法を a÷b:=a×(b^1) として定義します。 当然逆元b^1が存在し