בשורה האחרונה של תזכורות ומושגים נכתב:
"משפט האיזומורפיזם הראשון: יהי <math>f: G\rightarrow H</math> אפימורפיזם. אזי ההעתקה המושרית <math>\hat{f}:G/kerf\rightarrow H</math> היא איזומורפיזם.
לשון אחר: יהי <math>f: G\rightarrow H</math> מונומרפיזם. אזי ההעתקה המושרית <math>\hat{f}:G/kerf\rightarrow Imf</math> היא איזומורפיזם."