{"entities":{"Q6541391":{"pageid":14152534,"ns":120,"title":"Item:Q6541391","lastrevid":57186120,"modified":"2026-03-27T10:13:42Z","type":"item","id":"Q6541391","labels":{"en":{"language":"en","value":"Dixon's asymptotic without the classification of finite simple groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7851003"}},"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":"Q6541391$ED16EF77-99E7-408D-ACA8-F48676434712","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2276fdb666da4e1d864db7d092dcb170d18ba560","datavalue":{"value":{"text":"Dixon's asymptotic without the classification of finite simple groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6541391$6043E6AE-709A-47F9-BA62-1EC1DA148EDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03f7eef53dc2fe7dee206a7d4e981af863a67612","datavalue":{"value":"1540.20006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541391$D756E0B7-F03E-47F1-8B07-BF01C70535AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a126e8b5530d99f0b836d0c84f3d0bc8609bf43","datavalue":{"value":{"entity-type":"item","numeric-id":742909,"id":"Q742909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541391$1AEEE526-583C-472D-B805-668617FA503A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"607ae7f7d11ced7a8909533172911c64cec6dcc4","datavalue":{"value":{"entity-type":"item","numeric-id":6486797,"id":"Q6486797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541391$43B4AE87-A615-4CEC-BEB3-91079B8A8D22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5058b142e80716c010ccd8a59c73f958f0c0be23","datavalue":{"value":{"time":"+2024-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6541391$F14D5035-F42E-48B9-85A4-C43A667E18B7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2286d0af219901caf5228863c004cbe1e3e8f19a","datavalue":{"value":"Let \\(p_{n}\\) be the probability of the event that a pair of random permutations of a set of \\(n\\) elements (chosen with uniform probability from the \\((n!)^{2}\\) cases) generates the alternating group \\(A_{n}\\) or the symmetric group \\(S_{n}\\). \\textit{J. D. Dixon} [Math. Z. 110, 199--205 (1969; Zbl 0176.29901)] proved that \\(p_{n}>1-2(\\ln\\ln n)^{-2}\\). \\textit{L. Babai} [J. Comb. Theory, Ser. A 52, No. 1, 148--153 (1989; Zbl 0685.60012)] has improved Dixon's bound to \\(p_{n}=1-n^{-1}-O(n^{-2})\\), but its proof depends on consequences of the classification of the finite simple groups (CFSG).\\N\\NIn the paper under review, the author gives a CFSG-free proof of the following result (Theorem 1): Let \\(G\\) be the subgroup of \\(S_{n}\\) generated by two random elements. The probability that \\(G\\) is contained in a primitive subgroup of \\(S_{n}\\) smaller than \\(A_{n}\\) is bounded by \\(\\exp(-c \\sqrt{n \\ln n})\\) for some \\(c>0\\). This improves the results obtained by the author and \\textit{S.-C. Virchow} in [Combinatorica 39, No. 2, 273--288 (2019; Zbl 1438.20003)].\\N\\NBy combining Theorem 1 with the results of [\\textit{J. D. Dixon}, Electron. J. Comb. 12, No. 1, Research paper R56, 5 p. (2005; Zbl 1086.20045)], the author proves Corollary 2: The probability that two random elements of \\(A_{n}\\) generate the group is\\N\\[\\Np^{\\ast}_{A_{n}}=1-\\frac{1}{n}-\\frac{1}{n^{2}}-\\frac{4}{n^{3}}-\\frac{23}{n^{4}}-\\frac{171}{n^{5}}-\\frac{1542}{n^{6}}-\\ldots\\N\\]\\NThe same asymptotic expansion is valid for the probability that two random elements of \\(S_{n}\\) generate at least \\(A_{n}\\).\\N\\NFor the coefficients in the asymptotic expansion of \\(p^{\\ast}_{n}\\) see sequence A113869 in [\\textit{J. Sloane}, The on-line encyclopedia of integer sequences, \\url{http://oeis.org}].\\N\\NThe reviewer remark that if \\((x,y)\\) is a pair of permutations generating \\(A_{n}\\) or \\(S_{n}\\), then, since \\(\\frac{3}{4}\\) of all such pairs contain at least one even permutation, the probability of generating \\(S_{n}\\) is roughly \\(\\frac{3}{4}p_{n}\\). The same argument applied to Corollary 2 shows that the probability that two random elements of \\(S_{n}\\) generate \\(S_{n}\\) is \\(p^{\\ast}_{S_{n}}=\\frac{3}{4}p^{\\ast}_{A_{n}}\\). Moreover Dixon [loc. cit.] proves that \\(p_{A_{n}}^{\\ast}\\) is also the probability that a random pair of elements from \\(S_{n}\\) generates a transitive group.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541391$A4CB41D0-FF89-410E-A0DC-EC229230A9B1","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":"Q6541391$A8219E93-FE73-4910-A310-B02161097602","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa3a0cd38ea582d702916ee49599e832f201d954","datavalue":{"value":"20B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541391$723BC7D1-93E2-4774-A0DD-8C92386653B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef9852cdcd91e46926999d497f49e0eb30ab1aec","datavalue":{"value":"20P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541391$13074D5E-9304-42BE-A30A-4A0623784189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b85c221f9847adc30512692a640a50dd4e3d1cb","datavalue":{"value":"05A16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541391$EFD95F97-61D5-45FE-B739-5FFAEBBD5B4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9e08df8e00a21717a7947f6637a9378f684fd2e","datavalue":{"value":"7851003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541391$51325866-B759-488E-B2E3-8616814DB8BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff8569446bd291eb33e407f9f145d17e7d64b77f","datavalue":{"value":"alternating group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541391$ED781376-21BA-4CBE-B7C7-D569E508A297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38d830dae6f5ce906f6d20604a81e37d7574c069","datavalue":{"value":"symmetric group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541391$0A663E89-9896-42CC-BD2E-43821904BD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e246274baa490824aa164192e6b49fc2883ccd3b","datavalue":{"value":"primitive group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541391$3A45F08A-DAAD-4866-A0BD-1614DC14E653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6302409ec09fdeadc6bb9a580f9aea6765769730","datavalue":{"value":"random generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541391$5DCE28FA-4DD5-421F-9FA7-4CABD0716C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09c19b9bea394f808f0938730cc6b46d57703bd8","datavalue":{"value":"CFSG","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541391$1137C930-3ACE-4B45-ABF7-A2DAB8FBD57D","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":"Q6541391$2CC72AD1-E974-4F0E-82D6-19D2B53E7DA8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"634d7c30e3f5e5a28958894c04bce229d6650945","datavalue":{"value":{"entity-type":"item","numeric-id":1164133,"id":"Q1164133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541391$A74B7BF3-4DE5-49C3-9C20-C397FB43A023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6766db003c7ba56e68e2e81e4c392ce67e6a22a1","datavalue":{"value":{"entity-type":"item","numeric-id":1160712,"id":"Q1160712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541391$2599339B-CB78-405A-807D-7834F0B54639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f9393c256afbc612ad321dc09ece20b43ee8b0","datavalue":{"value":{"entity-type":"item","numeric-id":5916480,"id":"Q5916480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541391$C27B78E1-A8A9-407C-8909-578D1F823D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"313ff862901b6df8b9accb395ac76ff1bbe0fe43","datavalue":{"value":{"entity-type":"item","numeric-id":2583656,"id":"Q2583656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541391$56BC1CCF-1506-418A-A4AC-49E0AAD3686E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad6ff2d4f5075e1ee658818e0783754d01076a88","datavalue":{"value":{"entity-type":"item","numeric-id":2073762,"id":"Q2073762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541391$98412691-39B0-443F-83B5-A2DC35340D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7fa9fdce4b3f221964e3da60ac79b090bfdbbe1","datavalue":{"value":{"entity-type":"item","numeric-id":5919604,"id":"Q5919604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541391$38C73C54-C415-40BE-B893-B7DF61483623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32d626eabb14eb99914bd64d950c10b8b267efff","datavalue":{"value":{"entity-type":"item","numeric-id":3055767,"id":"Q3055767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541391$3B5B56CF-8BB9-4002-BD5E-18BD449DBACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50469f744cb0e1b37c1818b150b451e3a0b387b3","datavalue":{"value":{"entity-type":"item","numeric-id":1803878,"id":"Q1803878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541391$C4BCB6C9-A518-48C1-B077-2D58AE2A2C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5adc9746c8954123a9c408344b1df82cc38deee","datavalue":{"value":{"entity-type":"item","numeric-id":2941564,"id":"Q2941564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541391$DC077DDD-7283-4533-B80D-13DC1C340F7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d01b8b81519178f6a879503a28d547351b1cc8e","datavalue":{"value":"10.1002/RSA.21205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541391$6C80ECB8-9FA8-4DD1-A67D-12B659D36A94","rank":"normal"}],"P1643":[{"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":"a13e1c0daa79d19cdbbac003bfd0aafe5ebd7e76","datavalue":{"value":{"amount":"+0.8736989498138428","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":"Q6541391$A149E0DA-F950-4F33-955C-7910A690BEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abcd3644da5cd451064c07d627ab50246b139711","datavalue":{"value":{"entity-type":"item","numeric-id":2639170,"id":"Q2639170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af5ecabe4aedc149e87eef44bc765a1cb06dfc32","datavalue":{"value":{"amount":"+0.8527336120605469","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":"Q6541391$F015B4D3-43B1-4556-AC6F-753FEE185B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40dc944ccbe14257e05007ad87c59f53b7cb5442","datavalue":{"value":{"entity-type":"item","numeric-id":1306842,"id":"Q1306842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87927b9c5aaff787d93303ff1b981a2bebda907c","datavalue":{"value":{"amount":"+0.8440456986427307","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":"Q6541391$AF805F4C-A6CC-4343-955A-29B49E4D3F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"841f7cf17f5b0d33a03d4f30070c089b329d7184","datavalue":{"value":{"entity-type":"item","numeric-id":5919604,"id":"Q5919604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519862abeb7b6ef8d8a5869f632cc3d34f5e8b56","datavalue":{"value":{"amount":"+0.8349952697753906","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":"Q6541391$0A7F5421-1D3A-429B-9C42-6D33CF08552F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6baf80145e008f257ee7519430445932a4bde3","datavalue":{"value":{"entity-type":"item","numeric-id":4399264,"id":"Q4399264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c3e275337fcfd8dc4b9c0ab7394f5df2d0a8da5","datavalue":{"value":{"amount":"+0.8307461142539978","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":"Q6541391$A4BE81A5-9863-434C-BA3C-BEC6E3D0B38F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541391$6E2C8FBA-5715-42D6-8A43-A9134EB692BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6541391","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6541391"}}}}}