באלגברה, משפטי האיזומורפיזם הם שם שכיח לשלושה משפטים יסודיים שלפיהם חבורות מנה מסוימות הן איזומורפיות זו לזו. משפטים דומים תקפים גם עבור חוגי מנה ומודולי מנה. המשפטים מיוחסים לאמי נתר, ולפעמים הם נקראים "משפטי נתר", הראשון, השני והשלישי.
מן המשפטים האלה נובעת התאמה בין סריג תת-החבורות של חבורה
המכילות תת-חבורה
, לבין סריג תת-החבורות של חבורת המנה
. משפט ההתאמה הזה נקרא לפעמים "משפט האיזומורפיזם הרביעי".
אם
הומומורפיזם ממבנה אלגברי
, אז המנה של
ביחס לגרעין של
איזומורפית לתמונה של
.
- משפט (ניסוח לתורת החבורות): תהיינה
חבורות, ויהא
הומומורפיזם. אזי
.
- משפט (ניסוח לתורת החוגים): יהיו
חוגים, ויהא
הומומורפיזם. אזי
.
- משפט (ניסוח לתורת המודולים): יהיו
שני מודולים מעל חוג
, ויהא
הומומורפיזם. אזי
.
נעיר תחילה כי
הוא תת-חבורה נורמלית של
ולכן חבורת המנה
מוגדרת היטב. נסמן
ונגדיר העתקה
על ידי
לכל קוסט
. נראה כי הפונקציה היא איזומורפיזם וזה יוכיח את המשפט:
- הפונקציה מוגדרת היטב (כלומר, אם ניקח נציגים שונים עבור אותה מחלקת שקילות, נקבל אותה תוצאה): נניח כי
. אזי
ובפרט
. כעת:
![{\displaystyle \Psi (g_{1}K)=\varphi (g_{1})=1\cdot \varphi (g_{1})=\varphi (g_{2}\cdot g_{1}^{-1})\cdot \varphi (g_{1})=\varphi (g_{2}\cdot g_{1}^{-1}\cdot g_{1})=\varphi (g_{2})=\Psi (g_{2}K)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56c6a127731a1f1014daab300c645ebc24c50cb8)
- הפונקציה הומומורפיזם: ניקח
ואז:
![{\displaystyle \Psi (g_{1}K\cdot g_{2}K)=\Psi (g_{1}g_{2}K)=\varphi (g_{1}g_{2})=\varphi (g_{1})\cdot \varphi (g_{2})=\Psi (g_{1}K)\cdot \Psi (g_{2}K)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bdcb60a680dca47148bcb9cd2dc47aa0fbd6e276)
- הפונקציה על: יהי
כלשהו. על-פי הגדרת התמונה, קיים
עבורו
, ובסך הכל נקבל כי
.
- הפונקציה חד-חד-ערכית: ניקח
ונניח כי
. אזי
, כלומר
, כלומר
, כלומר
, כלומר
.
ניתן לפרש את משפט הממדים עבור העתקות ליניאריות כהדגמה של משפט האיזומורפיזם הראשון, שכן מרחבים וקטוריים הם סוג של חבורות אבליות. במקרה זה ההעתקה הליניארית
היא הומומורפיזם בין החבורות
. בעוד שהגרעין
והתמונה
של הומומורפיזם זה מקבלים את המשמעות שלהם בהשאלה ממשמעותם באלגברה ליניארית. בהינתן תת-מרחב
, האיברים של חבורת המנה
(כלומר הקוסטים של
ב-
) הם בעצם כל המרחבים מממד זהה ש"מקבילים" ביחס אליו. לדוגמה, בהינתן מישור
וכיוון בתוכו, הקוסטים המתאימים לו הם כל הישרים המקבילים לכיוון זה. כלומר, איברי חבורת המנה פועלים על קוסט הזהות
באותו אופן כמו הזזות (translations), ולפיכך מספר איברי חבורת המנה
הוא כמספר ההזזות בכיוונים שאינם מוכלים ב-
. עבור מרחבים וקטוריים מעל שדות סופיים ניתן לספור ישירות את מספר הכיוונים הללו, אולם במקרה האינסופי יש לדבר על ממדי המרחבים הללו. לפיכך:
, בעוד שלפי משפט האיזומורפיזם הראשון מתקיים גם
, ולכן
.
- משפט (ניסוח לתורת החבורות): תהא
חבורה, תהא
תת-חבורה ותהא
תת-חבורה נורמלית. אזי
.
- משפט (ניסוח לתורת החוגים): יהא
חוג, יהא
תת-חוג של
ויהא
אידיאל דו-צדדי של
. אזי
.
- משפט (ניסוח לתורת המודולים): יהא
מודול מעל חוג
, ויהיו
תת-מודולים של
. אזי
.
ראשית, נעיר כי משום ש-
וגם
אזי
, ולכן חבורת המנה
מוגדרת היטב. כעת מגדירים העתקה
על ידי
לכל
. נשים לב לשלוש אבחנות:
- ההעתקה
היא הומומורפיזם כי לכל
מתקיים:
![{\displaystyle {\begin{aligned}\varphi (m_{1}m_{2})&=(m_{1}m_{2})N\\&=(m_{1}N)(m_{2}N)\\&=\varphi (m_{1})\varphi (m_{2})\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f68234036ac007acd5b32631945cd29f55deb8d)
- ההעתקה
היא על כי אם
עבור
אז
. השוויון
מתקיים כי ![{\displaystyle n\in N}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aedc99ee9cd35f9c34b0f743f8c26b34359ca2fe)
- מתקיים:
![{\displaystyle {\begin{aligned}\ker(\varphi )&=\{m\in M:\varphi (m)=N\}\\&=\{m\in M:mN=N\}\\&=\{m\in M:m\in N\}\\&=M\cap N\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/34c44b359f09972f3fca260a661dfcbb710b74a6)
בסך הכל מקבלים ממשפט האיזומורפיזם הראשון כי
כנדרש.
במקרה של המשפט בגרסת תורת החבורות, ניתן להסיק כי
איזומורפי לתת-חבורה של
, ובפרט
, כאשר
מסמן את האינדקס של
ב-
. מכאן נובע האי-שוויון השימושי
.
- משפט (ניסוח לתורת החבורות): תהא
חבורה ויהיו
תת-חבורות נורמליות של
המקיימות
. אזי
.
- משפט (ניסוח לתורת החוגים): יהא
חוג ויהיו
אידיאלים דו-צדדיים של
המקיימים
. אזי
.
- משפט (ניסוח לתורת המודולים): יהא
מודול מעל חוג
ויהיו
תת-מודולים של
המקיימים
. אזי
.
ראשית, נעיר כי משום ש-
וגם
אז
. לכן, חבורת המנה
מוגדרת היטב וניתן להראות שמתקיים
. מכאן שהביטוי
מוגדר היטב, ונוכל לעבור להוכחת האיזומורפיות. כעת מגדירים העתקה
על ידי
לכל
. נשים לב לשלוש אבחנות:
- ההעתקה
היא הומומורפיזם כי לכל
מתקיים:
![{\displaystyle \varphi {\bigl (}(g_{1}M)(g_{2}M){\bigr )}=\varphi (g_{1}g_{2}M)=g_{1}g_{2}N=(g_{1}N)(g_{2}N)=\varphi (g_{1}M)\varphi (g_{2}M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9384acb07279868bb66a7494c4f07998f0a6a820)
- ההעתקה
היא על כי אם
עבור
אז
.
- מתקיים:
![{\displaystyle {\begin{aligned}\ker(\varphi )&={\bigl \{}gM\in G/M:\varphi (gM)=N{\bigr \}}\\&={\bigl \{}gM\in G/M:gN=N{\bigr \}}\\&=\{gM\in G/M:g\in N\}\\&=N/M\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab88d49a33cd4976039d2c191e4aa45576ecfdf9)
בסך הכל מקבלים ממשפט האיזומורפיזם הראשון כי
כנדרש.
בהינתן חבורה
ותת-חבורה נורמלית
, יש התאמה ח.ח.ע ועל בין תת-החבורות של
המכילות את
, לבין תת-החבורות של חבורת המנה
. כלומר, אם נסמן
, אז יש התאמה ח.ח.ע ועל
, והיא נתונה על ידי
לכל
.