とがともに単位元を持つとき,逆写像formula_16があり,それは以下のように定義される.formula_17とする.するとは合成