{"entities":{"Q4270318":{"pageid":6299919,"ns":120,"title":"Item:Q4270318","lastrevid":108524783,"modified":"2026-11-06T20:11:51Z","type":"item","id":"Q4270318","labels":{"en":{"language":"en","value":"On Sims' presentation for Lyons' simple group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1361361"}},"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":"Q4270318$EFEB1887-83E6-4696-8E3E-83A3BB7C7599","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a72f38a2a792df41db2b597cb0c2960ebe37331c","datavalue":{"value":"0936.20012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4270318$EDD5866C-D129-492E-B884-A3C988013D6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd614902961a3a2c3e6c2e68ca81e1de57a965b1","datavalue":{"value":{"entity-type":"item","numeric-id":169345,"id":"Q169345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4270318$62F31C6D-C613-46CE-ADEA-FE3E5EE526A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf94dcc4990ebd8fdadb121f50602061215ca424","datavalue":{"value":{"entity-type":"item","numeric-id":606654,"id":"Q606654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4270318$FE4108FC-E6D1-47A5-9873-ADBCA65F6F33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ff6f78d2c46342fc5d8d801323510e9e41b4f43","datavalue":{"value":{"time":"+2000-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4270318$2B0D15D6-6BCD-4AE6-993F-33178C746778","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"760e7e883b324f8e9ca39536dab668d9184172e8","datavalue":{"value":"20D08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4270318$4A30FA9E-1153-40FC-B80A-7278ECC00742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4270318$E1FD110B-BEE2-4D92-99E3-6F478C9F64A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ac1dafab2cb163643c64b3cf5c7678542cb29be","datavalue":{"value":"20B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4270318$AE6BC991-55D1-4F63-9C0F-35C15E4A55E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b69c83d646e03ec923119b69a0aea164aded62a4","datavalue":{"value":"1361361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4270318$E2D28877-CC1B-4440-92D5-3081F8C103ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc17530683f05aacef7e862f12bdb2dce0ac1ceb","datavalue":{"value":"generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4270318$5B56A14D-DD7C-43EC-A4B2-29B30D18E7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94972d89ba4503b868daad8e0a5b1c846954d436","datavalue":{"value":"relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4270318$3E7A79F9-383E-4979-9942-31843FCC4E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54af488784cfc026db71dc07ce8a0845793066bc","datavalue":{"value":"Lyons group","type":"string"},"datatype":"string"},"type":"statement","id":"Q4270318$4F13EEB3-9127-40D8-8E0F-A471B898108B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"710a701d64a620583f81e7e6334d16743d3b8eaa","datavalue":{"value":"existence proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4270318$96042D67-1979-42FE-919C-D8784061C5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb3ad4460b63cc91fca450a2edc82190bac07e90","datavalue":{"value":"permutation representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4270318$792CD0F7-1C2E-49C0-A0FC-FFCDCE1CEA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48056913cba4d6d344d0ae8ace1e3868044bfc6d","datavalue":{"value":"strong generating sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4270318$9B7444EB-5224-4DC6-BB0D-2784B3D36936","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":"Q4270318$1496EBE2-69C0-4046-A02E-316EC5C51046","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b23f8d8f53c0e1b463b6d5db37d51b736f58119","datavalue":{"value":{"entity-type":"item","numeric-id":4270319,"id":"Q4270319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b82774fe697188b99d82be6baeb268c51803f39","datavalue":{"value":{"amount":"+0.748656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4270318$D487676D-4FF3-4069-AE73-E75A86232818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f250f397c5e761c5974d51b2f7a1ab2bb03228a","datavalue":{"value":{"entity-type":"item","numeric-id":5928890,"id":"Q5928890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7439df6816f738288a4a550cd9b68b2365c16e47","datavalue":{"value":{"amount":"+0.7299004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4270318$3DD7B32B-9A39-46A7-BF01-D2A5DE3674AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c827d857e5d33d4c7d12bf25e7404902bd6a803e","datavalue":{"value":{"entity-type":"item","numeric-id":4396496,"id":"Q4396496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"721b8d721208f0bbcad93393fd1f491141b0f8ba","datavalue":{"value":{"amount":"+0.72502446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4270318$81CA0180-C455-4529-9F64-9C67D8E028B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2530a7be762de68d465d9edded95190f6c1fa7d9","datavalue":{"value":{"entity-type":"item","numeric-id":1355237,"id":"Q1355237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4b22d6cf29a8c25e6a916dc7f73528c3319b1f6","datavalue":{"value":{"amount":"+0.69817793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4270318$703B5E43-67FF-4F88-B03B-17D7B04371CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c18c07dd06dea83131c9aaa8cf52636d554fc46e","datavalue":{"value":{"entity-type":"item","numeric-id":4474468,"id":"Q4474468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a10bc2604f1a6000aaa1d269d53c4a31a8d52a0f","datavalue":{"value":{"amount":"+0.69302464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4270318$6FB05BCE-087D-4A61-8047-23CC93AD4E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba8edd4fa67653c54b9510587967658db9f15f9c","datavalue":{"value":{"entity-type":"item","numeric-id":4435249,"id":"Q4435249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09a7d0bd71965723c2886c9dbb688955404827fd","datavalue":{"value":{"amount":"+0.66040045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4270318$96599818-10AD-40CB-A42F-356F1596094D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3509d19ca66bb473af81e8c56fc7f7f193c75c4b","datavalue":{"value":{"entity-type":"item","numeric-id":1239261,"id":"Q1239261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8fe9b086f13bdc97ec99e8102f6b1c38525995a","datavalue":{"value":{"amount":"+0.65452886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4270318$7C6CC094-D0FD-427C-B940-B2F354E65FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5c4c286214545e70926978aa5794c0b39416791","datavalue":{"value":{"entity-type":"item","numeric-id":4877640,"id":"Q4877640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c362e6862500617ccac61e9f3ceda382935d5ab7","datavalue":{"value":{"amount":"+0.6543255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4270318$EFBCC718-EE85-4CE7-8711-EB3A250C10C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"834545477a10a8858baec479b1d043520342e2fc","datavalue":{"value":{"entity-type":"item","numeric-id":1348967,"id":"Q1348967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac7122892b8f582055cbd49dd08f966a5a579a6","datavalue":{"value":{"amount":"+0.6533461","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4270318$6AD26C00-6DFB-4A51-B5AE-D1EB51BE4CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a5ee07f455082578cc6505df131b1d69e1a0389","datavalue":{"value":{"entity-type":"item","numeric-id":4526076,"id":"Q4526076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baacfbfe53b51fc77ae949e16ab6b9209be9ab88","datavalue":{"value":{"amount":"+0.6528278","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4270318$C8A6C8FD-E1E4-48C9-8F8B-9B4E06C0BD26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99a2bffd2d235a2fc5506b74eca9a33277738a93","datavalue":{"value":{"text":"On Sims' presentation for Lyons' simple group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4270318$2A508F8F-1773-4111-8D1A-ACD6994EB17D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"18a46661de116417fb5c02890ae8425590a25a53","datavalue":{"value":"\\textit{G. Havas} and \\textit{C. C. Sims} in Chapter 14 of these proceedings [see the preceding review Zbl 0936.20011] show that the group presented by a certain set of generators and relations has a subgroup \\(G_2(5)\\) of index 8 835 156, and therefore has order equal to that of the Lyons group. Here the existence proof for the Lyons group is completed, using the corresponding permutation representation on 8 835 156 points. First the authors find a subgroup isomorphic to \\(2\\cdot A_{11}\\), and verify this with the Schur presentation. Using the trivial observation that (since all relevant transitivity conditions are satisfied) the order of the involution centralizer is equal to the number of fixed points of the involution, times the order of the involution centralizer inside the point stabilizer, it is immediate that \\(2\\cdot A_{11}\\) is the full involution centralizer, and hence this is the Lyons group. Note: Some simplification to this proof seems possible. It is not necessary to use a base and strong generating set in the permutation representation on 9 606 125 points in order to find the subgroup \\(2\\cdot A_{11}\\) -- easy random methods, or a simple application of \\textit{Bray}'s algorithm [An improved method for finding the centralizer of an involution, Arch. Math. (to appear)], will produce generators in a fraction of the time. The appeal to character theory, rather than the orbit-stabilizer theorem, for the observation about involution centralizers (Lemma 13.3) is pure obfuscation. For the entire collection see [Zbl 0920.00022].","type":"string"},"datatype":"string"},"type":"statement","id":"Q4270318$56B79E58-60D5-4011-8C80-DA0D3269A9A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Sims' presentation for Lyons' simple group","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Sims%27_presentation_for_Lyons%27_simple_group"}}}}}