✨Chuỗi hợp thành

Trong đại số trừu tượng, một chuỗi hợp thành (hay còn gọi là dãy hợp thành) cung cấp một cách để phá vỡ cấu trúc đại số, chẳng hạn như một nhóm hoặc một mô-đun, thành các thành phần đơn giản.

Một chuỗi hợp thành không nhất thiết tồn tại; nếu nó tồn tại thì nó cũng không nhất thiết phải là duy nhất. Tuy nhiên, dưới một số điều kiện cụ thể, một nhóm các kết quả được biết đến dưới tên chung định lý Jordan Hölder khẳng định rằng bất cứ khi nào chuỗi hợp thành tồn tại, các lớp đẳng cấu của các mảnh đơn giản và số bội của chúng được xác định duy nhất (tuy nhiên vị trí của chúng trong chuỗi có thể thay đổi). Do đó, chuỗi hợp thành có thể được sử dụng để định nghĩa các bất biến của các nhóm hữu hạn và các mô đun Artin.

Nhóm

Một chuỗi hợp thành của một nhóm G là một chuỗi các nhóm con chuẩn tắc có độ dài hữu hạn

: $1\; =\; H\_0\backslash triangleleft\; H\_1\backslash triangleleft\; \backslash cdots\; \backslash triangleleft\; H\_n\; =\; G,$

, sao cho mỗi H_i là một nhóm con chuẩn tắc thực sự tối đaị của H_{i +1}. Một cách tương đương, một chuỗi hợp thành là một chuỗi chuẩn tắc sao cho mỗi nhóm thương H_{i +1}/H_i là đơn.

Ví dụ

• Với $n\backslash geq\; 5$, $1\backslash triangleleft\; A\_n\backslash triangleleft\; S\_n$ là một chuỗi hợp thành của nhóm đối xứng $S\_n$. Các nhóm thương lần lượt là $A\_n$ và $\backslash mathbb\{Z\}/2\backslash mathbb\{Z\}$.
• $0\backslash triangleleft\backslash \{0,2\backslash \}\backslash triangleleft\backslash \{0,1,2,3\backslash \}$ là một chuỗi hợp thành của $\backslash mathbb\{Z\}/4\backslash mathbb\{Z\}$.

Tính duy nhất: Định lý Jordan Hölder

• Định lý - Giả sử nhóm $G$ có một chuỗi hợp thành với độ dài $n$. Khi đó, mọi chuỗi hợp thành của $G$ cũng có độ dài $n$. Đồng thời, các thương hợp thành đều lần lượt đẳng cấu với nhau (sau một phép hoán vị nếu cần).

Ví dụ

• Nhóm xiclic $C\_\{12\}$ có vài chuỗi hợp thành $C\_1\backslash triangleleft\; C\_2\backslash triangleleft\; C$6 \triangleleft C{12}, \ \, C_1\triangleleft C_2\triangleleft C4\triangleleft C{12}, và $C\_1\backslash triangleleft\; C\_3\backslash triangleleft\; C$6 \triangleleft C{12}. Các dãy thương hợp thành tương ứng là $C\_2,C\_3,C\_2,\; \backslash \; \backslash ,\; C\_2,C\_2,C\_3,$ và $C\_3,C\_2,C\_2.$

Mô-đun

Cho một vành R và một R -mô-đun M, một chuỗi hợp thành của M là một chuỗi các mô-đun con

: $\{0\}\; =\; J\_0\; \backslash subset\; \backslash cdots\; \backslash subset\; J\_n\; =\; M$

trong đó tất cả các phép bao hàm đều là ngặt và J_k là mô-đun con tối đại của J_{k +1} với mọi k.

Tính duy nhất: Định lý Jordan Hölder

• Định lý - Giả sử mô-đun $M$ có một chuỗi hợp thành với độ dài $n$. Khi đó, mọi chuỗi hợp thành của $M$ cũng có độ dài $n$. Đồng thời, các thương hợp thành đều lần lượt đẳng cấu với nhau (sau một phép hoán vị nếu cần).