מכפלה חצי ישרה – הבדלי גרסאות

== תכונות ==
 
* אם מזהים <math>H \cong \{ (h,1) | h \in H \}</math> ו-<math>K \cong \{ (1,k) | k \in K</math> אזי <math>H \cap K = 1</math> ו-<math>H \lhd[[תת-חבורה נורמלית]] של G</math>.
 
[[קטגוריה:תורת החבורות]]