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

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש

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

ניסוח

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

הוכחה

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

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

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

דוגמאות שימוש

תוך שימוש במשפט, ניתן להוכיח טענות רבות מהתחום:

לקריאה נוספת

* Rowen, Graduate Algebra: Noncommutative View, p.460-461
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

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