{"entities":{"Q2629077":{"pageid":2639820,"ns":120,"title":"Item:Q2629077","lastrevid":57965541,"modified":"2026-04-03T06:41:53Z","type":"item","id":"Q2629077","labels":{"en":{"language":"en","value":"A bound on the expected number of random elements to generate a finite group all of whose Sylow subgroups are \\(d\\)-generated"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6604454"}},"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":"Q2629077$F2A11ADE-472F-4DE8-9E84-6FDBBEA17777","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a47b4ac7296d4ede32e824fb5b49687b16a1db0","datavalue":{"value":{"text":"A bound on the expected number of random elements to generate a finite group all of whose Sylow subgroups are \\(d\\)-generated","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2629077$C3FF792C-8EAB-4CBA-86B4-095FFBF6301E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7955b20b5e3336664c951d0117c42dc8034a5bbd","datavalue":{"value":"1359.20043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629077$EB3F204C-DB10-4604-8CF7-477780E0ED85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cdb5f0cf207ca9d42a8491b4c3b819827170fbf","datavalue":{"value":{"entity-type":"item","numeric-id":314058,"id":"Q314058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629077$709AB111-685D-49AE-821F-87FCA804D1B5","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":"Q2629077$0B681E28-D26A-477F-BBB2-5572E909754C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7de22050ad332ce9003b551e654b6376f80362c","datavalue":{"value":{"time":"+2016-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2629077$C6A9FBDB-C887-4561-99A5-30557F6F96E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61223ec6f8d9880d3c459276dfb63e9e8a68a07b","datavalue":{"value":"https://arxiv.org/abs/1603.08098","type":"string"},"datatype":"url"},"type":"statement","id":"Q2629077$057F693A-4709-4B00-B68C-5EF22853880D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"646b5a0f2216f38e8aaecd1ebba7ec702d949b7e","datavalue":{"value":"If all the Sylow subgroups of a finite group \\(G\\) can be generated by \\(d\\) elements, then \\(G\\) itself can be generated by \\(d+1\\) elements.  This result has been proved independently by \\textit{R. M. Guralnick} in [Arch. Math. 53, No. 6, 521--523 (1989; Zbl 0675.20026)] and by the author in [Arch. Math. 53, No. 4, 313--317 (1989; Zbl 0679.20028)].  Given a sequence \\(x={(x_n)}_{n \\in \\mathbb{N}}\\) of independent uniformly distributed \\(G\\)-valued random variables, \\(\\tau_G=\\min\\{n \\geq 1 \\;| \\;G= \\langle x_1, x_2, \\ldots, x_n \\rangle\\}\\) denotes the minimum number of elements for the random generation of \\(G\\) and \\(e(G)\\) denotes the expectation of the random variable \\(\\tau_G\\). A probabilistic version of the above result can be formulated in terms of \\(e(G)\\) (see Theorem 1):  If all the Sylow \\(p\\)-subgroups (\\(p\\) prime) of (a finite group) \\(G\\) can be generated by \\(d\\) elements, then \\(e(G) \\leq d + \\eta\\), where \\(\\eta = \\frac{5}{2} + \\sum_{p \\geq 3} \\frac{1}{{(p-1)}^2}<3\\).  An accurate estimation of the term \\(\\sum_{p \\geq 3} \\frac{1}{{(p-1)}^2}\\) is possible, thanks to a recent result of \\textit{H. Cohen} [``High precision computation of Hardy-Littlewood constants'', Preprint]; in fact \\(\\eta \\simeq 2.875065\\dots\\).  As corollary (see Corollary 2), the author obtains that if \\(G\\) is a permutation group of degree \\(n\\), then \\(e(G) \\leq \\lfloor n/2 \\rfloor + \\eta\\).  Finally, the presence of the Haar measure allows an important extension of the original result to the infinite case, considering profinite groups, namely if all the Sylow subgroups of a profinite group \\(G\\) are topologically \\(d\\)-generated, then \\(G\\) is topologically \\((d+1)\\)-generated and \\(e(G) \\leq d + \\eta\\). A weaker formulation of this result is presented by the final Theorem 3.  The proof of the main result (Theorem 1) is divided into three lemmas, which use a series of important concepts of number theory, combinatorics, probabilistic group theory, and co-homology.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2629077$94C43071-D1CF-458B-9B1E-C38B476C38D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef9852cdcd91e46926999d497f49e0eb30ab1aec","datavalue":{"value":"20P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629077$CDD9C336-D27D-4747-ADBD-A1BFA9F831A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cb279cd820ee6d5f5647cc9befc318ac29106a8","datavalue":{"value":"20D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629077$E3234B48-AE15-4B12-95A0-E0E7215930C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ef7763c663249d52fb24c69b52f35da435fa9a3","datavalue":{"value":"20E18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629077$554AF2B0-0918-41D0-AA60-07C0D5587C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629077$83383EA3-C475-438B-9777-B1B290EDECC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2d052412dab80e0a06ca85eafbe06c5554f1f90","datavalue":{"value":"6604454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629077$F4FED104-7FFA-4E4E-A9E7-5CDA0885C454","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3504547fb49827a82a9453261232480fc3d36e08","datavalue":{"value":"Sylow subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2629077$3D78C87D-BE9E-4CC7-9D06-712EE2DE9BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a17d7d72ab70f059565b6fcf82fcda5cbcd18672","datavalue":{"value":"groups generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2629077$FB6E55FC-219F-41D6-9A52-4F92EF617C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"410a82a409ec144bb4db0386a9e20c9ab9df2a62","datavalue":{"value":"waiting time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2629077$BD77F440-FDCB-4DF5-A193-3B49B0F37058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8e3f7e0d18e9c7e5b9f5b19131aa549a1a707c3","datavalue":{"value":"permutation groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2629077$F78AC086-93CC-455F-ADE1-5CB69BF5628C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29918f72c296c734869d5d948a63605953b5f9af","datavalue":{"value":"profinite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2629077$C9D1D43B-B94A-4CBB-8474-3431C679B448","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"307b860b56301983aa7bcea6959840222b0af7e6","datavalue":{"value":{"entity-type":"item","numeric-id":317648,"id":"Q317648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629077$AC15D2A8-BD4E-4102-BDA1-240BE6E4BC88","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":"Q2629077$A03997BC-45B6-471E-BA46-E324C25707B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4227cafadf466f0f8724c69c9bd77d147fb03425","datavalue":{"value":"W2331737724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629077$78DB352D-467D-4970-8BD3-D3A659091CD6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f78a2eb2ce1c7dec016fda1bb05e21fc75a0ca","datavalue":{"value":{"entity-type":"item","numeric-id":5710757,"id":"Q5710757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629077$F63FDCC1-A86C-4D0A-8E91-DCBB1B5703E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07db5d9d443b5d4b2edd7761e49422c74809a4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5620726,"id":"Q5620726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629077$FCA3CF66-C366-4721-8372-F4F5D5EFEB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de13ff787d9da7a435be47aba324016752c2115","datavalue":{"value":{"entity-type":"item","numeric-id":772381,"id":"Q772381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629077$BFEB8EB4-D830-4E53-B933-F82EE2D6D7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"678d09f89b242094be3098773512c7508b93af8f","datavalue":{"value":{"entity-type":"item","numeric-id":5903979,"id":"Q5903979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629077$1668B7F6-F340-45F9-80C1-EDF6132C6500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ba7c519e285bc55eab68e3fdcbdc725a5a0329b","datavalue":{"value":{"entity-type":"item","numeric-id":4385464,"id":"Q4385464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629077$D5A55812-7336-4070-9064-C6BEFB6AD735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99df6bd380a475c3215724b123944578353ed9b7","datavalue":{"value":{"entity-type":"item","numeric-id":2639170,"id":"Q2639170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629077$976EF711-212B-42E3-BA01-482CEFDE5A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839006f3a7c27f1a480041a5d84c9cee11f74407","datavalue":{"value":{"entity-type":"item","numeric-id":1822608,"id":"Q1822608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629077$B33DB006-C9AF-4584-9109-A884F3A4B632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6455548521af99c5c1af7e714c3e183550e495a5","datavalue":{"value":{"entity-type":"item","numeric-id":1858260,"id":"Q1858260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629077$B67FA658-DD2E-4F5E-AD5C-D83D6819D8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1817bdef7c23db110fcaaeb671f787ad19c0ba68","datavalue":{"value":{"entity-type":"item","numeric-id":1873280,"id":"Q1873280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629077$792CCA69-830F-4778-8A16-5752D9FE8D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6469585358fb24acc28c1deeaad99a53f1919ec3","datavalue":{"value":{"entity-type":"item","numeric-id":1822620,"id":"Q1822620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629077$AE08FB77-02EC-4AC5-88AD-8D0A45FD4857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c69c19718a0a29bb01d1ac3f074c2643849d8b1","datavalue":{"value":{"entity-type":"item","numeric-id":314490,"id":"Q314490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629077$63C1B9B2-7FEE-48C5-84DB-D31920186BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1fbc7fda45358acc8101fda42964a80672fb1a9","datavalue":{"value":{"entity-type":"item","numeric-id":5948361,"id":"Q5948361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629077$DC2B0E61-5AB7-4A78-ABA5-93B589AB8119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b20edcb91908d60dd08d1d5f5f077ee734d9710","datavalue":{"value":{"entity-type":"item","numeric-id":1245315,"id":"Q1245315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629077$362B9C99-9870-4C2A-84A4-9CAEBF96AEFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6eb7eccab3dbf5cb24e89a95ea30ea64da1daa33","datavalue":{"value":"10.1007/S00013-016-0917-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629077$460C62C0-18EE-4395-B0F1-7A60696FB07F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c4570a17ce56c79d0139827fc29c98735472e6a","datavalue":{"value":{"entity-type":"item","numeric-id":1627604,"id":"Q1627604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"990915a3d1c5364d658102a8287f6408e25016ee","datavalue":{"value":{"amount":"+0.908801019191742","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":"Q2629077$C175F4B1-EF1C-4F65-9BC4-426F961D53D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d698659eaacfa57820b1a0e56940b1258a2acf0","datavalue":{"value":{"entity-type":"item","numeric-id":1860697,"id":"Q1860697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b20019c3fd314d482d172a9d5698e6ed018900e","datavalue":{"value":{"amount":"+0.8404836654663086","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":"Q2629077$F5744877-4CA9-4865-B01E-23AB3094A96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"688bf696146b1277422d3f5c0e46649ce75b9837","datavalue":{"value":{"entity-type":"item","numeric-id":1858260,"id":"Q1858260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab1a1cbba40213adab6da3675707f9a71a151650","datavalue":{"value":{"amount":"+0.8404000401496887","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":"Q2629077$7B7E002E-1F4C-4F3E-A07B-F249CDD3D8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bbf6ae1757b3ef8bf1a2428b730fa4f2f98b560","datavalue":{"value":{"entity-type":"item","numeric-id":640754,"id":"Q640754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f871c12f977e26ded4db4faee04b2a52809cba0","datavalue":{"value":{"amount":"+0.8190534114837646","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":"Q2629077$BBA631D6-D71E-4737-A663-0F4D39D06357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92c9ba30076a2374e35bb003cb0203230b7df8f3","datavalue":{"value":{"entity-type":"item","numeric-id":1881572,"id":"Q1881572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c1c0982d4ac8e52f3ccb99fe3c1b118c51d1eef","datavalue":{"value":{"amount":"+0.8165432810783386","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":"Q2629077$95844868-BAE6-433B-9D8D-84452D8509D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2629077","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2629077"}}}}}