{"title":"论有限群的非中心 $$pi '$$ 元素的中心子","authors":"Changguo Shao, Qinhui Jiang","doi":"10.1007/s00009-024-02616-1","DOIUrl":null,"url":null,"abstract":"<p>Let <i>G</i> be a group and <i>N</i> be a <span>\\(\\pi \\)</span>-solvable normal subgroup of <i>G</i> with <span>\\(\\pi \\subsetneq \\pi (N)\\)</span>, where <span>\\(\\pi (N)\\)</span> is composed by all prime divisors of the order of <i>N</i>. In this paper, we determine the structure of <span>\\({N_{\\pi '}}{} \\textbf{Z}(N)/\\textbf{Z}(N)\\)</span> if <span>\\(\\textbf{C}_G(x)\\)</span> is a maximal subgroup of group <i>G</i> for every <span>\\(\\pi '\\)</span>-element <span>\\(x\\in N\\setminus \\textbf{Z}(N)\\)</span>, where <span>\\(N_{\\pi '}\\)</span> is a Hall <span>\\(\\pi '\\)</span>-subgroup of <i>N</i>. In particular, if <span>\\(\\pi = \\{p\\}\\)</span> is a set composed by a single prime <i>p</i>, we show that <i>N</i> is solvable, which has its own independent significance. If we assume <span>\\(N=G\\)</span> in the above results, then it is [8, Theorems A and B] by removing the conditions “<i>G</i> is <i>p</i>-solvable” and “with <span>\\(G_{p'}\\)</span> non-abelian”. We also give a detailed structure description of such groups. Further, we generalize [9, Theorem A] by removing the condition “<i>N</i> is <i>p</i>-solvable”, and also provides a positive answer to [9, Question] by giving the structure of <span>\\({N_{p'}}{} \\textbf{Z}(N)/\\textbf{Z}(N)\\)</span> if <span>\\(\\textbf{C}_G(x)\\)</span> is a maximal subgroup of <i>G</i> for every <i>p</i>-regular element <span>\\(x\\in N{\\setminus } \\textbf{Z}(N)\\)</span>.</p>","PeriodicalId":49829,"journal":{"name":"Mediterranean Journal of Mathematics","volume":"45 1","pages":""},"PeriodicalIF":1.1000,"publicationDate":"2024-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On the Centralizers of Non-central $$\\\\pi '$$ -Elements of a Finite Group\",\"authors\":\"Changguo Shao, Qinhui Jiang\",\"doi\":\"10.1007/s00009-024-02616-1\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Let <i>G</i> be a group and <i>N</i> be a <span>\\\\(\\\\pi \\\\)</span>-solvable normal subgroup of <i>G</i> with <span>\\\\(\\\\pi \\\\subsetneq \\\\pi (N)\\\\)</span>, where <span>\\\\(\\\\pi (N)\\\\)</span> is composed by all prime divisors of the order of <i>N</i>. In this paper, we determine the structure of <span>\\\\({N_{\\\\pi '}}{} \\\\textbf{Z}(N)/\\\\textbf{Z}(N)\\\\)</span> if <span>\\\\(\\\\textbf{C}_G(x)\\\\)</span> is a maximal subgroup of group <i>G</i> for every <span>\\\\(\\\\pi '\\\\)</span>-element <span>\\\\(x\\\\in N\\\\setminus \\\\textbf{Z}(N)\\\\)</span>, where <span>\\\\(N_{\\\\pi '}\\\\)</span> is a Hall <span>\\\\(\\\\pi '\\\\)</span>-subgroup of <i>N</i>. In particular, if <span>\\\\(\\\\pi = \\\\{p\\\\}\\\\)</span> is a set composed by a single prime <i>p</i>, we show that <i>N</i> is solvable, which has its own independent significance. If we assume <span>\\\\(N=G\\\\)</span> in the above results, then it is [8, Theorems A and B] by removing the conditions “<i>G</i> is <i>p</i>-solvable” and “with <span>\\\\(G_{p'}\\\\)</span> non-abelian”. We also give a detailed structure description of such groups. Further, we generalize [9, Theorem A] by removing the condition “<i>N</i> is <i>p</i>-solvable”, and also provides a positive answer to [9, Question] by giving the structure of <span>\\\\({N_{p'}}{} \\\\textbf{Z}(N)/\\\\textbf{Z}(N)\\\\)</span> if <span>\\\\(\\\\textbf{C}_G(x)\\\\)</span> is a maximal subgroup of <i>G</i> for every <i>p</i>-regular element <span>\\\\(x\\\\in N{\\\\setminus } \\\\textbf{Z}(N)\\\\)</span>.</p>\",\"PeriodicalId\":49829,\"journal\":{\"name\":\"Mediterranean Journal of Mathematics\",\"volume\":\"45 1\",\"pages\":\"\"},\"PeriodicalIF\":1.1000,\"publicationDate\":\"2024-06-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Mediterranean Journal of Mathematics\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1007/s00009-024-02616-1\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Mediterranean Journal of Mathematics","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s00009-024-02616-1","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
摘要
让 G 是一个群,N 是 G 的一个 \(\pi \)-可解的正则子群,具有 \(\pi \subsetneq \pi (N)\),其中 \(\pi (N)\) 由 N 的阶的所有素除数组成。\textbf{Z}(N)/\textbf{Z}(N)\)的结构,如果对于每一个\(\pi '\)-元素\(x\ in Nsetminus \textbf{Z}(N)\)来说,\(textbf{C}_G(x)\)都是群G的最大子群,其中\(N_{\pi '}\) 是N的霍尔\(\pi '\)-子群。特别是,如果 \(\pi = \{p\}\)是一个由单个素数 p 组成的集合,我们就会证明 N 是可解的,这有其独立的意义。如果我们假设上述结果中的\(N=G\)是可解的,那么去掉 "G 是 p 可解的 "和"\(G_{p'}\)是非阿贝尔的 "这两个条件,它就是[8,定理 A 和 B]。我们还给出了这类群的详细结构描述。此外,我们去掉了 "N 是 p 可解的 "这个条件,从而概括了 [9, 定理 A],并给出了 \({N_{p'}}{} 的结构,从而给 [9, 问题] 提供了一个肯定的答案。\如果 \(textbf{C}_G(x)\) 是每个 p 规则元素 \(xin N\{setminus }) 的 G 的最大子群,那么 \(textbf{Z}(N)/\textbf{Z}(N)\) 就是最大子群\textbf{Z}(N)\).
On the Centralizers of Non-central $$\pi '$$ -Elements of a Finite Group
Let G be a group and N be a \(\pi \)-solvable normal subgroup of G with \(\pi \subsetneq \pi (N)\), where \(\pi (N)\) is composed by all prime divisors of the order of N. In this paper, we determine the structure of \({N_{\pi '}}{} \textbf{Z}(N)/\textbf{Z}(N)\) if \(\textbf{C}_G(x)\) is a maximal subgroup of group G for every \(\pi '\)-element \(x\in N\setminus \textbf{Z}(N)\), where \(N_{\pi '}\) is a Hall \(\pi '\)-subgroup of N. In particular, if \(\pi = \{p\}\) is a set composed by a single prime p, we show that N is solvable, which has its own independent significance. If we assume \(N=G\) in the above results, then it is [8, Theorems A and B] by removing the conditions “G is p-solvable” and “with \(G_{p'}\) non-abelian”. We also give a detailed structure description of such groups. Further, we generalize [9, Theorem A] by removing the condition “N is p-solvable”, and also provides a positive answer to [9, Question] by giving the structure of \({N_{p'}}{} \textbf{Z}(N)/\textbf{Z}(N)\) if \(\textbf{C}_G(x)\) is a maximal subgroup of G for every p-regular element \(x\in N{\setminus } \textbf{Z}(N)\).
期刊介绍:
The Mediterranean Journal of Mathematics (MedJM) is a publication issued by the Department of Mathematics of the University of Bari. The new journal replaces the Conferenze del Seminario di Matematica dell’Università di Bari which has been in publication from 1954 until 2003.
The Mediterranean Journal of Mathematics aims to publish original and high-quality peer-reviewed papers containing significant results across all fields of mathematics. The submitted papers should be of medium length (not to exceed 20 printed pages), well-written and appealing to a broad mathematical audience.
In particular, the Mediterranean Journal of Mathematics intends to offer mathematicians from the Mediterranean countries a particular opportunity to circulate the results of their researches in a common journal. Through such a new cultural and scientific stimulus the journal aims to contribute to further integration amongst Mediterranean universities, though it is open to contribution from mathematicians across the world.