{"entities":{"Q6072955":{"pageid":13207263,"ns":120,"title":"Item:Q6072955","lastrevid":58657656,"modified":"2026-04-06T05:16:55Z","type":"item","id":"Q6072955","labels":{"en":{"language":"en","value":"Numbers which are only orders of abelian or nilpotent groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7750326"}},"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":"Q6072955$AEA620DC-3B5F-4BD7-A0A4-E930A4FBF6A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74b389593dc11cbe13fa8ee0720774db7904572e","datavalue":{"value":{"text":"Numbers which are only orders of abelian or nilpotent groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6072955$BE012744-9FFE-42C3-8A0E-9ADD15010387","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67768aba570ee409f076d5237190bd86aa27f54b","datavalue":{"value":{"entity-type":"item","numeric-id":2127837,"id":"Q2127837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072955$1346AD96-901B-4C4B-9006-4655DB789A86","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2af5fe3b27a04082f1eae9cf17090e68be06cc07","datavalue":{"value":{"entity-type":"item","numeric-id":194678,"id":"Q194678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072955$AA5E1779-C643-4987-9C0B-ECC8F6E9CB4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2cbc2f7c20721033a7303b39a112d65bfd0b0e52","datavalue":{"value":{"time":"+2023-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6072955$FBC94B40-99AA-4484-BB0C-33A3EC0DBECB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bab494b138848158d871c3daa8b5be01b8fae230","datavalue":{"value":"https://arxiv.org/abs/2102.01027","type":"string"},"datatype":"url"},"type":"statement","id":"Q6072955$2C9785FD-CB2C-4349-A0FD-785D1E53D2A4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"35059e1b247929ba809946b08ad41a9586146be9","datavalue":{"value":"A number \\(n\\) is called \\textit{cyclic} if every group of order \\(n\\) is cyclic, \\textit{abelian} if every group of order \\(n\\) is abelian, and \\textit{nilpotent} if every group of order \\(n\\) is nilpotent. A number \\(n\\) is \\textit{strictly abelian} if every group of order \\(n\\) is abelian and there is at least a group of order \\(n\\) that is not cyclic. Similarly, \\(n\\) is \\textit{strictly nilpotent} if any group of order \\(n\\) is nilpotent and there is at least one group of order \\(n\\) which is not abelian.  Let \\(C(x), A(x)\\), and \\(N(x)\\) be the counting functions for cyclic, abelian, and nilpotent numbers, respectively. Then \\(A(x) - C(x)\\) and \\(N(x) - A(x)\\) are the counting functions for strictly abelian and strictly nilpotent numbers, respectively.  Work of Erd\u0151s, Mays, Scourfield, Narlikar and Srinivasan have found asymptotic formulas for \\(C(x), A(x), N(x), A(x)-C(x),\\) and \\(N(x) - A(x)\\). \\textit{P. Pollack} [Proc. Am. Math. Soc. 150, No. 2, 515--524 (2022; Zbl 1503.11130)] (improving on Begunts) found an asymptotic series expansion for \\(C(x)\\).  In this paper, the author extends on Pollack's work to get asymptotic series expansions for \\(A(x) - C(x)\\) and \\(N(x) - A(x)\\). In particular they prove two main theorems:  Theorem 1. For any positive integer \\(N\\), there is a sequence of real numbers \\(b_0 = 1, b_1, b_2, \\ldots, b_N\\) such that \\[A(x) - C(x) = \\frac{x e^{-\\gamma}}{\\log_2{x}(\\log_3{x})^2}\\left(\\sum_{k=0}^N \\frac{b_k}{(\\log_3{x})^k}\\right)+O_N\\left(\\frac{x}{\\log_2{x}(\\log_3{x})^{N+3}}\\right),\\] where \\(\\log_2{x} = \\log\\log{x}, \\log_3{x} = \\log\\log\\log{x}\\), and the constants \\(b_k\\) are determined as follows. Let \\(C_k\\) be the coefficients of the series expansion of \\(\\Gamma(1+w)\\) about \\(w = 0\\). Let \\(c_0 = 1, c_1 = -\\gamma\\), \\(c_2 = \\gamma^2 + \\frac{1}{12}\\pi^2\\), and in general \\(c_k\\) be determined by the formal relation \\[c_0 + c_1z + c_2z^2 + \\cdots = \\exp \\left(0!C_1z + 1!C_2z^2 + 2!C_3z^3+\\cdots\\right),\\] Then \\[b_k = \\sum_{\\substack{i+k=k\\\\ i,j\\ge0}} j!c_iC_j.\\]  Theorem 2. For any positive integer \\(N\\), there is a sequence of real numbers \\(d_0 = 1, d_1, d_2, \\ldots, d_N\\) such that \\[N(x) - A(x) = \\frac{x e^{-\\gamma}}{(\\log_2{x})^2(\\log_3{x})^2}\\left(\\sum_{k=0}^N \\frac{d_k}{(\\log_3{x})^k}\\right)+O_N\\left(\\frac{x}{\\log_2{x}(\\log_3{x})^{N+3}}\\right),\\] where \\(\\log_2{x} = \\log\\log{x}, \\log_3{x} = \\log\\log\\log{x}\\), and the constants \\(d_k\\) are determined as follows. Let \\(c_k\\) be defined as above, and \\(D_k\\) be the coefficients of the series expansion of \\(\\Gamma(2+w)\\) about \\(w = 0\\). Then \\[d_k = \\sum_{\\substack{i+k=k\\\\ i,j\\ge0}} j!c_iD_j.\\]  The proofs involve intricate work with the Selberg sieve, the prime number theorem (with a good error term), and precise estimates on sums of reciprocals of primes in arithmetic progressions. Furthermore, the author had to be careful to account for numbers that are not squarefree.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6072955$7D667B5C-D0D0-4994-951E-1B6A5A6F4731","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"836d014851f11ca5c74e357f787b4e6c6674fa3a","datavalue":{"value":{"entity-type":"item","numeric-id":656044,"id":"Q656044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072955$2B2BF6CC-A0C0-489F-B44A-31C25C925AA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce43af76667bf5ee226f5551a40d83564ed9a3fe","datavalue":{"value":"11N37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6072955$B4897F76-C741-493E-AADD-FF706E336017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"635c77a39b27ee22a5bfcde299ab7a563c7614e1","datavalue":{"value":"20D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6072955$BA70ED65-46FC-4171-8120-414C91C8AA82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf089937a9f7df554438a514be1b239b3e72b1b5","datavalue":{"value":"7750326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6072955$EB3F1C00-932D-4AD9-ADEA-164A5A9B4C9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf54e8290bb362a80eef36319aa8ea826c34c87f","datavalue":{"value":"group numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6072955$014FA520-06B1-46DB-8894-5B6BB562B2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73b3a58130a09d7cbdcd3e86d0ba71e75dbb1815","datavalue":{"value":"asymptotic series","type":"string"},"datatype":"string"},"type":"statement","id":"Q6072955$9BAF101A-5780-4C5E-A472-54A66C5BF836","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":"Q6072955$289489F0-A03F-48EE-8C45-3124CBD49AF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11ceedae8c742ded9f4ddf925e15f5f1af2f9f07","datavalue":{"value":"W3128626562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6072955$921931B0-14AA-4BA3-B0DD-32DA65117AB3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e54db6eb0c41975cb84ea9867b34c7985a7b5120","datavalue":{"value":{"entity-type":"item","numeric-id":5802214,"id":"Q5802214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072955$7A370A98-28B8-4557-923C-27C8C96D582E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b4abec8b1a87c4c0d7b2ada7b37f2961f00b5e","datavalue":{"value":{"entity-type":"item","numeric-id":1097304,"id":"Q1097304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072955$E1B308CA-080D-426B-9639-F13F75B325F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c935ff43a9a7858553457251d381607e754177ca","datavalue":{"value":{"entity-type":"item","numeric-id":5525497,"id":"Q5525497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072955$FF396507-4FD6-47F4-9B4A-1D7EF7D926BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7f1aae69a83f31bd90ea5a68dc09b6bc12a590","datavalue":{"value":{"entity-type":"item","numeric-id":3027098,"id":"Q3027098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072955$48BE23AA-79AF-4BB6-87BB-984581A137A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cefff472e4940f494f7a4b6ecc427775c3bee0ac","datavalue":{"value":{"entity-type":"item","numeric-id":1227021,"id":"Q1227021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072955$10774E2B-EAEC-4271-A88B-51C19F3D9B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f45ac673b9d521b6f3f56f35919924ad5b6a033","datavalue":{"value":{"entity-type":"item","numeric-id":771034,"id":"Q771034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072955$8BCFCBC8-6BB2-410F-BFDB-3AB7194BE396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71ac7f1a56dbdad54856661e9d6234c636376df2","datavalue":{"value":{"entity-type":"item","numeric-id":5020690,"id":"Q5020690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072955$906A3894-C499-42D4-9F3B-8A7D3E9B8D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53bcb952678b509694bd6a2e6828be340f3598b5","datavalue":{"value":{"entity-type":"item","numeric-id":4119251,"id":"Q4119251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072955$45D729FF-3177-4B00-AA85-50BE8AC973AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a197a96126f645b4381289443b50c3a3b611ccf3","datavalue":{"value":{"entity-type":"item","numeric-id":4774104,"id":"Q4774104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072955$E2348616-4487-4AB7-8A32-DC7F26A20F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ea8c8f2fff9bb4ad8e7581a2b0a3acfb548d7d","datavalue":{"value":{"entity-type":"item","numeric-id":2648109,"id":"Q2648109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072955$BD579B6C-B39D-4AA0-B533-31D18208B05A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d1332aa6d557d5f8e014bbac1ae97c441261c87","datavalue":{"value":"10.5802/JTNB.1251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6072955$21C8D39C-E1AF-486F-92DA-C66DBAFE6484","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d0bccf3f766096097ca561f41380cb66a1c78f8","datavalue":{"value":{"entity-type":"item","numeric-id":4864921,"id":"Q4864921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bf37f3830ddf925173446fc8640aa3745a67d94","datavalue":{"value":{"amount":"+0.8621256351470947","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":"Q6072955$28DBAB52-1FED-485A-9D08-0661F47BCAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b15349d02d171f2015f0fa45043a3a5288daca9e","datavalue":{"value":{"entity-type":"item","numeric-id":1097304,"id":"Q1097304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4217304665dd93923f60f95ccec62095d588e95","datavalue":{"value":{"amount":"+0.8604881167411804","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":"Q6072955$C4316E6C-98D5-48CD-ADAE-9D2D2AB331A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dd1f692e0ce818362486cb1a57366702d5cbfc1","datavalue":{"value":{"entity-type":"item","numeric-id":1179504,"id":"Q1179504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e468123a145cb35989ad2df31638409c040173eb","datavalue":{"value":{"amount":"+0.8296968936920166","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":"Q6072955$8699B4C3-943F-4341-AC43-A7A029F49804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2154cc8a35207b7e61888976b3b979dad2455256","datavalue":{"value":{"entity-type":"item","numeric-id":1065065,"id":"Q1065065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e238b811a11a660aa3b2087c441cbf60e8956d19","datavalue":{"value":{"amount":"+0.8122366666793823","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":"Q6072955$B8588F6B-3D4C-4D92-ABDB-3104916B617D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a8b23dc58d217d89fcdd415098a4ba7104079dd","datavalue":{"value":{"entity-type":"item","numeric-id":3751661,"id":"Q3751661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"714fa45d309ef26e554768819f37548343e42488","datavalue":{"value":{"amount":"+0.7749635577201843","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":"Q6072955$487EBE34-4075-4F0C-BF53-577F19F39B2D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6a554977dfac80e46d734f83d88900a7dc80a6ee","datavalue":{"value":{"entity-type":"item","numeric-id":6830589,"id":"Q6830589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072955$E29ABF1D-7BAC-40D3-AFCD-EA20CCCD19CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6072955","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6072955"}}}}}