Chứng Minh Định Lý Lagrange

by Thầy Đông · January 8, 2026

Rate this post

Định lý Lagrange là một kết quả quan trọng trong lĩnh vực lý thuyết nhóm, đóng vai trò nền tảng cho nhiều khái niệm và chứng minh khác trong đại số trừu tượng. Phát biểu định lý này cho biết về mối quan hệ giữa cấp (số phần tử) của một nhóm và cấp của bất kỳ nhóm con nào của nó. Hiểu rõ cách chứng minh định lý này không chỉ giúp củng cố kiến thức về lý thuyết nhóm mà còn rèn luyện tư duy logic và khả năng suy luận toán học.

Trong bài viết này, chúng ta sẽ đi sâu vào chứng minh định lý Lagrange, khám phá ý nghĩa và cách áp dụng của nó. Bài viết sẽ trình bày một cách chi tiết các bước để hiểu rõ bản chất của định lý, kèm theo các ví dụ minh họa và những lưu ý quan trọng giúp các bạn nắm vững kiến thức.

Đề Bài

Cho $G$ là một nhóm hữu hạn và $H$ là một nhóm con của $G$. Chứng minh rằng cấp của $H$ là ước của cấp của $G$.

Phân Tích Yêu Cầu

Đề bài yêu cầu chúng ta chứng minh một mối quan hệ chia hết giữa cấp của một nhóm con ($H$) và cấp của nhóm mẹ ($G$), với điều kiện $G$ phải là một nhóm hữu hạn. Dữ kiện quan trọng nhất ở đây là:

$G$ là một nhóm hữu hạn.
$H$ là một nhóm con của $G$.

Yêu cầu đặt ra là chứng minh mối quan hệ: $|H|$ phải là ước của $|G|$ , hay nói cách khác, $|G| = k \cdot |H|$ với $k$ là một số nguyên dương. Để làm được điều này, chúng ta cần sử dụng các khái niệm cơ bản của lý thuyết nhóm như nhóm con, cấp của nhóm, và đặc biệt là khái niệm về lớp kề (coset).

Kiến Thức/Nền Tảng Cần Dùng

Để chứng minh định lý Lagrange, chúng ta cần nắm vững các khái niệm sau:

Nhóm: Một tập hợp $G$ cùng với một phép toán hai ngôi $$ thỏa mãn các tính chất: kết hợp, có phần tử đơn vị, và mọi phần tử đều có phần tử nghịch đảo.
Nhóm con: Tập hợp $H$ là nhóm con của $G$ nếu $H subseteq G$ và $H$ cũng là một nhóm dưới phép toán của $G$.
Cấp của nhóm (Order of a group): Số phần tử của một nhóm, ký hiệu là $|G|$ .
Cấp của nhóm con (Order of a subgroup): Số phần tử của một nhóm con, ký hiệu là $|H|$ .
Lớp kề trái (Left coset): Cho $G$ là một nhóm và $H$ là nhóm con của $G$. Với mọi phần tử $a in G$, lớp kề trái của $H$ bởi $a$ là tập hợp $aH = {ah mid h in H}$ .
Lớp kề phải (Right coset): Với mọi phần tử $a in G$, lớp kề phải của $H$ bởi $a$ là tập hợp $Ha = {ha mid h in H}$ .
Tính chất của lớp kề:
- Mọi lớp kề trái (hoặc phải) đều có cùng số phần tử bằng cấp của nhóm con $H$. Tức là $|aH| = |Ha| = |H|$ với mọi $a in G$.
- Các lớp kề trái (hoặc phải) phân hoạch nhóm $G$, nghĩa là chúng đôi một rời nhau và hợp của chúng là $G$.

Hướng Dẫn Giải Chi Tiết

Chúng ta sẽ sử dụng khái niệm lớp kề để chứng minh định lý.

Bước 1: Xét các lớp kề của $H$ trong $G$.
Ta định nghĩa hai loại lớp kề: lớp kề trái và lớp kề phải. Trong chứng minh này, ta sẽ sử dụng lớp kề trái. Với mỗi phần tử $a in G$, ta xét lớp kề trái $aH = {ah mid h in H}$ .

Bước 2: Chứng minh mọi lớp kề có cùng số phần tử bằng $|H|$ .
Với mọi $a in G$, ta có ánh xạ $f: H to aH$ định nghĩa bởi $f(h) = ah$ .

Tính đơn ánh: Giả sử $f(h_1) = f(h_2)$ , suy ra $ah_1 = ah_2$ . Nhân cả hai vế với $a^{-1}$ (phần tử nghịch đảo của $a$) từ bên trái, ta được $a^{-1}(ah_1) = a^{-1}(ah_2) Rightarrow (a^{-1}a)h_1 = (a^{-1}a)h_2 Rightarrow eh_1 = eh_2 Rightarrow h_1 = h_2$ (với $e$ là phần tử đơn vị). Vậy $f$ là đơn ánh.
Tính toàn ánh: Với mọi phần tử $x in aH$, theo định nghĩa $x = ah'$ với một $h’ in H$. Ánh xạ $f$ có thể ánh xạ $h’$ tới $x$, tức là $f(h') = ah' = x$ . Vậy $f$ là toàn ánh.
Do $f$ là song ánh từ $H$ đến $aH$, nên $|aH| = |H|$ .

Bước 3: Chứng minh các lớp kề trái của $H$ phân hoạch $G$.
Điều này có nghĩa là:
a) Mọi phần tử của $G$ đều thuộc về ít nhất một lớp kề.
b) Hai lớp kề bất kỳ hoặc là trùng nhau hoặc là rời nhau.

a) Với mọi $a in G$, ta có thể viết $a = ae$ , với $e in H$ là phần tử đơn vị của $G$. Do đó, $a in aH$. Vậy mọi phần tử của $G$ đều thuộc về lớp kề $aH$ của chính nó.

b) Xét hai lớp kề trái bất kỳ, $aH$ và $bH$, với $a, b in G$. Giả sử hai lớp kề này không rời nhau, tức là tồn tại một phần tử $c$ thuộc cả hai lớp kề: $c in aH cap bH$.
Khi đó, tồn tại $h_1, h_2 in H$ sao cho $c = ah_1$ và $c = bh_2$ .
Suy ra $ah_1 = bh_2$ .
Nhân cả hai vế với $b^{-1}$ từ bên trái: $b^{-1}(ah_1) = b^{-1}(bh_2) Rightarrow b^{-1}ah_1 = h_2$ .
Do $h_2 in H$ và $H$ là nhóm con, nên $b^{-1}a in H$ .
Bây giờ, ta cần chứng minh $aH = bH$ .

Nếu $x in aH$, thì $x = ah$ với $h in H$.
Ta có thể viết $x = ah = (b b^{-1}) a h = b (b^{-1}a) h$ .
Vì $b^{-1}a in H$ và $h in H$, tích của chúng, $(b^{-1}a)h$ , cũng thuộc $H$ (do tính đóng của phép toán nhóm con).
Đặt $h' = (b^{-1}a)h$ , thì $h’ in H$.
Do đó, $x = bh'$ , suy ra $x in bH$. Vậy $aH subseteq bH$.
Ngược lại, nếu $y in bH$, thì $y = bh$ với $h in H$.
Ta có $b^{-1}a in H$ . Nhân cả hai vế của $b^{-1}a = b^{-1}a$ với $b$ từ bên trái, ta được $(b^{-1}a)b = b^{-1}a b$ .
Ta có thể viết $y = bh = (a (a^{-1}b)) h$ . Thay $a^{-1}b$ bằng biểu thức khác.
Ta có $ah_1 = bh_2 implies b = ah_1 h_2^{-1}$ . Vì $h_1, h_2 in H$ , nên $h_1 h_2^{-1} in H$ . Đặt $k = h_1 h_2^{-1} in H$ .
Vậy $b = ak$ , với $k in H$.
Bây giờ, xét một phần tử $y in bH$, ta có $y = bh$ với $h in H$.
Thay $b = ak$ , ta được $y = (ak)h = a(kh)$ . Vì $k, h in H$, nên $kh in H$.
Đặt $h'' = kh$ , thì $h” in H$.
Do đó, $y = ah''$ , suy ra $y in aH$. Vậy $bH subseteq aH$.
Từ $aH subseteq bH$ và $bH subseteq aH$, ta kết luận $aH = bH$ .
Như vậy, hai lớp kề trái bất kỳ hoặc trùng nhau hoặc rời nhau.

Bước 4: Áp dụng nguyên lý đếm.
Vì các lớp kề trái của $H$ phân hoạch $G$ và mỗi lớp kề có đúng $|H|$ phần tử, nên tổng số phần tử trong tất cả các lớp kề phải bằng tổng số phần tử của $G$.
Gọi $k$ là số lớp kề trái phân biệt của $H$ trong $G$. Khi đó, ta có:
$|G| = k \cdot |H|$

Đây chính là điều phải chứng minh: cấp của nhóm con $H$ ( $|H|$ ) là ước của cấp của nhóm $G$ ( $|G|$ ). Số $k$ chính là chỉ số của $H$ trong $G$, ký hiệu là $[G:H]$.

Mẹo kiểm tra:

Sau khi có được công thức $|G| = k \cdot |H|$ , hãy kiểm tra xem $|G|$ có chia hết cho $|H|$ hay không. Ví dụ, nếu $|G| = 12$ và $|H| = 4$ , thì $k = 3$ . Nếu $|G| = 10$ và $|H| = 3$ , thì định lý bị vi phạm, nghĩa là $H$ không thể là nhóm con của $G$.
Đảm bảo các khái niệm về lớp kề và tính chất phân hoạch của chúng được hiểu rõ.

Lỗi hay gặp:

Nhầm lẫn giữa lớp kề trái và lớp kề phải (mặc dù trong trường hợp này chúng đều dẫn đến kết quả tương tự).
Không chứng minh được tính chất hai lớp kề hoặc trùng nhau hoặc rời nhau một cách chặt chẽ.
Bỏ qua điều kiện $G$ là hữu hạn, dẫn đến việc đếm số lớp kề trở nên phức tạp hơn.

Đáp Án/Kết Quả

Kết quả của quá trình chứng minh là công thức $|G| = k \cdot |H|$ , trong đó $k = [G:H]$ là chỉ số của nhóm con $H$ trong nhóm $G$. Điều này khẳng định rằng cấp của nhóm con $H$ luôn là một ước số của cấp của nhóm mẹ $G$ khi $G$ là một nhóm hữu hạn.

Định lý Lagrange là một công cụ mạnh mẽ trong lý thuyết nhóm, giúp ta giới hạn các khả năng về cấp của các nhóm con có thể có trong một nhóm hữu hạn cho trước. Nó cũng là nền tảng cho nhiều kết quả quan trọng khác, chẳng hạn như Định lý Cayley và việc phân loại các nhóm hữu hạn đơn. Việc nắm vững chứng minh định lý Lagrange mở ra cánh cửa để khám phá sâu hơn thế giới toán học của các cấu trúc đại số.

Ngày chỉnh sửa nội dung mới nhất January 8, 2026 by Thầy Đông

Thầy Đông

Thầy Đông – Giảng viên Đại học Công nghiệp Hà Nội, giáo viên luyện thi THPT
Thầy Đông bắt đầu sự nghiệp tại một trường THPT ở quê nhà, sau đó trúng tuyển giảng viên Đại học Công nghiệp Hà Nội nhờ chuyên môn vững và kinh nghiệm giảng dạy thực tế. Với nhiều năm đồng hành cùng học sinh, thầy được biết đến bởi phong cách giảng dạy rõ ràng, dễ hiểu và gần gũi. Hiện thầy giảng dạy tại dehocsinhgioi, tiếp tục truyền cảm hứng học tập cho học sinh cấp 3 thông qua các bài giảng súc tích, thực tiễn và giàu nhiệt huyết.