משפטי האיזומורפיזם

באלגברה, משפטי האיזומורפיזם הם שם שכיח לשלושה משפטים יסודיים שלפיהם חבורות מנה מסוימות הן איזומורפיות זו לזו. משפטים דומים תקפים גם עבור חוגי מנה ומודולי מנה. המשפטים מיוחסים לאמי נתר, ולפעמים הם נקראים "משפטי נתר", הראשון, השני והשלישי.

מן המשפטים האלה נובעת התאמה בין סריג תת-החבורות של חבורה  המכילות תת-חבורה , לבין סריג תת-החבורות של חבורת המנה . משפט ההתאמה הזה נקרא לפעמים "משפט האיזומורפיזם הרביעי".

משפט האיזומורפיזם הראשון

תיאור

אם f הומומורפיזם ממבנה אלגברי A, אז המנה של A ביחס לגרעין של f איזומורפית לתמונה של f.

ניסוח

משפט האיזומורפיזם הראשון (לחבורות): תהיינה  חבורות, ויהא  הומומורפיזם. אזי .
משפט האיזומורפיזם הראשון (לחוגים): יהיו  חוגים, ויהא  הומומורפיזם. אזי .
משפט האיזומורפיזם הראשון (למודולים): יהיו  שני מודולים מעל חוג , ויהא  הומומורפיזם. אזי .

הוכחה (עבור גרסת החבורות)

נעיר תחילה ש- הוא תת-חבורה נורמלית של  ולכן חבורת המנה  מוגדרת היטב. נסמן  ונגדיר העתקה  על ידי  לכל קוסט . נראה כי הפונקציה היא איזומורפיזם וזה יוכיח את המשפט:
 הפונקציה היא מוגדרת היטב (כלומר, אם ניקח נציגים שונים עבור אותה מחלקת שקילות, נקבל אותה תוצאה): נניח כי . אזי  ובפרט . כעת:

 הפונקציה היא הומומורפיזם: ניקח  ואז:

 הפונקציה היא על: יהי  כלשהו. על-פי הגדרת התמונה, קיים  כך ש-, וסך הכל נקבל כי .
 הפונקציה היא חד-חד-ערכית: ניקח  ונניח כי . אזי , כלומר , כלומר , כלומר , כלומר .

יישום של המשפט עבור מרחבים וקטוריים
ניתן לפרש את משפט הממדים עבור העתקות ליניאריות כהדגמה של משפט האיזומורפיזם הראשון, שכן מרחבים וקטוריים הם סוג של חבורות אבליות. במקרה זה ההעתקה הליניארית  היא הומומורפיזם בין החבורות  ו-. בעוד שהגרעין  והתמונה  של הומומורפיזם זה מקבלים את המשמעות שלהם בהשאלה ממשמעותם באלגברה ליניארית. בהינתן תת-מרחב , האיברים של חבורת המנה  (כלומר הקוסטים של  ב-) הם בעצם כל המרחבים מממד זהה ש"מקבילים" ביחס אליו. לדוגמה, בהינתן מישור  וכיוון בתוכו, הקוסטים המתאימים לו הם כל הישרים המקבילים לכיוון זה. כלומר, איברי חבורת המנה פועלים על קוסט הזהות  באותו אופן כמו הזזות (translations), ולפיכך מספר איברי חבורת המנה  הוא כמספר ההזזות בכיוונים שאינם מוכלים ב-. עבור מרחבים וקטוריים מעל שדות סופיים ניתן לספור ישירות את מספר הכיוונים הללו, אולם במקרה האינסופי יש לדבר על ממדי המרחבים הללו. לפיכך:, בעוד שלפי משפט האיזומורפיזם הראשון מתקיים גם , ולכן
.

משפט האיזומורפיזם השני

ניסוח 
משפט (ניסוח לתורת החבורות): תהא  חבורה, תהא  תת-חבורה ותהא  תת-חבורה נורמלית. אזי .
משפט (ניסוח לתורת החוגים): יהא  חוג, יהא  תת-חוג של  ויהא  אידיאל דו-צדדי של . אזי .
משפט (ניסוח לתורת המודולים): יהא  מודול מעל חוג , ויהיו  תתי-מודולים של . אזי .

הוכחה (עבור גרסת החבורות) 
לפני ההוכחה יש להעיר שמשום ש- וגם  אזי , ולכן חבורת המנה  מוגדרת היטב. מגדירים כעת העתקה  על ידי  לכל . שמים לב לשלוש אבחנות:

 ההעתקה  היא הומומורפיזם כי לכל  מתקיים:
 
 ההעתקה  היא על כי אם  עבור  אז . השוויון  מתקיים כי 
 מתקיים:

סך הכל מקבלים ממשפט האיזומורפיזם הראשון כי  כנדרש.

מסקנה מהמשפט 
במקרה של המשפט בגרסת תורת החבורות, ניתן להסיק ש- איזומורפי לתת-חבורה של , ובפרט , כאשר  מסמן את האינדקס של  ב-. מכאן נובע אי-השוויון השימושי .

משפט האיזומורפיזם השלישי (כלל הצמצום)

ניסוח 
משפט (ניסוח לתורת החבורות): תהא  חבורה ויהיו  תתי-חבורות נורמליות של  המקיימות . אזי .
משפט (ניסוח לתורת החוגים): יהא  חוג ויהיו  אידיאלים דו-צדדיים של  המקיימים . אזי .
משפט (ניסוח לתורת המודולים): יהא  מודול מעל חוג  ויהיו  תתי-מודולים של  המקיימים . אזי .

הוכחה (עבור גרסת החבורות) 
תחילה, נעיר שמשום ש- ו- וגם  אז . לכן, חבורת המנה  מוגדרת היטב וניתן להראות שמתקיים . מכאן שהביטוי  מוגדר היטב, ונוכל לעבור להוכחת האיזומורפיות. מגדירים כעת העתקה  על ידי  לכל . שמים לב לשלוש אבחנות:

 ההעתקה  היא הומומורפיזם כי לכל  מתקיים:

ההעתקה  היא על כי אם  עבור  אז .
מתקיים:

סך הכל מקבלים ממשפט האיזומורפיזם הראשון כי  כנדרש.

משפט ההתאמה (הסריג) 
בהינתן חבורה  ותת חבורה נורמלית , יש התאמה חח"ע ועל בין תת-החבורות של  שמכילות את , לבין תת-החבורות של חבורת המנה . כלומר, אם נסמן  ו-, אז יש התאמה חח"ע ועל , והיא נתונה על ידי  לכל .

איזומורפיזם
איזומורפיזם
הוכחות