👉 In mathematics, a tautomorphism is an automorphism of a group G that leaves one element unchanged when applied to another element in the group. In other words, a tautomorphism is a function from G to itself that is both an automorphism and an involution. A tautomorphism satisfies the following conditions: 1. It is a bijection: For any two elements x and y in G, there exists an element z such that z = x^-1y^-1. 2