Loading AI tools
מוויקיפדיה, האנציקלופדיה החופשית
במתמטיקה, מודול הוא מבנה אלגברי הכולל חבורה אבלית, שעליה פועל חוג באמצעות כפל בסקלר, באותו אופן שבו שדה פועל על מרחב וקטורי.
המודולים מהווים "מגרש משחקים" כללי ביותר, שבו יכול החוג לפעול ולהפגין את תכונותיו האלגבריות. משום כך מהווים מודולים כלי עבודה מרכזי בתורת החוגים, ובפרט באלגברה הומולוגית, ובכל היישומים של תחומים אלה במתמטיקה.
כאמור לעיל, מודול הוא חבורה אבלית: קבוצה, עם פעולה בינארית שמקובל לסמן בסימן החיבור, "", ואיבר נייטרלי, 0. חוג הבסיס, , עשוי לפעול על המודול משמאל או מימין, ותוצאת הפעולה היא "מודול שמאלי" או "מודול ימני", בהתאמה.
חבורה אבלית היא מודול שמאלי מעל החוג , אם מוגדרת פונקציה ("כפל בסקלר", שמקובל לסמן בנקודה, , או בלעדיה, ), שהיא דיסטריבוטיבית בשני המשתנים, אסוציאטיבית, ומכבדת את איבר היחידה של ; כלומר, מתקיימות האקסיומות (לכל ):
באותו אופן, הוא מודול ימני מעל , אם מוגדרת פעולת כפל בסקלר מימין, , המקיימת אקסיומות אנלוגיות. אין הבדל עקרוני בין מודולים שמאליים וימניים. הבחירה באחד משני הסוגים היא עניין של טעם, והצורך לעסוק בשתי ההגדרות מתעורר רק כאשר לומדים בימודולים, שהם מבנים שעליהם פועלים שני חוגים בו-זמנית.
לבסוף, הוא בימודול מעל זוג החוגים , אם הוא מודול שמאלי מעל וימני מעל , והפעולות משתלבות באמצעות האקסיומה לכל . אם , אומרים גם ש- בימודול מעל .
אם הוא מודול שמאלי מעל חוג , תת-חבורה של היא תת-מודול אם מהווה מודול מעל ביחס לאותה פעולה של כפל בסקלר, כלומר, אם לכל ולכל . החיתוך של שני תת-מודולים הוא תת-מודול, והסכום של שני תת-מודולים הוא תת-מודול. כמו במרחבים וקטוריים, יש חשיבות מיוחדת לסכום ישר, שהוא סכום של תת-מודולים, שבו יש דרך יחידה להציג כל וקטור כסכום משני המרכיבים.
אם שני מודולים, מודול המנה מוגדר כמרחב הקוסטים , עם פעולת הכפל בסקלר . פונקציה שומרת חיבור ממודול מעל למשנהו היא הומומורפיזם של מודולים, אם היא שומרת על הכפל בסקלר: . כרגיל, איזומורפיזם של מודולים הוא הומומורפיזם שהוא חד-חד-ערכי ועל. תת-מודולים מקיימים את משפטי האיזומורפיזם של נתר.
ה"סכום הישר החיצוני" (הקרוי גם "מכפלה ישרה"), מוגדר בדומה למרחבים וקטוריים או חבורות, עם הכפל בסקלר לפי רכיבים: . מגדירים גם סכום ישר חיצוני ומכפלה ישרה של מספר אינסופי של מודולים (שני המבנים המתקבלים שונים זה מזה).
אם היא חבורה אבלית, אוסף האנדומורפיזמים (אלו הן הפונקציות המקיימות ) מהווה חוג, ביחס לפעולות של חיבור נקודתי והרכבה. את החוג הזה מקובל לסמן ב-. אם הוא מודול מעל חוג , אז לכל הפונקציה היא אנדומורפיזם (לזה דואג תנאי הדיסטריבוטיביות מימין), והפונקציה השולחת את אל היא הומומורפיזם של חוגים (בזכות שלוש האקסיומות האחרות). אפשר להפוך את כיוון הבניה, וכך מתקבלת התאמה בין הדרכים לחשוב על כמודול, לבין ההומומורפיזמים מחוגים כלשהם אל .
מודול פשוט הוא מודול שאין לו תת-מודולים לא טריוויאליים (דהיינו שונים מאפס ומהמודול עצמו). כל מודול פשוט הוא ציקלי (כלומר, מודול מהצורה ); כל מודול ציקלי איזומורפי למודול מהצורה כאשר אידיאל שמאלי של . מודול שהוא סכום של תת-מודולים פשוטים נקרא מודול פריק לחלוטין. מודול שאי-אפשר להציג כסכום ישר של תת-מודולים הוא אי-פריד. כל מודול ארטיני או מודול נתרי הוא סכום ישר סופי של מודולים אי-פרידים.
מודול הוא נאמן אם לא קיים איבר של החוג כך ש-. אוסף המודולים מעל חוג נתון מהווה קטגוריה. אפשר ללמוד על המבנה של מתוך התכונות של מודולים מעליו. אחת הדוגמאות החשובות בעניין זה: חוג שיש לו מודול פשוט ונאמן נקרא חוג פרימיטיבי; כל חוג פשוט הוא פרימיטיבי, וכל חוג פרימיטיבי הוא חוג ראשוני.
המבנה של מודולים מעל תחומים ראשיים מהווה דוגמה חשובה. כל מודול נוצר סופית מעל תחום ראשי אפשר לכתוב באופן יחיד כסכום ישר של מודולים ציקליים , כאשר . ממשפט זה אפשר לקבל כמקרים פרטיים את המשפט היסודי על מיון של חבורות אבליות נוצרות סופית, וגם את פירוק ז'ורדן של מטריצות.
בדרך כלל, אם הוא מודול שמאלי מעל , אז הפעולה של כפל בסקלר מימין אינה הופכת את למודול ימני מעל אותו חוג, משום שתנאי האסוציאטיביות אינו מתקיים. אם חוג קומוטטיבי, בעיה זו נעלמת: מעל חוגים כאלה, כל מודול שמאלי הוא גם ימני (ולהפך); למעשה, כל מודול שמאלי או ימני הוא בימודול מעל . במקרה הכללי, המעבר בין מודולים שמאליים וימניים מערב את החוג המנוגד של , שהוא בעל אותו מבנה חיבורי, עם הכפל ההפוך . אם הוא מודול שמאלי מעל , אז הוא גם מודול ימני מעל , אם מגדירים את הפעולה החדשה לפי הנוסחה . עם זאת, איננו בימודול מעל הזוג .
הקטגוריה של מודולים מעל חוג היא אחת הדוגמאות החשובות לקטגוריה. קטגוריות מסוג זה פותחו במסגרת תורת ההצגות ותורת ההומולוגיה האלגברית, והכניסו מושגים בסיסיים רבים לתורת הקטגוריות עצמה. הקטגוריה של מודולים מעל אלגברת החבורה של חבורה נתונה שקולה לקטגוריית ההצגות של החבורה.
מסמנים ב- את הקטגוריה של קומפלקסי השרשרת החסומים של מודולים מעל . זוהי קטגוריה אבלית. העתקה בין קומפלקסים המגדירה איזומורפיזם של כל ההומולוגיות בשרשרת, נקראת קאווזי-איזומורפיזם. הצורך ללמוד את המודולים מעבר למבנה ההומולוגי שלהם מביא להגדרת הקטגוריה הנגזרת, , הנבנית מן הקטגוריה של קומפלקסי השרשרת החסומים, על ידי היפוך פורמלי של כל הקוואזי-איזומורפיזמים. (קטגוריה זו אינה עוד אבלית, אבל היא משולשית (אנ')).
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.