{"entities":{"Q1279916":{"pageid":1290666,"ns":120,"title":"Item:Q1279916","lastrevid":67222311,"modified":"2026-04-12T16:10:04Z","type":"item","id":"Q1279916","labels":{"en":{"language":"en","value":"On the finite simple groups all of whose \\(2\\)-local subgroups are solvable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1251401"}},"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":"Q1279916$08D146F3-877D-4EBB-B540-85EF1F545ABA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5808a31c30cb30cb6bc7a85d0ad63e2b253c0841","datavalue":{"value":{"text":"On the finite simple groups all of whose \\(2\\)-local subgroups are solvable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1279916$904BAE1E-0042-4E53-B4A0-232300B5D6A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4417a2fe43ee80c663f622e13aa9f53802aa2bdb","datavalue":{"value":"0922.20022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279916$3E1B47DB-CC58-41AE-9805-01DA115ADA61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17e6e8fdddb00e974c1813c2c6ea70213d5554e1","datavalue":{"value":{"entity-type":"item","numeric-id":384834,"id":"Q384834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279916$C997B42D-8C3A-48DA-ACC3-9CA3DA20E28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79a49967e3b9debb328ca16576f5bfd1c03bbbe3","datavalue":{"value":{"entity-type":"item","numeric-id":1279915,"id":"Q1279915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279916$A946794A-DDF3-41AE-B14D-3E1805856BF2","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":"Q1279916$D757D3A5-E00B-4003-9F1E-FBB6D3815CC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8142980aff8c06a5ea2bbe920489e5f57f93ecb","datavalue":{"value":{"time":"+1999-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1279916$D062E619-873B-4639-B5C4-78E4FFC06457","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d4087fbb7e39aa669824fa408a3cb55921e0c1ec","datavalue":{"value":"One of the new tools in group theory used in the revision of the classification of the finite simple groups is the so-called amalgam method. The paper under review is one example and in fact a striking one. This paper is the last in a series of papers which are devoted to the classification of the finite simple groups all of whose 2-local subgroups are solvable. This originally was obtained by \\textit{Z. Janko} [J. Algebra 21, 458-517 (1972; Zbl 0243.20013)], \\textit{F. Smith} [J. Algebra 34, 481-520 (1975; Zbl 0325.20009)], \\textit{D. Gorenstein} and \\textit{R. Lyons} [J. Algebra 38, 453-522 (1976; Zbl 0402.20012)] and of course includes the \\(N\\)-group paper due to \\textit{J. G. Thompson} [Bull. Am. Math. Soc. 75, 383-437 (1968; Zbl 0159.30804), Pac. J. Math. 33, 451-536 (1970; Zbl 0256.20024); ibid. 39, 483-534 (1971; Zbl 0256.20025); ibid. 48, 511-592 (1973; Zbl 0291.20014); ibid. 50, 215-297 (1974; Zbl 0291.20015); ibid. 51, 573-630 (1974; Zbl 0306.20012)].   The authors show that if such a group \\(G\\) contains two subgroups \\(H\\) and \\(K\\) with a common Sylow 2-subgroup \\(S\\), which is also Sylow in \\(G\\), and \\(C_H(O_2(H))\\subseteq O_2(H)\\), \\(C_K(O_2(K))\\subseteq O_2(K)\\), \\(O_2(\\langle H,K\\rangle)=1\\), and both are solvable and \\(S\\)-irreducible (i.e., \\(S\\) is in a unique maximal subgroup of \\(H\\) and \\(K\\), respectively), then both \\(H\\) and \\(K\\) are thin. In [J. Algebra 146, No. 2, 412-426 (1992; Zbl 0747.20006)], \\textit{K. Gomi} and \\textit{M. Hayashi} have shown that our group \\(G\\) has a strongly embedded subgroup, a Sylow 2-subgroup of \\(\\Aut(\\text{Sp}(4,2))\\), or we have groups \\(H\\) and \\(K\\) as above. So the classification of the simple groups with solvable 2-locals now is finished by the results of two papers due to \\textit{K. Gomi} and \\textit{Y. Tanaka} [Sci. Pap. Coll. Arts Sci., Univ. Tokyo 35, 11-30 (1985; Zbl 0605.20018); ibid. 40, No. 1, 37-47 (1990; Zbl 0712.20010)].   Basic for the proof and of independent interest is a characteristic subgroup called \\(N^\\infty(n,S)\\). The definition is too involved to be given here. But in a certain sence it controls quadratic action on subgroups of \\(S\\) where elements in the module have large centralizers in a quadratically acting subgroup \\(L\\). This group shares with the Thompson subgroup the nice property that if \\(N^\\infty(n,S)\\) is contained in a subgroup \\(Q\\) of \\(S\\) then \\(N^\\infty(n,S)=N^\\infty(n,Q)\\). Hence for a 2-local \\(N\\) we either have that \\(N^\\infty(n,S)\\vartriangleleft N\\) or \\(N/O_2(N)\\) has small quadratic action, i.e., the structure is very restricted.   For another approach (also using the amalgam method) to the classification of the finite simple groups with solvable 2-local subgroups see a paper due to \\textit{B. Stellmacher} [J. Algebra 190, No. 1, 11-67 (1997; Zbl 0877.20008)]. All these papers show the strength of the amalgam method and give hope for many other theorems to follow.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279916$EAAFDADA-83B0-4433-AA9F-87D76889BF84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d42408b3b2a5719112a50156031a4dfd0836cf9b","datavalue":{"value":"20D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279916$E9B5BF38-287B-4373-88D1-73F5ECA093C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55528193d11cda77007862488c2d01eb9ebd2ff7","datavalue":{"value":"1251401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279916$B77BD7CE-5569-4064-B5FA-6A79DF46FBB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"781472ecbde784b8712de19276ac886b0f3059e5","datavalue":{"value":"finite simple groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279916$1F7A03B7-0D34-463F-B397-FC067818D391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cd6536491855aafd54542349a42573a4d8d83ad","datavalue":{"value":"Sylow 2-subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279916$98347D59-F7DD-4272-B9F8-9EACE6C000B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"425332dc53c0112c98178dc3bf055eb7c7b89a69","datavalue":{"value":"strongly embedded subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279916$CF45C4EC-0FC5-4D31-B0FC-5DF937AA9D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"052d1b9901ab26371fcfff15dd03d5d0349bc5dc","datavalue":{"value":"characteristic subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279916$DDB9735F-229B-4C5C-8CC2-721DA1AC70FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5525ecae8b2a037459b7ed70bd13662abd7e27b1","datavalue":{"value":"quadratic actions on subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279916$A6EAB092-9D91-49C0-B983-3389AFC7E5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22afa35823215ce8c72f7e3802b973bb0be61288","datavalue":{"value":"amalgam method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279916$179F56BA-E8F5-42B5-96A7-FFD4B05D846C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7244b739efba66a9abdb73447585e7647cf8fd","datavalue":{"value":"solvable 2-local subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279916$C9C1373A-399D-4F92-AA1E-A544CFB218A5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"465e0c375a709ba4e154a6837a439b318bab169f","datavalue":{"value":{"entity-type":"item","numeric-id":172206,"id":"Q172206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279916$DABB5A1F-8167-4654-A574-C17957C54166","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":"Q1279916$66B573FB-0DEF-4D4A-9586-3A5FA5C5C6EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20885a218f88c34669f58149d0c6f3924f4ed44d","datavalue":{"value":"https://doi.org/10.1006/jabr.1998.7587","type":"string"},"datatype":"url"},"type":"statement","id":"Q1279916$ED2A70A4-7364-406F-BD52-E40E1CBFF35A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35e24b2f8238705248270c54c6ec62cbab98a7ed","datavalue":{"value":"W2069662706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279916$031708A2-C1D0-46FE-84ED-2F9456C255EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b1d21a97df2e9bb7d881f62d207db3f5f4a679f","datavalue":{"value":{"entity-type":"item","numeric-id":2554413,"id":"Q2554413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279916$106C7D5C-6D47-4038-98A0-8AEFBDBF45F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93088c9cf4026e3df8d965211964704e7f1ae834","datavalue":{"value":{"entity-type":"item","numeric-id":1225121,"id":"Q1225121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279916$51FACD6E-C64B-4B04-8BEC-13C87DB5D7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c87249e373266ad93bd0c06695a4f5451d9114cf","datavalue":{"value":{"entity-type":"item","numeric-id":1255570,"id":"Q1255570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279916$FFD9DE62-79EF-411B-A252-E2F4A780CFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ef7642f86ad7df86621e776ba52595b2005835d","datavalue":{"value":{"entity-type":"item","numeric-id":1184190,"id":"Q1184190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279916$C201FDC8-CA0F-4569-9567-6BF1A8F03643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171ce72aaae551c983d829a0e49441f692e9c6de","datavalue":{"value":{"entity-type":"item","numeric-id":3743478,"id":"Q3743478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279916$5EA538B6-9D7E-4DED-A34F-9EFB3D0949F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4668f7d6944475ddece2b2b76e355f320a305ecd","datavalue":{"value":{"entity-type":"item","numeric-id":3497256,"id":"Q3497256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279916$85F3CA02-CE96-47B1-9800-B5175D5E9DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d25914361c958c8ef42793c6d57752155b9bd735","datavalue":{"value":{"entity-type":"item","numeric-id":4022615,"id":"Q4022615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279916$6F6927F7-0FE4-4583-A186-FC2D65867508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a1688496df978fff5e4c229515eb3c7b0fd935b","datavalue":{"value":{"entity-type":"item","numeric-id":595004,"id":"Q595004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279916$84DA4BAD-8940-4FBB-BAC2-080D2C548441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b085be60e0c8fe82966fd413eea12a8f79deb8","datavalue":{"value":{"entity-type":"item","numeric-id":3197997,"id":"Q3197997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279916$04DC1BFC-A5AB-48B3-BB3C-8BC6004BFC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92fa4fb7b0bd3a41e156bb3d1d766b57f12b7289","datavalue":{"value":{"entity-type":"item","numeric-id":1080945,"id":"Q1080945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279916$3BE02546-EE40-4283-8741-386C7BB3ADED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb21099c1c47d2e60e5453eb7819b3fe40549c8e","datavalue":{"value":{"entity-type":"item","numeric-id":4009164,"id":"Q4009164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279916$E75449CB-167A-49DC-A2D6-9CA5C8DE4383","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc5a6444af6bb96c031158b9e6ebe1499d7b6ddc","datavalue":{"value":"10.1006/JABR.1998.7587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279916$7FB814DC-BFEC-40E9-8420-44355C171614","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4af3685aeb59873acba2c5572aa02019d6167f3","datavalue":{"value":{"entity-type":"item","numeric-id":1355559,"id":"Q1355559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a2dff87995213236b47aca675d12f11b07f113b","datavalue":{"value":{"amount":"+0.9169803261756896","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":"Q1279916$8F086918-D1CD-489A-9174-E19B048E3573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ac408e9b59a553eb485f69af453689c3e3bb72c","datavalue":{"value":{"entity-type":"item","numeric-id":4009164,"id":"Q4009164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e6ec65a6bf260035a67565f667386aaa6682257","datavalue":{"value":{"amount":"+0.8523784279823303","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":"Q1279916$2AAC4543-0C35-410D-88EB-EE7DD34A3F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1679d8cb40cadf3bb806ef798a2c722597345156","datavalue":{"value":{"entity-type":"item","numeric-id":1081692,"id":"Q1081692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"247f13e89b7df0b7f7c18e4bd6dd8680893acd55","datavalue":{"value":{"amount":"+0.8319085240364075","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":"Q1279916$B2A4784C-6D71-40D2-90E3-AE02E44B74C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the finite simple groups all of whose \\(2\\)-local subgroups are solvable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_finite_simple_groups_all_of_whose_%5C(2%5C)-local_subgroups_are_solvable"}}}}}