Factorizing a finite group into conjugates of a subgroup. (Q406354): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
A non-nilpotent finite group \(G\) contains a proper subgroup \(H\) of \(G\) and \(k\) conjugates \(H_1,\ldots,H_k\) of \(H\) in \(G\) such that \(G\) equals the product \(H_1\cdots H_k\). Let \(\gamma_{cp}(G)\) be the smallest \(k\) for which there exists a proper subgroup \(H\) of \(G\) with this property. In the paper under review, the authors prove that if \(G\) is non-solvable then \(\gamma_{cp}(G)\) is bounded by a constant, namely \(\gamma_{cp}(G)\leq 36\). This is done by reducing the problem to almost-simple groups and then by treating such groups separately using the classification of finite simple groups. They show that \(\gamma_{cp}(G)=3\) for all \(2\)-transitive groups \(G\), in particular for the alternating and symmetric groups. For groups of Lie type they use [\textit{M. W. Liebeck} and \textit{L. Pyber}, Duke Math. J. 107, No. 1, 159-171 (2001; Zbl 1017.20039)] where it is shown that any finite simple group of Lie type in characteristic \(p\) is a product of at most \(25\) of its Sylow \(p\)-subgroups. The bound \(36\) comes from one of the sporadic almost-simple groups: using a general argument involving the rank of a transitive permutation representation the authors prove that if \(G\) is any almost-simple sporadic group then \(\gamma_{cp}(G)\leq\gamma_{cp}(\Aut(O'N))\leq 36\). The authors also prove that \(\gamma_{cp}(G)\) is unbounded for \(G\) ranging in the family of solvable non-nilpotent groups: for instance for \(p\) an odd prime, denoting \(D_{2p}\) the dihedral group of order \(2p\), \(\gamma_{cp}(D_{2p})=1+\lceil\log_2p\rceil\). They also prove the upper bound \(\gamma_{cp}(G)\leq 4\log_2|G|\) for \(G\) any solvable non-nilpotent group. | |||
Property / review text: A non-nilpotent finite group \(G\) contains a proper subgroup \(H\) of \(G\) and \(k\) conjugates \(H_1,\ldots,H_k\) of \(H\) in \(G\) such that \(G\) equals the product \(H_1\cdots H_k\). Let \(\gamma_{cp}(G)\) be the smallest \(k\) for which there exists a proper subgroup \(H\) of \(G\) with this property. In the paper under review, the authors prove that if \(G\) is non-solvable then \(\gamma_{cp}(G)\) is bounded by a constant, namely \(\gamma_{cp}(G)\leq 36\). This is done by reducing the problem to almost-simple groups and then by treating such groups separately using the classification of finite simple groups. They show that \(\gamma_{cp}(G)=3\) for all \(2\)-transitive groups \(G\), in particular for the alternating and symmetric groups. For groups of Lie type they use [\textit{M. W. Liebeck} and \textit{L. Pyber}, Duke Math. J. 107, No. 1, 159-171 (2001; Zbl 1017.20039)] where it is shown that any finite simple group of Lie type in characteristic \(p\) is a product of at most \(25\) of its Sylow \(p\)-subgroups. The bound \(36\) comes from one of the sporadic almost-simple groups: using a general argument involving the rank of a transitive permutation representation the authors prove that if \(G\) is any almost-simple sporadic group then \(\gamma_{cp}(G)\leq\gamma_{cp}(\Aut(O'N))\leq 36\). The authors also prove that \(\gamma_{cp}(G)\) is unbounded for \(G\) ranging in the family of solvable non-nilpotent groups: for instance for \(p\) an odd prime, denoting \(D_{2p}\) the dihedral group of order \(2p\), \(\gamma_{cp}(D_{2p})=1+\lceil\log_2p\rceil\). They also prove the upper bound \(\gamma_{cp}(G)\leq 4\log_2|G|\) for \(G\) any solvable non-nilpotent group. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Andrea Lucchini / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20D40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20D60 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20D05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20D06 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20D08 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20E45 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6341139 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
finite groups | |||
Property / zbMATH Keywords: finite groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
covering problem | |||
Property / zbMATH Keywords: covering problem / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
conjugate product coverings | |||
Property / zbMATH Keywords: conjugate product coverings / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
almost-simple groups | |||
Property / zbMATH Keywords: almost-simple groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
finite groups of Lie type | |||
Property / zbMATH Keywords: finite groups of Lie type / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
products of Sylow subgroups | |||
Property / zbMATH Keywords: products of Sylow subgroups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
sporadic simple groups | |||
Property / zbMATH Keywords: sporadic simple groups / rank | |||
Normal rank |
Revision as of 17:33, 29 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Factorizing a finite group into conjugates of a subgroup. |
scientific article |
Statements
Factorizing a finite group into conjugates of a subgroup. (English)
0 references
8 September 2014
0 references
A non-nilpotent finite group \(G\) contains a proper subgroup \(H\) of \(G\) and \(k\) conjugates \(H_1,\ldots,H_k\) of \(H\) in \(G\) such that \(G\) equals the product \(H_1\cdots H_k\). Let \(\gamma_{cp}(G)\) be the smallest \(k\) for which there exists a proper subgroup \(H\) of \(G\) with this property. In the paper under review, the authors prove that if \(G\) is non-solvable then \(\gamma_{cp}(G)\) is bounded by a constant, namely \(\gamma_{cp}(G)\leq 36\). This is done by reducing the problem to almost-simple groups and then by treating such groups separately using the classification of finite simple groups. They show that \(\gamma_{cp}(G)=3\) for all \(2\)-transitive groups \(G\), in particular for the alternating and symmetric groups. For groups of Lie type they use [\textit{M. W. Liebeck} and \textit{L. Pyber}, Duke Math. J. 107, No. 1, 159-171 (2001; Zbl 1017.20039)] where it is shown that any finite simple group of Lie type in characteristic \(p\) is a product of at most \(25\) of its Sylow \(p\)-subgroups. The bound \(36\) comes from one of the sporadic almost-simple groups: using a general argument involving the rank of a transitive permutation representation the authors prove that if \(G\) is any almost-simple sporadic group then \(\gamma_{cp}(G)\leq\gamma_{cp}(\Aut(O'N))\leq 36\). The authors also prove that \(\gamma_{cp}(G)\) is unbounded for \(G\) ranging in the family of solvable non-nilpotent groups: for instance for \(p\) an odd prime, denoting \(D_{2p}\) the dihedral group of order \(2p\), \(\gamma_{cp}(D_{2p})=1+\lceil\log_2p\rceil\). They also prove the upper bound \(\gamma_{cp}(G)\leq 4\log_2|G|\) for \(G\) any solvable non-nilpotent group.
0 references
finite groups
0 references
covering problem
0 references
conjugate product coverings
0 references
almost-simple groups
0 references
finite groups of Lie type
0 references
products of Sylow subgroups
0 references
sporadic simple groups
0 references