Liên hợp có nghĩa là gì
|
Bài viết này là một bài mồ côi vì không có bài viết khác liên kết đến nó. Vui lòng tạo liên kết đến bài này từ các bài viết liên quan; có thể thử dùng công cụ tìm liên kết. (tháng 7 2020) Trong toán học, đặc biệt là lý thuyết nhóm, các phần tử của một nhóm có thể được phân hoạch thành các lớp liên hợp; các phần tử của cùng một lớp liên hợp có nhiều tính chất chung, và việc nghiên cứu các lớp liên hợp của các nhóm không giao hoán cho ta biết nhiều đặc điểm quan trọng về cấu trúc của nhóm.[1][2] Trong mọi nhóm giao hoán, mọi lớp liên hợp đều là các tập chỉ chứa một phần tử.
Các hàm số nhận cùng một giá trị với các phần tử thuộc cùng một lớp liên hợp được gọi là các hàm lớp.
Giả sử
G
{\displaystyle G}
là một nhóm. Hai phần tử
a
{\displaystyle a}
và
b
{\displaystyle b}
của
G
{\displaystyle G}
được gọi là liên hợp với nhau nếu tồn tại một phần tử
g
∈
G
{\displaystyle g\in G}
sao cho
g
a
g
−
1
=
b
{\displaystyle gag^{-1}=b}
.
Có thể dễ dàng chứng minh được rằng quan hệ liên hợp là một quan hệ tương đương, và do đó nó phân hoạch
G
{\displaystyle G}
thành các lớp tương đương. (Điều này có nghĩa là mọi phần tử của một nhóm thuộc vào duy nhất một lớp liên hợp, và hai lớp liên hợp
C
l
(
a
)
{\displaystyle \mathrm {Cl} (a)}
và
C
l
(
b
)
{\displaystyle \mathrm {Cl} (b)}
trùng nhau khi và chỉ khi
a
,
b
{\displaystyle a,b}
liên hợp, nếu không, hai lớp liên hợp này rời nhau.) Lớp tương đương chứa phần tử
a
∈
G
{\displaystyle a\in G}
là
và nó được gọi là lớp liên hợp của
a
{\displaystyle a}
. Số liên hợp của
G
{\displaystyle G}
là số các lớp liên hợp phân biệt. Mọi phần tử thuộc cùng một lớp liên hợp thì có cùng cấp.
Nhóm đối xứng
S
3
{\displaystyle S_{3}}
, gồm 6 hoán vị của 3 phần tử, có 3 lớp liên hợp:
Nhóm đối xứng
S
4
{\displaystyle S_{4}}
, chứa 24 hoán vị của 4 phần tử, có 5 lớp liên hợp, được liệt kê sau đây theo cấu trúc xích và cấp:
Tổng quát, số các lớp liên hợp của nhóm đối xứng S n {\displaystyle S_{n}} bằng số các phân hoạch nguyên của n {\displaystyle n} . Điều này xảy ra vì mỗi lớp liên hợp tương ứng với đúng một phân hoạch của { 1 , 2 , … , n } {\displaystyle \{1,2,\ldots ,n\}} thành các xích rời rạc, chính xác đến một hoán vị của các phần tử của { 1 , 2 , … , n } {\displaystyle \{1,2,\ldots ,n\}} .
Nếu G {\displaystyle G} là một nhóm hữu hạn, khi đó với mọi phần tử a {\displaystyle a} , các phần tử nằm trong lớp liên hợp của a {\displaystyle a} có một tương ứng một-một với các lớp kề của nhóm tâm hóa C G ( a ) {\displaystyle C_{G}(a)} . Điều này có thể thấy được từ việc quan sát thấy rằng hai phần tử bất kì b , c {\displaystyle b,c} thuộc cùng một lớp kề (tức là b = c z {\displaystyle b=cz} với z {\displaystyle z} thuộc nhóm tâm hóa C G ( a ) {\displaystyle C_{G}(a)} ) cho chúng ta cùng một phần tử khi tác động liên hợp lên a {\displaystyle a} : b a b − 1 = c z a ( c z ) − a = c z a z − 1 c − 1 = c a c − 1 {\displaystyle bab^{-1}=cza(cz)^{-a}=czaz^{-1}c^{-1}=cac^{-1}} .Vì vậy số các phần tử nằm trong lớp liên hợp của a {\displaystyle a} bằng với chỉ số [ G : C G ( a ) ] {\displaystyle [G:C_{G}(a)]} của nhóm con chuẩn hóa C G ( a ) {\displaystyle C_{G}(a)} trong G {\displaystyle G} . Từ đó suy ra kích thước của mỗi lớp liên hợp là một ước của cấp của nhóm. Hơn nữa, nếu ta chọn một phần tử đại diện x i {\displaystyle x_{i}} từ mỗi lớp liên hợp, ta suy ra từ việc các lớp liên hợp phân hoạch nhóm G {\displaystyle G} rằng | G | = ∑ i [ G : C G ( x i ) ] {\displaystyle |G|=\sum _{i}[G:C_{G}(x_{i})]} ,với C G ( x i ) {\displaystyle C_{G}(x_{i})} là nhóm tâm hóa của phần tử x i {\displaystyle x_{i}} . Quan sát thấy rằng mỗi phần tử của Z ( G ) {\displaystyle Z(G)} tạo thành một lớp liên hợp chỉ chứa chính nó, ta suy ra phương trình lớp như sau: | G | = | Z ( G ) | + ∑ i [ G : C G ( x i ) ] {\displaystyle |G|=|Z(G)|+\sum _{i}[G:C_{G}(x_{i})]} ,trong đó tổng được lấy theo các phần tử đại diện của các lớp liên hợp có nhiều hơn một phần tử. Ví dụXét một p {\displaystyle p} -nhóm hữu hạn G {\displaystyle G} . Ta sẽ chứng minh rằng: mọi p {\displaystyle p} -nhóm hữu hạn luôn có tâm không tầm thường. Vì cấp của mọi lớp liên hợp của
G
{\displaystyle G}
phải chia hết cấp của
G
{\displaystyle G}
. Ta suy ra rằng mọi lớp liên hợp
H
i
{\displaystyle H_{i}}
có cấp
p
k
i
{\displaystyle p^{k_{i}}}
, với
0
<
k
i
<
n
{\displaystyle 0 Từ đây ta suy ra p {\displaystyle p} là ước của | Z ( G ) | {\displaystyle |Z(G)|} , hay | Z ( G ) | > 1 {\displaystyle |Z(G)|>1} . Tổng quát hơn, cho một tập con S {\displaystyle S} bất kì của G {\displaystyle G} ( S {\displaystyle S} không nhất thiết phải là một nhóm con), ta định nghĩa một tập con T {\displaystyle T} của G {\displaystyle G} liên hợp với S {\displaystyle S} nếu tồn tại g ∈ G {\displaystyle g\in G} sao cho T = g S g − 1 {\displaystyle T=gSg^{-1}} . Đặt C l ( S ) {\displaystyle \mathrm {Cl} (S)} là hợp của tất cả các tập con T {\displaystyle T} của G {\displaystyle G} sao cho T {\displaystyle T} liên hợp với S {\displaystyle S} . Một định lý thường được sử dụng khẳng định rằng, cho trước một tập con S {\displaystyle S} bất kì của G {\displaystyle G} , chỉ số của N G ( S ) {\displaystyle N_{G}(S)} (nhóm chuẩn hóa của S {\displaystyle S} trong G {\displaystyle G} ) bằng với cấp của C l ( S ) {\displaystyle \mathrm {Cl} (S)} : | C l ( S ) | = | G : N G ( S ) | {\displaystyle |\mathrm {Cl} (S)|=|G:N_{G}(S)|} .Điều này được suy ra từ việc nếu g , h ∈ G {\displaystyle g,h\in G} thì g S g − 1 = h S h − 1 {\displaystyle gSg^{-1}=hSh^{-1}} khi và chỉ khi g − 1 h ∈ N G ( S ) {\displaystyle g^{-1}h\in N_{G}(S)} , nói cách khác, khi và chỉ khi g {\displaystyle g} và h {\displaystyle h} cùng nằm trong một lớp kề của N G ( S ) {\displaystyle N_{G}(S)} . Chú ý rằng công thức này tổng quát hóa một công thức ở trên về số phần tử trong một lớp liên hợp. Các kết quả ở trên đặc biệt có ích khi xét các nhóm con của G {\displaystyle G} . Các nhóm con có thể được chia thành các lớp liên hợp, với hai nhóm con thuộc cùng một lớp khi và chỉ khi chúng liên hợp với nhau. Các nhóm con liên hợp thì đẳng cấu, nhưng điều ngược lại không đúng. Nếu ta đặt g ⋅ x = g x g − 1 {\displaystyle g\cdot x=gxg^{-1}}với hai phần tử g , x {\displaystyle g,x} bất kì của G {\displaystyle G} , ta có một tác động nhóm của G {\displaystyle G} lên chính nó. Các quỹ đạo của tác động này là các lớp liên hợp, và ổn định hóa của một phần tử là nhóm tâm hóa của phần tử đó. Tương tự, ta có thể xác định một tác động nhóm từ G {\displaystyle G} lên tập tất cả các tập con của G {\displaystyle G} như sau: g ⋅ S = g S g − 1 {\displaystyle g\cdot S=gSg^{-1}} .Các lớp liên hợp trong nhóm cơ bản của một không gian topo liên thông đường có thể được xem như các lớp tương đương của các vòng tự do dưới đồng luân tự do.
|
