otomorfizm

otomorfizm, ö z e ş y a p i d ö n ü ş ü m ü olarak da
bilinir, bir kümedeki her öğeyi kümenin bir
ve yalnızca bir öğesine (bu öğe birinci öğenin
kendisi de olabilir) eşleştiren ve tersi var olan
gönderim (bir gönderimin ve tersinin art arda
bir öğeye uygulanması, bu öğeyi kendisiyle
eşleştiren bir gönderime eşdeğerdir).Eğer kümede toplama ve çarpma gibi
işlemler tanımlanmış ise, otomorfizmin
bunları koruması gerekir, örneğin, er (a), a
öğesiyle eşleştirilen öğeyi gösterirse, bütün
a, b öğeleri için, 0 (a+b) = o (a)+ a (b) ve
a (ab) = g (a) • (b) olmalıdır.