http://matkafasi.com/114017/grup-olsun-herhangi-eslemeyse-star-gruptur-star-left-right
Her a,b∈G için f(ab)=f(a)⋆f(b) olduğunu gösterin.
Yorumum:
Her x∈X için biricik ve bir tane f−1(x)∈G vardır (çünki f:G→X bijektif fonksiyon). Dolayısıyla f−1(x)=a ve f−1(y)=b diye atarsak . Operasyon (x,y∈X)x⋆y=f[f−1(x)f−1(y)](a,b∈G)f(a)⋆f(b)=f(ab)
f fonksiyonu homomorfi ise verdiginiz şart saglanir.