Nhóm abelian là gì? Khái niệm, cấu trúc và phân loại

Nhóm abelian (còn được gọi là nhóm giao hoán) là một cấu trúc đại số trừu tượng gồm một tập hợp cùng với một phép toán hai ngôi thoả mãn bốn tiên đề nhóm cơ bản kết hợp với tính chất giao hoán trên toàn bộ các phần tử. Trong nhóm abelian, kết quả của phép toán giữa hai phần tử bất kỳ không phụ thuộc vào thứ tự thực hiện phép toán. Khái niệm này đóng vai trò nền tảng trong đại số hiện đại, cấu thành khung xương cho các cấu trúc phức tạp hơn như vành, trường, không gian vectơ và mô-đun.

Bản chất và các tiên đề của nhóm abelian

Để một cấu trúc đại số gồm tập hợp $G$ và phép toán hai ngôi $*$ (ký hiệu là $(G, *)$) được xác định là một nhóm abelian, cấu trúc đó bắt buộc phải thoả mãn đầy đủ năm tiên đề đại số theo hệ thống tiên đề chuẩn (Hungerford, 1974):

• Tính đóng (closure): Với mọi phần tử $a$ và $b$ thuộc tập hợp $G$, tích $a * b$ luôn là một phần tử thuộc $G$.
• Tính kết hợp (associativity): Với mọi phần tử $a$, $b$ và $c$ thuộc tập hợp $G$, phương trình $(a * b) * c = a * (b * c)$ luôn được thoả mãn.
• Tồn tại phần tử trung hoà (identity element): Tồn tại duy nhất một phần tử $e$ thuộc tập hợp $G$ sao cho với mọi phần tử $a$ thuộc $G$, ta luôn có $a * e = e * a = a$.
• Tồn tại phần tử nghịch đảo (inverse element): Với mỗi phần tử $a$ thuộc tập hợp $G$, luôn tồn tại một phần tử $b$ thuộc $G$ sao cho $a * b = b * a = e$. Phần tử $b$ được gọi là phần tử nghịch đảo của $a$.
• Tính chất giao hoán (commutativity): Với mọi phần tử $a$ và $b$ thuộc tập hợp $G$, đẳng thức sau luôn được bảo toàn:

Theo quy ước chuẩn của đại số trừu tượng (Lang, 2002), đối với các nhóm abelian, phép toán hai ngôi thường được ký hiệu dưới dạng phép cộng $+$ thay vì phép nhân. Khi sử dụng ký hiệu cộng, phần tử trung hoà $e$ được biểu diễn bằng số $0$ (gọi là phần tử không), phần tử nghịch đảo của $a$ được ký hiệu là $-a$ (phần tử đối), và tích liên tiếp $n$ lần của phần tử $a$ được viết dưới dạng tích vô hướng $n \cdot a$ với $n$ là một số nguyên.

Nguồn gốc lịch sử và tên gọi

Thuật ngữ nhóm abelian được đặt theo tên của nhà toán học người Na Uy Niels Henrik Abel (sinh năm 1802, mất năm 1829), nhằm vinh danh những khám phá mang tính mở đường của ông trong lý thuyết phương trình đại số (Rotman, 1995). Trong các nghiên cứu của mình về tính giải được của phương trình bậc 5 bằng căn thức vào năm 1824, Abel đã phát hiện ra rằng các phương trình đa thức có nhóm Galois giao hoán luôn sở hữu nghiệm biểu diễn được qua các phép khai căn.

Mặc dù Abel là người đầu tiên khai thác tính chất giao hoán để giải quyết các bài toán cấu trúc nghiệm đa thức, việc chuẩn hoá khái niệm nhóm và hệ thống tiên đề nhóm giao hoán được hoàn thiện sau đó bởi các nhà toán học như Arthur Cayley, Leopold Kronecker và Heinrich Weber vào nửa cuối thế kỷ XIX. Khái niệm này từ chỗ là một công cụ giải phương trình đại số đã nhanh chóng phát triển thành một phân ngành trọng tâm của lý thuyết nhóm và cấu trúc đại số hiện đại.

Các ví dụ tiêu biểu và cấu trúc con cơ bản

Nhóm abelian xuất hiện dày đặc trong toán học giải tích, hình học và số học dưới nhiều dạng thức phong phú, từ tập hợp số cơ bản đến các không gian hàm vô hạn chiều:

• Tập hợp các số nguyên: Tập hợp số nguyên $\mathbb{Z}$ cùng phép cộng thông thường lập thành một nhóm abelian vô hạn sinh bởi 1 phần tử (nhóm cyclic vô hạn). Đây là mô hình cơ sở của mọi nhóm abelian tự do cấp 1 (Hungerford, 1974).
• Nhóm số học đồng dư: Với số nguyên dương $n$, tập hợp các lớp đồng dư modulo $n$ ký hiệu là $\mathbb{Z}/n\mathbb{Z}$ cùng phép cộng modulo lập thành nhóm cyclic hữu hạn có cấp $n$ (Rotman, 1995).
• Tập hợp các số thực và số phức: Tập hợp số thực $\mathbb{R}$ và tập hợp số phức $\mathbb{C}$ cùng phép cộng lập thành các nhóm abelian vô hạn không đếm được. Ngoài ra, tập hợp các số thực khác không $\mathbb{R}^*$ cùng phép nhân thông thường cũng là một nhóm abelian.
• Nhóm các vectơ hình học: Không gian vectơ $\mathbb{R}^n$ cùng phép cộng vectơ theo toạ độ tạo thành một nhóm abelian mở rộng.

Một tính chất cấu trúc đặc biệt quan trọng của nhóm abelian liên quan đến các nhóm con: trong một nhóm abelian bất kỳ, mọi nhóm con đều là nhóm con chuẩn vị (normal subgroup) (Robinson, 1996). Do tính chất giao hoán, với mọi nhóm con $H$ của nhóm abelian $G$ và với mọi phần tử $g \in G$, lớp ghép trái $g + H$ luôn trùng khớp với lớp ghép phải $H + g$:

Hệ quả trực tiếp của tính chất này là với mọi nhóm con $H$, nhóm thương $G/H$ luôn được định nghĩa chặt chẽ và tự thân nhóm thương cũng là một nhóm abelian.

Định lý phân loại nhóm abelian hữu hạn sinh

Lý thuyết phân loại nhóm abelian đạt được thành tựu trọn vẹn đối với lớp các nhóm hữu hạn sinh. Theo Định lý cấu trúc cơ bản cho nhóm abelian hữu hạn sinh (Fundamental Theorem of Finitely Generated Abelian Groups), mọi nhóm abelian hữu hạn sinh $G$ đều có thể phân tích thành tích trực tiếp của một nhóm tự do và các nhóm cyclic hữu hạn (Hungerford, 1974):

Trong công thức phân rã trên, các thành phần mang ý nghĩa cấu trúc xác định duy nhất:

• Thành phần $\mathbb{Z}^r$ đại diện cho phần tự do (free part) gồm tổng trực tiếp của $r$ nhóm số nguyên. Số nguyên không âm $r$ được gọi là hạng (rank) hay số Betti của nhóm $G$ (Robinson, 1996).
• Các số nguyên dương $n_1, n_2, \dots, n_k$ là các ước số bất biến (invariant factors) thoả mãn điều kiện chia hết liên tiếp: $n_1 \mid n_2 \mid \cdots \mid n_k$.
• Hoặc tương đương, mỗi nhóm cyclic $\mathbb{Z}/n_i\mathbb{Z}$ có thể được phân tích tiếp tục thành các nhóm cyclic có cấp là luỹ thừa của các số nguyên tố (các ước số sơ cấp - elementary divisors).

Định lý này khẳng định rằng hai nhóm abelian hữu hạn sinh là đẳng cấu khi và chỉ khi chúng có cùng hạng tự do và cùng tập hợp các ước số bất biến. Đây là một kết quả phân loại hoàn chỉnh hiếm hoi và mạnh mẽ trong đại số trừu tượng.

Nhóm xoắn, nhóm không xoắn và nhóm chia được

Khi mở rộng sang các nhóm abelian vô hạn không hữu hạn sinh, cấu trúc của nhóm trở nên đa dạng và phức tạp hơn rất nhiều. Các nhóm được phân loại thông qua các đặc trưng xoắn và tính chia được (Fuchs, 2015):

• Nhóm xoắn (torsion group): Một nhóm abelian $A$ được gọi là nhóm xoắn nếu mọi phần tử $a \in A$ đều có cấp hữu hạn, nghĩa là tồn tại số nguyên dương $m$ sao cho $m \cdot a = 0$. Trong một nhóm abelian bất kỳ, tập hợp tất cả các phần tử có cấp hữu hạn lập thành một nhóm con xoắn ký hiệu là $T(A)$. Khi đó, nhóm thương $A/T(A)$ là một nhóm không xoắn.
• Nhóm không xoắn (torsion-free group): Nhóm mà trong đó phần tử duy nhất có cấp hữu hạn là phần tử trung hoà $0$. Ví dụ tiêu biểu là nhóm cộng các số nguyên $\mathbb{Z}$ hoặc nhóm cộng các số hữu tỉ $\mathbb{Q}$.
• Nhóm chia được (divisible group): Một nhóm abelian $D$ được gọi là chia được nếu với mọi phần tử $a \in D$ và với mọi số nguyên dương $n$, luôn tồn tại một phần tử $x \in D$ sao cho phương trình $n \cdot x = a$ có nghiệm. Nhóm cộng các số hữu tỉ $\mathbb{Q}$ và nhóm cộng các số thực $\mathbb{R}$ là các ví dụ mẫu mực về nhóm chia được.

Trong lý thuyết phạm trù, nhóm chia được đóng vai trò cực kỳ then chốt vì chúng chính là các đối tượng nội xạ (injective objects) trong phạm trù các nhóm abelian (Fuchs, 2015). Điều này cho phép nhúng bất kỳ nhóm abelian nào vào một nhóm chia được, tạo tiền đề cho đại số đồng điều.

So sánh nhóm abelian và nhóm phi abelian

Sự khác biệt cốt lõi giữa nhóm abelian và nhóm phi abelian (non-abelian group) thể hiện rõ qua cấu trúc đại số và các tính chất biểu diễn:

Tiêu chí so sánh	Nhóm abelian	Nhóm phi abelian
Quy luật toán hạng	Luôn giao hoán: phép toán thoả mãn phương trình $a * b = b * a$	Không giao hoán: tồn tại các cặp phần tử sao cho $a * b eq b * a$
Cấu trúc nhóm con	Mọi nhóm con đều là nhóm con chuẩn vị	Tồn tại các nhóm con không chuẩn vị
Nhóm dẫn xuất (commutator)	Nhóm dẫn xuất bằng nhóm tầm thường gồm phần tử đơn vị	Nhóm dẫn xuất là một nhóm con không tầm thường
Khả năng phân loại	Phân loại hoàn chỉnh cho trường hợp hữu hạn sinh	Rất phức tạp; việc phân loại nhóm đơn hữu hạn cần hàng ngàn trang chứng minh
Ví dụ tiêu biểu	Nhóm cộng số nguyên, nhóm số học đồng dư	Nhóm đối xứng các hoán vị, nhóm ma trận khả nghịch

Vai trò và ứng dụng trong toán học hiện đại

Nhóm abelian không chỉ là một đối tượng nghiên cứu cô lập mà còn là khối xây dựng cơ sở cho nhiều phân ngành toán học và khoa học ứng dụng:

• Đại số đồng điều và lý thuyết phạm trù: Phạm trù các nhóm abelian (ký hiệu là $\mathbf{Ab}$) là mô hình chuẩn mực của một phạm trù abelian (Lang, 2002). Trong phạm trù này, tập hợp các đồng cấu giữa hai nhóm abelian $ext{Hom}(A, B)$ tự thân mang cấu trúc của một nhóm abelian, cho phép định nghĩa các hàm tử khớp, dãy khớp và các hàm tử dẫn xuất như $ext{Ext}$ và $ext{Tor}$.
• Tô pô đại số: Các nhóm đồng điều (homology groups) và đối đồng điều (cohomology groups) của một không gian tô pô đều mang bản chất là các nhóm abelian. Các nhóm này đóng vai trò là những bất biến đại số quan trọng nhất giúp phân biệt và phân loại các đa tạp và không gian hình học.
• Mật mã học khoá công khai: Nhóm abelian hữu hạn đóng vai trò cốt lõi trong an toàn thông tin hiện đại. Bài toán logarit rời rạc (Discrete Logarithm Problem) trên nhóm nhân của trường hữu hạn hoặc trên nhóm các điểm của đường cong elliptic (Elliptic Curve Cryptography, ECC) - vốn là các nhóm abelian hữu hạn - là nền tảng bảo mật cho các giao thức trao đổi khoá Diffie-Hellman và chữ ký số điện tử.
• Vật lý lượng tử: Trong cơ học lượng tử, các phép biến đổi đối xứng giao hoán tương ứng với các nhóm abelian (như nhóm xoay quanh một trục hoặc nhóm chuẩn $U(1)$ trong điện động lực học lượng tử). Tính giao hoán của nhóm dẫn đến việc các toán tử quan sát tương ứng giao hoán với nhau, cho phép xác định đồng thời các đại lượng vật lý bảo toàn mà không bị giới hạn bởi nguyên lý bất định.

Hạn chế và các bài toán mở trong lý thuyết nhóm abelian

Mặc dù nhóm abelian hữu hạn sinh đã được phân loại trọn vẹn và tường minh, lý thuyết về các nhóm abelian vô hạn không hữu hạn sinh vẫn chứa đựng nhiều bài toán cực kỳ nan giải. Đối với các nhóm không xoắn có hạng vô hạn, cấu trúc của các nhóm con và quan hệ đẳng cấu trở nên vô cùng phức tạp, đòi hỏi các công cụ từ lý thuyết tập hợp tiên tiến và lý thuyết mô hình (Fuchs, 2015).

Điển hình trong số đó là bài toán Whitehead (Whitehead problem) trong lý thuyết nhóm abelian: liệu mọi nhóm abelian thoả mãn điều kiện triệt tiêu nhóm mở rộng $ext{Ext}(A, \mathbb{Z}) = 0$ có bắt buộc phải là một nhóm abelian tự do hay không? Vào năm 1974, nhà toán học Saharon Shelah đã chứng minh được rằng bài toán Whitehead là một bài toán độc lập với hệ tiên đề Zermelo-Fraenkel có tiên đề chọn (ZFC), nghĩa là chân lý của bài toán không thể chứng minh hay bác bỏ trong khuôn khổ toán học tiêu chuẩn. Phát hiện này cho thấy ranh giới sâu sắc của lý thuyết nhóm abelian khi giao thoa với logic toán học và nền tảng của lý thuyết tập hợp.