{"entities":{"Q6858735":{"pageid":20649046,"ns":120,"title":"Item:Q6858735","lastrevid":84254861,"modified":"2026-05-14T06:28:48Z","type":"item","id":"Q6858735","labels":{"en":{"language":"en","value":"Explicit construction of the maximal subgroups of the Monster"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8159234"}},"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":"Q6858735$1669C7CD-6EAC-4992-BDAB-0BE296F5F817","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16422f7fd42bf353e0e5dbc8916d12219a426c88","datavalue":{"value":{"text":"Explicit construction of the maximal subgroups of the Monster","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6858735$A8D34560-7E9B-44A9-B0D3-7242EF60C65E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47ea33c9b6931ef590249e04d107236ae91d7a99","datavalue":{"value":"10.1016/J.JALGEBRA.2025.10.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6858735$01FDA043-3B2C-4337-9F0A-0D076772D5CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bfaffbe89923d5d27bf8f64680eafdb73b1ec8a","datavalue":{"value":{"entity-type":"item","numeric-id":387719,"id":"Q387719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858735$580C3F0D-0BAD-4B96-961C-FF2FC4F5AFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96fee2f5e192d0c6f0631c42cb5e6bc9b47ad044","datavalue":{"value":{"entity-type":"item","numeric-id":306059,"id":"Q306059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858735$5EA21C96-2B78-434B-8C2A-569BE0D1E197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fb02c71a89fca4274dbb0dffc558a0d9e0075ef","datavalue":{"value":{"entity-type":"item","numeric-id":6529606,"id":"Q6529606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858735$BC4974DE-D0A6-40C4-9E8C-BA5428D3CCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbb245082df591c8dbcc95dfba615988dcc79d97","datavalue":{"value":{"entity-type":"item","numeric-id":252847,"id":"Q252847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858735$C4A7E386-BEFA-4A04-8EF8-D6CC89D97D5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858735$3324DDE9-F4D6-4020-B6E7-F9E6981BFA21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f90b56347ea60f794c577c6f5aaa0eaf88acba4","datavalue":{"value":{"time":"+2026-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6858735$C794A545-AAEE-4A5C-AF46-BAD5D2CC3854","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1c4ca94098e6037ebd62d3498161320d2a68c82b","datavalue":{"value":"The Monster group \\(\\mathbb{M}\\) is the largest sporadic finite simple group. The maximal subgroups of \\(\\mathbb{M}\\) have been classified in a number of papers spanning several decades, see [\\textit{H. Dietrich} et al., Adv. Math. 469, Article ID 110214, 33 p. (2025; Zbl 1567.20042)]. The first result of the present paper is the following: \\(\\mathbb{M}\\) has no subgroup \\(PSL_2(59)\\), but a unique class of subgroups \\(59:29\\), which are maximal subgroups. This result is in conflict with the main result of \\textit{P. E. Holmes} and \\textit{R. A. Wilson} [J. Lond. Math. Soc., II. Ser. 69, No. 1, 141--152 (2004; Zbl 1064.20017)] which claims that \\(\\mathbb{M}\\) has a maximal subgroup \\(PSL_2(59)\\). Seysen's Python mmgroup software package (see \\url{https://github.com/Martin-Seysen/mmgroup}) provides functionality for fast computations within \\(\\mathbb{M}\\). The main aim of this paper is to present an mmgroup database of maximal subgroups of \\(\\mathbb{M}\\): for each conjugacy class \\(C\\) of maximal subgroups in \\(\\mathbb{M}\\), the authors construct explicit group elements in mmgroup format and prove that these elements generate a group in \\(C\\). The work constitutes an independent verification of the constructions of maximal subgroups in \\(\\mathbb{M}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6858735$311ABB15-F15F-47DF-9FCD-2F27C4EA5BF6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a05f8172425c54a838e715be76b66b88f657ff34","datavalue":{"value":{"entity-type":"item","numeric-id":585759,"id":"Q585759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858735$7B18226C-B80B-4EE7-B748-C1B27F48FFAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"760e7e883b324f8e9ca39536dab668d9184172e8","datavalue":{"value":"20D08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6858735$0CBDC714-3227-4513-B851-A2A9A84BFFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24dd73fcad0992eba5c2f25d794776db75a510d7","datavalue":{"value":"20E28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6858735$92F6DBD8-0C0F-4A70-8C59-3DFA5320D1C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da54cbb6a8c2468c3dde774b8a1a8be06ae79eb4","datavalue":{"value":"8159234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6858735$5F3A8CF4-426F-4BA5-A0EF-5A544C0231DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"781472ecbde784b8712de19276ac886b0f3059e5","datavalue":{"value":"finite simple groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6858735$6AACF4A6-1AB2-4632-9304-FF5DE59B0182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4ffaec94ddaed47792f0f1160de36b1ebe708a8","datavalue":{"value":"sporadic simple groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6858735$A423C6CD-DE42-486A-951C-128853621AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aeaefb5729f78061fa997c2d5f4e478c187c9c59","datavalue":{"value":"Monster group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6858735$5073E4DF-8EC5-45DE-AC52-80DA33A598B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"036c2b66c9701daad77b003d5e875cac4239af63","datavalue":{"value":"maximal subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6858735$B1E8EE4D-BD00-40D7-BC5A-E1B4FDCCB5A3","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":"Q6858735$FC8FCD7B-0228-4424-B2A1-9A6097CBCF01","rank":"normal"}],"P223":[{"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":"Q6858735$6F72425F-0B81-4494-9550-E8A6E7BAE813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b95464a0b8b4eb825ebc3cd5bc999bc36deff119","datavalue":{"value":{"entity-type":"item","numeric-id":5739898,"id":"Q5739898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858735$0D38A3E2-EB66-44FD-B5D0-ABFC6D161491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab0ac542da48f5cdbc02606951bf04f05e3091fc","datavalue":{"value":{"entity-type":"item","numeric-id":2865989,"id":"Q2865989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858735$3D154B05-7F9E-47FA-B485-F0616D2ECDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94793d31e94f7dec6beaa1fc897151be1ae860d9","datavalue":{"value":{"entity-type":"item","numeric-id":3684278,"id":"Q3684278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858735$4A16A083-2FF1-4496-A454-760AA1FC110C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8eb8fceaa39376123eea800b4e71a07e55bdfbb","datavalue":{"value":{"entity-type":"item","numeric-id":5650865,"id":"Q5650865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858735$E04F1E36-B903-4F0E-8863-DF6B92695BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25d752861eb8d2efda7dcc490182708c462c14d8","datavalue":{"value":{"entity-type":"item","numeric-id":7001181,"id":"Q7001181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858735$4D08DADD-8D3D-4A99-A45D-C8D5C8207383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49943aee9c962b1c61aac5aea67a090c5f0a6acb","datavalue":{"value":{"entity-type":"item","numeric-id":1614662,"id":"Q1614662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858735$51E0DAB6-B719-4F1D-8B77-BADF5F9C477C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b8e4eb766f1302954b58268ee4c0b1d750cc0df","datavalue":{"value":{"entity-type":"item","numeric-id":4467836,"id":"Q4467836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858735$31CADBE5-2E76-45CF-AD1F-52981A30CF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d319d7cc810b09caa6f70f56d591592277532991","datavalue":{"value":{"entity-type":"item","numeric-id":4469257,"id":"Q4469257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858735$6DB35E71-AD27-4EC9-83CC-A987435F6ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bdca39a0b8916f9fdc8d52f30962fb03c715f9b","datavalue":{"value":{"entity-type":"item","numeric-id":926832,"id":"Q926832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858735$CE76055A-E7D3-4275-AE39-FD09A1227A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c7e7db3e2329ab994204e4d3a3e5ba2485968b0","datavalue":{"value":{"entity-type":"item","numeric-id":4650358,"id":"Q4650358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858735$F6252027-CECE-4EBD-B0B7-3455C767CFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4a01afb3feff948f7371a7585b3d1dd0fa251d6","datavalue":{"value":{"entity-type":"item","numeric-id":6499160,"id":"Q6499160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858735$7A720F07-0250-4252-B4FE-9311B0BBFF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1442f0538e8d71e195306825c89dd3409dd2fa28","datavalue":{"value":{"entity-type":"item","numeric-id":3840447,"id":"Q3840447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858735$B03C1701-7B71-4038-B4FB-275862BBF1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d08587dd881b7c8df6a55505882e9d8584901629","datavalue":{"value":{"entity-type":"item","numeric-id":3152219,"id":"Q3152219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858735$2FC1DDA9-C14A-4FBF-A3F4-7F754DA17C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b8b1e7f24c527f2fde72ad51e4badcac09e7b49","datavalue":{"value":{"entity-type":"item","numeric-id":2840175,"id":"Q2840175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858735$58861E68-D462-46FD-97DC-9528CCEA3456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"517019e9a7c00da8cb85893d60097888597603bd","datavalue":{"value":{"entity-type":"item","numeric-id":6671807,"id":"Q6671807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858735$3C6DE643-A193-4A97-A019-80184D0CF654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc1708823d8ebaca2112ec9f8f5b92c1b68603a","datavalue":{"value":{"entity-type":"item","numeric-id":3325909,"id":"Q3325909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858735$15BA22FE-CC2B-4EE7-A331-5F82198C7792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ce79af851c7324d8c9387a5e892361745050518","datavalue":{"value":{"entity-type":"item","numeric-id":6671797,"id":"Q6671797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858735$D4F74592-473F-431E-93C6-17E3D2CE6CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc09da30a99cbdc0cee72de8da03e2382fe4809c","datavalue":{"value":{"entity-type":"item","numeric-id":5666746,"id":"Q5666746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858735$3D58FD14-DE4E-42A5-9934-BD3CBACCDCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf22f9dace86bcac4d2ffeb25c4803c35b6d239e","datavalue":{"value":{"entity-type":"item","numeric-id":3775710,"id":"Q3775710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858735$BBC831E4-B3BF-4539-B310-174212C766D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ac8fa566eef25812fcb9d78a6025923057eaeb","datavalue":{"value":{"entity-type":"item","numeric-id":5138277,"id":"Q5138277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858735$E0E30950-0639-44C5-BAC3-77E4E77CA5B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Explicit construction of the maximal subgroups of the Monster","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Explicit_construction_of_the_maximal_subgroups_of_the_Monster"}}}}}