{"entities":{"Q2010212":{"pageid":2020954,"ns":120,"title":"Item:Q2010212","lastrevid":53604440,"modified":"2026-01-25T10:08:05Z","type":"item","id":"Q2010212","labels":{"en":{"language":"en","value":"On strongly \\(\\Pi \\)-permutable subgroups of a finite group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7137344"}},"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":"Q2010212$9D8A78E4-3B28-42B9-A5D3-589320F01AEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e279d7677d77bd3bbcf6db0c4e8ceb293682438a","datavalue":{"value":{"text":"On strongly \\(\\Pi \\)-permutable subgroups of a finite group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2010212$361DA8F2-F7B5-4BE2-BD61-74E2C8A312AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94abee2735bfbca7d749e106f9c1f6eb1c5ff013","datavalue":{"value":"1457.20020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2010212$CB1FCE46-2A3D-4032-914B-301D946F5CEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"274966c45f3a8b43e8af656203da385f723e64a5","datavalue":{"value":"10.1134/S0037446619040177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2010212$7D1CCA3D-CE04-4870-94CA-B1937A60F4A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2010212$ECC97C2F-649C-47A6-AF01-B551985810A6","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":"Q2010212$3139F1B4-9191-45F0-9EE8-2B608A2F7220","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"73f133f99b84a733411ae0ebf88482c6ff8f08b7","datavalue":{"value":{"time":"+2019-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2010212$575FC6F5-2DBE-443D-A053-17B679621290","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d416bef08947f5e07e6726f4c2602a5b6c54ddf0","datavalue":{"value":"All groups in this report are finite. Consider a partition \\(\\sigma=\\{\\sigma_i\\mid i\\in I\\}\\) of the set \\(\\mathbb{P}\\) of all primes and a subset \\(\\emptyset\\ne \\Pi\\subseteq \\sigma\\) and a group~\\(G\\). A set \\(\\mathcal{H}\\) of subgroups of \\(G\\) is a complete Hall \\(\\Pi\\)-set of \\(G\\) when every non-trivial member of \\(\\mathcal{H}\\) is a Hall \\(\\sigma_i\\)-subgroup of \\(G\\) for some \\(\\sigma_i\\in \\Pi\\) and \\(\\mathcal{H}\\) has exactly one Hall \\(\\sigma_i\\)-subgroup of \\(G\\) for every \\(\\sigma_i\\in \\pi\\) such that \\(\\sigma_i\\cap \\pi(G)\\ne \\emptyset\\). A group \\(G\\) with a complete Hall \\(\\Pi\\)-set is called \\(\\Pi\\)-full.  A subgroup \\(A\\) of \\(G\\) is called \\(\\Pi\\)-permutable in \\(G\\) if \\(G\\) has a complete Hall \\(\\Pi\\)-set \\(\\mathcal{H}\\) such that \\(AH^x=H^xA\\) for all \\(H\\in\\mathcal{H}\\) and all \\(x\\in G\\); \\(\\sigma\\)-subnormal in \\(G\\) if \\(G\\) hs a chain of subgroups \\(A=A_0\\le A_1\\le\\dots\\le A_t=G\\) such that either \\(A_{i-1}\\trianglelefteq A_i\\) or \\(A_i/(A_{i-1})_{A_i}\\) is a \\(\\sigma_k\\)-group for some \\(k=k(i)\\) for each \\(i\\in\\{1,\\dots, t\\}\\); and strongly \\(\\Pi\\)-permutable in \\(G\\) if \\(A\\) is \\(\\Pi\\)-permutable and \\(\\sigma\\)-subnormal in~\\(G\\).  A group \\(G\\) is said to be \\(\\sigma\\)-nilpotent if \\(G\\) is the direct product of the members of a complete Hall \\(\\sigma\\)-set of~\\(G\\). A subgroup \\(A\\) of \\(G\\) is said to be \\(\\Pi\\)-modular when \\(G\\) is \\(\\Pi\\)-full and \\(\\langle A, H\\cap C\\rangle=\\langle A, H\\rangle \\cap C\\) for every Hall \\(\\sigma_i\\)-subgroup \\(H\\) of \\(G\\) and all \\(\\sigma_i\\in \\Pi\\) and \\(A\\le C\\le G\\). The group \\(G\\) is said to be a \\(\\Pi\\)-full group of Sylow type if every subgroup of \\(G\\) has the dominance property Hall \\(\\sigma_i\\)-subgroups for all \\(\\sigma_i\\in \\Pi\\).  The first main theorem of this paper (Theorem~A) shows, for a \\(\\Pi\\)-full group~\\(G\\) and a \\(\\sigma\\)-nilpotent subgroup \\(A\\) of \\(G\\), the equivalence between the following facts: (1) \\(A\\) is strongly \\(\\Pi\\)-permutable in~\\(G\\); (2) every characteristic subgroup of \\(A\\) is strongly \\(\\Pi\\)-permutable in~\\(G\\); (3) every Hall \\(\\sigma_i\\)-subgroup of \\(A\\) is strongly \\(\\Pi\\)-permutable in~\\(G\\) for all \\(i\\). For the partition \\(\\sigma=\\{\\{2\\}, \\{3\\},\\dots\\}\\) we recover classical characterisations of Sylow-permutability for nilpotent subgroups.  The second main theorem (Theorem~B) states that for a \\(\\Pi\\)-full group \\(G\\) of Sylow type and a \\(\\sigma\\)-subnormal subgroup of \\(G\\), the following statements are equivalent:  (1) \\(A\\) is \\(\\Pi\\)-permutable in~\\(G\\); (2) \\(A\\) is \\(\\Pi\\)-permutable in \\(\\langle A, x\\rangle\\) for all \\(x\\in G\\); (3) \\(A\\) is \\(\\Pi\\)-modular in every subgroup \\(E\\) of \\(G\\) containing~\\(A\\).  If \\(\\sigma^*=\\{\\sigma_i^*\\mid j\\in J\\}\\) is a partition of \\(\\mathbb{P}\\) such that \\(I\\subseteq J\\) and \\(\\sigma_j^*\\subseteq \\sigma_j\\) for all \\(j\\in J\\), we write \\(\\sigma^*\\le \\sigma\\). Theorem~C states that if \\(G\\) is \\(\\Pi\\)-full and \\(\\sigma^*\\le \\sigma\\), then the set of all \\(\\Pi\\)-permutable subgroups \\(A\\) of \\(G\\) with \\(\\sigma^*\\)-nilpotent \\(A^G/A_G\\) is contained in the set of all strongly \\(\\Pi\\)-permutable subgroups of \\(G\\), and both are sublattices of the lattice of all subgroups of~\\(G\\). Theorem~D shows that if \\(G\\) is \\(\\Pi\\)-full, then the set \\(\\mathcal{L}\\) of all \\(\\Pi\\)-subgroups of \\(G\\) belonging to the set of all \\(\\Pi\\)-permutable subgroups \\(A\\) of \\(G\\) with nilpotent \\(A^G/A_G\\) is a sublattice of the lattice of all subgroups of \\(G\\), and \\(\\mathcal{L}\\) is modular if, and only if, every two members of \\(\\mathcal{L}\\) permute. This generalises the known fact that the lattice of all S-permutable subgroups of \\(G\\) is modular if and only if every two members of the lattice permute.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2010212$CF88DE8B-1704-46A1-9AAA-6C49B9E69A5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cb279cd820ee6d5f5647cc9befc318ac29106a8","datavalue":{"value":"20D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2010212$2555158F-2097-43F9-A6A7-D10CE447B633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6733577c02c6cfba3faed14f3a1300c1637a0c39","datavalue":{"value":"20D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2010212$0495989A-82EF-40F8-AD44-7950809A6246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"71b572f311a99bb5f7c500724bcdaeec29d1e095","datavalue":{"value":"20D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2010212$1266E645-F7C6-4845-854E-16704B0165DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a854ad18943a8f23f915d2afbe74a1db431d3cdf","datavalue":{"value":"20D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2010212$E5CB0946-24CD-483E-80D4-F55A013FF3EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc4da71c30fab44225bf7ea124555f159d0357af","datavalue":{"value":"7137344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2010212$C0001DF6-F915-4957-B691-1E496AC27F7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18c42de41f3c94716175d79e3c102bb7e3ce2cb4","datavalue":{"value":"finite group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2010212$6574602F-3FD5-4BF6-AD24-89B327202A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f5dcefc4386aafb796f14f7f255e09233d14e66","datavalue":{"value":"subgroup lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2010212$5E876CCD-ADF2-4907-AA61-D093AE3ED4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1afa524637d216ca68d2b5ae640258e62db9b59","datavalue":{"value":"\\(\\sigma\\)-subnormal subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2010212$40FE1690-C5C8-480B-AF33-CDAC008E266F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"339ea5f9c6e57797a0f4fc4e9dd7f75f32a17c8a","datavalue":{"value":"strongly \\(\\Pi\\)-permutable subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2010212$1B6480E8-D8B2-447F-88FB-4CF33A115209","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ab2999986376ad997bd984246ceb0ee39ed7c812","datavalue":{"value":{"entity-type":"item","numeric-id":352718,"id":"Q352718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2010212$62ACE6DC-90D7-4492-80C7-1419B913F226","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":"Q2010212$7E191888-71C7-4EA6-9772-FA5538A31841","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"682313b29af0f27d7c4cf0f874886f3ccdd558f8","datavalue":{"value":{"entity-type":"item","numeric-id":2397806,"id":"Q2397806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2010212$93A8D5DD-C659-4EEE-9CF2-443EFB4F60E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"645f06917c41b88ac815bc0b93e2dbd882f834ef","datavalue":{"value":{"entity-type":"item","numeric-id":2345556,"id":"Q2345556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2010212$7822BE37-4AEB-45B9-8654-E245383AA107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"194c6c11b4f4f7e5de01b83b1938c46bc306334b","datavalue":{"value":{"entity-type":"item","numeric-id":1682069,"id":"Q1682069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2010212$25C42D32-3417-4A1A-A5F8-64BB8B689295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d55ce96a48d022f1115dff6a89ccee0e232089b","datavalue":{"value":{"entity-type":"item","numeric-id":2413424,"id":"Q2413424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2010212$BF78301B-3CF0-4DB9-85AA-0C7664342B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2afb78bd60d0d4de3cd58c91eb28fac9b219e2f","datavalue":{"value":{"entity-type":"item","numeric-id":774621,"id":"Q774621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2010212$A92930DB-3241-4D24-8346-75A9F6A92370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c753c6dc001701e1c19d8ce52990b7152482150b","datavalue":{"value":{"entity-type":"item","numeric-id":607637,"id":"Q607637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2010212$1FBFC81F-C624-4B73-AF46-C941778FBC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf5e154a98d0e47e114fda8a4b7d206cc2c4e31f","datavalue":{"value":{"entity-type":"item","numeric-id":705711,"id":"Q705711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2010212$2BC3896B-DB71-47CD-ABA7-BA0115EF551A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a12072609d9009c54769487674d4ca6eaaf17e","datavalue":{"value":{"entity-type":"item","numeric-id":2362758,"id":"Q2362758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2010212$1FC5AD6E-CCC6-4E49-A3AD-01A5F55948F4","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":"Q2010212$D82C386C-27A2-40E3-948A-23548C83D377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c223b23881cda6bef81ab203cf3ff0ce47611085","datavalue":{"value":{"entity-type":"item","numeric-id":1884689,"id":"Q1884689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2010212$9ABBA4AA-C43C-4C4B-8325-A6FE6D7C5F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e8be3676a8c0ae4d8b9d1671902a3744010f363","datavalue":{"value":{"entity-type":"item","numeric-id":1904821,"id":"Q1904821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2010212$5A3868D3-71D0-442E-89CC-F6845C17040B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0357256b368f807736c58cf21e686e47173b01e","datavalue":{"value":"https://doi.org/10.1134/s0037446619040177","type":"string"},"datatype":"url"},"type":"statement","id":"Q2010212$DC4B6461-6DD5-4369-A4DE-F06B4779DB66","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f28851b513e6d75aaaf02e27ba9c9afe1bf94b9","datavalue":{"value":"W2967639597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2010212$9A52F317-2C63-4274-A9B3-F36798F6011C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28a3666f7b4a72b32e30beacb890db571f1bcf5b","datavalue":{"value":{"entity-type":"item","numeric-id":2413424,"id":"Q2413424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae6e59fc68dcfaff3f6e1314a2f48a27e8ebeefc","datavalue":{"value":{"amount":"+0.8982741832733154","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":"Q2010212$798D99FA-9863-4EBE-9A33-F45416806715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fec67645258adca0ada6c40f083eb955c3b6016","datavalue":{"value":{"entity-type":"item","numeric-id":2401496,"id":"Q2401496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9697b9c1f521b076a9a4df19a8431c1d0aa6203b","datavalue":{"value":{"amount":"+0.8810020089149475","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":"Q2010212$E91B0F55-92D7-4B66-97BF-0E512B13058E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4a452b5c68d27edd00d377c3dd668861c187590","datavalue":{"value":{"entity-type":"item","numeric-id":1690485,"id":"Q1690485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3cbd8ee27900399b409f8d0e1462180030ea179","datavalue":{"value":{"amount":"+0.8732538819313049","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":"Q2010212$AD7D6DD7-B7A5-4813-90B3-181B92FFDAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7830ec83f1cb72a9cde0a1be26500a1ddd27db2","datavalue":{"value":{"entity-type":"item","numeric-id":2345556,"id":"Q2345556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e14a3c2515244fef1163d0b218db72343d2a2b32","datavalue":{"value":{"amount":"+0.8727795481681824","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":"Q2010212$C2E6CBE1-9DCC-46D0-8951-1B8B45F25A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c14934168913613c7042ae1b67b950257696e8d","datavalue":{"value":{"entity-type":"item","numeric-id":1788702,"id":"Q1788702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b159c3da8b64c39fb7f8a2e6394a4c084fc37269","datavalue":{"value":{"amount":"+0.8684070110321045","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":"Q2010212$06DD8C31-DAB6-4967-9C21-4FD51D430D95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2010212","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2010212"}}}}}