מכפלה חצי ישרה

פעולה מתמטית

מכפלה חצי ישרה של חבורות היא פעולה היוצרת משתי חבורות ו- חבורה חדשה .

הגדרהעריכה

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

נגדיר פעולה על הקבוצה   באופן הבא:

 .

זו חבורה מסדר   (שכן יש יחידה   וכל איבר הפיך  ) שנסמנה  .

תכונותעריכה

  • אם מזהים   ו-  אזי   ו-  תת-חבורה נורמלית של  .

קישורים חיצונייםעריכה

  ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.