Antiisomorfisme

Dalam cabang dari matematika bernama teori kategori, antiisomorfisme (atau anti-isomorfisme) antara himpunan terstruktur A dan B adalah isomorfisme dari A ke lawan dari B. Ini juga ekuivalen dengan pernyataan bahwa kedua himpunan terstruktur tersebut isomorfisme dari lawan dari A ke B. Himpunan-himpunan tersebut dikatakan anitiisomorfik jika terdapat antiisomorfisme antara dua struktur. Secara intuitif, mengatakan bahwa dua struktur matematika adalah antiisomorfik berarti bahwa kedua struktur tersebut pada dasarnya berlawanan satu sama lain. Konsep ini sangat berguna ketika diterapkan pada gelanggang.

Contoh sederhana
Misalkan A adalah relasi biner (atau graf berarah) yang terdiri dari anggota {1,2,3} dan relasi biner  yang didefinisikan sebagai berikut:
 
 
 

Misalkan B adalah himpunan relasi biner yang terdiri dari anggota {a,b,c} dan relasi biner  yang didefinisikan sebagai berikut:
 
 
 

Perhatikan bahwa lawan dari B (dilambangkan Bop) adalah himpunan dari anggota yang sama dengan relasi biner yang berlawanan  (yaitu, membalikkan semua busur dari grafik berarah):
 
 
 

Jika a, b, dan c diganti dengan 1, 2, dan 3, maka dapat dilihat bahwa masing-masing aturan pada Bop sama dengan beberapa aturan A. Hal ini mengartikan bahwa isomorfisme  dapat didefinisikan dari A ke Bop dengan .  merupakan antiisomorfisme antara A dan B.

Anti-isomorfisme gelanggang
Dengan mengkhususkan bahasa umum dari teori kategori mengenai topik aljabar gelanggang, maka diperoleh pernyataan berikut: Misalkan R dan S adalah gelanggang dan f: R → S adalah pemetaan bijeksi. Maka f adalah anti-isomorfisme gelanggang, jika

Jika R = S, maka f adalah anti-automorphism gelanggang.

Contoh anti-automorfisme gelanggang dinyatakan sebagai pemetaan konjugat kuaternion:

Catatan

Referensi
 
 
 

Morfisme
Teori gelanggang
Aljabar