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

* אם מזהים <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>.