Dua kelompok G dan H disebut isomorphic jika ada kelompok homomorfisme a: G → H dan b: H → G, sehingga menerapkan dua fungsi satu demi satu dalam dua perintah yang mungkin memberikan fungsi identitas dari G dan H. Yaitu, a Allahb Allah) = h dan baldog) = g untuk setiap g dalam G dan H. Dari sudut pandang abstrak, kelompok isomorphic membawa informasi yang sama. Misalnya, membuktikan bahwa g • g = 1G untuk beberapa elemen g adalah setara dengan membuktikan bahwa aUJG) a (A) = 1H, karena menerapkan satu untuk kesetaraan pertama menghasilkan kedua, dan menerapkan b untuk yang kedua memberikan kembali yang pertama.
Apa dua kelompok yang disebut jika mereka termasuk homomorfisme?
isomorphic