Có 3 định lí đồng cấu nhóm cơ bản, ở bài viết này chúng ta quan tâm đến việc mở rộng định lí đồng cấu thứ 2, từ đó áp dụng chứng minh bổ đề Zassenhaus. Ngoài ra ta cũng bàn về nhóm con chuẩn tắc và tính giao hoán.
Cho $(G,.)$ là một nhóm. Nhắc lại rằng $H$ là nhóm con chuẩn tắc của $G$ nếu $H$ là nhóm con và $xH=Hx$ với mọi $x\in G$.
Nói cách khác $H$ giao hoán với bất kì phần tử nào của $G$, do đó $H$ giao hoán với bất kì tập con nào của $G$. Từ ý tưởng đó ta có mệnh đề sau:
Phản Hồi