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

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

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

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

תיאורעריכה

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

ניסוחעריכה

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

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

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

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

 

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

 

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

יישום של המשפט עבור מרחבים וקטורייםעריכה

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

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

ניסוחעריכה

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

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

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

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

 

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

 

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

מסקנה מהמשפטעריכה

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

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

ניסוחעריכה

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

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

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

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

 

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

 

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

משפט ההתאמה (הסריג)עריכה

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