Đề thi học sinh giỏi các môn - chuyên đề bồi dưỡng HSG miễn phí

Định lý Lagrange trong Lý thuyết Nhóm: Khái niệm, Chứng minh và Ứng dụng

by · January 15, 2026

Rate this post

Định lý Lagrange trong Lý thuyết Nhóm: Khái niệm, Chứng minh và Ứng dụng

Trong lý thuyết nhóm, Định lý Lagrange là một kết quả nền tảng, cung cấp một mối liên hệ quan trọng giữa cấp của một nhóm và cấp của các nhóm con của nó. Hiểu rõ định lý này không chỉ giúp nắm vững cấu trúc của nhóm mà còn mở ra nhiều hướng tiếp cận trong việc giải quyết các bài toán phức tạp.

Định lý Lagrange trong Lý thuyết Nhóm: Khái niệm, Chứng minh và Ứng dụng

Đề Bài

Dưới đây là nội dung gốc về Định lý Lagrange được trình bày trong tài liệu tham khảo:

ĐỊNH LÝ LAGRANGE

Cho $G$ là một nhóm hữu hạn và $H$ là một nhóm con của $G$. Khi đó, cấp của $H$ là ước của cấp của $G$.

Nói cách khác, nếu |G| là cấp của nhóm $G$ và |H| là cấp của nhóm con $H$, thì |H| là ước của |G|.

Chứng minh:

Ta thiết lập các lớp kề trái của $H$ trong $G$.
Với mỗi $a in G$, ta định nghĩa lớp kề trái của $H$ chứa $a$ là tập hợp aH = {ah mid h in H}.

  1. Mọi lớp kề trái đều có cùng số phần tử với $H$.
    Xét hai lớp kề trái bất kỳ $aH$ và $bH$.

    • Phép ánh $f: H to aH$ với f(h) = ah là một song ánh. Do đó, |aH| = |H|.
    • Tương tự, |bH| = |H|.

  2. Các lớp kề trái của $H$ trong $G$ tạo thành một phân hoạch của $G$.

    • Phản xạ: Với mọi $a in G$, a = a \cdot e với $e$ là phần tử đơn vị của $G$. Vì $e in H$, nên $a in aH$. Do đó, mọi phần tử của $G$ đều thuộc về ít nhất một lớp kề trái.
    • Đối xứng: Giả sử aH cap bH \ne emptyset. Tồn tại $x in aH cap bH$. Khi đó, x = ah_1 và x = bh_2 với h_1, h_2 in H.
      Ta có ah_1 = bh_2 implies a = bh_2h_1^{-1}. Vì h_2h_1^{-1} in H, nên $a in bH$.
      Bây giờ, ta chứng minh $aH subseteq bH$. Lấy $y in aH$, thì y = ah_3 với h_3 in H.
      y = (bh_2h_1^{-1})h_3 = b(h_2h_1^{-1}h_3). Vì h_2h_1^{-1}h_3 in H, nên $y in bH$.
      Ngược lại, ta chứng minh $bH subseteq aH$. Lấy $z in bH$, thì z = bh_4 với h_4 in H.
      Ta có b = ah_1h_2^{-1}.
      z = (ah_1h_2^{-1})h_4 = a(h_1h_2^{-1}h_4). Vì h_1h_2^{-1}h_4 in H, nên $z in aH$.
      Vậy, nếu hai lớp kề trái có giao khác rỗng thì chúng trùng nhau.
    • Bắc cầu: Nếu aH cap bH \ne emptyset và bH cap cH \ne emptyset, thì aH = bH và bH = cH, suy ra aH = cH.

  3. Số lượng các lớp kề trái bằng cấp của $G$ chia cho cấp của $H$.
    Vì các lớp kề trái phân hoạch $G$ và mỗi lớp kề trái có cùng số phần tử là |H|, nên tổng số phần tử trong tất cả các lớp kề trái bằng |G|.
    Nếu $k$ là số lượng các lớp kề trái, thì k \cdot |H| = |G|.
    Do đó, |H| là ước của |G|, và k = |G|/|H| chính là cấp của nhóm thương G/H.

Định lý Lagrange trong Lý thuyết Nhóm: Khái niệm, Chứng minh và Ứng dụng

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

Định lý Lagrange phát biểu rằng, trong một nhóm hữu hạn, cấp của bất kỳ nhóm con nào cũng phải là một ước số của cấp của chính nhóm đó. Điều này có nghĩa là nếu bạn biết cấp của một nhóm hữu hạn, bạn có thể thu hẹp đáng kể các khả năng về cấp của các nhóm con của nó. Định lý này là công cụ mạnh mẽ để phân tích cấu trúc nhóm và chứng minh các tính chất khác trong lý thuyết nhóm. Yêu cầu của bài toán là chứng minh mối quan hệ chia hết này.

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

Để hiểu và chứng minh Định lý Lagrange, chúng ta cần nắm vững các khái niệm cơ bản trong lý thuyết nhóm:

  1. Nhóm (Group): Một tập hợp $G$ cùng với một phép toán hai ngôi $$ (ví dụ: phép nhân, phép cộng) thỏa mãn bốn tiên đề:

    • Tính đóng: Với mọi $a, b in G$, $ab in G$.
    • Tính kết hợp: Với mọi $a, b, c in G$, (a<em>b)</em>c = a<em>(b</em>c).
    • Tồn tại phần tử đơn vị: Tồn tại một phần tử $e in G$ sao cho với mọi $a in G$, a<em>e = e</em>a = a.
    • Tồn tại phần tử nghịch đảo: Với mọi $a in G$, tồn tại một phần tử a^{-1} in G sao cho a<em>a^{-1} = a^{-1}</em>a = e.

  2. Cấp của một nhóm (Order of a Group): Số lượng phần tử trong một nhóm hữu hạn. Ký hiệu là |G|.

  3. Nhóm con (Subgroup): Một tập con $H$ của một nhóm $G$ cũng là một nhóm dưới phép toán của $G$. Để $H$ là nhóm con của $G$, chỉ cần $H$ khác rỗng và với mọi $a, b in H$, thì ab^{-1} in H.

  4. Cấp của một phần tử (Order of an Element): Cấp của một phần tử $a$ trong nhóm $G$ là số nguyên dương nhỏ nhất $n$ sao cho a^n = e (với $e$ là phần tử đơn vị). Nếu không tồn tại số nguyên dương như vậy, ta nói phần tử có cấp vô hạn.

  5. Lớp kề trái (Left Coset): Cho một nhóm $G$ và một nhóm con $H$. Với mỗi phần tử $a in G$, lớp kề trái của $H$ chứa $a$ là tập hợp aH = {ah mid h in H}.

  6. Lớp kề phải (Right Coset): Tương tự, lớp kề phải của $H$ chứa $a$ là tập hợp Ha = {ha mid h in H}.

  7. Phân hoạch (Partition): Một tập hợp các tập con không rỗng, đôi một rời nhau, mà hợp của chúng bằng chính tập hợp ban đầu.

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

Định lý Lagrange khẳng định rằng cấp của một nhóm con $H$ phải là ước của cấp của nhóm $G$. Để chứng minh điều này, chúng ta sẽ sử dụng khái niệm lớp kề trái.

Bước 1: Thiết lập các lớp kề trái của $H$ trong $G$.
Với mỗi phần tử $a$ bất kỳ thuộc nhóm $G$, ta định nghĩa lớp kề trái của $H$ chứa $a$ là tập hợp:
aH = {ah mid h in H}

Bước 2: Chứng minh mọi lớp kề trái đều có cùng số phần tử với $H$.
Chúng ta cần chỉ ra rằng số phần tử trong mỗi lớp kề trái $aH$ bằng chính cấp của nhóm con $H$, tức là |aH| = |H|.
Để làm điều này, ta xây dựng một song ánh (một ánh xạ vừa đơn ánh vừa toàn ánh) từ tập hợp $H$ đến tập hợp $aH$.
Xét ánh xạ f: H \to aH</code> được định nghĩa bởi <code>[]f(h) = ah</code> cho mọi <code>[]h in H</code>.</p> <ul> <li> <p><strong>Tính đơn ánh:</strong> Giả sử <code>[]f(h_1) = f(h_2)</code> với <code>[]h_1, h_2 in H</code>. Theo định nghĩa của <code>f</code>, ta có <code>[]ah_1 = ah_2</code>. Nhân cả hai vế với <code>[]a^{-1}</code> (phần tử nghịch đảo của <code>a</code>, tồn tại vì <code>G</code> là nhóm), ta được <code>[]a^{-1}(ah_1) = a^{-1}(ah_2)</code>. Theo tính kết hợp và định nghĩa phần tử đơn vị <code>e</code>, ta có <code>[](a^{-1}a)h_1 = (a^{-1}a)h_2</code>, suy ra <code>[]eh_1 = eh_2</code>, hay <code>[]h_1 = h_2</code>. Điều này chứng tỏ <code>f</code> là đơn ánh.</p> </li> <li> <p><strong>Tính toàn ánh:</strong> Với mọi phần tử <code>y</code> thuộc <code>aH</code>, theo định nghĩa, <code>y</code> có dạng <code>ah</code> với <code>h in H</code>. Ta cần tìm một <code>x in H</code> sao cho <code>f(x) = y</code>. Đặt <code>x = h</code>, ta có <code>f(h) = ah = y</code>. Do đó, <code>f</code> là toàn ánh.</p> </li> </ul> <p>Vì <code>f</code> là một song ánh, nên số phần tử của tập hợp <code>H</code> bằng số phần tử của tập hợp <code>aH</code>. Do đó, <code>[]|aH| = |H|</code>. Điều này đúng cho mọi <code>a in G</code>.</p> <p><strong>Bước 3: Chứng minh các lớp kề trái của $H$ trong $G$ tạo thành một phân hoạch của $G$.</strong> Để các lớp kề trái tạo thành một phân hoạch, chúng ta cần chứng minh hai điều: (a) Hợp của tất cả các lớp kề trái bằng chính tập hợp $G$. (b) Hai lớp kề trái bất kỳ hoặc là rời nhau hoặc là trùng nhau.</p> <p>(a) <strong>Hợp của tất cả các lớp kề trái bằng $G$:</strong> Lấy một phần tử <code>a</code> bất kỳ thuộc <code>G</code>. Ta cần chứng minh <code>a</code> thuộc về ít nhất một lớp kề trái. Vì <code>G</code> là một nhóm, nó chứa phần tử đơn vị <code>e</code>. Do <code>H</code> là nhóm con, <code>e</code> cũng thuộc <code>H</code>. Ta có <code>a = a \cdot e</code>. Vì <code>e in H</code>, nên <code>a</code> có thể được viết dưới dạng <code>a \cdot h</code> với <code>h = e in H</code>. Theo định nghĩa lớp kề trái, <code>a in aH</code>. Điều này đúng với mọi <code>a in G</code>, do đó, hợp của tất cả các lớp kề trái chứa mọi phần tử của $G$. <code>[]bigcup_{a in G} aH = G</code></p> <p>(b) <strong>Hai lớp kề trái bất kỳ hoặc rời nhau hoặc trùng nhau:</strong> Giả sử có hai lớp kề trái <code>aH</code> và <code>bH</code> sao cho giao của chúng không rỗng: <code>[]aH cap bH \ne emptyset</code>. Điều này có nghĩa là tồn tại ít nhất một phần tử <code>x</code> thuộc cả <code>aH</code> và <code>bH</code>. Do đó, <code>x = ah_1</code> với <code>h_1 in H</code>, và <code>x = bh_2</code> với <code>h_2 in H</code>. Từ <code>ah_1 = bh_2</code>, ta có thể biểu diễn <code>a</code> qua <code>b</code>: <code>a = bh_2h_1^{-1}</code>. Vì <code>h_2, h_1^{-1} in H</code>, nên <code>h_2h_1^{-1} in H</code> (do <code>H</code> là nhóm con). Đặt <code>h_3 = h_2h_1^{-1} in H</code>. Vậy, <code>a = bh_3</code>.</p> <p>Bây giờ, ta chứng minh rằng <code>aH = bH</code>.</p> <ul> <li> <p>Lấy một phần tử <code>y</code> bất kỳ thuộc <code>aH</code>. Theo định nghĩa, <code>y = ah</code> với <code>h in H</code>. Thay <code>a = bh_3</code> vào, ta có <code>y = (bh_3)h = b(h_3h)</code>. Vì <code>h_3 in H</code> và <code>h in H</code>, nên <code>h_3h in H</code>. Do đó, <code>y</code> có dạng <code>b</code> nhân với một phần tử thuộc <code>H</code>, suy ra <code>y in bH</code>. Vậy, <code>aH subseteq bH</code>.</p> </li> <li> <p>Ngược lại, lấy một phần tử <code>z</code> bất kỳ thuộc <code>bH</code>. Theo định nghĩa, <code>z = bh</code> với <code>h in H</code>. Ta cần biểu diễn <code>b</code> qua <code>a</code>. Từ <code>a = bh_3</code>, ta có <code>b = ah_3^{-1}</code>. Thay <code>b</code> vào biểu thức của <code>z</code>: <code>z = (ah_3^{-1})h = a(h_3^{-1}h)</code>. Vì <code>h_3^{-1} in H</code> và <code>h in H</code>, nên <code>h_3^{-1}h in H</code>. Do đó, <code>z</code> có dạng <code>a</code> nhân với một phần tử thuộc <code>H</code>, suy ra <code>z in aH</code>. Vậy, <code>bH subseteq aH</code>.</p> </li> </ul> <p>Từ <code>aH subseteq bH</code> và <code>bH subseteq aH</code>, ta kết luận <code>aH = bH</code>. Điều này chứng tỏ rằng hai lớp kề trái bất kỳ hoặc rời nhau hoàn toàn hoặc trùng nhau hoàn toàn.</p> <p><strong>Bước 4: Kết luận Định lý Lagrange.</strong> Vì các lớp kề trái của $H$ trong $G$ tạo thành một phân hoạch của $G$, và mỗi lớp kề trái có số phần tử bằng []|H|, ta có thể đếm tổng số phần tử trong $G$.
Giả sử có k lớp kề trái phân biệt của $H$ trong $G$. Khi đó, tổng số phần tử của $G$ là tổng số phần tử của tất cả các lớp kề này:
|G| = k \cdot |H|</code> (Trong đó <code>k</code> chính là cấp của nhóm thương []G/H, ký hiệu là [G:H], gọi là chỉ số của $H$ trong $G$).

Phương trình |G| = k \cdot |H|</code> cho thấy rằng []|H| là một ước số của |G|. Đây chính là nội dung của Định lý Lagrange.

Mẹo kiểm tra:

  • Nếu bạn có một nhóm $G$ với |G| = 12, thì các nhóm con của nó chỉ có thể có cấp là 1, 2, 3, 4, 6, hoặc 12. Bất kỳ nhóm con nào có cấp khác (ví dụ: cấp 5) đều không thể tồn tại.
  • Trong một nhóm cyclic hữu hạn G = langle a rangle với cấp |G| = n, cấp của mọi phần tử a^k phải là ước của $n$.

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ù đối với nhóm Abel, chúng trùng nhau).
  • Quên kiểm tra tính chất phân hoạch của các lớp kề (rời nhau hoặc trùng nhau).
  • Sai sót trong việc thiết lập song ánh hoặc chứng minh tính chất của nó.
  • Áp dụng sai định lý cho các nhóm vô hạn.

Đáp Án/Kết Quả

Định lý Lagrange phát biểu rằng với mọi nhóm hữu hạn $G$ và mọi nhóm con $H$ của $G$, cấp của $H$ phải là một ước số của cấp của $G$. Nói cách khác, |H| là ước của |G|.

Conclusion

Định lý Lagrange là một kết quả cơ bản và mạnh mẽ trong lý thuyết nhóm, cung cấp một mối quan hệ thiết yếu giữa cấp của một nhóm và cấp của các nhóm con của nó. Việc chứng minh định lý này, dựa trên khái niệm lớp kề, làm sáng tỏ cấu trúc nội tại của các nhóm hữu hạn và là nền tảng cho nhiều định lý quan trọng khác trong đại số trừu tượng. Hiểu biết về định lý này giúp các nhà toán học phân tích cấu trúc nhóm hiệu quả hơn và giải quyết các bài toán liên quan đến tính chia hết của cấp nhóm con.

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

You may also like...

Leave a Reply

Your email address will not be published. Required fields are marked *

Kênh Xoilac TV HD ngon