Đồ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(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. $$\tau(\sigma^{-1}(y)) = \sigma^{-1}(y).$$$$\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.

Đâ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$.

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$.

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).$$

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$

2. Chứng minh $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 đề.

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$

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$

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)

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

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)

$$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$.

1
2
3
4
5
6
7

       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. $$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).

Đẳ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)

$$G/H \cong \frac{G/N}{H/N}.$$

Trực giác toán học

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$

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)$

Bước 4: Áp dụng Định lý Đồng cấu thứ nhất

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

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 — 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) — 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 — Tổng quan lộ trình đại số và số học.