{"entities":{"Q354489":{"pageid":356256,"ns":120,"title":"Item:Q354489","lastrevid":61197315,"modified":"2026-04-10T21:48:17Z","type":"item","id":"Q354489","labels":{"en":{"language":"en","value":"Supplements to normal subgroups of finite groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6189480"}},"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":"Q354489$13E944E8-2995-430C-8D3A-8AB1A6BC0FA8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3fb167666078224cbc33697911fd9d5ac157a37","datavalue":{"value":{"text":"Supplements to normal subgroups of finite groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q354489$11FA6337-1859-4C3B-83E9-258CD5353E14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a38a0dec1d471f5940e976198e210efd41f2018","datavalue":{"value":"1282.20018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q354489$58510AF3-3724-4492-8CA6-E2F6ED93A5DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2fbf33456647ba744ebb361ed6b820278fcfa56","datavalue":{"value":{"entity-type":"item","numeric-id":178401,"id":"Q178401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354489$305866AE-4F27-4046-A7DB-73B6278182F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354489$2C18794E-FB5F-4817-870A-92335AF86943","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"088890f9b4ff718d86d26dd0e453fa439be94488","datavalue":{"value":{"time":"+2013-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q354489$6F43C4EF-0A63-47A3-84BD-60E63C2F9EBF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b2a94854c1f4f045c82e5b84832dc5202c6432be","datavalue":{"value":"A class of finite groups \\(\\mathcal F\\) is a formation if every homomorphic image of a group in \\(\\mathcal F\\) belongs to \\(\\mathcal F\\) and if \\(G/(N_1\\cap N_2)\\) belongs to \\(\\mathcal F\\) whenever \\(G/N_1\\) and \\(G/N_2\\) belong to \\(\\mathcal F\\). The formation \\(\\mathcal F\\) is normally hereditary if \\(N\\) belongs to \\(\\mathcal F\\) always follows from \\(N\\trianglelefteq G\\) and \\(G\\in\\mathcal F\\). If \\(\\mathcal F\\neq\\emptyset\\) then \\(G^{\\mathcal F}\\) is the intersection of all normal subgroups \\(K\\) of \\(G\\) such that \\(G/K\\in\\mathcal F\\).   The main subject of this paper is to prove Theorem B and to obtain several applications:   Theorem B. Let \\(\\mathcal F\\) a nonempty normally hereditary formation and \\(K\\) and \\(H\\) be subgroups of \\(G\\) such that \\(K\\trianglelefteq G\\) and \\(G=HK^{\\mathcal F}\\). Suppose that there exists a normal subgroup \\(D\\) in \\(H\\) such that the following conditions hold:   (1) \\((H\\cap K)^{\\mathcal F}\\leq D\\leq H\\cap K^{\\mathcal F}\\); (2) \\(H\\cap K^{\\mathcal F}/D \\) is contained in the Frattini subgroup of \\(H/D\\); (3) for any prime \\(p\\) dividing \\(|H\\cap K^{\\mathcal F}/D|\\), a Sylow \\(p\\)-subgroup \\(G_p\\) of \\(G\\) is representable as a semidirect product \\(G_p=TP\\) where \\(T\\trianglelefteq G_p\\), \\(T\\leq K^{\\mathcal F}\\) and \\(P\\leq H\\).   If \\(D\\neq H\\cap K^{\\mathcal F}\\), then \\(K^{\\mathcal F}\\neq (K^{\\mathcal F})^{\\mathcal F}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q354489$9FF5AAD2-5ACA-4844-9EDB-D859A436F099","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ba24da42af5e220ef977215431de1ea818c604bc","datavalue":{"value":{"entity-type":"item","numeric-id":590960,"id":"Q590960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354489$70526BCF-D39E-4497-916F-DC3C9560E17C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6733577c02c6cfba3faed14f3a1300c1637a0c39","datavalue":{"value":"20D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q354489$126E1CA8-7213-41BC-98A6-5B28902670B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a854ad18943a8f23f915d2afbe74a1db431d3cdf","datavalue":{"value":"20D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q354489$B5645515-14DC-4642-AA4D-3A6DBF070F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0838ebc9c8bacb3297c2f0d131d4b9d35e288c46","datavalue":{"value":"20D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q354489$3F55985A-F937-44FE-9FBF-EBEE0C00610D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0e57f4bdc855cb80b200e48542806396f9da969","datavalue":{"value":"6189480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q354489$26915B71-B6F4-4D43-9C31-170CFCA2740E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de99e7f702b6736310c9f87d01eb639db75a4c72","datavalue":{"value":"finite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q354489$C7DED219-48AC-4D5E-BA7D-08C5A2A27093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"730a01972c746c5419e118c80566bb107377222a","datavalue":{"value":"normally hereditary formations","type":"string"},"datatype":"string"},"type":"statement","id":"Q354489$636339EE-3091-425F-A20B-E330CD965C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81fe339545561af033be682e135e354de3139557","datavalue":{"value":"supplements","type":"string"},"datatype":"string"},"type":"statement","id":"Q354489$0EC76762-7CB8-46A7-A705-5E8B2AB419FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b7a7c76bf1f71b91cc89484911bc1bda65a0710","datavalue":{"value":"supplemented subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q354489$2CA8C557-8785-4DD1-9E5A-56306B14FE1C","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":"Q354489$51D49308-9202-49E6-BF57-58983F6619E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77e4f922ff948b2ea0dcbd5fbe407b9fa9f2c9c5","datavalue":{"value":"https://doi.org/10.1007/s10469-013-9222-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q354489$DAA1EECC-50E5-430A-8E3C-0579EF20955D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96c8a07334f5eb0ec4d0f0b2a0f7510855e4dd69","datavalue":{"value":"W1976773740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q354489$1CFA13A0-27C0-458F-94A6-7EAE636057DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fff3b97437edf937723306b0e6053c77a2b86c0f","datavalue":{"value":{"entity-type":"item","numeric-id":5634149,"id":"Q5634149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354489$E7A4ECB6-2FC0-4E91-8BBE-438A999DD1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5d56d38fc3d1069a0532ff363b53caeaa66ee7e","datavalue":{"value":{"entity-type":"item","numeric-id":2529976,"id":"Q2529976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354489$98AE03F3-E8DF-4471-A8F6-4F1E115A1800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b5466d752136520e3f342a0d143ed3837343942","datavalue":{"value":{"entity-type":"item","numeric-id":2386437,"id":"Q2386437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354489$A2157D3C-3F9B-47FC-BF17-54C242C3AA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6586e481429dc4ca9db168e11bcfc572d72a4338","datavalue":{"value":{"entity-type":"item","numeric-id":5467216,"id":"Q5467216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354489$70336855-82C1-444E-B9B1-30652A630BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07db5d9d443b5d4b2edd7761e49422c74809a4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5620726,"id":"Q5620726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354489$0AB3B0CE-5F69-4075-8A8D-169627F671D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db08849aa7707150e8aeef11d9120d78ebc52b3b","datavalue":{"value":{"entity-type":"item","numeric-id":1189495,"id":"Q1189495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354489$532A9467-CA89-49D0-9BBA-F95532719ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4433a0c951e66a2e244fce17f1ab93324d5c2e61","datavalue":{"value":{"entity-type":"item","numeric-id":3971705,"id":"Q3971705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354489$1E405300-2ED7-446C-8B14-1375E2D402C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b61d3b3afc5d4c5f6840743f22bcddd28ebac1","datavalue":{"value":{"entity-type":"item","numeric-id":3712472,"id":"Q3712472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354489$E092FFC4-489E-41BF-A3ED-B536249DB35E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df7a05f61ce7dfa1c3faec222617f3c5b36d2a19","datavalue":{"value":"10.1007/S10469-013-9222-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q354489$8AD3494F-E154-412E-94E5-510F3EA65B18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"779d807ebfef8128ef0a76fffc049b91cd7c26d9","datavalue":{"value":{"entity-type":"item","numeric-id":1121988,"id":"Q1121988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c11aa2fd24b4a3dc1f0459025a8662714895c77","datavalue":{"value":{"amount":"+0.7668773531913757","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":"Q354489$710CE276-5085-4503-A34E-37757BFAA2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d82ba85aa610a9727e2a5f273f0af8a7f7fcde60","datavalue":{"value":{"entity-type":"item","numeric-id":1431054,"id":"Q1431054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aca3d00828987b78d35108c81d154f3f4a0eac79","datavalue":{"value":{"amount":"+0.7668105363845825","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":"Q354489$61C1B2E7-7CDD-4651-BB89-F13C18408D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c50efbd6dc96ba99ec339eb5efcd83b866efa529","datavalue":{"value":{"entity-type":"item","numeric-id":4939459,"id":"Q4939459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"559453b8bc5ef5a24edaa99f73f97a63a5918f11","datavalue":{"value":{"amount":"+0.7552624344825745","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":"Q354489$0B12665D-DCF7-4555-B503-4EF5F454BC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67a30c26670a3fe022c8d076fda1061495d8da3d","datavalue":{"value":{"entity-type":"item","numeric-id":893152,"id":"Q893152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6246e02f68eaa455480f0a89444579a96b595f85","datavalue":{"value":{"amount":"+0.7516793608665466","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":"Q354489$52C86A19-7AB7-432E-8ABE-B262A35F756D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2b21612259dbae2d422fa1454bcfa232a1b9de0","datavalue":{"value":{"entity-type":"item","numeric-id":3488326,"id":"Q3488326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ed97fa0c28e207f756db1443cdce0b26f2dfe5b","datavalue":{"value":{"amount":"+0.7473110556602478","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":"Q354489$DAB521A6-3A73-4A77-A726-AC8C07C4A161","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Supplements to normal subgroups of finite groups.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Supplements_to_normal_subgroups_of_finite_groups."}}}}}