{"entities":{"Q6907725":{"pageid":20946148,"ns":120,"title":"Item:Q6907725","lastrevid":84165932,"modified":"2026-05-12T21:21:53Z","type":"item","id":"Q6907725","labels":{"en":{"language":"en","value":"Profinite groups with complemented closed subgroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8114251"}},"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":"Q6907725$8E5BAFC2-EF2B-4C44-B683-719D803CD6CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4bdaca128b98a8c86866baa2db4364b557dd28f","datavalue":{"value":{"text":"Profinite groups with complemented closed subgroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6907725$2F8A8D6A-728D-4DD5-A75A-D409805CE6DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3517f193f71a942045a9266b86512c72891fb44","datavalue":{"value":"10.1016/J.JALGEBRA.2025.09.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6907725$D19FFAC4-AAF2-43F9-8DE3-4FFA41E4A86B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98cece7494ca6c8f545b5d03ed12ad5d87a5aecf","datavalue":{"value":{"entity-type":"item","numeric-id":405806,"id":"Q405806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907725$38F899D8-7162-4C82-B1A3-1C5DCADDB260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08dc27312a5d96a7b00ed7d28b9720c8614b0309","datavalue":{"value":{"entity-type":"item","numeric-id":6130271,"id":"Q6130271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907725$A905EE8E-19E7-415F-8514-7079EF5128F3","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":"Q6907725$85AFDB36-1B40-4A02-87B4-B1E1B4B4AE05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"91a038f19cf3fc844d7c3fb11200ffb5487a4cb4","datavalue":{"value":{"time":"+2025-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6907725$8FCE15AC-2C36-4030-9A5E-19990A8EDBB6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"de90a3d38af3167d5e2ada1fd9d982f05a3674e0","datavalue":{"value":"A group \\(G\\) is said to be a \\(\\mathcal{C}\\)-group if every subgroup \\(H \\leq G\\) has a permutable complement \\(K\\), that is \\(G=HK\\) and \\(H \\cap K=1\\). Finite \\(\\mathcal{C}\\)-groups were studied by \\textit{P. Hall} [J. Lond. Math. Soc. 12, 201--204 (1937; Zbl 0016.39301)], who characterized them as the groups that are isomorphic to a subgroup of the direct product of two groups of square-free order.\\N\\NIn the theory of profinite groups, closed subgroups play a crucial role. A profinite group \\(G\\) is defined to be profinite-\\(\\mathcal{C}\\) if every closed subgroup has a closed permutable complement. Theorem A gives several equivalent formulations of this property, including that \\(G\\) is an inverse limit of finite \\(\\mathcal{C}\\)-groups.\\N\\NTheorem B describes the structure of profinite-\\(\\mathcal{C}\\) groups. Indeed, they are semidirect products \\(G = B \\rtimes A\\), where \\(B = \\prod_{j \\in J} \\langle b_j \\rangle\\) and \\(A = \\prod_{i \\in I} \\langle a_i \\rangle\\) are Cartesian products of cyclic groups of prime order, where each \\(\\langle a_i \\rangle\\) normal in \\(G\\) and \\(A\\) can be chosen as the topological closure of \\(G'\\).\\N\\NFinally, Theorem C characterizes when a profinite-\\(\\mathcal{C}\\) group is a \\(\\mathcal{C}\\)-group: Namely, this occurs if and only if the group is torsion and \\(|G : Z(G)G'| < \\infty\\), equivalently, if it is torsion and virtually abelian.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6907725$19C92945-7613-45CD-A995-1659F35576A5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5bfd82087b720927b1a296c318191d7cfc2aac2e","datavalue":{"value":{"entity-type":"item","numeric-id":284097,"id":"Q284097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907725$9BAA8E4A-601F-450C-B33D-A1C6DA495DE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ef7763c663249d52fb24c69b52f35da435fa9a3","datavalue":{"value":"20E18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6907725$9B256160-3B89-4981-80A1-4ACAA8F16D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ee39ae7906ca77d9c8db2bbe3d8ccbedff971d12","datavalue":{"value":"20E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6907725$FDB69C11-D4E9-4EBD-BABE-29B7D7BF1718","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7b2c1cf043284511a6232546e30a2e63ceeeca7","datavalue":{"value":"8114251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6907725$B82F3B18-09D7-4CD8-9020-A0C837A3E250","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ad93c5135fdb6642df265555814b9246eeaa9cc","datavalue":{"value":"profinite group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6907725$6CD2B187-815A-4201-91F7-4E64E751F63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24383d6110472d9188ed75604273ced2dc4ac5ca","datavalue":{"value":"complemented subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q6907725$95E1DEB7-F1AA-4AFA-B67C-5D764663C7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d65f3fa0457d247436af453b23ccfbb7923d7f2e","datavalue":{"value":"closed subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q6907725$AF37965B-ADBC-495B-A803-4AAA433886F7","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":"Q6907725$3265A1E9-B917-499C-87C4-6310B61ADD67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7ec211786a2da1a09e0a026724de70d173bddb7","datavalue":{"value":{"entity-type":"item","numeric-id":5336358,"id":"Q5336358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907725$D10525F0-EAD4-49EA-BD1A-DFDC1A02DF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7668c01cd9f224143a28910b84fa1ac7913f15ca","datavalue":{"value":{"entity-type":"item","numeric-id":1139127,"id":"Q1139127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907725$5ABF59B7-DE79-4CC7-BAEC-51B0B02974AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3954c8b5e157af0a304b60d385aad1ec8116ad","datavalue":{"value":{"entity-type":"item","numeric-id":5766539,"id":"Q5766539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907725$1DDF1934-E3CA-4AB6-AD16-927E829B42A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb1807ee38fcbd50526870d445fdc6d20848aa73","datavalue":{"value":{"entity-type":"item","numeric-id":5851831,"id":"Q5851831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907725$97316E77-43E0-4103-96AC-BA964C881696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50dd4dc0740a49694426ef4ad247e0b8f141a91f","datavalue":{"value":{"entity-type":"item","numeric-id":3941589,"id":"Q3941589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907725$ECE5CC02-2BE9-4FFE-B667-A8877D120291","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":"Q6907725$035F8A77-40AF-4893-A555-C4DE0EF9B079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6719a00804bfa75828a1588a5a1b4f54becce338","datavalue":{"value":{"entity-type":"item","numeric-id":4217279,"id":"Q4217279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6907725$90D15412-CC41-4BB9-9FDA-34A1D08C7D43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Profinite groups with complemented closed subgroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Profinite_groups_with_complemented_closed_subgroups"}}}}}