{"title":"有一个有限非小 Sylow 2 子群的周期群","authors":"D. V. Lytkina, V. D. Mazurov","doi":"10.1134/s0081543823060147","DOIUrl":null,"url":null,"abstract":"<p>The following results are proved. Let <span>\\(d\\)</span> be a natural number, and let <span>\\(G\\)</span> be a group of finite even exponent such that each of its finite subgroups is contained in a subgroup isomorphic to the direct product of <span>\\(m\\)</span> dihedral groups, where <span>\\(m\\leq d\\)</span>. Then <span>\\(G\\)</span> is finite (and isomorphic to the direct product of at most <span>\\(d\\)</span> dihedral groups). Next, suppose that <span>\\(G\\)</span> is a periodic group and <span>\\(p\\)</span> is an odd prime. If every finite subgroup of <span>\\(G\\)</span> is contained in a subgroup isomorphic to the direct product <span>\\(D_{1}\\times D_{2}\\)</span>, where <span>\\(D_{i}\\)</span> is a dihedral group of order <span>\\(2p^{r_{i}}\\)</span> with natural <span>\\(r_{i}\\)</span>, <span>\\(i=1,2\\)</span>, then <span>\\(G=M_{1}\\times M_{2}\\)</span>, where <span>\\(M_{i}=\\langle H_{i},t\\rangle\\)</span>, <span>\\(t_{i}\\)</span> is an element of order <span>\\(2\\)</span>, <span>\\(H_{i}\\)</span> is a locally cyclic <span>\\(p\\)</span>-group, and <span>\\(h^{t_{i}}=h^{-1}\\)</span> for every <span>\\(h\\in H_{i}\\)</span>, <span>\\(i=1,2\\)</span>. Now, suppose that <span>\\(d\\)</span> is a natural number and <span>\\(G\\)</span> is a solvable periodic group such that every of its finite subgroups is contained in a subgroup isomorphic to the direct product of at most <span>\\(d\\)</span> dihedral groups. Then <span>\\(G\\)</span> is locally finite and is an extension of an abelian normal subgroup by an elementary abelian <span>\\(2\\)</span>-subgroup of order at most <span>\\(2^{2d}\\)</span>.\n</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Periodic Groups with One Finite Nontrivial Sylow 2-Subgroup\",\"authors\":\"D. V. Lytkina, V. D. Mazurov\",\"doi\":\"10.1134/s0081543823060147\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>The following results are proved. Let <span>\\\\(d\\\\)</span> be a natural number, and let <span>\\\\(G\\\\)</span> be a group of finite even exponent such that each of its finite subgroups is contained in a subgroup isomorphic to the direct product of <span>\\\\(m\\\\)</span> dihedral groups, where <span>\\\\(m\\\\leq d\\\\)</span>. Then <span>\\\\(G\\\\)</span> is finite (and isomorphic to the direct product of at most <span>\\\\(d\\\\)</span> dihedral groups). Next, suppose that <span>\\\\(G\\\\)</span> is a periodic group and <span>\\\\(p\\\\)</span> is an odd prime. If every finite subgroup of <span>\\\\(G\\\\)</span> is contained in a subgroup isomorphic to the direct product <span>\\\\(D_{1}\\\\times D_{2}\\\\)</span>, where <span>\\\\(D_{i}\\\\)</span> is a dihedral group of order <span>\\\\(2p^{r_{i}}\\\\)</span> with natural <span>\\\\(r_{i}\\\\)</span>, <span>\\\\(i=1,2\\\\)</span>, then <span>\\\\(G=M_{1}\\\\times M_{2}\\\\)</span>, where <span>\\\\(M_{i}=\\\\langle H_{i},t\\\\rangle\\\\)</span>, <span>\\\\(t_{i}\\\\)</span> is an element of order <span>\\\\(2\\\\)</span>, <span>\\\\(H_{i}\\\\)</span> is a locally cyclic <span>\\\\(p\\\\)</span>-group, and <span>\\\\(h^{t_{i}}=h^{-1}\\\\)</span> for every <span>\\\\(h\\\\in H_{i}\\\\)</span>, <span>\\\\(i=1,2\\\\)</span>. Now, suppose that <span>\\\\(d\\\\)</span> is a natural number and <span>\\\\(G\\\\)</span> is a solvable periodic group such that every of its finite subgroups is contained in a subgroup isomorphic to the direct product of at most <span>\\\\(d\\\\)</span> dihedral groups. Then <span>\\\\(G\\\\)</span> is locally finite and is an extension of an abelian normal subgroup by an elementary abelian <span>\\\\(2\\\\)</span>-subgroup of order at most <span>\\\\(2^{2d}\\\\)</span>.\\n</p>\",\"PeriodicalId\":0,\"journal\":{\"name\":\"\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0,\"publicationDate\":\"2024-02-12\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1134/s0081543823060147\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1134/s0081543823060147","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
摘要
证明了以下结果。让\(d\)是一个自然数,让\(G\)是一个有限偶数幂的群,使得它的每个有限子群都包含在一个与\(m\)二面群的直积同构的子群中,其中\(m\leq d\).那么 \(G\) 是有限的(并且与至多 \(d\) 个二面群的直积同构)。接下来,假设 \(G\) 是一个周期群,并且 \(p\) 是一个奇素数。如果\(G)的每个有限子群都包含在一个与直积\(D_{1}\times D_{2}\)同构的子群中,其中\(D_{i}\)是一个阶为\(2p^{r_{i}}\)的二面群,具有自然的\(r_{i}\), \(i=1,2\)、then \(G=M_{1}\times M_{2}\), where \(M_{i}=\langle H_{i},t\rangle\), \(t_{i}\) is an element of order \(2\)、\(H_{i})是一个局部循环群,并且对于每一个H_{i}中的元素来说,(h^{t_{i}}=h^{-1})都是(i=1,2)。现在,假设\(d\)是一个自然数,并且\(G\)是一个可解周期群,使得它的每个有限子群都包含在一个与至多\(d\)二面群的直积同构的子群中。那么 \(G\) 是局部有限的,并且是一个基本无边 \(2\)- 子群的无边正则子群的扩展,这个子群的阶数最多为 \(2^{2d}\)。
Periodic Groups with One Finite Nontrivial Sylow 2-Subgroup
The following results are proved. Let \(d\) be a natural number, and let \(G\) be a group of finite even exponent such that each of its finite subgroups is contained in a subgroup isomorphic to the direct product of \(m\) dihedral groups, where \(m\leq d\). Then \(G\) is finite (and isomorphic to the direct product of at most \(d\) dihedral groups). Next, suppose that \(G\) is a periodic group and \(p\) is an odd prime. If every finite subgroup of \(G\) is contained in a subgroup isomorphic to the direct product \(D_{1}\times D_{2}\), where \(D_{i}\) is a dihedral group of order \(2p^{r_{i}}\) with natural \(r_{i}\), \(i=1,2\), then \(G=M_{1}\times M_{2}\), where \(M_{i}=\langle H_{i},t\rangle\), \(t_{i}\) is an element of order \(2\), \(H_{i}\) is a locally cyclic \(p\)-group, and \(h^{t_{i}}=h^{-1}\) for every \(h\in H_{i}\), \(i=1,2\). Now, suppose that \(d\) is a natural number and \(G\) is a solvable periodic group such that every of its finite subgroups is contained in a subgroup isomorphic to the direct product of at most \(d\) dihedral groups. Then \(G\) is locally finite and is an extension of an abelian normal subgroup by an elementary abelian \(2\)-subgroup of order at most \(2^{2d}\).