Lớp liên hợp
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. 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.

Định nghĩa 
Giả sử  là một nhóm. Hai phần tử  và  của  được gọi là liên hợp với nhau nếu tồn tại một phần tử  sao cho .

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  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  và  trùng nhau khi và chỉ khi  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ử  là

và nó được gọi là lớp liên hợp của . Số liên hợp của  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.

Các ví dụ 
Nhóm đối xứng , gồm 6 hoán vị của 3 phần tử, có 3 lớp liên hợp:
cố định các phần tử (),
hoán vị hai phần tử (),
hoán vị vòng quanh của ba phần tử ().
Nhóm đối xứng , 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:
(1)4: cố định các phần tử (1 phần tử: { {1, 2, 3, 4} });
(2): hoán vị hai phần tử (6 phần tử: { {1, 2, 4, 3}, {1, 4, 3, 2}, {1, 3, 2, 4}, {4, 2, 3, 1}, {3, 2, 1, 4}, {2, 1, 3, 4} });
(3): hoán vị vòng quanh của ba phần tử (8 phần tử: { {1, 3, 4, 2}, {1, 4, 2, 3}, {3, 2, 4, 1}, {4, 2, 1, 3}, {4, 1, 3, 2}, {2, 4, 3, 1}, {3, 1, 2, 4}, {2, 3, 1, 4} });
(4): hoán vị vòng quanh của cả bốn phần tử (6 phần tử: { {2, 3, 4, 1}, {2, 4, 1, 3}, {3, 1, 4, 2}, {3, 4, 2, 1}, {4, 1, 2, 3}, {4, 3, 1, 2} });
(2)(2): hoán vị hai cặp hai phần tử (3 phần tử: { {2, 1, 4, 3}, {4, 3, 2, 1}, {3, 4, 1, 2} }).
Tổng quát, số các lớp liên hợp của nhóm đối xứng  bằng số các phân hoạch nguyên của . Đ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  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 .

Các tính chất 
Lớp tương đương của phần tử đơn vị chỉ gồm chính nó: .
Nếu  giao hoán, khi đó  với mọi . Do đó  với mọi . Vì vậy khái niệm này không có ích khi nghiên cứu nhóm giao hoán.
Nếu hai phần tử  và  của  thuộc cùng một lớp liên hợp (hay chúng liên hợp với nhau), khi đó chúng có cùng cấp. Tổng quát hơn, mọi khẳng định về  đều có thể chuyển sang một khẳng định về , vì ánh xạ  là một tự đẳng cấu của .
Một phần tử  nằm trong tâm  của  khi và chỉ khi lớp liên hợp của nó chỉ có một phần tử là chính nó. Tổng quát hơn, nếu ký hiệu  là nhóm tâm hóa của  trong , nói cách khác, là nhóm con chứa tất cả các phần tử  sao cho , khi đó chỉ số  bằng với số phần tử nằm trong lớp liên hợp của .
Nếu  và  liên hợp với nhau thì các lũy thừa của chúng,  và  cũng liên hợp với nhau.

Phương trình lớp liên hợp 
Nếu  là một nhóm hữu hạn, khi đó với mọi phần tử , các phần tử nằm trong lớp liên hợp củ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 . Đ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ì  thuộc cùng một lớp kề (tức là  với  thuộc nhóm tâm hóa ) cho chúng ta cùng một phần tử khi tác động liên hợp lên :
.
Vì vậy số các phần tử nằm trong lớp liên hợp của  bằng với chỉ số  của nhóm con chuẩn hóa  trong . 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  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  rằng
,
với  là nhóm tâm hóa của phần tử . Quan sát thấy rằng mỗi phần tử của  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:
,
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 -nhóm hữu hạn . Ta sẽ chứng minh rằng: mọi -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  phải chia hết cấp của . Ta suy ra rằng mọi lớp liên hợp  có cấp , với . Từ phương trình lớp, ta suy ra
.
Từ đây ta suy ra  là ước của , hay .

Liên hợp của nhóm con và tập con 
Tổng quát hơn, cho một tập con  bất kì của  ( không nhất thiết phải là một nhóm con), ta định nghĩa một tập con  của  liên hợp với  nếu tồn tại  sao cho . Đặt  là hợp của tất cả các tập con  của  sao cho  liên hợp với .

Một định lý thường được sử dụng khẳng định rằng, cho trước một tập con  bất kì của , chỉ số của  (nhóm chuẩn hóa của  trong ) bằng với cấp của :
.
Điều này được suy ra từ việc nếu  thì  khi và chỉ khi , nói cách khác, khi và chỉ khi  và  cùng nằm trong một lớp kề của .

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 . 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.

Xét dưới góc độ tác động nhóm 
Nếu ta đặt

với hai phần tử  bất kì của , ta có một tác động nhóm của  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ừ  lên tập tất cả các tập con của  như sau:
.

Biểu diễn hình học 
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.

Chú thích

Lý thuyết nhóm