Since does not commute with all elements of R C, we know that H is not the direct product of R C and Z = Instead, H is a semi-direct product [9] of these groups:
ตั้งแต่? ไม่ได้เดินทางไปด้วยทุกองค์ประกอบของ R? C เรา รู้ว่าเอชไม่ได้เป็นผลิตภัณฑ์โดยตรงของ R? C และ Z = แทน H เป็น ผลิตภัณฑ์กึ่งโดยตรง [9] ของกลุ่มเหล่านี้: