{"entities":{"Q2285058":{"pageid":2295801,"ns":120,"title":"Item:Q2285058","lastrevid":71764404,"modified":"2026-04-14T00:23:36Z","type":"item","id":"Q2285058","labels":{"en":{"language":"en","value":"Finite non-cyclic \\(p\\)-groups whose number of subgroups is minimal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7152179"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285058$C5379D57-4C71-43EA-BEE3-E6F75871942C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"741d5e485bf3d11b73ebd4846a3dc1bf82c47f6a","datavalue":{"value":{"text":"Finite non-cyclic \\(p\\)-groups whose number of subgroups is minimal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2285058$A320CD11-CEEF-4254-A634-C1F298D11F45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5bc44a30c04269fd0004885b6f94ad6460b9259e","datavalue":{"value":"1445.20014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2285058$3E886C4E-6231-4E81-9224-DC2101996267","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3977e14cf8096bbcf724b7e4aed38403ae7fe5a2","datavalue":{"value":{"entity-type":"item","numeric-id":335603,"id":"Q335603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285058$FD4630A0-0E60-499A-B1C3-8A367467EB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57a8624698c9b590527a468443d18ee8592634d4","datavalue":{"value":{"entity-type":"item","numeric-id":624813,"id":"Q624813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285058$83B0A8D1-7C67-4C1F-BF1D-1B897FAC6FDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"db22232807c795272dc3a83fabf3be514df44f25","datavalue":{"value":{"entity-type":"item","numeric-id":166039,"id":"Q166039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285058$25ED71F0-F65A-4B98-A8EC-753F7EEFB8A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e7dda9f513b34510b8ef72a410fb933e4f2cfc48","datavalue":{"value":{"time":"+2020-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2285058$CBC11A01-4832-4190-AF7E-4730EF44FD84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eda55432f704579467970ab559756fedf09ae37b","datavalue":{"value":"https://arxiv.org/abs/1905.10153","type":"string"},"datatype":"url"},"type":"statement","id":"Q2285058$C4EBBA46-A26A-402A-8B60-53FC2ABEC88E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9e107fa19dcb3249a7b84c76f16e57961fb4d63c","datavalue":{"value":"Let \\(p\\) be a prime. It is clear that among all finite \\(p\\)-groups of a given order \\(p^n\\), the elementary abelian group \\(C_p^n\\) has the most subgroups. \\textit{H. Qu} [Isr. J. Math. 195, Part B, 773--781 (2013; Zbl 1285.20017), Theorem 1.4] and \\textit{M. T\u0103rn\u0103uceanu} [J. Group Theory 22, No. 3, 505--514 (2019; Zbl 1441.20012), Theorem 1.1] identified the unique \\(p\\)-group of order \\(p^n\\) with the second-most subgroups: It is of the form \\(G_p\\times C_p^{n-3}\\) where \\(G_2:=\\operatorname{D}_8\\) and for odd \\(p\\), \\(G_p\\) is the unique group of order \\(p^3\\) and exponent \\(p\\).  On the other hand, it is clear that the cyclic group \\(C_{p^n}\\) has the smallest number of subgroups among all groups of order \\(p^n\\). In this paper, the authors find those groups of order \\(p^n\\) that have the second-smallest number of subgroups, thus providing analogues of Qu's [loc. cit.] and T\u0103rn\u0103uceanu's [loc. cit.] results ``at the opposite end of the spectrum''. They show that unless \\(p=2\\) and \\(n\\leq 4\\), there are exactly two groups of order \\(p^n\\) with the second-least subgroups among all groups of order \\(p^n\\), namely \\(C_{p^{n-1}}\\times C_p\\) and \\(M_{p^n}:=\\langle x,y\\mid x^{p^{n-1}}=y^p=1,x^y=x^{1+p^{n-2}}\\rangle\\). The proof proceeds roughly in the following steps:  (1) Using \\textit{A. Kulakoff}'s result [Math. Ann. 104, 778--793 (1931; Zbl 0001.38602), Satz 1] for \\(p>2\\) and Frobenius' generalization of Sylow's theorems paired with [\\textit{Y. Berkovich}, Groups of prime power order. Vol. 1. Berlin: Walter de Gruyter (2008; Zbl 1168.20001), Proposition 1.3] for \\(p=2\\), one finds that a group \\(G\\) of order \\(p^n\\) with the second-least subgroups must have exactly \\(p+1\\) subgroups of order \\(p^k\\) for each \\(k\\in\\{1,\\ldots,n-1\\}\\).  (2) In particular, since \\(G\\) has at least one normal subgroup of each given order, it follows that all non-normal subgroups of \\(G\\) with the same order are conjugate. Such groups are classified in a theorem of \\textit{Y. Berkovich} and \\textit{Z. Janko} [Groups of prime power order. Vol. 2. Berlin: Walter de Gruyter (2008; Zbl 1168.20002), Theorem 58.3].  (3) Excluding the nonabelian Dedekind groups for \\(p=2\\) and using a well-known formula for the number of subgroups of a given type in the abelian case, [\\textit{L. M. Butler}, Proc. Am. Math. Soc. 101, 771--775 (1987; Zbl 0647.20053), Equation (1)], one obtains that \\(G\\) must indeed be isomorphic to one of \\(C_{p^{n-1}}\\times C_p\\) or \\(M_{p^n}\\).  (4) For the reverse implication, one can invoke a result of \\textit{W. Lindenberg} [J. Reine Angew. Math. 241, 118--146 (1970; Zbl 0194.03703), Folgerung 3.4].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2285058$AF4FBB37-AAEF-449C-B8E9-C6C5192D5C72","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e5c51f8341b663968cef1750a3c4916f308922ee","datavalue":{"value":{"entity-type":"item","numeric-id":778139,"id":"Q778139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285058$D9127FF5-9D3E-4E4E-BB3E-117FEA5C1507","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"677f074949b6912a3d5be9a52164e3a800597639","datavalue":{"value":"20D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2285058$D6A6D50F-6878-4E2A-961E-716E3429D604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"635c77a39b27ee22a5bfcde299ab7a563c7614e1","datavalue":{"value":"20D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2285058$839CA7AD-E7B9-4A73-9BA8-7065538E028A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06e42b106014df29b8f8eb6b6fa595cd357e9c9f","datavalue":{"value":"7152179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2285058$F1CE339A-60C1-4763-853D-5E74A8784DA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ec10b82499e3fa44da932fc48a3c8a843945c53","datavalue":{"value":"subgroup counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2285058$2B521136-626B-4F82-92E7-6F2FB0C44E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c311bb1df4990e5f713741bc85e92f7104593659","datavalue":{"value":"\\(p\\)-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2285058$D622F3AB-475B-4CD0-84A6-19065C8F9CE1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd7f0abef058f8eae97be2e317c30210cbb29e90","datavalue":{"value":{"entity-type":"item","numeric-id":13081,"id":"Q13081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285058$892DA9DC-F2DF-4EC8-A524-EE6C49538131","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285058$3D120329-5BFD-4BE6-B2E0-25C1E09382D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4683739ff23cf98b9312e7c43957364c42cc1f38","datavalue":{"value":"W2945592130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2285058$54EC1D3D-F04D-4801-AD6C-7E149085649E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"edd6a0c8cfc75cedb660822a139022a9af88bf2f","datavalue":{"value":{"entity-type":"item","numeric-id":934572,"id":"Q934572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285058$55D1DEC5-4839-41A4-AFDC-3F72155AFB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c537cbfd6e2897d1eeea1c15cb1f70f4dbb5f7f","datavalue":{"value":{"entity-type":"item","numeric-id":934573,"id":"Q934573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285058$BBE50EFC-77D8-45B5-8B41-BC6C1D512173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bc006ff4bfea38ce909d5af794d815a53526c7e","datavalue":{"value":{"entity-type":"item","numeric-id":3791355,"id":"Q3791355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285058$A6DF2CE2-D34A-4EA9-BA66-782CE3711CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f92e05ee5d9b3c647f2c5416c3627faddb814d7","datavalue":{"value":{"entity-type":"item","numeric-id":2928593,"id":"Q2928593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285058$52C761C7-8C82-4FC8-9568-40ECA5A18FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcfb27e943cdf1c9c8c33cf6ac32c6b1224600ff","datavalue":{"value":{"entity-type":"item","numeric-id":1565167,"id":"Q1565167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285058$FD3D02BB-0CF9-4808-A1E3-5F4CCFA39A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cb9aa7f7865838f8b09df8444969eb6e252a8c4","datavalue":{"value":{"entity-type":"item","numeric-id":5589378,"id":"Q5589378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285058$105ACDEC-0D61-44E2-94C5-8778798B8AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ac612135589b52ebb27acba1e709453dd05c7bf","datavalue":{"value":{"entity-type":"item","numeric-id":375690,"id":"Q375690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285058$E490E32B-15DC-4DA9-B617-7C523DA41BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45347f9653d5216052eb3f92c69f812aecc4e6c0","datavalue":{"value":{"entity-type":"item","numeric-id":2414567,"id":"Q2414567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285058$612FFA80-0053-4E08-AD05-42EE805162DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0353b2de350bb3145a181aee3d9df481d2203084","datavalue":{"value":"10.1007/S00013-019-01376-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2285058$B35498F1-D94E-4FBB-BD19-D2128323D9F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88ab227ec3b5592d2101fd2ca6ee074274ff5d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4985415,"id":"Q4985415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8b3b2618bdacbcbb377a526fb1dfe4d0071911b","datavalue":{"value":{"amount":"+0.8522416949272156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2285058$82904EA7-3927-4F4B-B86E-06A94692D614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8626af23796ddd3bf6d4bdd4eb2c3b55978a3ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2978569,"id":"Q2978569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"037b046714d5e550ae809cdeb094f31c65828827","datavalue":{"value":{"amount":"+0.8376078009605408","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2285058$D229AEBF-B731-432B-A9D1-31EC1B64C708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a84df3175d6920788903fde8b383302930bdef2","datavalue":{"value":{"entity-type":"item","numeric-id":4642944,"id":"Q4642944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cf2385e33be0114387d7e32c969d8f79a5f8a9b","datavalue":{"value":{"amount":"+0.8236104249954224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2285058$0B8F45C6-CF5E-4633-A6B7-B151F5A1A1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a56f975f66a6cefe326c8ae83905e9d1609eca51","datavalue":{"value":{"entity-type":"item","numeric-id":375690,"id":"Q375690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d7ba805a1c17b10a79d3496bafe104b477abdd4","datavalue":{"value":{"amount":"+0.8201382160186768","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2285058$C754127F-2C8A-434E-AFE0-1485CEA9372D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415fdcdf0392a21185e99d3078c7e02f27b697ce","datavalue":{"value":{"entity-type":"item","numeric-id":1758436,"id":"Q1758436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d978fb513ba43df504c902c650ff05d8b55eb430","datavalue":{"value":{"amount":"+0.8180965185165405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2285058$3000B8E6-53F5-4A44-B30D-1F87C1502FFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite non-cyclic \\(p\\)-groups whose number of subgroups is minimal","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_non-cyclic_%5C(p%5C)-groups_whose_number_of_subgroups_is_minimal"}}}}}