Jabarkan Definisi dari Homomorfisme

Homomorfisme adalah peta antara dua struktur aljabar dari tipe yang sama (yaitu dengan nama yang sama), yang mempertahankan operasi dari struktur. Artinya adalah peta  antara dua himpunan ,  dilengkapi dengan struktur yang sama sehingga, jika  adalah operasi struktur (seharusnya di sini, untuk penyederhanaan, menjadi operasi biner), setelah itu

untuk setiap pasangan ,  elemen . Sering dikatakan bahwa  mempertahankan operasi atau serasi dengan operasi tersebut.

Secara formal, peta  mempertahankan operasi  dari ariti k, ditentukan pada  dan  jika