homomorphism

Dalam matematika, khususnya aljabar abstrak, homomorphism (homomorfisme) adalah konsep pemetaan yang sangat krusial karena ia tidak sekadar memindahkan elemen dari satu himpunan ke himpunan lain, tetapi juga menjaga "struktur" atau "aturan main" dari operasi aljabar tersebut. Sederhananya, jika Anda melakukan operasi pada dua elemen di struktur asal, lalu memetakannya ke struktur tujuan, hasilnya harus sama dengan jika Anda memetakan elemen-elemen tersebut terlebih dahulu baru kemudian melakukan operasi di struktur tujuan.

Nuansa Semantik dan Perbandingan

Penting bagi pembelajar untuk membedakan homomorphism dari istilah terkait lainnya seperti isomorphism dan epimorphism. Meskipun ketiganya adalah jenis pemetaan, cakupannya berbeda:

homomorphism adalah istilah umum untuk pemetaan yang mempertahankan operasi. Ia tidak harus bersifat satu-ke-satu atau mencakup seluruh elemen di struktur tujuan.
isomorphism adalah bentuk homomorphism yang lebih kuat, di mana pemetaan tersebut bersifat bijektif (satu-ke-satu dan pada). Secara intuitif, dua struktur yang memiliki isomorphism dianggap identik secara struktural, hanya berbeda dalam penamaan elemennya.
epimorphism adalah homomorphism yang bersifat surjektif (mencakup seluruh kodomain).

Dalam bahasa Indonesia, istilah ini diserap menjadi "homomorfisme". Tidak ada risiko salah kaprah makna (false friend) antara istilah bahasa Inggris dan Indonesia dalam konteks teknis ini, namun pengguna sering kali keliru menganggap semua pemetaan yang mempertahankan operasi adalah isomorphism, padahal homomorphism adalah kategori yang lebih luas.

Konteks Penggunaan dan Contoh

Istilah ini digunakan secara eksklusif dalam konteks formal matematika seperti teori grup, ring, atau modul. Contoh penggunaannya dalam kalimat:

Benar: "Fungsi eksponensial adalah homomorphism dari grup penjumlahan bilangan riil ke grup perkalian bilangan riil positif."
Salah: Menggunakan homomorphism untuk menggambarkan fungsi matematika biasa (seperti fungsi linear sederhana) yang tidak melibatkan pelestarian struktur aljabar tertentu.

Secara tata bahasa, homomorphism adalah kata benda yang dapat dihitung (countable noun), sehingga dapat berbentuk jamak (homomorphisms) ketika merujuk pada lebih dari satu jenis pemetaan.