Đẳng cấu nhóm

Trong đại số trừu tượng, **đẳng cấu nhóm** là hàm thiết lập quan hệ tương ứng một-một giữa hai nhóm trong đó vẫn bảo toàn được phép toán nhóm. Nếu tồn tại đẳng cấu giữa hai nhóm, thì hai nhóm đó được gọi là **đẳng cấu cùng nhau**. Từ góc nhìn của lý thuyết nhóm, các nhóm đẳng cấu cùng nhau có chung tính chất và không cần phải phân biệt.

## Định nghĩa và ký hiệu

Cho hai nhóm (G, *) và (H, \odot), một *đẳng cấu nhóm* từ (G, *) tới (H, \odot) là một đồng cấu nhóm có tính song ánh từ G đến H. Nói rõ ra, đẳng cấu nhóm là một song ánh f : G \to H sao cho với mọi u và v thuộc G đẳng thức sau được thỏa mãn
:f(u * v) = f(u) \odot f(v).

Hai nhóm (G, *) và (H, \odot) đẳng cấu với nhau nếu tồn tại đẳng cấu giữa chúng. Khi đó ta thường ký hiệu là
:(G, *) \cong (H, \odot).

Để gọn hơn, ta thường loại bỏ dấu ngoặc và phép toán của mỗi nhóm
:G \cong H.

Đôi khi, ta có thể viết là G = H. Song khi nào viết được như vậy mà không gây khó hiểu dựa vào bối cảnh bài viết. Lấy ví dụ, dấu bằng không nên dùng khi hai nhóm đều là nhóm con của một nhóm nào đó.

Ngược lại, khi cho nhóm (G, *), và tập H, cùng với song ánh f : G \to H, ta có thể tạo nhóm H  (H, \odot) bằng cách định nghĩa
:f(u) \odot f(v) = f(u * v).

Nếu H = G và \odot = * thì song ánh này trở thành tự đẳng cấu.

Theo trực giác, các nhà lý thuyết nhóm thường xem hai nhóm đẳng cấu với nhau như sau: với mọi phần tử g thuộc nhóm G, tồn tại phần tử h thuộc H sao cho h "hoạt động hệt như" g (có nghĩa là h có các phép toán giống hệt với g). Ví dụ chẳng hạn, nếu g sinh G, thì phần tử h cũng vậy với nhóm H.

Đẳng cấu nhóm có thể định nghĩa tương đương là một đồng cấu nhóm khả nghịch (nghịch đảo của một đồng cấu nhóm song ánh cũng là đồng cấu nhóm]].

## Các ví dụ
* Nhóm của tất cả số thực dưới phép cộng, (\R, +), đẳng cấu với nhóm số thực dương dưới phép nhân (\R^+, \times):
*:(\R, +) \cong (\R^+, \times) qua đẳng cấu f(x) = e^x.
* Nhóm \Z của các số nguyên với phép cộng là nhóm con của \R,. Nhóm thương \R/\Z đẳng cấu với nhóm S^1 của các số phức có giá trị tuyệt đối bằng 1 (dưới phép nhân):
*:\R/\Z \cong S^1
* Nhóm tứ Klein đẳng cấu với tích trực tiếp của hai nhóm \Z_2 = \Z/2\Z, hay được viết là \Z_2 \times \Z_2. Một ký hiệu khác là \operatorname{Dih}_2, bởi nó là nhóm nhị diện.
* Tổng quát lại, với mọi n lẻ, \operatorname{Dih}_{2 n} đẳng cấu với tích trực tiếp của \operatorname{Dih}_n và \Z_2.
* Nếu (G, *) là nhóm cyclic vô hạn, thì (G, *) đẳng cấu với nhóm các số nguyên cùng phép cộng. Từ góc nhìn đại số, điều này có nghĩa tập các số nguyên cùng phép cộng là nhóm cyclic vô hạn "duy nhất".

Một số cặp nhóm có thể được chứng minh đẳng cấu với nhau, dựa trên tiên đề chọn, Song bài chứng minh sẽ không chỉ ra cách xây một đẳng cấu cụ thể. Các ví dụ bao gồm:
* Nhóm (\R, +) đẳng cấu với nhóm (\Complex, +) của các số phức dưới phép cộng.
* Nhóm (\Complex^*, \cdot) của các số phức khác không với phép nhân đẳng cấu với nhóm S^1 kể trên trong ví dụ.

## Các tính chất

Nhân của đẳng cấu từ (G, *) đến (H, \odot) luôn là {eG}, trong đó eG là phần tử trung hòa của nhóm (G, *)

Nếu (G, *) và (H, \odot) đẳng cấu với nhau, thì G là nhóm Abel khi và chỉ khi H là nhóm Abel.

Nếu f là đẳng cấu từ (G, *) đến (H, \odot), thì với bất kỳ a \in G , cấp của a bằng với cấp của f(a).

Nếu (G, *) và (H, \odot) đẳng cấu với nhau , thì (G, *) là nhóm hữu hạn địa phương khi và chỉ khi (H, \odot) cũng hữu hạn địa phương.

Số các nhóm phân biệt (xê xích đẳng cấu) có cấp n được cho bởi dãy số A000001 trong OEIS. Các giá trị đầu tiên là 0, 1, 1, 1 và 2 nghĩa là 4 là cấp nhỏ nhất có hai nhóm phân biệt.

## Nhóm cyclic
Tất cả các nhóm cyclic cấp *n* đẳng cấu với (\Z_n, +_n), trong đó +_n ký hiệu phép cộng mô đun n.

Đặt G là nhóm cyclic và n là cấp của G. Gọi x là phần tử sinh của G, G khi đó bằng với \langle x \rangle = \left\{e, x, \ldots, x^{n-1}\right\}. 
Ta sẽ chứng minh rằng
:G \cong (\Z_n, +_n).

Định nghĩa
:\varphi : G \to \Z_n = \{0, 1, \ldots, n - 1\}, sao cho \varphi(x^a) = a. 
Dễ thấy \varphi có tính song ánh và
:\varphi(x^a \cdot x^b) = \varphi(x^{a+b}) = a + b = \varphi(x^a) +_n \varphi(x^b), 
từ đó chứng minh được G \cong (\Z_n, +_n).

## Hệ quả

Từ định nghĩa, ta sẽ chứng minh được f : G \to H sẽ ánh xạ phần tử trung hòa của G sang phần tử trung hòa của H, 
:f(e_G) = e_H,
và nghịch đảo sang nghịch đảo
:f(u^{-1}) = f(u)^{-1} \quad \text{ với mọi } u \in G,
tổng quát hơn, từ lũy thừa bậc *n* sang lũy thừa bậc *n*,
:f(u^n)= f(u)^n \quad \text{ với mọi } u \in G, 
và ánh xạ nghịch f^{-1} : H \to G cũng là đồng cấu nhóm.

Quan hệ "đẳng cấu với" là quan hệ tương đương. Nếu f là đẳng cấu nhóm giữa hai nhóm G và H, thì bất cứ cái gì đúng về cấu trúc của nhóm G cũng đúng với cấu trúc của nhóm H thông qua f và ngược lại.

## Tự đẳng cấu nhóm

Một đẳng cấu nhóm (G, *) sang chính nó được gọi là tự đẳng cấu của nhóm. Do vậy, nó là song ánh f : G \to G sao cho
:f(u) * f(v) = f(u * v).

Ảnh dưới tự đẳng cấu của lớp liên hợp luôn là lớp liên hợp.

Hợp của hai tự đẳng cấu cũng là tự đẳng cấu, do đó với phép hợp là phép toán nhóm, tập các tự đẳng cấu của một nhóm lập thành nhóm các tự đẳng cấu của nhóm G, ký hiệu bởi \operatorname{Aut}(G),, hay được gọi là *[[nhóm tự đẳng cấu]]* của G.

## Xem thêm
* Song ánh

## Tham khảo