{"entities":{"Q6564874":{"pageid":14176029,"ns":120,"title":"Item:Q6564874","lastrevid":55699903,"modified":"2026-02-17T21:16:22Z","type":"item","id":"Q6564874","labels":{"en":{"language":"en","value":"The Groups and Nilpotent Lie Rings of Order             <i>p</i>             <sup>8</sup>             with Maximal Class"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7873971"}},"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":"Q6564874$9BE0700C-783E-46CA-85BD-247A6680DA54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3c5a708f414ef1d980f84f331f5f1efdb07557a","datavalue":{"value":{"text":"The Groups and Nilpotent Lie Rings of Order             <i>p</i>             <sup>8</sup>             with Maximal Class","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6564874$84DB10FB-75B9-4897-BB3E-E96D353F2301","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fb5c379d1d5287f2d4d3173618bf9a60b07845e","datavalue":{"value":"1542.20092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564874$423356B9-7A80-4F34-81DC-B1E6BA4F605F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27df2a1d8c1730c4d642218be6837cc9671a5544","datavalue":{"value":"10.1080/10586458.2022.2062074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564874$7B5318C4-D85C-4F0D-B50D-DB6E7C965F94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afa6d9b6f7979cc232f566270c48940ff23162f1","datavalue":{"value":{"entity-type":"item","numeric-id":324240,"id":"Q324240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564874$0C5BBD57-F9C6-4701-B80F-51D3F319489E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"620569786fadff7be8d7772eba7f15bf5002145e","datavalue":{"value":{"entity-type":"item","numeric-id":435964,"id":"Q435964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564874$FF76A4A0-CAEB-4CFA-97EC-683B9F5A69D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8ce533b63d10b7f2de5da010e89f9963c037687d","datavalue":{"value":{"entity-type":"item","numeric-id":2706533,"id":"Q2706533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564874$B3A5A821-53DC-4535-984F-04EF3A3DC59A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ad38fe45e736da7b933e7fb9aab0b9eb039636d","datavalue":{"value":{"time":"+2024-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6564874$90B04A79-9CEB-4FAC-A3AD-248429AD2198","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b4ba3d5a7b88d4e91b6b762ce7d735284e2461cf","datavalue":{"value":"Let \\(p\\) be a prime number an let \\(f(p,n)\\) be the number of isomorphism classes of groups of order \\(p^{n}\\). In 1960, \\textit{G. Higman} wrote two important papers [Proc. Lond. Math. Soc., III. Ser. 10, 24--30 (1960; Zbl 0093.02603); Proc. Lond. Math. Soc., III. Ser. 10, 566--582 (1960; Zbl 0201.36502)], in which he conjectured that \\(f(p, n)\\) is a PORC (\\(\\mathsf{P}\\)olynomial \\(\\mathsf{O}\\)n \\(\\mathsf{R}\\)esidue \\(\\mathsf{C}\\)lasses) function of \\(p\\) for each positive integer \\(n\\). A function on primes is PORC if and only if it is PORC on all but finitely many primes, because the finitely many primes can be incorporated by multiplying them with the modulus of the residue classes. Thus, the conjecture can be reformulated as stating that \\(f(p,n)\\) is a PORC function of \\(p\\) for all sufficiently large \\(p\\).\\N\\NHigman's  PORC conjecture was proved for \\(n \\leq 7\\) (for the case \\(n=7\\), see the paper of \\textit{E. A. O'Brien} and the second author [J. Algebra 292, No. 1, 243--258 (2005; Zbl 1108.20016)]). The reviewer points out that evidence was found in [\\textit{M. du Sautoy} and the second author, J. Algebra 361, 287--312 (2012; Zbl 1267.20025)] that the PORC conjecture is not valid for \\(n \\geq 10\\).\\N\\NLet \\(m(p,n)\\) be the number of groups of order \\(p^{8}\\) with maximal class. In the paper under review, the authors prove that \\(m(p,n)\\) is a PORC function for \\(p \\geq 11\\). To do this, they first prove Theorem 1.1: For \\(p \\geq 5\\) the number of nilpotent Lie rings of order \\(p^{8}\\) which have maximal class is\\N\\[\\N4p^{3}+7p^{2}+9p+6+(6p+11)g_{3}+ 4g_{5}+(p+2)g_{7}+(p+3)g_{8}+2g_{9}+g_{12},\\N\\]\\Nwhere \\(g_{i}=\\gcd(p-1,i)\\). Therefore, they apply the Lazard correspondence [\\textit{M. Lazard}, Ann. Sci. \u00c9c. Norm. Sup\u00e9r., III. S\u00e9r. 71, 101--190 (1954; Zbl 0055.25103)] between \\(p\\)-groups and nilpotent Lie rings.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564874$EFA5F2F6-A974-415D-A6B9-975755071471","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5bfd82087b720927b1a296c318191d7cfc2aac2e","datavalue":{"value":{"entity-type":"item","numeric-id":284097,"id":"Q284097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564874$9BA427ED-30F2-4845-8976-6791064D5349","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"677f074949b6912a3d5be9a52164e3a800597639","datavalue":{"value":"20D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564874$BC797638-AAE0-4A65-8020-95921BD92621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02b7f81904478f2ff25bed8a8c2f4d9c04176fef","datavalue":{"value":"17B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564874$27A786A0-D9B4-4A2E-A7DE-BE0B2623C638","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63d0ce7ac230b1e8859145d3ec6191715ea64ac8","datavalue":{"value":"7873971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564874$76E60313-3E90-4045-AF84-F764D86409AD","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":"Q6564874$7BA513A7-2D4D-47B3-B807-B1D39DD40917","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8115e62a2529597ace56149bb406022de0d405c","datavalue":{"value":{"entity-type":"item","numeric-id":1517816,"id":"Q1517816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564874$602330B8-CBAF-4CBF-A14C-62DDF519A73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea299db671043b115c21affd33fac9b24ca4b56","datavalue":{"value":{"entity-type":"item","numeric-id":4791994,"id":"Q4791994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564874$0E0B203E-3FD6-44B1-AC96-DB87A1721C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd0d318899f6d495f4481731f0306e3c8c43504b","datavalue":{"value":{"entity-type":"item","numeric-id":1369784,"id":"Q1369784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564874$0EC620CC-0A19-4294-9845-B7F4479FE838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeab9ebe28c11935ed02fb4d8119d6bc77f3479d","datavalue":{"value":{"entity-type":"item","numeric-id":3503970,"id":"Q3503970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564874$EC139A12-3C65-4680-A685-9789D4F3E506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afded5a31f1b08cdd46dde8a8a4542c126883eae","datavalue":{"value":{"entity-type":"item","numeric-id":5599238,"id":"Q5599238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564874$35820DC3-52A0-4914-9B3F-B330F516046C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebdf7371c3e24b332fff728fe79d2c9ec23cc00b","datavalue":{"value":{"entity-type":"item","numeric-id":1879674,"id":"Q1879674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564874$CDE98A28-404D-4680-9434-2BC4093E610F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a30947bd4814813cfb06a1d2b1146623210b4fdd","datavalue":{"value":{"entity-type":"item","numeric-id":1813916,"id":"Q1813916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564874$8FAB0B9F-B1B8-4377-AF40-5ACB2C8B7464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25407a2e16e2a7199515ed44b4c0265ccf5e182f","datavalue":{"value":{"entity-type":"item","numeric-id":2576202,"id":"Q2576202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564874$3EEC71D7-E9EA-44D2-9CB5-EAE30B0687C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd0c8bdf2efd7b95ba2c9df2d3f0408a2924999","datavalue":{"value":{"entity-type":"item","numeric-id":5853469,"id":"Q5853469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564874$06F62F56-0F17-4309-B9BD-BB4CE6419DE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2230ecff964e4971666e1fd340a1be028557628a","datavalue":{"value":{"entity-type":"item","numeric-id":444037,"id":"Q444037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f138708c7eca7cdda6f963b81cde88ca7a3f5afd","datavalue":{"value":{"amount":"+0.7474545240402222","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":"Q6564874$F8B47C46-0895-4C4C-9448-8C2A3C5FB16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33b83a17b15586486364231d58c2f1b91ad4b7cd","datavalue":{"value":{"entity-type":"item","numeric-id":1879674,"id":"Q1879674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6fd1d0782869176d2000f7758a317af975f797a","datavalue":{"value":{"amount":"+0.7417346239089966","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":"Q6564874$13313216-4FDC-45D8-BE08-0F7291801029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"592fd69ffdc0adfddf45bb968713cdf95144247d","datavalue":{"value":{"entity-type":"item","numeric-id":1984760,"id":"Q1984760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"277dde08adc5c9699b8359b071210bf53d2743e5","datavalue":{"value":{"amount":"+0.735028862953186","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":"Q6564874$692DD131-99DC-412C-B7A1-8E466439D041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d42e6bc14b556915ff2044ad30f8416bcc25a36","datavalue":{"value":{"entity-type":"item","numeric-id":324241,"id":"Q324241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e52857996c2bbea22fad350a11bd6e5f1bdf7111","datavalue":{"value":{"amount":"+0.7342963218688965","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":"Q6564874$A6CDDF2A-C754-4D72-9A95-D4CB3380CEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d28a5600c3dfc61b63a70c69325722c900ed86ef","datavalue":{"value":{"entity-type":"item","numeric-id":1570357,"id":"Q1570357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bbba65603d4ba8a92b97107182d9137b46f4a34","datavalue":{"value":{"amount":"+0.7327911257743835","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":"Q6564874$331AB963-27DE-4FDC-BB7A-6BFF05224130","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6564874","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6564874"}}}}}