מודול פשוט למחצה - Wikiwand
For faster navigation, this Iframe is preloading the Wikiwand page for מודול פשוט למחצה.

מודול פשוט למחצה

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

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

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

הגדרה

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

עבור מודול התנאים הבאים שקולים:

  1. הוא מודול פשוט למחצה.
  2. הוא סכום של תת-מודולים פשוטים.
  3. שווה לתשתית שלו.
  4. הוא בעל משלימים: לכל תת-מודול קיים משלים (היינו ).

תכונות

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

{{bottomLinkPreText}} {{bottomLinkText}}
מודול פשוט למחצה
Listen to this article