# Đồng cấu nhóm, Định lý Cayley và các Định lý Đẳng cấu kinh điển Trong lý thuyết nhóm trừu tượng, mục tiêu tối thượng không chỉ dừng lại ở việc khảo sát từng phần tử riêng lẻ, mà là giải mã **cấu trúc đối xứng** và **mối quan hệ bảo toàn phép toán** giữa các hệ thống đại số khác nhau. Làm thế nào để biết hai nhóm nhìn bề ngoài khác nhau có thực chất là "một" về mặt cấu trúc? Làm thế nào để phân rã một nhóm phức tạp thông qua các nhóm con chuẩn tắc và nhóm thương? Bài viết này trình bày lời giải chi tiết, chặt chẽ và sư phạm cho một bộ 6 bài toán kinh điển trong *Giáo trình Đại số đại cương* của TS. Đặng Tuấn Hiệp (Đại học Đà Lạt). Chuỗi bài toán dẫn dắt người đọc qua 4 trụ cột cốt lõi của lý thuyết nhóm hiện đại: 1. **Nhóm đối xứng và Phép liên hợp chu trình:** Khảo sát tác động "đổi nhãn" của hoán vị và tiêu chuẩn liên hợp của các chu trình cùng độ dài. 2. **Cơ chế hoạt động của Đồng cấu nhóm:** Tính chất hợp thành và sự bảo toàn tất yếu của phần tử đơn vị cùng phần tử nghịch đảo. 3. **Định lý Cayley:** Mọi nhóm trừu tượng đều tìm thấy "hình bóng cụ thể" của mình dưới dạng một nhóm con của nhóm đối xứng. 4. **Các Định lý Đẳng cấu kinh điển:** Định lý Đẳng cấu thứ hai (Đẳng cấu Kim cương) và Định lý Đẳng cấu thứ ba, làm sáng tỏ hình học cấu trúc của nhóm thương và nhóm con chuẩn tắc. --- ## 1. Bài toán 1: Phép liên hợp chu trình trong nhóm đối xứng $S_n$ > **Đề bài:** Cho nhóm đối xứng $(S_n, \circ)$ và $\tau = (x_1, x_2, \dots, x_k) \in S_n$ là một chu trình độ dài $k$. > 1. Chứng minh rằng $\sigma \circ \tau \circ \sigma^{-1}$, $\forall \sigma \in S_n$, là một chu trình độ dài $k$. > 2. Cho $\gamma \in S_n$ là một chu trình độ dài $k$. Chứng minh rằng có tồn tại $\sigma \in S_n$ sao cho $\sigma \circ \tau \circ \sigma^{-1} = \gamma$. ### Trực giác hình học: Phép liên hợp là phép "đổi nhãn" (Relabelling) Trong nhóm đối xứng $S_n$, phép biến đổi liên hợp $\sigma \circ \tau \circ \sigma^{-1}$ có ý nghĩa hình học rất đẹp: nó không làm thay đổi bản chất quỹ đạo hoán vị, mà chỉ đơn thuần là **thay tên đổi họ** cho các vị trí: - $\sigma^{-1}$ đưa tên mới về tên cũ; - $\tau$ thực hiện phép hoán vị trên tên cũ; - $\sigma$ chuyển kết quả từ tên cũ sang tên mới. Nếu $\tau$ chuyển phần tử $x_i \mapsto x_{i+1}$, thì $\sigma \circ \tau \circ \sigma^{-1}$ sẽ chuyển phần tử $\sigma(x_i) \mapsto \sigma(x_{i+1})$. --- ### Chứng minh Câu 1: $\sigma \circ \tau \circ \sigma^{-1}$ là chu trình độ dài $k$ Đặt $\alpha = \sigma \circ \tau \circ \sigma^{-1}$. Xét tập hợp nền $X = \{1, 2, \dots, n\}$. Vì $\tau = (x_1, x_2, \dots, x_k)$ là chu trình độ dài $k$, theo định nghĩa: $$\tau(x_i) = \begin{cases} x_{i+1} & \text{với } 1 \le i \le k - 1, \\ x_1 & \text{với } i = k, \end{cases}$$ và $\tau(z) = z$ với mọi phần tử $z \notin \{x_1, \dots, x_k\}$. Ta khảo sát tác động của $\alpha$ lên hai phần rời nhau của tập $X$: 1. **Trên các phần tử có dạng $y = \sigma(x_i)$ ($1 \le i \le k$):** Vì $\sigma$ là song ánh, $\sigma^{-1}(y) = x_i$. Do đó: - Với $1 \le i \le k - 1$: $$\alpha(\sigma(x_i)) = (\sigma \circ \tau \circ \sigma^{-1})(\sigma(x_i)) = \sigma\big(\tau(x_i)\big) = \sigma(x_{i+1}).$$ - Với $i = k$: $$\alpha(\sigma(x_k)) = (\sigma \circ \tau \circ \sigma^{-1})(\sigma(x_k)) = \sigma\big(\tau(x_k)\big) = \sigma(x_1).$$ Như vậy, $\alpha$ hoán vị xoay vòng các phần tử trong tập $\{\sigma(x_1), \sigma(x_2), \dots, \sigma(x_k)\}$ theo đúng chu trình: $$\sigma(x_1) \mapsto \sigma(x_2) \mapsto \dots \mapsto \sigma(x_k) \mapsto \sigma(x_1).$$ 2. **Trên các phần tử $y \notin \{\sigma(x_1), \dots, \sigma(x_k)\}$:** Khi đó $\sigma^{-1}(y) \notin \{x_1, \dots, x_k\}$. Vì $\tau$ giữ cố định mọi điểm nằm ngoài tập $\{x_1, \dots, x_k\}$, ta có: $$\tau(\sigma^{-1}(y)) = \sigma^{-1}(y).$$ Suy ra: $$\alpha(y) = \sigma\big(\tau(\sigma^{-1}(y))\big) = \sigma\big(\sigma^{-1}(y)\big) = y.$$ Nghĩa là $\alpha$ giữ cố định toàn bộ các phần tử bên ngoài tập $\{\sigma(x_1), \dots, \sigma(x_k)\}$. Vì $\sigma \in S_n$ là một song ánh và các phần tử $x_1, \dots, x_k$ đôi một phân biệt, nên các ảnh $\sigma(x_1), \dots, \sigma(x_k)$ cũng đôi một phân biệt. Kết hợp hai trường hợp trên, ta có công thức tường minh: $$\sigma \circ (x_1, x_2, \dots, x_k) \circ \sigma^{-1} = \big(\sigma(x_1), \sigma(x_2), \dots, \sigma(x_k)\big).$$ Đây chính là một chu trình độ dài $k$. --- ### Chứng minh Câu 2: Sự tồn tại của hoán vị liên hợp $\sigma$ Cho $\gamma = (y_1, y_2, \dots, y_k) \in S_n$ là một chu trình độ dài $k$ tùy ý, trong đó $y_1, \dots, y_k$ là $k$ phần tử đôi một phân biệt của $\{1, \dots, n\}$. Ta cần tìm một hoán vị $\sigma \in S_n$ sao cho $\sigma \circ \tau \circ \sigma^{-1} = \gamma$. Theo công thức đã chứng minh ở Câu 1: $$\sigma \circ \tau \circ \sigma^{-1} = \big(\sigma(x_1), \sigma(x_2), \dots, \sigma(x_k)\big).$$ Để đẳng thức bằng $\gamma = (y_1, y_2, \dots, y_k)$ xảy ra, ta chỉ cần chọn $\sigma$ sao cho: $$\sigma(x_i) = y_i \quad \text{với mọi } i = 1, 2, \dots, k.$$ Đặt $A = \{x_1, \dots, x_k\}$ và $B = \{y_1, \dots, y_k\}$. Vì $|A| = |B| = k$, số phần tử trong các tập bù tương ứng là bằng nhau: $$|\{1, \dots, n\} \setminus A| = |\{1, \dots, n\} \setminus B| = n - k.$$ Do hai tập bù này có cùng số phần tử hữu hạn, luôn tồn tại một song ánh: $$\sigma' : \{1, \dots, n\} \setminus A \longrightarrow \{1, \dots, n\} \setminus B.$$ Ta định nghĩa ánh xạ $\sigma : \{1, \dots, n\} \to \{1, \dots, n\}$ như sau: $$\sigma(z) = \begin{cases} y_i & \text{nếu } z = x_i \in A, \\ \sigma'(z) & \text{nếu } z \in \{1, \dots, n\} \setminus A. \end{cases}$$ Ánh xạ $\sigma$ ghép từ hai song ánh trên hai tập rời nhau có ảnh rời nhau, nên $\sigma$ là một song ánh trên $\{1, \dots, n\}$, tức $\sigma \in S_n$. Theo cấu trúc xây dựng: $$\sigma \circ \tau \circ \sigma^{-1} = \big(\sigma(x_1), \dots, \sigma(x_k)\big) = (y_1, \dots, y_k) = \gamma.$$ Mệnh đề được chứng minh hoàn tất. > **Ý nghĩa đại số:** > Hai hoán vị trong nhóm đối xứng $S_n$ liên hợp với nhau khi và chỉ khi chúng có cùng **kiểu chu trình** (cycle type). Hai chu trình có cùng độ dài luôn thuộc về cùng một lớp liên hợp (conjugacy class). --- ## 2. Bài toán 2: Hợp thành của các đồng cấu nhóm > **Đề bài:** Cho $f : G \to H$ và $g : H \to K$ là các đồng cấu nhóm. Chứng minh rằng ánh xạ hợp thành $g \circ f : G \to K$ cũng là một đồng cấu nhóm. ### Lời giải Ký hiệu phép toán trên các nhóm $G, H, K$ lần lượt là $\cdot_G, \cdot_H, \cdot_K$. Để chứng minh $g \circ f : G \to K$ là một đồng cấu nhóm, ta cần kiểm tra rằng với mọi phần tử $x, y \in G$, ánh xạ hợp thành bảo toàn phép toán nhóm: $$(g \circ f)(x \cdot_G y) = (g \circ f)(x) \cdot_K (g \circ f)(y).$$ Thật vậy, lấy tùy ý $x, y \in G$: 1. Theo định nghĩa ánh xạ hợp thành: $$(g \circ f)(x \cdot_G y) = g\big( f(x \cdot_G y) \big).$$ 2. Vì $f : G \to H$ là một đồng cấu nhóm, $f$ bảo toàn phép toán của $G$: $$f(x \cdot_G y) = f(x) \cdot_H f(y).$$ 3. Thay kết quả này vào biểu thức của $g$: $$g\big( f(x \cdot_G y) \big) = g\big( f(x) \cdot_H f(y) \big).$$ 4. Vì $g : H \to K$ là một đồng cấu nhóm, và $f(x), f(y)$ là hai phần tử thuộc $H$, $g$ bảo toàn phép toán của $H$: $$g\big( f(x) \cdot_H f(y) \big) = g(f(x)) \cdot_K g(f(y)).$$ 5. Sử dụng lại định nghĩa ánh xạ hợp thành: $$g(f(x)) \cdot_K g(f(y)) = (g \circ f)(x) \cdot_K (g \circ f)(y).$$ Do đó: $$(g \circ f)(x \cdot_G y) = (g \circ f)(x) \cdot_K (g \circ f)(y) \quad (\forall x, y \in G).$$ Vậy $g \circ f : G \to K$ là một đồng cấu nhóm. > **Góc nhìn Lý thuyết Phạm trù (Category Theory):** > Mệnh đề này khẳng định rằng phép kết hợp các cấu xạ (morphisms) trong phạm trù các nhóm $\mathbf{Grp}$ là đóng kín. Hợp thành của hai đồng cấu luôn là một đồng cấu, và nhóm đóng vai trò là các đối tượng (objects) của phạm trù. --- ## 3. Bài toán 3: Tính chất bảo toàn đơn vị và nghịch đảo của đồng cấu > **Đề bài:** Cho $f : G \to H$ là một đồng cấu nhóm. Chứng minh rằng: > 1. $f(e_G) = e_H$, trong đó $e_G$ và $e_H$ lần lượt là các phần tử đơn vị của $G$ và $H$; > 2. Với mọi $x \in G$, ta có $f(x') = f(x)'$, trong đó $x'$ và $f(x)'$ lần lượt là phần tử nghịch đảo của $x$ và $f(x)$ trong $G$ và $H$. ### Lời giải #### 1. Chứng minh $f(e_G) = e_H$ Trong nhóm $G$, phần tử đơn vị $e_G$ thỏa mãn tính chất: $$e_G \cdot e_G = e_G.$$ Tác động đồng cấu $f$ lên cả hai vế: $$f(e_G \cdot e_G) = f(e_G).$$ Do $f$ là đồng cấu nhóm, vế trái khai triển thành: $$f(e_G) \cdot f(e_G) = f(e_G).$$ Mặt khác, trong nhóm $H$, ta luôn có $f(e_G) = f(e_G) \cdot e_H$. Do đó: $$f(e_G) \cdot f(e_G) = f(e_G) \cdot e_H.$$ Vì $H$ là một nhóm, phần tử $f(e_G) \in H$ có phần tử nghịch đảo trong $H$. Áp dụng **luật giản ước trái** (nhân cả hai vế bên trái với nghịch đảo của $f(e_G)$), ta nhận được: $$f(e_G) = e_H.$$ --- #### 2. Chứng minh $f(x') = f(x)'$ Với mỗi $x \in G$, phần tử nghịch đảo $x'$ được đặc trưng duy nhất bởi hai điều kiện: $$x \cdot x' = e_G \quad \text{và} \quad x' \cdot x = e_G.$$ Tác động $f$ lên đẳng thức $x \cdot x' = e_G$: $$f(x \cdot x') = f(e_G).$$ Do $f$ là đồng cấu và $f(e_G) = e_H$ (theo Câu 1): $$f(x) \cdot f(x') = e_H.$$ Tương tự, tác động $f$ lên đẳng thức $x' \cdot x = e_G$: $$f(x') \cdot f(x) = f(e_G) = e_H.$$ Như vậy, phần tử $f(x') \in H$ khi nhân với $f(x)$ từ cả hai phía (trái và phải) đều cho ra phần tử đơn vị $e_H$. Do tính duy nhất của phần tử nghịch đảo trong nhóm $H$, ta kết luận: $$f(x') = f(x)'.$$ --- ## 4. Bài toán 4: Định lý Cayley — Cội nguồn cụ thể của mọi nhóm trừu tượng > **Đề bài (Định lý Cayley):** Chứng minh rằng mọi nhóm $(G, \star)$ đẳng cấu với một nhóm con của nhóm đối xứng $(S_G, \circ)$. ### Trực giác toán học: Biểu diễn chính quy trái Lý thuyết nhóm trừu tượng có thể khiến người học cảm thấy xa vời vì các phần tử chỉ là những ký hiệu trừu tượng cùng một phép toán thỏa mãn tiên đề. Arthur Cayley (1854) đã đưa ra một phát kiến nền tảng: **Mỗi phần tử $a \in G$ đều có thể xem như một phép dời hình (hoán vị) trên chính không gian $G$**, thông qua phép nhân trái: $$x \longmapsto a \star x.$$ Tập hợp tất cả các phép nhân trái này lập thành một nhóm các phép biến đổi, và nhóm đó phản ánh nguyên vẹn cấu trúc của nhóm ban đầu $G$. --- ### Chứng minh chi tiết Chứng minh được chia thành 4 bước mạch lạc: #### Bước 1: Xây dựng phép nhân trái $\lambda_a$ Với mỗi phần tử $a \in G$, xét ánh xạ "nhân trái bởi $a$": $$\lambda_a : G \longrightarrow G, \quad \lambda_a(x) = a \star x \quad (\forall x \in G).$$ Ta chứng minh $\lambda_a$ là một song ánh từ $G$ vào chính nó, tức $\lambda_a \in S_G$: - **Đơn ánh:** Giả sử $\lambda_a(x) = \lambda_a(y)$. Khi đó $a \star x = a \star y$. Nhân cả hai vế bên trái với $a'$ (nghịch đảo của $a$ trong $G$): $$a' \star (a \star x) = a' \star (a \star y) \implies (a' \star a) \star x = (a' \star a) \star y \implies e_G \star x = e_G \star y \implies x = y.$$ Vậy $\lambda_a$ là đơn ánh. - **Toàn ánh:** Với mọi phần tử $z \in G$, chọn $x = a' \star z \in G$. Ta có: $$\lambda_a(x) = a \star (a' \star z) = (a \star a') \star z = e_G \star z = z.$$ Vậy $\lambda_a$ là toàn ánh. Do đó, $\lambda_a$ là một song ánh, tức $\lambda_a \in S_G$ với mọi $a \in G$. #### Bước 2: Thiết lập ánh xạ biểu diễn $\Phi$ Xét ánh xạ gán mỗi phần tử $a \in G$ với phép nhân trái tương ứng: $$\Phi : G \longrightarrow S_G, \quad \Phi(a) = \lambda_a.$$ Ta kiểm tra $\Phi$ là một đồng cấu nhóm từ $(G, \star)$ vào $(S_G, \circ)$. Cần chứng minh: $$\Phi(a \star b) = \Phi(a) \circ \Phi(b) \iff \lambda_{a \star b} = \lambda_a \circ \lambda_b \quad (\forall a, b \in G).$$ Thật vậy, với mọi phần tử thử $x \in G$: $$(\lambda_a \circ \lambda_b)(x) = \lambda_a\big(\lambda_b(x)\big) = \lambda_a(b \star x) = a \star (b \star x).$$ Nhờ tính kết hợp của phép toán nhóm trong $G$: $$a \star (b \star x) = (a \star b) \star x = \lambda_{a \star b}(x).$$ Vì đẳng thức đúng với mọi $x \in G$, ta có $\lambda_{a \star b} = \lambda_a \circ \lambda_b$. Do đó $\Phi$ là một đồng cấu nhóm. #### Bước 3: Chứng minh $\Phi$ là một đơn cấu (Monomorphism) Xét hạt nhân của đồng cấu $\Phi$: $$\operatorname{Ker}(\Phi) = \{ a \in G \mid \Phi(a) = \operatorname{id}_G \}.$$ Nếu $a \in \operatorname{Ker}(\Phi)$, thì $\lambda_a = \operatorname{id}_G$, tức là: $$\lambda_a(x) = x \iff a \star x = x \quad (\forall x \in G).$$ Chọn riêng trường hợp $x = e_G$: $$a \star e_G = e_G \implies a = e_G.$$ Do đó, $\operatorname{Ker}(\Phi) = \{e_G\}$. Hạt nhân tầm thường kéo theo $\Phi$ là một đơn ánh (đơn cấu nhóm). #### Bước 4: Kết luận đẳng cấu Theo kết quả cơ bản của đồng cấu, ảnh của một đồng cấu nhóm luôn là một nhóm con của nhóm đích: $$\operatorname{Im}(\Phi) = \{ \lambda_a \mid a \in G \} \le S_G.$$ Vì $\Phi : G \to \operatorname{Im}(\Phi)$ vừa là đồng cấu, vừa là đơn ánh và hiển nhiên là toàn ánh lên ảnh của nó, $\Phi$ là một **đẳng cấu nhóm**: $$G \cong \operatorname{Im}(\Phi) \le S_G.$$ Vậy mọi nhóm $G$ đều đẳng cấu với một nhóm con của nhóm đối xứng $S_G$. --- ## 5. Bài toán 5: Định lý Đẳng cấu thứ hai (Định lý Đẳng cấu Kim cương) > **Đề bài:** Cho $(G, \star)$ là một nhóm, $H$ là một nhóm con và $N$ là một nhóm con chuẩn tắc của $G$. Xét các tập hợp: > $$HN = \{ x \star y \mid x \in H, y \in N \}, \quad H \cap N = \{ x \in G \mid x \in H, x \in N \}.$$ > Chứng minh rằng: > 1. $HN$ là một nhóm con của $G$; > 2. $H \cap N$ là một nhóm con chuẩn tắc của $H$; > 3. $H / (H \cap N) \cong HN / N$. ```text HN / \ / \ H N \ / \ / H ∩ N ``` *Sơ đồ mạng lưới dạng hình thoi (Diamond Lattice) minh họa mối liên hệ giữa các nhóm con.* --- ### Chứng minh Câu 1: $HN$ là một nhóm con của $G$ Để thuận tiện, ta viết phép toán nhóm dưới dạng nhân liền: $x \star y = xy$. 1. **Khác rỗng:** Vì $H \le G$ và $N \le G$, ta có $e \in H$ và $e \in N$. Suy ra $e = e \cdot e \in HN \neq \emptyset$. 2. **Tiêu chuẩn nhóm con ($u v^{-1} \in HN$):** Lấy tùy ý $u, v \in HN$. Theo định nghĩa, tồn tại $h_1, h_2 \in H$ và $n_1, n_2 \in N$ sao cho: $$u = h_1 n_1, \quad v = h_2 n_2.$$ Phần tử nghịch đảo của $v$ là: $$v^{-1} = (h_2 n_2)^{-1} = n_2^{-1} h_2^{-1}.$$ Khi đó: $$u v^{-1} = (h_1 n_1)(n_2^{-1} h_2^{-1}) = h_1 (n_1 n_2^{-1}) h_2^{-1}.$$ Đặt $n_3 = n_1 n_2^{-1}$. Vì $N$ là nhóm con nên $n_3 \in N$. Biểu thức trở thành: $$u v^{-1} = h_1 n_3 h_2^{-1}.$$ Chèn phần tử đơn vị dưới dạng $h_2^{-1} h_2$: $$u v^{-1} = h_1 (h_2^{-1} h_2) n_3 h_2^{-1} = (h_1 h_2^{-1}) \cdot (h_2 n_3 h_2^{-1}).$$ - Vì $H \le G$ và $h_1, h_2 \in H$, ta có $h_1 h_2^{-1} \in H$. - Vì $N$ là **nhóm con chuẩn tắc** của $G$ ($g N g^{-1} \subseteq N$ với mọi $g \in G$), và $h_2 \in H \subseteq G$, ta có: $$h_2 n_3 h_2^{-1} \in N.$$ Đặt $h_4 = h_1 h_2^{-1} \in H$ và $n_4 = h_2 n_3 h_2^{-1} \in N$, ta có: $$u v^{-1} = h_4 n_4 \in HN.$$ Vậy $HN$ là một nhóm con của $G$ ($HN \le G$). --- ### Chứng minh Câu 2: $H \cap N$ là một nhóm con chuẩn tắc của $H$ 1. **Là nhóm con của $H$:** Giao của hai nhóm con luôn là một nhóm con. Vì $H \le G$ và $N \le G$, nên $H \cap N \le G$. Vì mọi phần tử của $H \cap N$ đều thuộc $H$, hiển nhiên $H \cap N \le H$. 2. **Tính chuẩn tắc trong $H$:** Lấy bất kỳ $h \in H$ và $x \in H \cap N$. Ta cần chứng minh: $$h x h^{-1} \in H \cap N.$$ - Vì $h \in H$ và $x \in H$, do $H$ là nhóm con nên $h x h^{-1} \in H$. - Vì $x \in N$ và $N \trianglelefteq G$, nên với mọi phần tử $g \in G$, ta có $g x g^{-1} \in N$. Vì $h \in H \subseteq G$, ta có $h x h^{-1} \in N$. Từ hai ý trên, suy ra $h x h^{-1} \in H \cap N$ với mọi $h \in H$ và $x \in H \cap N$. Vậy $H \cap N \trianglelefteq H$. --- ### Chứng minh Câu 3: $H / (H \cap N) \cong HN / N$ Con đường đẹp và khúc chiết nhất để chứng minh đẳng cấu nhóm thương là áp dụng **Định lý Đồng cấu thứ nhất** (First Isomorphism Theorem). 1. **Xác định tính hợp thức của $HN/N$:** Vì $N \trianglelefteq G$ và $N \subseteq HN \le G$, nên $N$ cũng là nhóm con chuẩn tắc của $HN$. Do đó, nhóm thương $HN/N$ hoàn toàn xác định. 2. **Xây dựng đồng cấu $\phi$:** Xét ánh xạ chiếu từ nhóm con $H$ vào nhóm thương $HN/N$: $$\phi : H \longrightarrow HN/N, \quad \phi(h) = hN \quad (\forall h \in H).$$ Ta kiểm tra $\phi$ là đồng cấu nhóm: với mọi $h_1, h_2 \in H$: $$\phi(h_1 h_2) = (h_1 h_2)N = (h_1 N)(h_2 N) = \phi(h_1) \phi(h_2).$$ 3. **Tìm hạt nhân $\operatorname{Ker}(\phi)$:** $$\begin{aligned} \operatorname{Ker}(\phi) &= \{ h \in H \mid \phi(h) = e_{HN/N} \} \\ &= \{ h \in H \mid hN = N \} \\ &= \{ h \in H \mid h \in N \} \\ &= H \cap N. \end{aligned}$$ 4. **Chứng minh $\phi$ là toàn ánh:** Một phần tử bất kỳ của nhóm thương $HN/N$ có dạng $(hn)N$ với $h \in H$ và $n \in N$. Do $n \in N$, ta có $nN = N$, suy ra: $$(hn)N = h(nN) = hN = \phi(h).$$ Như vậy, mọi lớp trong $HN/N$ đều có thể biểu diễn qua một đại diện $h \in H$. Do đó $\operatorname{Im}(\phi) = HN/N$ ($\phi$ là toàn ánh). Theo Định lý Đồng cấu thứ nhất, ta có đẳng cấu: $$H / \operatorname{Ker}(\phi) \cong \operatorname{Im}(\phi) \iff H / (H \cap N) \cong HN / N.$$ Đẳng thức được chứng minh hoàn chỉnh. --- ## 6. Bài toán 6: Định lý Đẳng cấu thứ ba (Phép rút gọn phân số của Nhóm thương) > **Đề bài:** Cho $N$ và $H$ là các nhóm con chuẩn tắc của nhóm $G$ sao cho $N \subset H$. Chứng minh rằng: > $$G/H \cong \frac{G/N}{H/N}.$$ ### Trực giác toán học Định lý Đẳng cấu thứ ba mô tả tính chất "rút gọn phân số" của cấu trúc nhóm thương: $$\frac{G/N}{H/N} \cong \frac{G}{H}.$$ Việc lấy thương liên tiếp hai lần: đầu tiên "nén" nhóm $G$ theo $N$, sau đó "nén" tiếp theo nhóm con $H/N$, hoàn toàn tương đương với việc "nén" một bước trực tiếp nhóm $G$ theo $H$. --- ### Chứng minh chi tiết #### Bước 1: Kiểm tra tính chuẩn tắc của $H/N$ trong $G/N$ - Vì $N \trianglelefteq G$ và $N \subset H$, nên $N \trianglelefteq H$, do đó nhóm thương $H/N$ hoàn toàn xác định và là một nhóm con của $G/N$. - Với mọi phần tử $gN \in G/N$ và mọi phần tử $hN \in H/N$: $$(gN)(hN)(gN)^{-1} = (gN)(hN)(g^{-1}N) = (g h g^{-1})N.$$ Vì $H$ là nhóm con chuẩn tắc của $G$ ($H \trianglelefteq G$), nên với mọi $g \in G$ và $h \in H$, ta có $g h g^{-1} \in H$. Suy ra $(g h g^{-1})N \in H/N$. Vậy $H/N$ là một nhóm con chuẩn tắc của $G/N$: $$\frac{H}{N} \trianglelefteq \frac{G}{N}.$$ Điều này bảo đảm rằng nhóm thương tầng hai $\frac{G/N}{H/N}$ hoàn toàn tồn tại và xác định đúng đắn. #### Bước 2: Thiết lập đồng cấu $\psi : G/N \to G/H$ Xét ánh xạ: $$\psi : G/N \longrightarrow G/H, \quad \psi(gN) = gH \quad (\forall g \in G).$$ Ta cần chứng minh $\psi$ thỏa mãn 3 điều kiện: 1. **Tính xác định đúng đắn (Well-defined):** Giả sử ta chọn hai đại diện khác nhau cho cùng một lớp trong $G/N$: $g_1 N = g_2 N$. Khi đó: $$g_1 N = g_2 N \iff g_2^{-1} g_1 \in N.$$ Vì giả thiết cho $N \subset H$, nên $g_2^{-1} g_1 \in H$. Điều này tương đương với: $$g_1 H = g_2 H \iff \psi(g_1 N) = \psi(g_2 N).$$ Vậy $\psi$ hoàn toàn độc lập với phần tử đại diện được chọn. 2. **Tính đồng cấu nhóm:** Với mọi $g_1 N, g_2 N \in G/N$: $$\psi\big((g_1 N)(g_2 N)\big) = \psi\big((g_1 g_2)N\big) = (g_1 g_2)H = (g_1 H)(g_2 H) = \psi(g_1 N) \cdot \psi(g_2 N).$$ 3. **Tính toàn ánh:** Với mọi phần tử $gH \in G/H$, xét phần tử $gN \in G/N$. Ta có $\psi(gN) = gH$. Vậy $\psi$ là một toàn cấu. #### Bước 3: Xác định hạt nhân $\operatorname{Ker}(\psi)$ Hạt nhân của $\psi$ là tập hợp tất cả các lớp trong $G/N$ bị ánh xạ về phần tử đơn vị của $G/H$ (chính là lớp $eH = H$): $$\begin{aligned} \operatorname{Ker}(\psi) &= \{ gN \in G/N \mid \psi(gN) = H \} \\ &= \{ gN \in G/N \mid gH = H \} \\ &= \{ gN \in G/N \mid g \in H \} \\ &= H/N. \end{aligned}$$ #### Bước 4: Áp dụng Định lý Đồng cấu thứ nhất Áp dụng Định lý Đồng cấu thứ nhất cho toàn ánh $\psi : G/N \to G/H$ với hạt nhân $\operatorname{Ker}(\psi) = H/N$: $$\frac{G/N}{\operatorname{Ker}(\psi)} \cong \operatorname{Im}(\psi) \iff \frac{G/N}{H/N} \cong G/H.$$ Lấy đối xứng quan hệ đẳng cấu, ta thu được kết luận: $$G/H \cong \frac{G/N}{H/N}.$$ Bài toán được chứng minh hoàn tất. --- ## Bảng tổng hợp các định lý và kỹ thuật cốt lõi | Bài toán | Đối tượng trọng tâm | Kỹ thuật chứng minh chủ đạo | Ý nghĩa đại số sâu xa | | :---: | :--- | :--- | :--- | | **1** | Chu trình trong $S_n$ | Tách không gian, liên hợp hoán vị $\sigma \tau \sigma^{-1}$ | Phép liên hợp bảo toàn cấu trúc chu trình; cùng độ dài thì liên hợp | | **2** | Hợp thành đồng cấu $g \circ f$ | Khai triển tuần tự định nghĩa bảo toàn phép toán | Tính đóng kín của phép hợp cấu xạ trong phạm trù $\mathbf{Grp}$ | | **3** | Bảo toàn đơn vị & nghịch đảo | Sử dụng phương trình lũy thừa $f(e)=f(e)^2$ và luật giản ước | Đồng cấu tự động kéo theo bảo toàn cấu trúc đơn vị và phần tử nghịch | | **4** | **Định lý Cayley** | Biểu diễn chính quy qua phép nhân trái $\lambda_a(x) = ax$ | Mọi nhóm trừu tượng đều là một nhóm con của nhóm hoán vị | | **5** | **Định lý Đẳng cấu thứ hai** | Xét phép chiếu $\phi(h) = hN$, dùng First Isomorphism Theorem | Đẳng cấu hình thoi (Diamond): $H/(H \cap N) \cong HN/N$ | | **6** | **Định lý Đẳng cấu thứ ba** | Xét ánh xạ $\psi(gN) = gH$, kiểm tra well-defined qua $N \subset H$ | Quy tắc "rút gọn phân số" cho các nhóm thương lồng nhau | --- ## Xem thêm các bài viết liên quan 1. [Các lớp đồng dư tạo thành phân hoạch của tập số nguyên]({{< ref "posts/math/algebra/congruence-classes-partition-integers.md" >}}) — Khảo sát nhóm thương $\mathbb{Z}/n\mathbb{Z}$ và tính xác định đúng đắn của phép toán trên lớp tương đương. 2. [Bổ đề Bézout dưới góc nhìn Hình học Mạng lưới và Vành I-đê-an chính (PID)]({{< ref "posts/math/algebra/bezout-pid-and-lattices.md" >}}) — Nghiên cứu nhóm con dạng mạng lưới $d\mathbb{Z}$ trong $\mathbb{Z}$. 3. [Bản đồ chuỗi bài viết Đại số: Từ Thứ tự tốt đến Bổ đề Bézout và Vành PID]({{< ref "posts/math/algebra/algebra-series-roadmap.md" >}}) — Tổng quan lộ trình đại số và số học.