{"entities":{"Q2113928":{"pageid":2124671,"ns":120,"title":"Item:Q2113928","lastrevid":54247829,"modified":"2026-01-26T13:16:46Z","type":"item","id":"Q2113928","labels":{"en":{"language":"en","value":"On the \\(\\tilde{P}!\\)-theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7489055"}},"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":"Q2113928$BCC5F24E-59B7-4DB8-9381-29D1608F92EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"618491ea2e4075f50b3327ffcc999c4dbd028180","datavalue":{"value":{"text":"On the \\(\\tilde{P}!\\)-theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2113928$A18A8973-756F-4794-8217-A1A18BEA9364","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c2e0a85f55537bc92ab9fc70c60582ec9946092","datavalue":{"value":"1497.20013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2113928$C0A0D22B-114B-4612-B68A-711A119F1594","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad70ad3c772eedec60bc3c9d2fafff9b11ad5176","datavalue":{"value":{"entity-type":"item","numeric-id":172101,"id":"Q172101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113928$47909CED-6077-4F97-8F8E-BBA241BEBD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a5514369ffb8eddc4327b638ae05c3654ddae52","datavalue":{"value":{"entity-type":"item","numeric-id":172206,"id":"Q172206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113928$54213194-D26F-4F61-860F-9666A17179F8","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":"Q2113928$202F19A8-02CE-4B18-9D96-D92ED2080DD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b9356dd598909cd854098580edef30353b10f02","datavalue":{"value":{"time":"+2022-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2113928$D734BFB6-C4E0-415A-A352-2DBD1787CCE4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7847de346ec8bd65ad28bdb5d446f4bc990b1be2","datavalue":{"value":"Let \\(G\\) be a finite group and \\(p\\) be a fixed prime. The normalizer of a nontrivial \\(p\\)-subgroup of \\(G\\) is called a \\(p\\)-local subgroup of G. A finite group \\(X\\) is of characteristic \\(p\\) if \\(C_X(O_p(X))\\leq O_p(X)\\) and \\(G\\) is of local characteristic \\(p\\) if every \\(p\\)-local subgroup of \\(G\\) is of characteristic \\(p\\). The group \\(G\\) is of parabolic characteristic \\(p\\) if every \\(p\\)-local subgroup of \\(p'\\)-index in \\(G\\) is of characteristic \\(p\\). We denote the set of subgroups \\(L\\) of \\(G\\) containing a given subgroup \\(X\\) and satisfying \\(C_G(O_p(L))\\leq O_p(L)\\) by \\(\\mathcal{L}_G(X)\\) and the set of maximal \\(p\\)-local subgroups containing \\(X\\) by \\(\\mathcal{M}_G(X)\\). For \\(S\\in\\mathrm{Syl}_p(G)\\), the set of subgroups \\(P\\in \\mathcal{L}_G(S)\\) such that \\(O_p(P)\\not= S\\) and \\(S\\) is contained in a unique maximal subgroup of \\(P\\) is written as \\(\\mathcal{P}_G(S)\\). For any \\( L\\in \\mathcal{L}_G(1)\\), \\(Y_L\\) is the largest elementary abelian normal \\(p\\)-subgroup of \\(L\\) satisfying \\(O_p (L/C_L(Y_L)) = 1\\). Such a subgroup always exists. Fix \\(S\\in\\mathrm{Syl}_p(G)\\), \\(\\tilde{C}\\in\\mathcal{M}_G(N_G(\\Omega_1(Z(S))))\\) and put \\(Q = O_p(\\tilde{C})\\). Then \\(\\tilde{C} = N_G(Q)\\). For \\(X\\in \\mathcal{L}_G(Q)\\), we set \\(X^o=\\langle Q^g \\mid g\\in G, Q^g\\leq X\\rangle\\). The group \\(G\\) satisfies \\(Q\\)-uniqueness if and only if \\(C_G(x)\\leq\\tilde{C}\\) for every \\(1\\not=x\\in C_G(Q)\\). A consequence of \\(Q\\)-uniqueness when \\(C_G(Q)\\leq Q\\) is that \\(G\\) is of parabolic characteristic \\(p\\). We say that \\(G\\) is a \\(\\mathcal{K}_p\\)-group if the simple sections of all the \\(p\\)-local subgroups of \\(G\\) are known simple groups. \\textit{M. Mainardis} et al. [J. Algebra 292, No. 2, 363--392 (2005; Zbl 1087.20014)] proved the following \\(\\tilde{P}!\\)-theorem (the \\(P\\)-tilde uniqueness theorem): Suppose that \\(G\\) is a \\(\\mathcal{K}_p\\)-group of local characteristic \\(p\\), \\(G\\) satisfies \\(Q\\)-uniqueness, there exists \\(P\\in\\mathcal{P}_G(S)\\) such that \\(P\\not\\in\\tilde C\\) and \\(Y_M\\leq Q\\) for every \\(M\\in\\mathcal{M}_G(P)\\). Then there exists at most one \\(\\tilde{P}\\in\\mathcal{P}_G(S)\\) such that \\(\\tilde{P}\\leq N_G(P^o)\\) and \\(\\langle P,\\tilde{P}\\rangle\\in\\mathcal{L}_G(P)\\), or some very special and precisely described situation holds. The purpose of this paper is to show that the exceptional possibilities in the \\(\\tilde{P}!\\)-theorem do not occur. This then strengthens that theorem and contributes to a revision of the classifcation of finite simple groups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2113928$C257D78F-2D56-4290-80C8-5D62CECD89BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d42408b3b2a5719112a50156031a4dfd0836cf9b","datavalue":{"value":"20D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2113928$BEF281CD-B15D-4377-BAE0-2CD2C1EB150D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d2f61b4dbcadde7888978cd25b615726f902f40","datavalue":{"value":"7489055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2113928$5C67D7AC-E654-466B-A377-2AE96DEACB3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2478aabec47a8fb7b3aa7ffe85ea9257f80b33ab","datavalue":{"value":"\\(p\\)-local subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2113928$226E73DF-51E7-49CB-AE6F-8BDCB94B5589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"781472ecbde784b8712de19276ac886b0f3059e5","datavalue":{"value":"finite simple groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2113928$CCF99BB2-BFFD-4BD0-8AAA-1C70DD9F0141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e623b19ecf9ccb41f83d0b88a78a2a5f755e557c","datavalue":{"value":"sporadic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2113928$392B8D8D-EE0B-4258-9279-267728C3DCDE","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":"Q2113928$BC0E1519-7FB9-4597-8289-EB9DD82635BB","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":"Q2113928$AD3486A6-0CDE-4D1A-A25B-6D49674A3E77","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"688e19e5fdfb8037386a9865454236948574099f","datavalue":{"value":"https://doi.org/10.1007/s00013-021-01675-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2113928$887A1052-B530-4594-8673-F56650C8D12B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e968e0f5413ba69ce36cd50f0a7881e73887700","datavalue":{"value":"W4205463953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2113928$5D1C7D37-5880-484A-964B-57DF47A0B262","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"834dff713970e19b2317df383799f19cfa568db8","datavalue":{"value":{"entity-type":"item","numeric-id":4375273,"id":"Q4375273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113928$E767C20C-A034-4BDD-8C91-82B23C0F3D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0b1aafbbe0a855d813652a8c08055f1e8bdf55","datavalue":{"value":{"entity-type":"item","numeric-id":752188,"id":"Q752188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113928$1D94F1E3-3297-4938-8114-4496779FA17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b52a4184c546437dabe305dbf968f3b9312d68fd","datavalue":{"value":{"entity-type":"item","numeric-id":2572060,"id":"Q2572060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113928$39A4B79A-B707-47DE-93A5-22F394524C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e63100bb34f5b99fc9a15393ce63027ab89d2679","datavalue":{"value":{"entity-type":"item","numeric-id":5365189,"id":"Q5365189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113928$1A4E655B-3D80-44D3-98A3-CC07BC38039F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db2f974d75661a77d82d136ef0a52bc2d479af85","datavalue":{"value":{"entity-type":"item","numeric-id":1810541,"id":"Q1810541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113928$65CCC125-E839-44EF-BCC0-993E54761C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a7ec45ab2f7c4b28cc434bd393bbbba1539c7ee","datavalue":{"value":{"entity-type":"item","numeric-id":494977,"id":"Q494977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113928$E5440331-5352-4330-A12A-54501F7F822B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58c313a9eeeb4cdf4f644f687a63cc825de35feb","datavalue":{"value":{"entity-type":"item","numeric-id":1764453,"id":"Q1764453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113928$C4FAFF1F-72AE-47BD-9F7B-8139F4C20D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0017ad537beecd95098fc404c258364538cc72","datavalue":{"value":{"entity-type":"item","numeric-id":2554029,"id":"Q2554029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113928$772D62E5-CD5C-488E-B832-45DF9B902B75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"728798110802f2a55d6e0831933a77fd681a356b","datavalue":{"value":"10.1007/S00013-021-01675-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2113928$73FA68A1-DF9B-44ED-A148-F57F78FA169A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b06cd77c633f724b57b101bdf96f05b3d738819d","datavalue":{"value":{"entity-type":"item","numeric-id":2572060,"id":"Q2572060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db19194dce681b2a5f2bab0cd3403636c7328553","datavalue":{"value":{"amount":"+0.859270453453064","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":"Q2113928$4EA36A50-1935-4229-B33C-4888ED61F26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28ce33f99748a8c27e1fae55b7c4116524855d05","datavalue":{"value":{"entity-type":"item","numeric-id":1810541,"id":"Q1810541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce97c2fcaa1d97cc695e5c689da56b8f28c2e403","datavalue":{"value":{"amount":"+0.8180484175682068","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":"Q2113928$82DF00CD-7069-4DA0-B537-127D5B8F5EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a2e95ae095c88caea2443e6b42d31692a5eb38b","datavalue":{"value":{"entity-type":"item","numeric-id":4243089,"id":"Q4243089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce97c2fcaa1d97cc695e5c689da56b8f28c2e403","datavalue":{"value":{"amount":"+0.8180484175682068","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":"Q2113928$2966CEA6-09F8-4A3A-8AA0-48BAC47A21F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b38fe8bc2be7ce62b156c574532b325a2e46213","datavalue":{"value":{"entity-type":"item","numeric-id":2498867,"id":"Q2498867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6f71f6dbac8d67efa3d098ce3f265ba7b9f05b4","datavalue":{"value":{"amount":"+0.8024395108222961","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":"Q2113928$7FDF6C38-394A-454E-B122-E51465BC07C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bd5b470dabea45b0d690cf4eef3c0386e32e67e","datavalue":{"value":{"entity-type":"item","numeric-id":5108172,"id":"Q5108172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ef6ae483b7081b0a7304a3b96d662531f8022b5","datavalue":{"value":{"amount":"+0.7869070172309875","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":"Q2113928$1436F72F-A8C6-4E44-908B-19E7BF1838B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2113928","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2113928"}}}}}