{"entities":{"Q1920858":{"pageid":1931600,"ns":120,"title":"Item:Q1920858","lastrevid":69303741,"modified":"2026-04-13T06:06:38Z","type":"item","id":"Q1920858","labels":{"en":{"language":"en","value":"A question on saturated formations of finite groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 917149"}},"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":"Q1920858$5B65DE7D-5C32-4450-B716-F97276A2480C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a82d25691836d6aca09ffcab23fcccd5f1a31124","datavalue":{"value":{"text":"A question on saturated formations of finite groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1920858$D83A25DF-D3D7-498E-B131-7B7125A5C2E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c818c1d4fa1b30496b7a7dfc8aa6f310749d0367","datavalue":{"value":"0853.20009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920858$A5885890-0D11-42A2-9B48-82670CCF29B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ab24996e03d8d09933c44fb1b1c8ab00b2c0520","datavalue":{"value":"10.1007/BF02106831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920858$5AB42D56-666D-4584-A00E-B4F7FE3D1CD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"083dc26de2f7806eac2f247102cea5b452b1ac8c","datavalue":{"value":{"entity-type":"item","numeric-id":480804,"id":"Q480804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920858$4466BF62-81C3-4D2F-8D8B-2CE3653382BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a195747c711cf03a073cbbf0579fe562ba076714","datavalue":{"value":{"entity-type":"item","numeric-id":314634,"id":"Q314634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920858$DA883D87-F306-4981-870C-67CC756E9BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3d0688fb508aa1b26b44d9bf034cef38a0e92a2","datavalue":{"value":{"entity-type":"item","numeric-id":500849,"id":"Q500849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920858$6B02369C-F63D-4507-98AA-E6A8E92F1D7C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920858$C2AD8679-1826-40CB-B270-E25CDA04550D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"82a0145d0f9eac76413dc020fee0865e4d3fb5b2","datavalue":{"value":{"time":"+1996-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1920858$695DE167-8B22-4977-9745-2DEB857F37D9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3297872d96feb76c5129719b26e03db091694433","datavalue":{"value":"Let \\(\\mathfrak H\\) be a saturated formation, \\({\\mathfrak H}=LF(H)\\), where \\(H\\) is the canonical local definition of \\(\\mathfrak H\\) and let \\(\\mathfrak F\\) be a formation. Denote by \\({\\mathfrak H}\\downarrow {\\mathfrak F}\\) the class of all groups whose \\({\\mathfrak H}\\)-projectors belong to \\(\\mathfrak F\\). Since \\({\\mathfrak H}\\downarrow {\\mathfrak F}={\\mathfrak H}\\downarrow ({\\mathfrak H}\\cap {\\mathfrak F})\\), it can be supposed in the sequel that \\({\\mathfrak F}\\subseteq {\\mathfrak H}\\). If \\(\\mathfrak H\\) is also saturated, we will denote \\({\\mathfrak F}=LF(F)\\), where \\(F\\) is the canonical local definition of \\(\\mathfrak F\\).   The class \\({\\mathfrak X}={\\mathfrak H}\\downarrow {\\mathfrak F}\\) is a formation but in general \\(\\mathfrak X\\) is not saturated. The saturation of the formation \\({\\mathfrak H}\\downarrow {\\mathfrak F}=(G\\in {\\mathfrak S}:\\text{Proj}_{\\mathfrak H}(G)\\subseteq {\\mathfrak F})\\) was fully analyzed by Doerk. Our aim is to give some necessary conditions, in the general nonsoluble universe, for a saturated formation \\(\\mathfrak H\\) to have the following property: \\({\\mathfrak H}\\downarrow {\\mathfrak F}\\) is a saturated formation for all saturated formations \\(\\mathfrak F\\) (Theorem C). Unfortunately, the conditions are not sufficient. As a preliminary result we give a criterion for \\({\\mathfrak H}\\downarrow {\\mathfrak F}\\) to be saturated in terms of the canonical local definitions of \\(\\mathfrak H\\) and \\(\\mathfrak F\\) (Theorem A). Finally, we undertake the ``symmetric'' problem of characterizing the saturated formations \\(\\mathfrak F\\) such that \\({\\mathfrak H}\\downarrow {\\mathfrak F}\\) is saturated for all saturated formations \\(\\mathfrak H\\). This is done in Theorem B.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920858$BEB69037-1EDE-43B7-B174-ED24FBB77BD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6733577c02c6cfba3faed14f3a1300c1637a0c39","datavalue":{"value":"20D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920858$4E396737-18DA-4978-9D7C-067C854ADE68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3eb9b29d8074e40f7df4732e05c5e302eb0f1189","datavalue":{"value":"917149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920858$3D5D06D3-EB31-4FD5-B854-9A51770DBC7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6bd9e991183119c281a2b7d7ea9edca6773e76c","datavalue":{"value":"saturated formations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920858$FAE629EF-EDE2-4F31-9D06-21ADB2804084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c574ff117b00e10a7dec8b89c75d9cfc4178186","datavalue":{"value":"local definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920858$611FA564-DE8D-4020-B4E2-B81175FE7882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29285f8e78ec35a526ac55343a361fe9d8486cfd","datavalue":{"value":"\\({\\mathfrak H}\\)-projectors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920858$ADAC9AA8-B9C1-48E9-A37B-74D651C01FBF","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":"Q1920858$4FA85C92-3EC2-47E0-87B5-7CA486C5BFBF","rank":"normal"}],"P223":[{"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":"Q1920858$08571F18-35C7-49CA-A72C-B0B8C2ADDA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c444bc23e831c3b071833b7cbba83f4faaba052e","datavalue":{"value":{"entity-type":"item","numeric-id":3659962,"id":"Q3659962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920858$F4A16C4F-14DC-4C39-AD6C-1BF60FCF9FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2192a27201db3a8459e2de994bbaf361d7c4dd9","datavalue":{"value":{"entity-type":"item","numeric-id":2545353,"id":"Q2545353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920858$9CFCF4F7-3C0D-4ED9-BD9F-D2B75E4A8CE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd340fccbf1cb9be49f78324114a4ea3b10bdbcd","datavalue":{"value":"https://doi.org/10.1007/bf02106831","type":"string"},"datatype":"url"},"type":"statement","id":"Q1920858$46ACB1C4-5492-4304-BA58-673954D0F72F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68da2816b2c95800a0c3bb6ab6e65fef24e9c0fc","datavalue":{"value":"W2053007328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920858$DB2D18C6-E276-488A-B08A-E0D144AA09ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33bcf88ad03dafc8c178b6ff806da47a95df39b7","datavalue":{"value":{"entity-type":"item","numeric-id":4230716,"id":"Q4230716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d93fea03ae94aac8b8726c73c764e15a9eb9ed01","datavalue":{"value":{"amount":"+0.8827909827232361","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":"Q1920858$D2DF82CE-839A-42CD-BA2E-8CC162C03148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67a87d84df480183042bf719b69c1d8e59519fb4","datavalue":{"value":{"entity-type":"item","numeric-id":4866206,"id":"Q4866206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"012b4b808f32a8522c607ad7949887f0d6fba90c","datavalue":{"value":{"amount":"+0.8652653694152832","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":"Q1920858$6A74C909-9741-427A-AE86-A0F20BD9B598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c3d707167d3eef4d91a318c85abb34a157c3269","datavalue":{"value":{"entity-type":"item","numeric-id":4395756,"id":"Q4395756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf18d29f57b981a9fe78d5d4487a25997ee4964a","datavalue":{"value":{"amount":"+0.8306418061256409","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":"Q1920858$AD127E3D-0F88-41C4-A25E-B62653C85A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87c5ada0f6a7174a1b525b2e1926eec38b63c29f","datavalue":{"value":{"entity-type":"item","numeric-id":757585,"id":"Q757585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d438d49a5265b485ee4cdff7c943641366025e0","datavalue":{"value":{"amount":"+0.8298383951187134","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":"Q1920858$772E4857-6F3B-4A5F-86BC-F56582796F54","rank":"normal"},{"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":"1db0317a7b9000f38a2146f46f480a5c199c48da","datavalue":{"value":{"amount":"+0.8293173909187317","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":"Q1920858$64CEE811-157B-4F24-81A1-915B264235F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A question on saturated formations of finite groups","badges":[]}}}}}