{"entities":{"Q1881572":{"pageid":1892314,"ns":120,"title":"Item:Q1881572","lastrevid":69066567,"modified":"2026-04-13T04:20:26Z","type":"item","id":"Q1881572","labels":{"en":{"language":"en","value":"The probability of generating a permutation group."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2106491"}},"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":"Q1881572$A93507D8-2A58-4E50-B71C-69261678B550","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fe792881b2bb620f6ca1c27bed932141194bb1b","datavalue":{"value":{"text":"The probability of generating a permutation group.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1881572$B060442B-9E78-4B6D-BE18-31D2F1565024","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4219fd23c950adc4eb5cadd73f3e61f2889a4dc","datavalue":{"value":"1059.20065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1881572$76665B0B-7AB8-4CA2-8669-ABCD75A038BF","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":"Q1881572$B8F6258C-F7A7-4B2B-BE8C-D87B8BCAB3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2ec37e112ba59aae310ee6ee151721a56e49669","datavalue":{"value":{"entity-type":"item","numeric-id":370814,"id":"Q370814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881572$89D26954-2CE9-4A98-BABF-A2360198E9C8","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":"Q1881572$B9C13A12-ECD2-43CF-9703-9F0B254BFB15","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e008ba3f04b100d6c883567cdf6dbc440a552988","datavalue":{"value":{"time":"+2004-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1881572$FE359D1E-2C15-4C1D-86E0-AD58B4B864AF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2295e02c7222c325a49ab416c91d2eadfa7e4f63","datavalue":{"value":"For every finite group \\(G\\), let \\(P_G(t)\\) denote the probability that \\(t\\) elements chosen at random from the group generate \\(G\\). Clearly \\(P_G(t)\\leq P_{G/K}(t)\\) whenever \\(K\\) is a normal subgroup of \\(G\\). It is known that the minimal number \\(d(G)\\) of generators of a group \\(G\\) is at most \\(\\lfloor n/2\\rfloor\\) for every permutation group \\(G\\) of degree \\(n\\) [see \\textit{A. McIver} and \\textit{P. M. Neumann}, Q. J. Math., Oxf. II. Ser. 38, 473-488 (1987; Zbl 0627.20014) and \\textit{P. J. Cameron, R. Solomon} and \\textit{A. Turull}, J. Algebra 127, No. 2, 340-352 (1989; Zbl 0683.20004)].   The main result of the present paper is the following (where \\(G/O^2(G)\\) is the largest \\(2\\)-factor of \\(G\\)):  \\[ \\lim_{n\\to\\infty}\\sup_{G\\leq\\text{Sym}(n)}\\{P_{G/O^{2}(G)}(\\lfloor n/2\\rfloor)-P_G(\\lfloor n/2\\rfloor)\\}=0. \\]  From this is deduced that  \\[ \\lim_{n\\to\\infty}\\inf_{G\\leq\\text{Sym}(n)}P_G(\\lfloor n/2\\rfloor)=\\prod_{i=1}^\\infty(1-\\tfrac 1{2^i})=0.2887\\dots. \\]  The proof is based on methods of an earlier paper [\\textit{E. Detomi, A. Lucchini} and \\textit{F. Morini}, Isr. J. Math. 132, 29-44 (2002; Zbl 1042.20046)] and a result of independent interest: there is a constant \\(\\alpha<\\tfrac 12\\) such that if \\(G\\leq\\text{Sym}(n)\\) then \\(d(G/R(G))\\leq\\alpha n\\) where \\(R(G)\\) is the solvable radical of \\(G\\). The permutation groups of degree \\(n\\) which require \\(\\lfloor n/2\\rfloor\\) generators are also described (they are certain \\(\\{2,3\\}\\)-groups whose orbits are all of length at most \\(8\\)).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1881572$A54DFDA0-CD81-4AFB-BC77-90963ED07062","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bac883d785667a63a92fc8927c00d4d1184f1321","datavalue":{"value":{"entity-type":"item","numeric-id":590084,"id":"Q590084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881572$40A43DF7-636B-4F02-AB02-692868FFAFDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef9852cdcd91e46926999d497f49e0eb30ab1aec","datavalue":{"value":"20P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1881572$45532616-BD71-458C-85BD-6D88D84F405D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1881572$443805FC-89E5-4305-B1A2-2EBB8105410C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e44886d86b7e4edd90303c512458ec5cc0ca9f79","datavalue":{"value":"20F69","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1881572$52BA14AC-CB01-479F-806E-B45B041A5DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"99162f665c9ec138d28e4bea8a477540421995b7","datavalue":{"value":"20B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1881572$BE918DF5-278F-4D9B-8193-D95D69C4231C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6da46999e653079cdc32a2dfaf32bdce64c83d16","datavalue":{"value":"2106491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1881572$3A740C7B-2D60-4A4E-8EB9-5083EE185F90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8c36a534b34732dad3013e32494369f3d9230f9","datavalue":{"value":"numbers of generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1881572$6347B36F-ABBC-4C7B-A4D2-506B8A90B7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a84bf2d1dcde9be043284da3e16d175eebccbe2","datavalue":{"value":"random elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1881572$22B9A3F8-0217-4300-9F43-CBB56CB989DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2de20ff2e0e5d9e1e75e5e2f6cf0d1fe7c69b8f9","datavalue":{"value":"subgroups of symmetric groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1881572$1CD8892D-C382-4961-B459-32BC5480AE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b964871f8e40d7c65bcd8cad60fac8486ccb700","datavalue":{"value":"finite permutation groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1881572$6B8DE58E-91E3-42C4-8AF5-6E7E27ACC70A","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":"Q1881572$633932F5-0414-4F58-86B2-0964F7DB9289","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e844c59d3e03c002101ef3af3aaf4969d6066a9","datavalue":{"value":"https://doi.org/10.1007/s00013-004-0808-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1881572$8AB03B64-527D-46B2-94A4-F44CBF141327","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a7abb07ce306af434eff89889e118dd1f3edc4d","datavalue":{"value":"W2005866873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1881572$FA138CE9-3F18-42C6-B69E-14BF3F026F3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2803ee7ddf734ab8729a4731b28c7a964c908b01","datavalue":{"value":"10.1007/S00013-004-0808-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1881572$D0DBA79C-3239-413B-B369-7413ECCA55FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ba48d7e2e703f0cbb3821a27802cf8cc0935132","datavalue":{"value":{"entity-type":"item","numeric-id":633172,"id":"Q633172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"201ae08487593f00fc8e563cf1610083d628738f","datavalue":{"value":{"amount":"+0.8880239725112915","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":"Q1881572$B0A160E1-0E3E-4828-85CB-C20754DF495C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce355fe3ed63ca754541fc0f79314af6ebbdad79","datavalue":{"value":{"entity-type":"item","numeric-id":5916480,"id":"Q5916480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56b0cc1d0ddaf8e7edc68fc7acb042ffcbc51677","datavalue":{"value":{"amount":"+0.8854832649230957","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":"Q1881572$48CA6084-58A5-44AD-A470-0936428D3C97","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":"6911cfca2cd9735f6527f21bcb93ac31233a6f02","datavalue":{"value":{"amount":"+0.8833344578742981","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":"Q1881572$684785D4-EC85-4C56-8408-AB6C3BD2AF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75797573d3b356a0b67286071a38c5f0d4d326e4","datavalue":{"value":{"entity-type":"item","numeric-id":3436059,"id":"Q3436059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e473c24a88e6ba82369703c4c7e830c81ba3ce","datavalue":{"value":{"amount":"+0.8715970516204834","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":"Q1881572$0A02BC2F-0BBD-44CD-865E-C8E2F7E9BD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f157375673a4f3d9eda55c12f2b51a5e679449b1","datavalue":{"value":{"entity-type":"item","numeric-id":2438897,"id":"Q2438897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b6a334687cdd723fce73b5f65dc25fe796ba854","datavalue":{"value":{"amount":"+0.8694832921028137","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":"Q1881572$5BC0C5F1-121B-48A8-9523-0E358E00E819","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The probability of generating a permutation group.","badges":[]}}}}}