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

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

הגדרה 

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

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

תכונות 

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

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

תורת החבורות