✨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\; \backslash ge\; H\_2\; \backslash ge...\; \backslash ge\; H\_\{c\; +\; 1\}\; =\; \backslash left\; \backslash \{e\; \backslash right\; \backslash \}$ 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 $\backslash left\; \{(g,\; g):\; g\; \backslash in\; G\; \backslash right\; \}$ là nhóm con của tích Descartes $G\; \backslash times\; G$ với mọi $c\; \backslash in\; \backslash 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\; \backslash in\; \backslash 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\; \backslash 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 $\backslash 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.