✨Đẳ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,\; \backslash odot),$ một đẳng cấu nhóm từ $(G,$) tới $(H,\; \backslash 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\; \backslash 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)\; \backslash odot\; f(v).$

Hai nhóm $(G,$) và $(H,\; \backslash 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\; \backslash 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\; \backslash to\; H,$ ta có thể tạo nhóm $H$ $(H,\; \backslash odot)$ bằng cách định nghĩa :$f(u)\; \backslash odot\; f(v)\; =\; f(u$ v).

Nếu $H\; =\; G$ và $\backslash 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, $(\backslash R,\; +)$, đẳng cấu với nhóm số thực dương dưới phép nhân $(\backslash R^+,\; \backslash times)$: *:$(\backslash R,\; +)\; \backslash cong\; (\backslash R^+,\; \backslash times)$ qua đẳng cấu $f(x)\; =\; e^x$.
• Nhóm $\backslash Z$ của các số nguyên với phép cộng là nhóm con của $\backslash R,$. Nhóm thương $\backslash R/\backslash 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): *:$\backslash R/\backslash Z\; \backslash cong\; S^1$
• Nhóm tứ Klein đẳng cấu với tích trực tiếp của hai nhóm $\backslash Z\_2\; =\; \backslash Z/2\backslash Z$, hay được viết là $\backslash Z\_2\; \backslash times\; \backslash Z\_2.$ Một ký hiệu khác là $\backslash operatorname\{Dih\}\_2,$ bởi nó là nhóm nhị diện.
• Tổng quát lại, với mọi $n$ lẻ, $\backslash operatorname\{Dih\}\_\{2\; n\}$ đẳng cấu với tích trực tiếp của $\backslash operatorname\{Dih\}\_n$ và $\backslash 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 $(\backslash R,\; +)$ đẳng cấu với nhóm $(\backslash Complex,\; +)$ của các số phức dưới phép cộng.
• Nhóm $(\backslash Complex^*,\; \backslash 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,\; \backslash odot)$ luôn là {e_G}, trong đó e_G là phần tử trung hòa của nhóm $(G,$)

Nếu $(G,\; *)$ và $(H,\; \backslash 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,\; \backslash odot),$ thì với bất kỳ $a\; \backslash in\; G$ , cấp của $a$ bằng với cấp của $f(a).$

Nếu $(G,$) và $(H,\; \backslash odot)$ đẳng cấu với nhau , thì $(G,$) là nhóm hữu hạn địa phương khi và chỉ khi $(H,\; \backslash 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 $(\backslash 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 $\backslash langle\; x\; \backslash rangle\; =\; \backslash left\{e,\; x,\; \backslash ldots,\; x^\{n-1\}\backslash right\}.$ Ta sẽ chứng minh rằng :$G\; \backslash cong\; (\backslash Z\_n,\; +\_n).$

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

Hệ quả

Từ định nghĩa, ta sẽ chứng minh được $f\; :\; G\; \backslash 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\}\; \backslash quad\; \backslash text\{\; với\; mọi\; \}\; u\; \backslash 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\; \backslash quad\; \backslash text\{\; với\; mọi\; \}\; u\; \backslash in\; G,$ và ánh xạ nghịch $f^\{-1\}\; :\; H\; \backslash 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\; \backslash 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 $\backslash operatorname\{Aut\}(G),$, hay được gọi là nhóm tự đẳng cấu của $G.$