משפטי האיזומורפיזם – הבדלי גרסאות

* הפונקציה היא חד חד ערכית: נניח כי <math>\Psi(aK)=\Psi(bK)</math>, אז <math>\varphi(a)=\varphi(b)</math>, כלומר <math>\varphi(a)\varphi(b)^{-1}=e</math>, כלומר <math>\varphi(ab^{-1})=e</math>, כלומר <math>ab^{-1}\isin K</math>, כלומר <math>aK=bK</math>.

 

 

===דוגמה===