שינויים

אפשר עזרה בהוכחה הזו. האמת זה נראה לי משפט שקשור לנושא של פונקציות מבדידה. איך אני מוכיח את זה?

: ראשית, יש לתקן את הטענה תיקון קל: <math>f:G\rightarrow H</math> הוא איזומורפיזם אם ורק אם קיים הומומורפיזם <math>g:H\rightarrow G</math> כך שמתקיים...". בבדידה מוכיחים טענה דומה: "פונקציה <math>f:G\rightarrow H</math> היא חד-חד-ערכית ועל אם ורק אם קיימת פונקציה <math>g:H\rightarrow G</math> כך שמתקיים: <math>g\circ f=id_{G} \wedge f\circ g=id_{H}</math>". [[משתמש:עוזי ו.|עוזי ו.]] ([[שיחת משתמש:עוזי ו.|שיחה]]) 12:31, 21 בדצמבר 2013 (EST)