{"entities":{"Q2497448":{"pageid":2508191,"ns":120,"title":"Item:Q2497448","lastrevid":49885828,"modified":"2026-01-11T15:27:42Z","type":"item","id":"Q2497448","labels":{"en":{"language":"en","value":"The \\(G\\)-strong containment for locally defined formations of finite soluble groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5043658"}},"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":"Q2497448$A9AE589A-C111-46B7-9240-B14D657663A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4a893416fdfc68fd5e3ed40858b31fa95581771","datavalue":{"value":{"text":"The \\(G\\)-strong containment for locally defined formations of finite soluble groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2497448$43F33C33-9144-4CFC-96AD-09B93B2FEFE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7cdbd15fc42f9eed1d2555b8a0ae9884b5331472","datavalue":{"value":"1112.20017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2497448$C5D87C2E-E660-4F01-959E-DF2BE93521D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd57f57824475469a97d4c67741e600a661c2152","datavalue":{"value":{"entity-type":"item","numeric-id":2030007,"id":"Q2030007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2497448$ADDEBE87-8854-4210-8E7A-2092FFA38D43","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":"Q2497448$E1A6AFC9-07F9-4A74-8C6E-F4683CA435C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fb876cd0509c83d752b9ca15b7a238c782dbf5de","datavalue":{"value":{"time":"+2006-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2497448$DA4B4D88-07C0-4FF3-B1C0-9BC83808E9C4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"94ca4511be095fe6dce67d760fef5adcebf62d8a","datavalue":{"value":"All groups considered are finite and soluble. Let \\(\\mathfrak F\\) and \\(\\mathfrak H\\) be formations. The class \\(\\mathfrak{FH}=(G\\mid G^{\\mathfrak H}\\in\\mathfrak F)\\) is called the formation product of \\(\\mathfrak F\\) and \\(\\mathfrak H\\). Let \\(f\\) be a map which assigns to each prime \\(p\\) a formation (possibly empty). Then  \\[ \\mathfrak F=\\text{LF}(f)=\\mathfrak S_\\pi\\cap(\\bigcap_{p\\in\\pi}\\mathfrak S_{p '}\\mathfrak S_pf(p)) \\]  where \\(\\pi=\\{p\\mid f(p)\\neq\\emptyset\\}\\). The formation \\(\\mathfrak F\\) is called a local formation (the class locally defined by \\(f\\)) and \\(f\\) is a local definition (local satellite) of \\(\\mathfrak F\\).   Let \\(\\mathfrak F\\) be a local formation. Among all possible local definitions there exists exactly one, denoted by \\(F\\), such that \\(F\\) is integrated (that is \\(F(p)\\subseteq\\mathfrak F\\) for all \\(p\\in\\mathbb{P}\\)) and full (that is \\(\\mathfrak S_pF(p)\\) for all \\(p\\in\\mathbb{P}\\)). The satellite \\(F\\) is called the canonical local definition of \\(\\mathfrak F\\) [see \\textit{K.~Doerk} and \\textit{T.~Hawkes}, Finite soluble groups. De Gruyter Expositions in Mathematics 4. (1992; Zbl 0753.20001)].   Using \\textit{P. D'Arcy}'s result [see J. Algebra 28, 362-373 (1974; Zbl 0279.20016)] it is introduced the following Definition. Let \\(\\mathfrak F\\) and \\(\\mathfrak H=\\text{LF}(H)\\) be two saturated formations with the canonical definition \\(H\\) and \\(\\text{Char}(\\mathfrak F)\\subseteq\\text{Char}(\\mathfrak H)\\). The formation \\(\\mathfrak F\\) is called \\(G\\)-strongly contained in \\(\\mathfrak H\\) if for each \\(H\\in\\mathfrak H\\) an \\(\\mathfrak F\\)-projector \\(E\\) of \\(H\\) satisfies the property \\(H^{H(p)}\\leq E\\) for each \\(p\\in\\text{Char}(\\mathfrak F)\\). We write \\(\\mathfrak F\\ll_G\\mathfrak H\\).   In this paper it is characterized the locally defined formation \\(\\mathfrak H\\) which \\(G\\)-strongly contains the formations \\(\\mathfrak S_\\pi\\) (the class of all soluble \\(\\pi\\)-groups), \\(\\mathfrak{NX}\\) (\\(\\mathfrak X\\) is a Fitting formation), \\(\\mathfrak N^k\\) (\\(k\\in\\mathbb{N}\\), the class of soluble groups of nilpotent length at most \\(k\\)) and \\(\\mathfrak U\\) (the class of supersoluble groups).   In particular, it is proved Theorem 1. Let \\(\\mathfrak H\\) be a saturated formation and \\(\\pi\\subseteq\\text{Char}(\\mathfrak H)\\). \\(\\mathfrak S_\\pi\\ll_G\\mathfrak H\\) if and only if there exists a formation \\(\\mathfrak X\\) such that \\(\\mathfrak H\\subseteq\\mathfrak S_\\pi\\mathfrak X\\).   Theorem 2. Let \\(\\mathfrak X\\) be a Fitting formation. If \\(\\mathfrak F=\\mathfrak{NX}\\ll_G\\mathfrak H=\\text{LF}(H)\\), then there exists a formation \\(\\mathfrak Y\\) such that \\(\\mathfrak H\\subseteq\\mathfrak{NY}\\).   Theorem 3. Let \\(\\mathfrak H=\\text{LF}(H)\\). If \\(\\mathfrak N^k\\ll_G\\mathfrak H\\), then there exists a formation \\(\\mathfrak X\\) such that \\(\\mathfrak H\\subseteq\\mathfrak N^k\\mathfrak X\\).   Theorem 4. Let \\(\\mathfrak H=\\text{LF}(H)\\). If \\(\\mathfrak U\\ll_G\\mathfrak H\\), then there exists a formation \\(\\mathfrak X\\) such that \\(\\mathfrak H\\subseteq\\mathfrak N^2\\mathfrak X\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2497448$48CC9D7D-1B93-4DAA-B459-D63EC5BC001F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f06aec0a2f72561cee00db2f984ec9e07458e976","datavalue":{"value":{"entity-type":"item","numeric-id":1398496,"id":"Q1398496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2497448$480F799F-D667-4E8C-ADD7-D34F5AB6448C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6733577c02c6cfba3faed14f3a1300c1637a0c39","datavalue":{"value":"20D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2497448$74397560-1AEA-460D-B997-2D312268131F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"934b407a3764c7b5d75d6bbb8ee5c92dbc4395d0","datavalue":{"value":"5043658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2497448$03D9906E-6DC6-4471-9664-6B1B03055B6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1b5c8fef1f9b448bb12f184e99705b3fc80de15","datavalue":{"value":"finite solvable groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2497448$CA0BD5DA-EC1A-4EEF-B1F2-DF9CE8E4157E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e725ed4c014a6c41c0808dc3228892328eeaa22","datavalue":{"value":"formation products","type":"string"},"datatype":"string"},"type":"statement","id":"Q2497448$E4370138-D88C-43FA-8AC6-586FCA2FF874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92adbb093827ef1c4a12468676e8a65e0ceb623d","datavalue":{"value":"local formations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2497448$428944AB-94AB-446A-9CF7-4DFF44818D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3266b4c03dced8cd30f184c1b7613b6737f3e1c3","datavalue":{"value":"locally defined formations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2497448$7A679449-39AF-4593-95E2-D2DCBB8086E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6bd9e991183119c281a2b7d7ea9edca6773e76c","datavalue":{"value":"saturated formations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2497448$51F420E7-C5F9-4E10-9773-D2C8B57266AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f1176f12be291b7e3b08b30e5bdaf4bfe817819","datavalue":{"value":"Fitting formations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2497448$1569A334-91A9-402B-9380-C47A4BB27F99","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":"Q2497448$3D378D43-E309-473E-A24B-B943098B590B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"729307bf0b7867ceda2bac5c8f1be7e6a0097bcf","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2006.02.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q2497448$48A01996-0F2B-482E-8665-1C14F837B801","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af60d576f7b29f1158e97edcad2a79c56e4ecb17","datavalue":{"value":"W2035118859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2497448$DFC25BDB-9650-431C-805A-2E060374F5BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e99bfeff03741817c1a5f7f6266bfafb1ff8a24","datavalue":{"value":{"entity-type":"item","numeric-id":2535251,"id":"Q2535251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2497448$2D998217-A40E-4A16-A561-6968B3502ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0ae0f6f17670127d02494fd4f472b8db8d21be","datavalue":{"value":{"entity-type":"item","numeric-id":1394297,"id":"Q1394297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2497448$D31D5D4E-D46B-4178-A4DE-C38088F1F446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca672ef022f7b95afca773a196de2e5b24bd12c5","datavalue":{"value":{"entity-type":"item","numeric-id":2557793,"id":"Q2557793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2497448$39D5DB43-5ED3-438A-965D-01D364788544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03985e3e7f95daa7896a34390752c64e7df69a84","datavalue":{"value":{"entity-type":"item","numeric-id":2545347,"id":"Q2545347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2497448$F9D76C6E-98CA-4ABE-A89A-8ECB6CF12AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ddb3c29b46bb5a971223b8298dcab3324f1b9b","datavalue":{"value":{"entity-type":"item","numeric-id":5735288,"id":"Q5735288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2497448$A1BA74F2-7C2D-43DD-B476-55F6D395E99F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7028237d30404a81b679fbfad982a6ca9f108d84","datavalue":{"value":"10.1016/J.JALGEBRA.2006.02.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2497448$96A0476C-088E-4909-B26D-A375149BD5DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121cef02382ee170f66265562afe547a64574667","datavalue":{"value":{"entity-type":"item","numeric-id":3324137,"id":"Q3324137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffcab36522f895093559b01089f19dbfb010a61b","datavalue":{"value":{"amount":"+0.8556881546974182","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":"Q2497448$38CC23F0-463E-4968-8463-44F0EED0F1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0505614f153339a128530b1e9c1c4b652022dde","datavalue":{"value":{"entity-type":"item","numeric-id":4909907,"id":"Q4909907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d7e8f890db2365691723d8d70320cceed64b972","datavalue":{"value":{"amount":"+0.8322347402572632","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":"Q2497448$DADACBCF-17AE-4D36-851E-C942359FA43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26315d56e56821674f6859a8079f77c4ad9d971a","datavalue":{"value":{"entity-type":"item","numeric-id":3448580,"id":"Q3448580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"908ef9f782728e00508646712f804ae1885f923b","datavalue":{"value":{"amount":"+0.8304190635681152","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":"Q2497448$42E1CF4F-723C-4BDB-9F8B-07A8AF98EE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4f0a9f06ec1db42e72483b63ba993a4935ba8ec","datavalue":{"value":{"entity-type":"item","numeric-id":581667,"id":"Q581667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b204b945c25db8899ddb339895de6ad778035ec7","datavalue":{"value":{"amount":"+0.8283587098121643","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":"Q2497448$B5989F3D-BB55-4881-8702-68F653963894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a548a8726ac2d212a7e0c0ddb9b5b7e7a705dfb1","datavalue":{"value":{"entity-type":"item","numeric-id":4761493,"id":"Q4761493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57d69ffd431483197121cd0204f7c582609c56d2","datavalue":{"value":{"amount":"+0.8148894906044006","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":"Q2497448$5E1CAAD6-AF54-4C47-8CC6-FF053B7B6C49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2497448","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2497448"}}}}}