למה <math>\mathbb{Z}/n\mathbb{Z}\cong \mathbb{Z}n</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>.
אפשר עזרה בהוכחה הזו. האמת זה נראה לי משפט שקשור לנושא של פונקציות מבדידה. איך אני מוכיח את זה?