Factorizing a finite group into conjugates of a subgroup. (Q406354): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
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
    0 references
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references