מודול (מבנה אלגברי)
במתמטיקה, מודול הוא מבנה אלגברי הכולל חבורה אבלית, שעליה פועל חוג באמצעות כפל בסקלר, באותו אופן שבו שדה פועל על מרחב וקטורי.
המודולים מהווים "מגרש משחקים" כללי ביותר, שבו יכול החוג לפעול ולהפגין את תכונותיו האלגבריות. משום כך מהווים מודולים כלי עבודה מרכזי בתורת החוגים, ובפרט באלגברה הומולוגית, ובכל היישומים של תחומים אלה במתמטיקה.
הגדרה
כאמור לעיל, מודול הוא חבורה אבלית: קבוצה, עם פעולה בינארית שמקובל לסמן בסימן החיבור, "", ואיבר נייטרלי, 0. חוג הבסיס, , עשוי לפעול על המודול משמאל או מימין, ותוצאת הפעולה היא "מודול שמאלי" או "מודול ימני", בהתאמה.
חבורה אבלית היא מודול שמאלי מעל החוג , אם מוגדרת פונקציה ("כפל בסקלר", שמקובל לסמן בנקודה, , או בלעדיה, ), שהיא דיסטריבוטיבית בשני המשתנים, אסוציאטיבית, ומכבדת את איבר היחידה של ; כלומר, מתקיימות האקסיומות (לכל ):
- (אקסיומה זו אינה נדרשת אם הוא חוג בלי יחידה).
באותו אופן, הוא מודול ימני מעל , אם מוגדרת פעולת כפל בסקלר מימין, , המקיימת אקסיומות אנלוגיות. אין הבדל עקרוני בין מודולים שמאליים וימניים. הבחירה באחד משני הסוגים היא עניין של טעם, והצורך לעסוק בשתי ההגדרות מתעורר רק כאשר לומדים בימודולים, שהם מבנים שעליהם פועלים שני חוגים בו-זמנית.
לבסוף, הוא בימודול מעל זוג החוגים , אם הוא מודול שמאלי מעל וימני מעל , והפעולות משתלבות באמצעות האקסיומה לכל . אם , אומרים גם ש- בימודול מעל .
דוגמאות
- תורת המודולים מכלילה שתי תאוריות חשובות: אלגברה ליניארית מתקבלת מן ההבחנה שמעל שדה , המודולים אינם אלא מרחבים וקטוריים. בדומה לזה, המודולים מעל חוג המספרים השלמים אינם אלא חבורות אבליות.
- אפשר לחשוב על פעולת הכפל בחוג כעל פעולה של כפל בסקלר; כך, כל חוג הוא גם מודול מעל עצמו. יתרה מזו, חוג מהווה מודול מעל תת-חוג שלו, ומנגד, הסגירות לכפל משמאל הופכת כל אידיאל שמאלי של למודול מעל .
- אם חוג ו- אידיאל שלו, אז כל מודול מעל חוג המנה הוא גם מודול מעל , ביחס לפעולה . מצד שני, מודול מעל אפשר לראות גם כמודול מעל חוג המנה, רק כאשר המאפס מוכל ב-.
- אם מרחב וקטורי מעל שדה , ו- העתקה ליניארית, אפשר להפוך את למודול מעל חוג הפולינומים , באמצעות פעולת הכפל בסקלר . המבנה של המודול המתקבל קשור קשר הדוק לתכונות של ההעתקה , ובפרט לפירוק ז'ורדן שלה.
פעולות בין מודולים
אם הוא מודול שמאלי מעל חוג , תת-חבורה של היא תת-מודול אם מהווה מודול מעל ביחס לאותה פעולה של כפל בסקלר, כלומר, אם לכל ולכל . החיתוך של שני תת-מודולים הוא תת-מודול, והסכום של שני תת-מודולים הוא תת-מודול. כמו במרחבים וקטוריים, יש חשיבות מיוחדת לסכום ישר, שהוא סכום של תת-מודולים, שבו יש דרך יחידה להציג כל וקטור כסכום משני המרכיבים.
אם שני מודולים, מודול המנה מוגדר כמרחב הקוסטים , עם פעולת הכפל בסקלר . פונקציה שומרת חיבור ממודול מעל למשנהו היא הומומורפיזם של מודולים, אם היא שומרת על הכפל בסקלר: . כרגיל, איזומורפיזם של מודולים הוא הומומורפיזם שהוא חד-חד-ערכי ועל. תת-מודולים מקיימים את משפטי האיזומורפיזם של נתר.
ה"סכום הישר החיצוני" (הקרוי גם "מכפלה ישרה"), מוגדר בדומה למרחבים וקטוריים או חבורות, עם הכפל בסקלר לפי רכיבים: . מגדירים גם סכום ישר חיצוני ומכפלה ישרה של מספר אינסופי של מודולים (שני המבנים המתקבלים שונים זה מזה).
הכפל בסקלר כפעולה
אם היא חבורה אבלית, אוסף האנדומורפיזמים (אלו הן הפונקציות המקיימות ) מהווה חוג, ביחס לפעולות של חיבור נקודתי והרכבה. את החוג הזה מקובל לסמן ב-. אם הוא מודול מעל חוג , אז לכל הפונקציה היא אנדומורפיזם (לזה דואג תנאי הדיסטריבוטיביות מימין), והפונקציה השולחת את אל היא הומומורפיזם של חוגים (בזכות שלוש האקסיומות האחרות). אפשר להפוך את כיוון הבניה, וכך מתקבלת התאמה בין הדרכים לחשוב על כמודול, לבין ההומומורפיזמים מחוגים כלשהם אל .
תורת מבנה
מודול פשוט הוא מודול שאין לו תת-מודולים לא טריוויאליים (דהיינו שונים מאפס ומהמודול עצמו). כל מודול פשוט הוא ציקלי (כלומר, מודול מהצורה ); כל מודול ציקלי איזומורפי למודול מהצורה כאשר אידיאל שמאלי של . מודול שהוא סכום של תת-מודולים פשוטים נקרא מודול פריק לחלוטין. מודול שאי-אפשר להציג כסכום ישר של תת-מודולים הוא אי-פריד. כל מודול ארטיני או מודול נתרי הוא סכום ישר סופי של מודולים אי-פרידים.
מודול הוא נאמן אם לא קיים איבר של החוג כך ש-. אוסף המודולים מעל חוג נתון מהווה קטגוריה. אפשר ללמוד על המבנה של מתוך התכונות של מודולים מעליו. אחת הדוגמאות החשובות בעניין זה: חוג שיש לו מודול פשוט ונאמן נקרא חוג פרימיטיבי; כל חוג פשוט הוא פרימיטיבי, וכל חוג פרימיטיבי הוא חוג ראשוני.
המבנה של מודולים מעל תחומים ראשיים מהווה דוגמה חשובה. כל מודול נוצר סופית מעל תחום ראשי אפשר לכתוב באופן יחיד כסכום ישר של מודולים ציקליים , כאשר . ממשפט זה אפשר לקבל כמקרים פרטיים את המשפט היסודי על מיון של חבורות אבליות נוצרות סופית, וגם את פירוק ז'ורדן של מטריצות.
המעבר ממודול שמאלי לימני
בדרך כלל, אם הוא מודול שמאלי מעל , אז הפעולה של כפל בסקלר מימין אינה הופכת את למודול ימני מעל אותו חוג, משום שתנאי האסוציאטיביות אינו מתקיים. אם חוג קומוטטיבי, בעיה זו נעלמת: מעל חוגים כאלה, כל מודול שמאלי הוא גם ימני (ולהפך); למעשה, כל מודול שמאלי או ימני הוא בימודול מעל . במקרה הכללי, המעבר בין מודולים שמאליים וימניים מערב את החוג המנוגד של , שהוא בעל אותו מבנה חיבורי, עם הכפל ההפוך . אם הוא מודול שמאלי מעל , אז הוא גם מודול ימני מעל , אם מגדירים את הפעולה החדשה לפי הנוסחה . עם זאת, איננו בימודול מעל הזוג .
קטגוריות של מודולים
הקטגוריה של מודולים מעל חוג היא אחת הדוגמאות החשובות לקטגוריה. קטגוריות מסוג זה פותחו במסגרת תורת ההצגות ותורת ההומולוגיה האלגברית, והכניסו מושגים בסיסיים רבים לתורת הקטגוריות עצמה.
מסמנים ב- את הקטגוריה של קומפלקסי השרשרת החסומים של מודולים מעל . זוהי קטגוריה אבלית. העתקה בין קומפלקסים המגדירה איזומורפיזם של כל ההומולוגיות בשרשרת, נקראת קאווזי-איזומורפיזם. הצורך ללמוד את המודולים מעבר למבנה ההומולוגי שלהם מביא להגדרת הקטגוריה הנגזרת, , הנבנית מן הקטגוריה של קומפלקסי השרשרת החסומים, על ידי היפוך פורמלי של כל הקוואזי-איזומורפיזמים. (קטגוריה זו אינה עוד אבלית, אבל היא משולשית (אנ')).
ראו גם
קישורים חיצוניים
שגיאות פרמטריות בתבנית:ויקישיתוף בשורה
פרמטרי חובה [ שם ] חסרים
- גדי אלכסנדרוביץ', אז מה זה בעצם מודולים ואלגבראות?, באתר "לא מדויק", 5 באוגוסט 2018
אלגברה מופשטת | ||
---|---|---|
ענפים | אלגברה ליניארית • אלגברה בוליאנית • אלגברה דיפרנציאלית • אלגברה הומולוגית • גאומטריה אלגברית • טופולוגיה אלגברית • תורת גלואה • תורת החבורות • תורת החוגים • תורת המספרים האלגברית • תורת הקטגוריות • תורת השדות | |
מבנים אלגבריים | מאגמה • חבורה למחצה • מונואיד • חבורה • חבורה אַבּלִית • חוג • תחום שלמות • שדה • מודול • מרחב וקטורי • אלגברה (מבנה אלגברי) • אלגברת לי • אלגברת הקווטרניונים של המילטון • אלגברה לא אסוציאטיבית | |
מושגי יסוד | הומומורפיזם • משפטי האיזומורפיזם • תת-חבורה נורמלית • אידיאל • לוקליזציה • מכפלה טנזורית • הצגה ליניארית |
28724965מודול (מבנה אלגברי)