Sebulan yang lalu, Uha, adik angkatan saya bertanya
Bagaimana membuktikan 2 buah gelanggang dan
tidak isomorphic
Sebenernya saya sudah menjawab pertanyaannya. Akan tetapi setelah saya membaca kembali jawaban saya, sepertinya jawaban saya tersebut kurang tepat. Oleh karena itu saya akan merevisi jawaban saya tersebut disini.
Isomorphic
Dua buah gelanggang dan
dikatakan isomorphic jika terdapat gelanggang isomorfisma
diantara keduanya
Apa itu gelanggang Isomorfisma?
Gelanggang isomorfisma dari gelanggang
ke gelanggang
adalah sebuah pemetaan yang memenuhi aksioma-aksioma berikut
untuk semua
untuk semua
jika hanya jika kedua gelanggang mempunyai elemen satuan 1
bijektive
Kontradiksi
Pada umumnya untuk menunjukan 2 buah gelanggang tidak isomorphic dengan cara kontradiksi. Kita asumsikan 2 struktur tersebut isomorphic atau dengan kata lain terdapat gelanggang Isomorfisma lalu kita tunjukan hal tersebut mustahil
Okey..sekarang mari kita jawab pertanyaannya
Asumsi terdapat gelanggang isomorfisma dari dan
.
Itu berarti untuk suatu bilanagn bulat
. Kita gunakan aksioma ke-1 dan ke-2 pada gelanggang Isomorfisma diperoleh
diperoleh persamaan
Dengan mudah kita ketahui hanya terdapat satu solusi yaitu . Itu berarti
Jelas tidak lah bijektive. Jadi gelanggang isomorfisma
mustahil ada.
Terbukti dan
tidak isomorphic
ndak ngartiiiiii…..hahahaha
Hmm, siph2… Tapi apakah cukup membuktikan 1 fungsi aja yang ga bijektif trus di simpulin nda isomorf ?? Kan definisinya cuma ada pemetaan bijektif yang memenuhi syarat2 itu, jadi kalo 1 fungsi ga memenuhi kan bisa aja fungsi lain memenuhi,,, sbenernya iseng nanya gara2 jadi grader PSA ^^d
Ya..cukuplah, kan saya ambil untuk sebarang
, andaikan ada isomorfimsa
dari 2Z ke 3Z maka
tidak bijektif, padahal salah satu syarat isomorfisma harus bijektif
Dalam definisi isomorfisma ring di atas apakah ring R dan S sembarang atau diasumsikan memiliki elemen satuan 1?
Definisi yang saya berikan untuk sebarang R dan S

Sedangkan untuk untuk aksioma ke-3
adalah jika kedua ring mempunyai elemen identitas 1