מכפלה חצי ישרה – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ הוספת קישור לאיבר הפיך |
מ הוספת פרק קישורים חיצוניים + תבנית:MathWorld (בערכים בהם אין קישורים חיצוניים) (תג) (דיון) |
||
שורה 12: | שורה 12: | ||
* אם מזהים <math>H \cong \{ (h,1) | h \in H \}</math> ו-<math>K \cong \{ (1,k) | k \in K</math> אזי <math>H \cap K = 1</math> ו-H [[תת-חבורה נורמלית]] של G. |
* אם מזהים <math>H \cong \{ (h,1) | h \in H \}</math> ו-<math>K \cong \{ (1,k) | k \in K</math> אזי <math>H \cap K = 1</math> ו-H [[תת-חבורה נורמלית]] של G. |
||
==קישורים חיצוניים== |
|||
* {{MathWorld}} |
|||
{{קצרמר|מתמטיקה}} |
{{קצרמר|מתמטיקה}} |
גרסה מ־11:05, 4 בספטמבר 2018
מכפלה חצי ישרה של חבורות היא פעולה היוצרת משתי חבורות H ו-K חבורה חדשה .
הגדרה
יהיו H ו-K חבורות. נניח ש-K פועלת על H באמצעות אוטומורפיזם, כלומר: קיים הומומורפיזם המתאים לכל איבר ב-K אוטומורפיזם על H. לשם קיצור נסמן .
נגדיר פעולה על הקבוצה באופן הבא:
- .
זו חבורה מסדר (שכן יש יחידה וכל איבר הפיך ) שנסמנה .
תכונות
- אם מזהים ו- אזי ו-H תת-חבורה נורמלית של G.
קישורים חיצוניים
- מכפלה חצי ישרה, באתר MathWorld (באנגלית)