{"entities":{"Q6940110":{"pageid":21144267,"ns":120,"title":"Item:Q6940110","lastrevid":101364818,"modified":"2026-06-06T00:58:01Z","type":"item","id":"Q6940110","labels":{"en":{"language":"en","value":"Formations of finite groups in polynomial time: the \\(\\mathfrak{F}\\)-radical and the \\(\\mathfrak{F}\\)-length"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8082929"}},"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":"Q6940110$16505F04-FC46-4F73-BE67-02D910309C50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca5edd9aaee543ba161575280ccf05d74e2e5f00","datavalue":{"value":{"text":"Formations of finite groups in polynomial time: the \\(\\mathfrak{F}\\)-radical and the \\(\\mathfrak{F}\\)-length","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6940110$B8324837-E398-4A66-8BA6-21C8A2309447","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9deb73b340faad566183d6032b5897127579d125","datavalue":{"value":"1572.20022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940110$3E2FF0B8-B244-48DD-A6FA-AAF5E27FED42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b1f54da19a6216950569e6bab879340f850d3f8","datavalue":{"value":{"entity-type":"item","numeric-id":1748040,"id":"Q1748040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940110$7C56FB25-D0F7-4BB1-8CCA-5A2788C70F17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9287278596468f2c5150699c9317a8659ad607b7","datavalue":{"value":{"entity-type":"item","numeric-id":6641461,"id":"Q6641461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940110$E48D49D5-3FEC-4B5C-8CC5-8861BDD64D82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fb3c2642bc08f401365e4a6aafa09d756f14110","datavalue":{"value":{"time":"+2025-08-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":"Q6940110$5E5496AA-0D0A-4818-9D6A-EF773839F9B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e1b6d8aeff5c8ec917511f8cb3cb6f7a1094795","datavalue":{"value":"https://journals.bsu.by/index.php/mathematics/article/view/6757","type":"string"},"datatype":"url"},"type":"statement","id":"Q6940110$67FC5686-C1A1-4412-84EA-86B07AC472EC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"01c87472dc5baca2d539ef202c12dda80e0931c3","datavalue":{"value":"The paper develops polynomial-time algorithms to compute the \\(\\mathfrak{F}\\)-radical and the \\((\\mathfrak{F},\\mathfrak{H})\\)-length of a finite group \\(G\\) given by permutations of degree \\(n\\), where \\(\\mathfrak{F}\\) is a Baer-local Fitting formation and \\(\\mathfrak{H}\\) is another Fitting class. Assuming that the radicals associated with the local values of the Baer function \\(f\\) defining \\(\\mathfrak{F}\\) are computable in polynomial time, it is shown that \\(G_{\\mathfrak{F}}\\) and \\(\\ell_{\\mathfrak{F},\\mathfrak{H}}(G)\\) can also be computed in polynomial time in \\(n\\).\\N\\NThe method is based on centralizers of chief factors and includes explicit pseudocode for algorithms FRADICAL, EFRADICAL and FLENGTH. The strategy involves computing a chief series of \\(G\\), checking whether  each chief factor belongs to \\(\\mathfrak{F}\\) via the Baer-local definition and intersecting the corresponding generalized centralizers.\\N\\NIn addition to the \\(\\mathfrak{F}\\)-radical, the paper discusses various formation-theoretic lengths, including the nilpotent length, \\(p\\)-length, generalized Fitting height and non-\\(p\\)-soluble length, each of which is shown to be computable in polynomial time for permutation groups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6940110$785885D9-5F6B-4499-BB0D-2F5E045D985C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"84143e6334371c8e3cbc935219640b812b5c932b","datavalue":{"value":{"entity-type":"item","numeric-id":258043,"id":"Q258043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940110$19691C35-0B46-42EA-B518-F2A60244E151","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6733577c02c6cfba3faed14f3a1300c1637a0c39","datavalue":{"value":"20D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940110$2770CEBA-A7A5-408D-893D-165302154C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0838ebc9c8bacb3297c2f0d131d4b9d35e288c46","datavalue":{"value":"20D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940110$BC9194B5-28DE-4B00-B7A9-501BB1B8561F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0da8a0ae39ec16bf06e86cd23430c4f0aa6576dd","datavalue":{"value":"20-08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940110$1FC409AA-B521-4EBB-B744-034E8246509B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940110$01B59C0A-4D14-494C-9CDC-DB9154371340","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b0c895cad355ff2cfe35e93e45ccb5f9ed14c58","datavalue":{"value":"8082929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940110$A3602FA2-EEDC-4760-9766-B31175FA3741","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940110$0F818178-41C8-46DD-86CD-766347DC8699","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9058244fa3113f182858a04ec95d19200c8e2d","datavalue":{"value":"permutation group computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6940110$F5490015-FF5F-4698-811E-C5454161AC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91b39c65178b97b7325a0ce82bc197970f55243a","datavalue":{"value":"Baer-local formation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6940110$7F1E8245-E010-4807-92B9-29FFB73A2F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a1a56973b07a8774b3ecb752127c0ead1f2eb36","datavalue":{"value":"Fitting formation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6940110$07359A94-C46A-474F-8528-E68C51C36447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e28805d1a11cb0cabccf0d2eae06c247b69a709c","datavalue":{"value":"\\(\\mathfrak{F}\\)-radical","type":"string"},"datatype":"string"},"type":"statement","id":"Q6940110$684A26E3-8F4F-49FF-A0F5-650325968B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fab0b240da667a5110ebcfd623cfc191f1194e07","datavalue":{"value":"\\(\\mathfrak{F}\\)-length","type":"string"},"datatype":"string"},"type":"statement","id":"Q6940110$03098A47-C878-4EE5-AC40-3707975BC21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdde7b45dbb3f8df248ead9902e8db0fb791e374","datavalue":{"value":"polynomial time algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q6940110$E0ADF67C-F90F-4FF2-90CE-D79D8ABA9742","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":"Q6940110$B1555272-122B-4DDC-9729-007D6F38E870","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"74e2a41782119ed0eb85e4c421d688c5feb9d3f0","datavalue":{"value":{"entity-type":"item","numeric-id":5905125,"id":"Q5905125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940110$0FD92122-0513-45F5-A080-A4CD816BA79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9639a7b11793462ea67997bf9c1b9d312aefb9ce","datavalue":{"value":{"entity-type":"item","numeric-id":3223030,"id":"Q3223030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940110$A446A7E7-4BEC-4CF3-9B78-97E2BAEAA979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85cbe75cede1e2730a82780731d3e15c7005acfc","datavalue":{"value":{"entity-type":"item","numeric-id":5950984,"id":"Q5950984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940110$41D3CFD0-4779-4495-B1A2-4706479FDEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9a072ff082f3e4488d22b97f473421b56701b1","datavalue":{"value":{"entity-type":"item","numeric-id":1599538,"id":"Q1599538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940110$D5C6DD66-434F-46CC-856C-AB0E37BADEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7ec9c735cc5a320620bf7ddee4cac5dbee23773","datavalue":{"value":{"entity-type":"item","numeric-id":6184182,"id":"Q6184182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940110$A5A6577E-8961-49B3-92F0-7DD190BFBF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47705a6acda5409e463058acae3aad183143ec40","datavalue":{"value":{"entity-type":"item","numeric-id":1117319,"id":"Q1117319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940110$D5DCB92C-25DE-43E3-BEF2-851229DB4B00","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":"Q6940110$13F6FE8F-E709-4610-989B-67C652004692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c818b568e47f99b23b79044d2bb17345956d91a","datavalue":{"value":{"entity-type":"item","numeric-id":2935417,"id":"Q2935417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940110$87857F2E-82B9-4979-A7D5-143C771DCEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1c62ada788f3ca01a4c6f8156af507942db5d91","datavalue":{"value":{"entity-type":"item","numeric-id":4787523,"id":"Q4787523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940110$6D5804D7-A7E9-44E0-AEB5-8875AABD8151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"342964cf9ae6a62b169f41e11ff64bb283f43552","datavalue":{"value":{"entity-type":"item","numeric-id":3752563,"id":"Q3752563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940110$0A038ACE-3744-4F57-A285-D754BBC80F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c280c94a6139ae504c2ae04c131e74497d2a6d3","datavalue":{"value":{"entity-type":"item","numeric-id":3741778,"id":"Q3741778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940110$3DECBB14-CA1D-43C9-9BA1-6CA5A2F2AD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d906d4a4b29a47165e16a3f1042bcb85e177a0","datavalue":{"value":{"entity-type":"item","numeric-id":2550070,"id":"Q2550070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940110$5B4813DA-ABC1-4B52-B45F-2A1791AA3B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d317c91e08427c92c591562861e8bceb3454e0be","datavalue":{"value":{"entity-type":"item","numeric-id":5685282,"id":"Q5685282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940110$173B41E8-22E5-44D6-B211-DD4CB1399424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77ce5913c61da1405f537f9cc28a7eca6ae214aa","datavalue":{"value":{"entity-type":"item","numeric-id":498990,"id":"Q498990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940110$91670025-85F3-41A0-B6E2-67668FCD8CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a94b8d9bb14927c7bf7477c8a8b8b6f54a5b7a10","datavalue":{"value":{"entity-type":"item","numeric-id":893374,"id":"Q893374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940110$194A7BA8-EBF6-4F63-97A4-C81805B781EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f081ae7597dc097abefa5a019eafbe784e3e54","datavalue":{"value":{"entity-type":"item","numeric-id":6111813,"id":"Q6111813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940110$C6273992-8842-4344-B6DE-4C3EA68D2392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94f64d2654a61a4d73c7f3b1b49b1ffab129fc92","datavalue":{"value":{"entity-type":"item","numeric-id":4960823,"id":"Q4960823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940110$1580960A-6283-4772-98AD-1A97EA8B21A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f9b5b11859c15d1f30b2552da4fb576a2c3d4b3","datavalue":{"value":{"entity-type":"item","numeric-id":5131768,"id":"Q5131768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940110$38FF79F0-0198-41FB-AD4E-39DC08E8140A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dc56a29f33cd620beb05e717045a6a57633673a","datavalue":{"value":{"entity-type":"item","numeric-id":6669611,"id":"Q6669611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940110$89880847-0F42-4974-9BBD-FA6513B968BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6940110","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6940110"}}}}}