Nhóm lũy linh

Nhóm lũy linh cùng với nhóm giải được là các cấu trúc cơ bản của đại số trừu tượng.

Định nghĩa

Chuỗi tâm trên

Tồn tại một nhóm $G$ là lũy linh nếu nó có các chuỗi tâm trên ổn định sau khi hữu hạn toàn bộ nhóm (tức là tồn tại một số tự nhiên $c$ sao cho $Z_c(G)=G$. Sau đây chúng ta định nghĩa $Z_i(G)$ bằng phương pháp quy nạp:

Tâm $Z_i(G)$ là tạo ảnh của tâm $Z(G/Z_{i-1}(G))$ dưới các ánh xạ thương từ $G$ đến $G/Z_{i-1}(G)$ và $Z_0(G)$ là nhóm con chuẩn tắc của $G$.

Chuỗi tâm dưới

$G$ là lũy linh nếu tồn tại một số tự nhiên $c$ sao cho $[[[..[G,G],G],G],...G]$ là chuẩn tắc với $G$ được nhắc lại $c+1$ lần. $[,]$ là giao hoán tử của các tập con của $G$.

Chuỗi tâm

$G$ là lũy linh nếu tồn tại số tự nhiên $c$ và một dãy con hữu hạn:

$G=H_1\ge H_2\ge ...\ge H_{c+1}=\left\{e\right\}$ và mỗi $H_i$ là nhóm con chuẩn tắc của $G$ và $H_i/H_{i+1}$ là tâm của $G/H_{i+1}$.

Nhóm con chéo bình thường của tích Descartes của nhóm (tạm dịch)

Tập $\{(g,g):g\in G\}$ là nhóm con của tích Descartes $G\times G$ với mọi $c\in \mathbb{N}$.

Tích giao hoán tử chuẩn-trái chuẩn tắc (tạm dịch)

Tồn tại độ dài subnormal (không dịch được) $c\in \mathbb{N}$ sao cho $[[...[[x_1,x_2],x_3],...],x_{c+1}]$ nhận giá trị của phần tử đơn vị với mọi $x_i\in G$.

Tích giao hoán tử chuẩn-"bất kỳ hướng" chuẩn tắc (tạm dịch)

Tồn tại số $c$ như trên sao cho mọi tích giao hoán tử bao gồm $c$ tích giao hoán tử.

Trong trường hợp $c=3$, biểu thức

$[[x_1,x_2],[x_3,x_4]],[[[x_1,x_2],x_3],x_4]],[x_1,[x_2,[x_3,x_4]]]$,

$[[x_1,[x_2,x_3]],x_4],[x_1,[[x_2,x_3],x_4]$ đều nhận giá trị của phần tử đơn vị.

Tích giao hoán tử chuẩn-trái chuẩn tắc tổng quát

Giống tích giao hoán tử chuẩn-trái chuẩn tắc nhưng tổng quát hơn.

Ví dụ

• Nhóm chuẩn tắc là lũy linh trên lớp lũy linh cấp $0$.
• Mọi nhóm Abel là lũy linh trên lớp lũy linh cấp $1$.
• Nhóm D8 là lũy linh nhưng không Abel.
• Nhóm quaternion lũy linh nhưng không Abel.

Tính chất

• Giả tốt.
• Nếu $G$ lũy linh, nhóm con $H$ cũng lũy linh.
• Nếu $G$ lũy linh và có nhóm con bình thường $H$ thì nhóm thương $G/H$ cũng lũy linh.
• Nếu $G_i,i=1,2,...,n$ lũy linh, tích Descartes ${\mathrm{\Pi }}_{i=1}^n{G}_i$ cũng lũy linh.
• Nếu $G$ lũy linh và tồn tại các nhóm con bình thường $N_1,N_2,...,N_n$ thì tích trong của chúng cũng lũy linh.
• Nếu $G_1,G_2$ là nhóm isoclinic và $G_1$ lũy linh, nhóm $G_2$ cũng lũy linh.

Tham khảo

• Homology in group theory, by Urs Stammbach, Lecture Notes in Mathematics, Volume 359, Springer-Verlag, New York, 1973, vii+183 pp. review
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách