On the norm of the nilpotent residuals of all subgroups of a finite group. (Q435944): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / author | |||
Property / author: Wujie Shi / rank | |||
Normal rank | |||
Property / review text | |||
For a finite group \(G\) the authors define \(S(G)\) as the intersection of all normalizers of nilpotent residuals of subgroups. In iteration, put \(S_1(G)=S(G)\) and \(S_{n+1}(G)/S_n(G)=S(G/S_n(G))\), with \(S_\infty(G)\) as the last term. The authors show: \(G=S_\infty(G)\) if and only if \(G\) is metanilpotent. Clearly \(G=S(G)\) if \(G\) is nilpotent or minimal nonnilpotent, but this class of groups is wider. -- If all elements of prime order of \(G\) are contained in \(S(G)\), then \(G\) is solvable, \(l_p(G)\leq 1\) for all odd primes, and \(G\) is of Fitting length at most \(3\). If also all elements of order \(4\) belong to \(S(G)\), then also \(l_2(G)\leq 1\) (Theorems 3.3, 5.2, 5.3). | |||
Property / review text: For a finite group \(G\) the authors define \(S(G)\) as the intersection of all normalizers of nilpotent residuals of subgroups. In iteration, put \(S_1(G)=S(G)\) and \(S_{n+1}(G)/S_n(G)=S(G/S_n(G))\), with \(S_\infty(G)\) as the last term. The authors show: \(G=S_\infty(G)\) if and only if \(G\) is metanilpotent. Clearly \(G=S(G)\) if \(G\) is nilpotent or minimal nonnilpotent, but this class of groups is wider. -- If all elements of prime order of \(G\) are contained in \(S(G)\), then \(G\) is solvable, \(l_p(G)\leq 1\) for all odd primes, and \(G\) is of Fitting length at most \(3\). If also all elements of order \(4\) belong to \(S(G)\), then also \(l_2(G)\leq 1\) (Theorems 3.3, 5.2, 5.3). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Hermann Heineken / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20D30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20D25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20D10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20D15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20D20 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6055222 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
finite groups | |||
Property / zbMATH Keywords: finite groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
intersections of normalizers | |||
Property / zbMATH Keywords: intersections of normalizers / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
nilpotent residuals | |||
Property / zbMATH Keywords: nilpotent residuals / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
metanilpotent groups | |||
Property / zbMATH Keywords: metanilpotent groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Fitting lengths | |||
Property / zbMATH Keywords: Fitting lengths / rank | |||
Normal rank |
Revision as of 00:58, 30 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the norm of the nilpotent residuals of all subgroups of a finite group. |
scientific article |
Statements
On the norm of the nilpotent residuals of all subgroups of a finite group. (English)
0 references
13 July 2012
0 references
For a finite group \(G\) the authors define \(S(G)\) as the intersection of all normalizers of nilpotent residuals of subgroups. In iteration, put \(S_1(G)=S(G)\) and \(S_{n+1}(G)/S_n(G)=S(G/S_n(G))\), with \(S_\infty(G)\) as the last term. The authors show: \(G=S_\infty(G)\) if and only if \(G\) is metanilpotent. Clearly \(G=S(G)\) if \(G\) is nilpotent or minimal nonnilpotent, but this class of groups is wider. -- If all elements of prime order of \(G\) are contained in \(S(G)\), then \(G\) is solvable, \(l_p(G)\leq 1\) for all odd primes, and \(G\) is of Fitting length at most \(3\). If also all elements of order \(4\) belong to \(S(G)\), then also \(l_2(G)\leq 1\) (Theorems 3.3, 5.2, 5.3).
0 references
finite groups
0 references
intersections of normalizers
0 references
nilpotent residuals
0 references
metanilpotent groups
0 references
Fitting lengths
0 references