対合（たいごう、ついごう、）は、自分自身をその逆として持つ写像である。これは空間上の変換であって、二回繰り返すと恒等変換となる（元に戻る）という性質を持つものと言ってもよい。ただし、それ自身が恒等変換となるものは通常は除いて考える。またこれは変換群に属する位数 2 の元を指すと言っても同じことであり、それを理由に一般の群（抽象群）においても位数 2 の元を対合と呼ぶことがある。群 "G" が与えられ、その上の写像 "I": "G" → "G" が対合であって、次の関係を満たすとき、対合 "I" は "G" の群構造と両立するといい、組 ("G

出典:wikipedia