Xem mã nguồn của Nhóm con chuẩn tắc

{{Thanh bên lý thuyết nhóm}}
Trong [[Đại số trừu tượng|đại số]], '''nhóm con chuẩn tắc''' (hay còn gọi là '''nhóm con bất biến''' hoặc '''nhóm con tự liên hợp'''){{sfn|Bradley|2010|p=12}} là [[nhóm con]] bất biến dưới mọi tác động liên hợp. Nói cách khác, nhóm con {{Math|''H''}} của nhóm {{Math|''G''}} được gọi là chuẩn tắc trong {{Math|''G''}} nếu và chỉ nếu {{Math|''gH'' {{=}} ''Hg''}} với mọi {{Math|''g''}} thuộc {{Math|''G''}}; tức là tập các [[lớp kề]] trái và các lớp kề phải trùng nhau.<ref>Thomas Hungerford (2003), tr. 41</ref><ref>Nguyễn Tiến Quang (2008), tr. 70, Định nghĩa</ref> Ta có thể xây dựng nhóm thương từ một nhóm con chuẩn tắc cho trước.<ref>Nguyễn Tiến Quang (2008), tr. 72, Bổ đề 4.9</ref><ref>Hoàng Xuân Sính (1972), tr. 55, Định lí 10</ref> Một nhóm {{Math|''G''}}, không tầm thường, không có nhóm con chuẩn tắc nào ngoài nhóm con tầm thường và chính nó, được gọi là một [[nhóm đơn]].<ref>Nguyễn Tiến Quang (2008), tr. 71, Ví dụ 1.</ref>

[[Évariste Galois]] là người đầu tiên nhận ra tầm quan trọng của sự tồn tại của nhóm con chuẩn tắc.<ref>C.D. Cantrell (2000), tr. 160</ref>

== Định nghĩa ==
[[Nhóm con]] <math>N</math> của nhóm <math>G</math> được gọi là '''nhóm con chuẩn tắc''' của <math>G</math> nếu nó không đổi dưới phép [[tự đẳng cấu trong|liên hợp]]; tức là liên hợp của một phần tử thuộc <math>N</math> bởi một phần tử của <math>G</math> luôn nằm trong <math>N.</math>{{sfn|Dummit|Foote|2004}}  Ký hiệu thường dùng cho quan hệ này là <math>N \triangleleft G.</math>

===Các điều kiện tương đương===
Cho bất kỳ nhóm con <math>N</math> của <math>G,</math> các điều kiện sau đều [[tương đương logic|tương đương]] với việc <math>N</math> là nhóm con chuẩn tắc của <math>G.</math> Do đó có thể dùng tuỳ ý một trong số chúng để làm định nghĩa

* Ảnh của phép liên hợp của <math>N</math> bằng bất kỳ phần tử của <math>G</math> là tập con của <math>N.</math>{{sfn|Hungerford|2003|p=41}}
* Ảnh của phép liên hợp của <math>N</math> bằng bất kỳ phần tử của <math>G</math> bằng với <math>N.</math>{{sfn|Hungerford|2003|p=41}}
* Với mọi <math>g \in G,</math> lớp kề trái <math>gN</math> và lớp kề phải <math>Ng</math> luôn bằng nhau.{{sfn|Hungerford|2003|p=41}}
* Tập hợp của [[lớp kề]] trái và tập của lớp kề phải <math>N</math> trong <math>G</math> bằng nhau.{{sfn|Hungerford|2003|p=41}}
* Tích của lớp kề trái của <math>N</math> tương ứng với <math>g</math> và một phần tử của lớp kề trái của <math>N</math> tương ứng với <math>h</math> là một phần tử của lớp kề trái của <math>N</math> tương ứng với <math>g h</math>: với mọi <math>x, y, g, h \in G,</math> nếu <math>x \in g N</math>and <math>y \in h N</math> thì <math>x y \in (g h) N.</math>
* <math>N</math> là [[hợp (lý thuyết tập hợp)|hợp]] của các [[lớp liên hợp]] của <math>G.</math>{{sfn|Cantrell|2000|p=160}}
* <math>N</math> được bảo toàn bởi các [[phép tự đẳng cấu trong]] của <math>G.</math>{{sfn|Fraleigh|2003|p=141}}
* Có một số đồng cấu từ <math>G \to H</math> có [[Hạt nhân (đại số)|nhân]] là <math>N.</math>{{sfn|Cantrell|2000|p=160}}
* Có một số [[quan hệ tương đẳng]] trên <math>G</math> mà [[lớp tương đương]] của [[phần tử đơn vị]] là <math>N</math>.
* Với mọi <math>n\in N</math> và <math>g\in G,</math> [[giao hoán tử]] <math>[n,g] = n^{-1} g^{-1} n g</math> luôn nằm trong <math>N.</math>{{cn|date=March 2019}}

== Các ví dụ ==
Cho bất kỳ nhóm <math>G,</math> nhóm tầm thường <math>\{ e \}</math> chỉ bao gồm phần tử đơn vị của <math>G</math> luôn là nhóm con chuẩn tắc của <math>G.</math>  Tương tư, <math>G</math> chính nó cũng luôn là nhóm con chuẩn tắc của <math>G.</math> (Nếu đây là hai nhóm con chuẩn tắc thì <math>G</math> được gọi là [[nhóm đơn]].){{sfn|Robinson|1996|p=16}}  Các tên khác cho nhóm con chuẩn tắc bao gồm [[Tâm (nhóm)|tâm của nhóm]] (tập các phần tử giao hoán với các phần tử còn lại) và [[nhóm con giao hoán tử]] <math>[G,G].</math>{{sfn|Hungerford|2003|p=45}}{{sfn|Hall|1999|p=138}}  Tổng quát hơn, bởi phép liên hợp là đẳng cấu nên bất kỳ [[nhóm con đặc trưng]] cũng là nhóm con chuẩn tắc.{{sfn|Hall|1999|p=32}}

Nếu <math>G</math> là nhóm giao hoán thì mọi nhóm con <math>N</math> của <math>G</math> là nhóm con chuẩn tắc, bởi vì <math>gN = \{gn\}_{n\in N} = \{ng\}_{n\in N} = Ng.</math> Nhóm không giao hoán nhưng mọi nhóm con của nó đều chuẩn tắc được gọi là [[nhóm Hamilton]].{{sfn|Hall|1999|p=190}}

Một ví dụ cụ thể là với mỗi số nguyên <math>n</math> cho trước, nhóm các số nguyên <math>\mathbb{Z}</math> có các nhóm con chuẩn tắc <math>n\mathbb{Z}</math> bao gồm các [[bội số]] của <math>n</math>. [[Nhóm thương]] <math>\mathbb{Z}/n\mathbb{Z}</math> là nhóm các lớp đồng dư theo mô-đun <math>n</math>.<ref>Nguyễn Tiến Quang (2008), tr. 73, Ví dụ trước mệnh đề 4.10</ref>

Một ví dụ cụ thể khác là nhóm con chuẩn tắc <math>N = \{(1), (123), (132)\}</math> của nhóm đối xứng <math>S_3,</math> bao gồm phần tử và hai xích độ dài ba quy nhất.  Cụ thể hơn, ta có thể kiểm tra rằng mọi lớp kề của <math>N</math> hoặc bằng với chính <math>N</math> hoặc bằng với <math>(12)N = \{ (12), (23), (13)\}.</math>  Mặt khác, nhóm <math>H = \{(1), (12)\}</math> không chuẩn tắc trong <math>S_3</math> bởi <math>(123)H = \{(123), (13) \} \neq \{(123), (23) \} = H(123).</math>{{sfn|Judson|2020|loc=Section 10.1}} Ví dụ này minh hoạ việc bất kỳ nhóm con <math>H \leq G</math> có chỉ số bằng hai thì là nhóm con chuẩn tắc.

Nhóm thay phiên <math>A_5</math> là một nhóm đơn, tức là nó chỉ có hai nhóm con chuẩn tắc: <math>\{e\}</math> và chính <math>A_5</math>. <math>A_5</math> là nhóm đơn không giao hoán có lực lượng nhỏ nhất.<ref>Marc Hindry, tr. 22, ''Remarque''</ref> Các nhóm <math>\mathbb{Z}/p\mathbb{Z}</math> với <math>p</math> là một số nguyên tố đều là các nhóm đơn giao hoán. Chúng không có nhóm con chuẩn tắc nào ngoài hai nhóm con chuẩn tắc tầm thường.

Trong [[nhóm lập phương Rubik]], các nhóm con chứa các phép biến đổi hướng của các khối ở góc hoặc ở cạnh thì chuẩn tắc.{{sfn|Bergvall|Hynning|Hedberg|Mickelin|2010|p=96}}

[[translation group|Nhóm tịnh tiến]] là nhóm con chuẩn tắc của [[Euclidean group|nhóm Euclid]] trong bất kỳ số chiều.{{sfn|Thurston|1997|p=218}} Điều này có là thực hiện bất kỳ phép biến đổi hình học nào, rồi tịnh tiến một đoạn rồi biến đổi hình học ngược lại sẽ không khác gì một bước tịnh tiến. Ngược lại, nhóm của các [[phép quay]] quanh gốc toạ độ không phải nhóm con chuẩn tắc của nhóm Euclid khi số chiều lớn hơn hoặc bằng hai (bởi tịnh tiến, rồi quay quanh gốc toạ độ, rồi tịnh tiến về sẽ không giữ cố định gốc toạ độ và do đó không cùng giá trị với một phép quay quanh gốc toạ độ.

== Các tính chất ==

* Nếu <math>H</math> là nhóm con chuẩn tắc của <math>G,</math> và <math>K</math> là nhóm con của <math>G</math> và chứa <math>H,</math> thì <math>H</math> cũng là nhóm con chuẩn tắc của <math>K.</math>{{sfn|Hungerford|2003|p=42}}
* Nhóm con chuẩn tắc của một nhóm con chuẩn tắc của một nhóm không nhất thiết cũng phải chuẩn tắc trong nhóm đó. Tức là tính chuẩn tắc không cần phải là [[quan hệ bắc cầu]]. Nhóm nhỏ nhất có hiện tượng này là [[nhóm nhị diện]] cấp 8.{{sfn|Robinson|1996|p=17}} Song, [[nhóm con đặc trưng]] của nhóm con chuẩn tắc thì cũng chuẩn tắc.{{sfn|Robinson|1996|p=28}} Nhóm có tính chuẩn tắc tuân theo quan hệ bắc cầu được gọi là [[T-nhóm (toán học)|T-nhóm]].{{sfn|Robinson|1996|p=402}}
* Hai nhóm <math>G</math> và <math>H</math> là nhóm con chuẩn tắc của [[Tích trực tiếp của hai nhóm|tích trực tiếp]] của chúng <math>G \times H.</math>
* Nếu nhóm <math>G</math> là [[Tích nửa trực tiếp của nhóm|tích nửa trực tiếp]] <math>G = N \rtimes H,</math> thì <math>N</math> chuẩn tắc trong <math>G,</math> còn <math>H</math> thì không nhất thiết phải chuẩn tắc trong <math>G.</math>
* Nếu <math>M</math> và <math>N</math> là nhóm con chuẩn tắc của nhóm cộng <math>G</math> sao cho <math>G = M + N</math> và <math>M \cap N = \{0\}</math>, thì <math>G = M \oplus N.</math>{{sfn|Hungerford|2013|p=290}}
* Tính chuẩn tắc được bảo toàn dưới các toàn ánh;{{sfn|Hall|1999|p=29}} nghĩa là nếu ánh xạ <math>G \to H</math> là toàn cấu nhóm và <math>N</math> chuẩn tắc trong <math>G,</math> thì ảnh <math>f(N)</math> chuẩn tắc trong <math>H.</math>
* Tính chuẩn tắc được bảo toàn bằng cách lấy [[ảnh ngược]];{{sfn|Hall|1999|p=29}} nghĩa là, nếu ánh xạ <math>G \to H</math> là đồng cấu nhóm và <math>N</math> chuẩn tắc trong <math>H,</math> thì ảnh ngược <math>f^{-1}(N)</math> chuẩn tắc trong <math>G.</math>
* Tính chuẩn tắc được bảo toàn dưới tích trực tiếp;{{sfn|Hungerford|2003|p=46}} nghĩa là nếu <math>N_1 \triangleleft G_1</math> và <math>N_2 \triangleleft G_2,</math> thì <math>N_1 \times N_2\; \triangleleft \;G_1 \times G_2.</math>
* Mọi nhóm con của [[Chỉ số nhóm con|chỉ số]] bằng hai đều là nhóm con chuẩn tắc. Tổng quát hơn là, các nhóm con <math>H</math> có chỉ số hữu hạn <math>n</math> trong <math>G</math> và chứa nhóm con <math>K</math> chuẩn tắc trong <math>G</math> và có chỉ số là ước của <math>n!</math> được gọi là [[lõi chuẩn tắc]] . Cụ thể hơn, nếu <math>p</math> là ước nguyên tố nhỏ nhất của cấp của <math>G,</math> thì mọi nhóm con có chỉ số <math>p</math> đều chuẩn tắc.{{sfn|Robinson|1996|p=36}}
* Dựa trên việc nhóm con chuẩn tắc của <math>G</math> là nhân của đồng cấu nhóm được định nghĩa trên <math>G</math>, ta có thể phân loại bên trong các đồng cấu nhóm được định nghĩa trong đó. Lấy ví dụ chẳng hạn, nhóm hữu hạn không tầm thường là nhóm đơn khi và chỉ khi nó đẳng cấu với tất cả ảnh đồng cấu không tầm thường của nó,{{sfn|Dõmõsi|Nehaniv|2004|p=7}} nhóm hữu hạn được gọi là [[nhóm hoàn hảo]] khi và chỉ khi nó không có nhóm con chuẩn tắc có chỉ số là số nguyên tố, và không hoàn hảo khi và chỉ nhóm con dẫn xuất của nó không được phụ hợp bởi bất kỳ nhóm con chuẩn tắc thực sự nào

=== Dàn của nhóm con chuẩn tắc ===
Cho hai nhóm con chuẩn tắc <math>N</math> và <math>M,</math> của <math>G,</math>  Khi đó giao <math>N\cap M</math> và tích <math>N M = \{n m : n \in N\; \text{ và }\; m \in M \}</math> đều là nhóm con chuẩn tắc của <math>G.</math> 

Các nhóm con của <math>G</math> tạo thành một [[Dàn (lý thuyết thứ tự)|dàn]] dưới quan hệ [[Tập hợp con|chứa trong]] với [[phần tử nhỏ nhất]], <math>\{ e \},</math> và [[phần tử lớn nhất]] <math>G.</math> [[Gặp (lý thuyết dàn)|Gặp]] của hai nhóm con chuẩn tắc <math>N</math> và <math>M</math> trong dàn này là giao của chúng và [[Nối (lý thuyết dàn)|nối]] của hai nhóm con này là tích của chúng.

Dàn này [[Dàn đầy đủ|đầy đủ]] và [[Dàn Modula|modula]].{{sfn|Hungerford|2003|p=46}}

== Nhóm con chuẩn tắc, nhóm thương và đồng cấu ==

Nếu <math>N</math> là nhóm con chuẩn tắc thì ta có thể định nghĩa phép toán trên các lớp kề như sau: 
<math display="block">\left(a_1 N\right) \left(a_2 N\right) := \left(a_1 a_2\right) N.</math>
Quan hệ này định nghĩa ánh xạ <math>G/N\times G/N \to G/N.</math> Để chứng minh ánh xạ này được xác định, ta cần chứng minh lựa chọn các phần tử đại diện <math>a_1, a_2</math> không làm thay đổi kết quả. Để làm điều đó, xét các phần tử đại diện khác <math>a_1'\in a_1 N, a_2' \in a_2 N.</math> Khi đó tồn tại <math>n_1, n_2\in N</math> sao cho <math>a_1' = a_1 n_1, a_2' = a_2 n_2.</math> Từ đây <math display="block">a_1' a_2' N = a_1 n_1 a_2 n_2 N =a_1 a_2 n_1' n_2 N=a_1 a_2 N,</math>và ta cũng dùng thêm ý <math>N</math> là nhóm con {{em|chuẩn tắc}}, để do vậy tồn tại <math>n_1'\in N</math> sao cho <math>n_1 a_2 = a_2 n_1'.</math> Điều này chứng minh phép toán được xác định.

Cùng với phép toán này, tập các lớp kề  là nhóm được gọi [[nhóm thương]] và được ký hiệu bằng <math>G/N.</math> Có đồng cấu tự nhiên, <math>f : G \to G/N,</math> cho bởi <math>f(a) = a N.</math> Đồng cấu này ánh xạ <math>N</math> sang phần tử đơn vị của <math>G/N,</math> là lớp kề <math>e N = N,</math>{{sfn|Hungerford|2003|pp=42–43}} tức là, <math>\ker(f) = N.</math>

Trong tổng quát, [[đồng cấu nhóm]] <math>f : G \to H</math> gửi mỗi nhóm con của <math>G</math> thành nhóm con của <math>H.</math> Bên cạnh đó, tiền ảnh của bất kỳ nhóm con của <math>H</math> là nhóm con của <math>G.</math> Ta gọi tiền ảnh của nhóm tầm thường <math>\{ e \}</math> trong <math>H</math> là '''[[Hạt nhân (đại số)|hạt nhân]]''' (hay nhân) của đồng cấu nhóm và ký hiệu nó bởi <math>\ker f.</math> Hạt nhân luôn chuẩn tắc và ảnh của <math>G, f(G),</math> luôn [[Phép đẳng cấu|đẳng cấu]] với <math>G / \ker f</math> (theo [[định lý đẳng cấu đầu tiên]]).{{sfn|Hungerford|2003|p=44}} Hơn nữa, tương xứng này còn là song ánh giữa tập của nhóm thương của <math>G, G / N,</math> và tập các ảnh đồng cấu <math>G</math> ([[xê xích]] đẳng cấu).{{sfn|Robinson|1996|p=20}} Cũng dễ nhận thấy rằng hạt nhân của ánh xạ thương, <math>f : G \to G/N,</math> chính là <math>N</math>, và các nhóm con chuẩn tắc là hạt nhân của các ánh xạ có [[miền xác định]] <math>G.</math>{{sfn|Hall|1999|p=27}}

==Nhóm con chuẩn tắc và định lý Sylow==

[[Định lý Sylow]] thứ hai phát biểu rằng: Nếu <math>P</math> và <math>K</math> là hai [[p-nhóm con Sylow]] của nhóm <math>G</math>, thì tồn tại <math>x \in G</math> sao cho <math>P = x^{-1}Kx.</math>

Đây là hệ quả trực :
Gọi <math>G</math> là nhóm hữu hạn và <math>K</math> là p-nhóm con Sylow với <math>p</math> là số nguyên tố. Khi đó <math>K</math> chuẩn tắc trong <math>G</math> khi và chỉ khi <math>K</math> là p-nhóm con Sylow duy nhất của <math>G</math>.{{sfn|Hungerford|2013|p=300}}

== Xem thêm ==

* [[Nhóm thương]]
* [[Lớp kề]]
* [[Nhóm hoàn hảo]]

==Tham khảo==
{{tham khảo|30em}}

== Thư mục ==

* C.D. Cantrell (2000), ''Modern Mathematical Methods for Physicists and Engineers.'' Cambridge University Press
* Hoàng Xuân Sính (1972), ''Đại số đại cương'', Nhà xuất bản giáo dục
* Thomas Hungerford (2003). ''Algebra''. Graduate Texts in Mathematics. Springer
* Marc Hindry, ''[https://webusers.imj-prg.fr/~marc.hindry/Cours-alg.pdf Cours d'algèbbre au magistère de Cachan]''
* Nguyễn Tiến Quang, (2008), ''Đại số đại cương'', Nhà xuất bản giáo dục

{{Group navbox}}
{{Kiểm soát tính nhất quán}}

[[Thể loại:Lý thuyết nhóm|C]]