משפט סקולם-נתר

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

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

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

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

מכאן  לכל . אם נציב במקום  את  נקבל  ולכן  הפיך.

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

לקריאה נוספת
* Rowen, Graduate Algebra: Noncommutative View, p.460-461

משפטים באלגברה
תורת החוגים