מודול מוצלב

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש
Nuvola apps edu mathematics blue-p.svg

בערך זה
נעשה שימוש
בסימנים מוסכמים
מתחום המתמטיקה.
להבהרת הסימנים
ראו סימון מתמטי.

במתמטיקה, מודול מוצלבאנגלית: crossed module) הוא מבנה מתמטי המורכב מ-2 חבורות G ו-H, כאשר G פועלת על H (ניתן לדון במקרה של פעולה שמאלית או פעולה ימנית ), ויש הומומורפיזם של חבורות

שמכבד את פעולת ההצמדה של G על עצמה

ומקיים את זהות פייפר (Peiffer):

.

כאשר מגדירים מודול מוצלב עם פעולה ימנית , רושמים במקום:

וזהות פייפר היא

.

דוגמאות

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

שימושים

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

קישורים חיצוניים

P mathematics.svg ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום למכלול ולהרחיב אותו.
Logo hamichlol.png
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0