מודול (מבנה אלגברי)

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

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

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

הגדרה[עריכת קוד מקור | עריכה]

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

חבורה אבלית M היא מודול שמאלי מעל החוג R, אם מוגדרת פונקציה \ R \times M \rightarrow M ("כפל בסקלר", שמקובל לסמן בנקודה, \ (r,m)\mapsto r\cdot m, או בלעדיה, \ (r,m)\mapsto r m), שהיא דיסטריבוטיבית בשני המשתנים, אסוציאטיבית, ומכבדת את איבר היחידה של R; כלומר, מתקיימות האקסיומות (לכל \ r,r' \in R, m,m' \in M):

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

לבסוף, M הוא בימודול מעל זוג החוגים R,S, אם M הוא מודול שמאלי מעל R וימני מעל S, והפעולות משתלבות באמצעות האקסיומה \ (rm)s=r(ms) לכל \ r\in R, s\in S, m\in M. אם R=S, אומרים גם ש-M בימודול מעל R.

הכפל בסקלר כפעולה[עריכת קוד מקור | עריכה]

אם M היא חבורה אבלית, אוסף האנדומורפיזמים \ f : M \rightarrow M (אלו הן הפונקציות המקיימות \ f(m+m') = f(m)+f(m')) מהווה חוג, ביחס לפעולות של חיבור נקודתי \ (f+f')(m)=f(m)+f'(m) והרכבה. את החוג הזה מקובל לסמן ב- \ \operatorname{End}_{\mathbb Z}(M). אם M הוא מודול מעל חוג R, אז לכל \ r \in R הפונקציה \ \ell_r : m \mapsto rm היא אנדומורפיזם (לזה דואג תנאי הדיסטריבוטיביות מימין), והפונקציה השולחת את r אל \ \ell_r היא הומומורפיזם של חוגים (בזכות שלוש האקסיומות האחרות). אפשר להפוך את כיוון הבניה, וכך מתקבלת התאמה בין הדרכים לחשוב על M כמודול, לבין ההומומורפיזמים מחוגים כלשהם אל \operatorname{End}_{\mathbb Z}(M).

דוגמאות[עריכת קוד מקור | עריכה]

1. תורת המודולים מכלילה שתי תאוריות חשובות: אלגברה לינארית מתקבלת מן ההבחנה שמעל שדה F, המודולים אינם אלא מרחבים וקטוריים. בדומה לזה, המודולים מעל חוג המספרים השלמים \ \mathbb{Z} אינם אלא חבורות אבליות.

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

3. אם R חוג ו- I אידאל שלו, אז כל מודול מעל חוג המנה \ R/I הוא גם מודול מעל R, ביחס לפעולה \ rx = (r+I)x. מצד שני, מודול מעל R אפשר לראות גם כמודול מעל חוג המנה, רק כאשר המאפס \ \operatorname{Ann}_R(M) = \{r \in R : rM = 0\} מוכל ב- I.

4. אם V מרחב וקטורי מעל שדה F, ו- \ T : V \rightarrow V העתקה לינארית, אפשר להפוך את V למודול מעל חוג הפולינומים \ F[\lambda], באמצעות פעולת הכפל בסקלר \ \sum \alpha_i \lambda^i \cdot v = \sum \alpha_i T^i(v). המבנה של המודול המתקבל קשור קשר הדוק לתכונות של ההעתקה T, ובפרט לפירוק ז'ורדן שלה.

פעולות בין מודולים[עריכת קוד מקור | עריכה]

אם M הוא מודול שמאלי מעל חוג R, תת-חבורה N של M היא תת-מודול אם N מהווה מודול מעל R ביחס לאותה פעולה של כפל בסקלר, כלומר, אם \ r n \in N לכל \ r \in R ולכל \ n\in N. החיתוך של שני תת-מודולים הוא תת-מודול, והסכום של שני תת-מודולים הוא תת-מודול. כמו במרחבים וקטוריים, יש חשיבות מיוחדת לסכום ישר, שהוא סכום של תת-מודולים, שבו יש דרך יחידה להציג כל וקטור כסכום משני המרכיבים.

אם \ N\leq M שני מודולים, מודול המנה \ M/N מוגדר כמרחב הקוסטים \ \{m + N: m\in M\}, עם פעולת הכפל בסקלר \ r(m+N)=rm+N. פונקציה שומרת חיבור f ממודול M מעל R למשנהו היא הומומורפיזם של מודולים, אם היא שומרת על הכפל בסקלר: \ f(rm)=rf(m). כרגיל, איזומורפיזם של מודולים הוא הומומורפיזם שהוא חד-חד-ערכי ועל. תת-מודולים מקיימים את משפטי האיזומורפיזם של נתר.

ה"סכום הישר החיצוני" (הקרוי גם "מכפלה ישרה"), מוגדר בדומה למרחבים וקטוריים או חבורות, עם הכפל בסקלר לפי רכיבים: \ r(m,n)=(rm,rn). מגדירים גם סכום ישר חיצוני ומכפלה ישרה של מספר אינסופי של מודולים (שני המבנים המתקבלים שונים זה מזה).

המעבר ממודול שמאלי לימני[עריכת קוד מקור | עריכה]

בדרך כלל, אם M הוא מודול שמאלי מעל R, אז הפעולה של כפל בסקלר מימין אינה הופכת את M למודול ימני מעל אותו חוג, משום שתנאי האסוציאטיביות אינו מתקיים. אם R חוג קומוטטיבי, בעיה זו נעלמת: מעל חוגים כאלה, כל מודול שמאלי הוא גם ימני (ולהיפך); למעשה, כל מודול שמאלי או ימני הוא בימודול מעל R. במקרה הכללי, המעבר בין מודולים שמאליים וימניים מערב את החוג המנוגד \ R^{op} של R, שהוא בעל אותו מבנה חיבורי, עם הכפל ההפוך \ x^{op}y^{op}=(yx)^{op}. אם M הוא מודול שמאלי מעל R, אז הוא גם מודול ימני מעל \ R^{op}, אם מגדירים את הפעולה החדשה לפי הנוסחה \ m\cdot x^{op} = xm. עם זאת, M איננו בימודול מעל הזוג \ R,R^{op}.

תורת מבנה[עריכת קוד מקור | עריכה]

מודול M הוא נאמן אם לא קיים איבר \ r \neq 0 של החוג כך ש- \ rM=0. מודול פשוט הוא מודול שאין לו תת-מודולים לא טריוויאליים (דהיינו שונים מאפס ומהמודול עצמו). כל מודול פשוט הוא ציקלי (כלומר, מודול מהצורה \ M=Rx); כל מודול ציקלי איזומורפי למודול מהצורה \ R/L כאשר \ L אידאל שמאלי של \ R.

אוסף המודולים מעל חוג נתון \ R מהווה קטגוריה. אפשר ללמוד על המבנה של \ R מתוך התכונות של מודולים מעליו. אחת הדוגמאות החשובות בעניין זה: חוג שיש לו מודול פשוט ונאמן נקרא חוג פרימיטיבי; כל חוג פשוט הוא פרימיטיבי, וכל חוג פרימיטיבי הוא חוג ראשוני.

המבנה של מודולים מעל תחומים ראשיים מהווה דוגמה חשובה. כל מודול נוצר סופית מעל תחום ראשי \ R אפשר לכתוב באופן יחיד כסכום ישר של מודולים ציקליים \ R/d_iR, כאשר \  d_1|...|d_n. ממשפט זה אפשר לקבל כמקרים פרטיים את המשפט היסודי על מיון של חבורות אבליות נוצרות סופית, וגם את פירוק ז'ורדן של מטריצות.

קטגוריות של מודולים[עריכת קוד מקור | עריכה]

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

מסמנים ב-\ C^b(\mathbf{mod}\mbox{-}R) את הקטגוריה של קומפלקסי השרשרת החסומים של מודולים מעל R. זוהי קטגוריה אבלית. העתקה בין קומפלקסים המגדירה איזומורפיזם של כל ההומולוגיות בשרשרת, נקראת קאווזי-איזומורפיזם. הצורך ללמוד את המודולים מעבר למבנה ההומולוגי שלהם מביא להגדרת הקטגוריה הנגזרת, \ D^b(\mathbb{mod}\mbox{-}R), הנבנית מן הקטגוריה של קומפלקסי השרשרת החסומים, על ידי היפוך פורמלי של כל הקוואזי-איזומורפיזמים. (קטגוריה זו אינה עוד אבלית, אבל היא משולשית (אנ')).

ראו גם[עריכת קוד מקור | עריכה]


מושגי יסוד באלגברה מופשטת

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