{"entities":{"Q2460000":{"pageid":2470743,"ns":120,"title":"Item:Q2460000","lastrevid":50208857,"modified":"2026-01-13T12:58:16Z","type":"item","id":"Q2460000","labels":{"en":{"language":"en","value":"On \\(p\\)-saturable groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5210052"}},"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":"Q2460000$067D6C98-F02B-436F-850F-F957C006C6CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8c67e65505cc1239c28f28bc42e74eef3f4a7b0","datavalue":{"value":{"text":"On \\(p\\)-saturable groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2460000$8294F9A6-FB2D-4F34-B5C0-78C947E5C46E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"775f51ccdad89ddcdb9303de853099e4fcfca3e3","datavalue":{"value":"1161.20024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460000$2AAADB8E-29F7-421B-90D8-096E2C49F713","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":"Q2460000$D0628A9A-2B00-487A-B829-A27BAFBC4411","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b24264f1ca0d454ff1966f73ec14e3c2e92e2ae9","datavalue":{"value":{"time":"+2007-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2460000$0B89764E-E14E-4FA0-B005-2475818D90B2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"24686b6e1f230588f533a1b94ede0521dc1895ee","datavalue":{"value":"\\textit{M. Lazard}, in his paper [Publ. Math., Inst. Hautes \u00c9tud. Sci. 26, 389-603 (1965; Zbl 0139.02302)] from 1965, gave a group theoretic characterization for a topological group to be \\(p\\)-adic analytic. Namely he proved that a topological group is \\(p\\)-adic analytic if and only if it has an open \\(p\\)-saturable subgroup. The group-theoretic aspects of his work were taken up and reinterpreted in the 1980s by Lubotzky and Mann. Starting with their concept of uniformly powerful pro-\\(p\\) groups they reconstructed most of the group-theoretic consequences of Lazard's theory without any heavy `analytic' machinery. A uniformly powerful pro-\\(p\\) group is \\(p\\)-saturable but not vice versa as \\textit{B. Klopsch} showed [in Math. Z. 249, No. 4, 713-730 (2005; Zbl 1065.22005)].   In this paper the author gives a new group theoretic characterization of \\(p\\)-saturable groups. A pro-\\(p\\) group \\(G\\) is called a PF-group if it has a central series of closed subgroups \\(N_1\\geq N_2\\geq\\cdots\\) with \\(\\bigcap_{i=1}^\\infty N_i=1\\) and \\([N_i,\\undersetbrace{(p-1)\\text{-times}}\\to{G,\\dots,G}]\\leq N_{i+1}^p\\).   Then the main theorem of the paper is the following Theorem. Let \\(G\\) be a torsion-free finitely generated pro-\\(p\\) group. Then the following conditions are equivalent: (1) \\(G\\) is a \\(p\\)-saturable group; (2) \\(G\\) is a PF-group; (3) the quotient \\(G/\\Phi(G)^p\\) is a PF-group, where \\(\\Phi(G)\\) is the Frattini subgroup.   This theorem combined with Lazard's isomorphism between the category of \\(p\\)-saturable groups and the category of \\(p\\)-saturable Lie algebras allows the author to deduce the correspondence between certain families of subgroups of \\(G\\) and ideals of the corresponding Lie algebra \\(L\\) of \\(G\\). In particular it is proved that lower central series of \\(G\\) and \\(L\\) coincide, that \\(G\\) is nilpotent if and only if \\(L\\) is nilpotent, and that \\(G\\) is solvable if and only if \\(L\\) is solvable.   Finally the author proves that most normal subgroups of a \\(p\\)-saturable group are again \\(p\\)-saturable.   Theorem. Let \\(G\\) be a \\(p\\)-saturable group and \\(N\\) a closed normal subgroup of \\(G\\). Then: (1) If \\(N\\) is contained in \\(\\Phi(G)\\), then \\(N\\) is \\(p\\)-saturable; (2) \\(N\\) is a Lie subalgebra of \\({\\mathcal G}\\) if and only if \\(N^p=\\{n^p\\mid n\\in\\mathbb{N}\\}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460000$9687515B-2383-4156-B3AA-8ED1F07951F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ef7763c663249d52fb24c69b52f35da435fa9a3","datavalue":{"value":"20E18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460000$DF106CCF-D8DB-45C3-8F77-E78F9E65DCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460000$30A2CDC9-95DC-422B-A47B-FD724CDAA477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d267b79d7c375f7a21a0589ed85621f83aaaf2d","datavalue":{"value":"20F14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460000$BD49A184-4199-434C-BD2A-3DE73BF8D8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"38edcb0292ca371407c43c7b95485d4a53fb371f","datavalue":{"value":"20F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460000$3377D53E-A221-44F8-8C19-CD21AC08BDE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24eb2338144b494a811a831fc6e01f0fb80dcded","datavalue":{"value":"5210052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460000$7940FEF9-2DD1-44D7-A195-EB111E6934D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94359248b414f1f7bc421176455ea1739940069a","datavalue":{"value":"\\(p\\)-adic analytic pro-\\(p\\) groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460000$1FC0CC32-F6B3-4E7D-9A87-29078F64A35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e824c5b82ddb71b4fddc3dfa6a66f9896b5c017d","datavalue":{"value":"\\(p\\)-saturable subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460000$75A0B08E-2427-44F4-8CC5-9EDEE600781E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab182e179cb80e13ed21e8912a16c499476de806","datavalue":{"value":"uniformly powerful pro-\\(p\\) groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460000$1AC64746-8E80-4887-AA2A-9EE876DA9512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"226d9a9e28a7b5278d6f24f46519183a2a4af37a","datavalue":{"value":"central series","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460000$A4B1555A-5E90-4498-9CFD-6518047DECE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1faf8468e79a01663beec97348aa6b18da393113","datavalue":{"value":"representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460000$069EE8B4-4215-4811-AC2E-62B274F13726","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5035ba43ec40bc18a25dadf852e405bcce16aecc","datavalue":{"value":{"entity-type":"item","numeric-id":466135,"id":"Q466135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460000$A5B076B1-CB0D-4DE1-BF01-7E0FF07FA811","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e4b8386fca35dd298ba4bf5b360c2a39f03880a9","datavalue":{"value":{"entity-type":"item","numeric-id":403152,"id":"Q403152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460000$175281C2-38CF-4944-B54F-836FE89B35FB","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":"Q2460000$0E74EE2B-F931-4ABB-93CC-0D8C3CC1C00F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"329cf46bbc6ccea581870aa95cf97ecdc0fef915","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2007.02.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2460000$85476D26-A489-4FAB-9E73-7CC72CD88E59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"437b003e250625aa2645f5b487b07f8ab08a5f9b","datavalue":{"value":"W2086906172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460000$4941E71D-0401-4F71-96C2-05FFA74FDE51","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0c79df92bc350c1392749f32215a0a6fb09551","datavalue":{"value":{"entity-type":"item","numeric-id":4264394,"id":"Q4264394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460000$F703D40A-7D00-4D85-A65B-BF4F6D0088BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65dfc5c21e4b1c045702bb282560eecaf363bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":1883056,"id":"Q1883056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460000$1E319420-0F05-4ACB-A669-5512E431A9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b297b1f37fef1efbf9350c9cd51cc6c761a800","datavalue":{"value":{"entity-type":"item","numeric-id":4377749,"id":"Q4377749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460000$0C564D24-87C0-437F-B444-62BCCB272288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a64fb51f42190f4d19562d23fdddc6e0ec04a3a3","datavalue":{"value":{"entity-type":"item","numeric-id":1771997,"id":"Q1771997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460000$CB458DDF-6372-4796-B152-F4969EA04D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f31d26253ee1edae034b46dc26f31b4e1b29340","datavalue":{"value":{"entity-type":"item","numeric-id":2574908,"id":"Q2574908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460000$51CD87C3-C1A4-4AA3-BE6A-46DAAA0E2DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b423f1c912d30d8a0644f5eaa9ab70413bdf0d","datavalue":{"value":{"entity-type":"item","numeric-id":2522116,"id":"Q2522116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460000$067C8A2B-9373-4B38-8621-55C3839A838E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384f6dc71dece1b0e3213d9a4e0d64ce59460b7b","datavalue":{"value":{"entity-type":"item","numeric-id":1425638,"id":"Q1425638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460000$BF27A98E-7B5B-4147-A362-0E67DF0AF454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e85a48854397b6f5335e93c6dcd3c315b5cf05d0","datavalue":{"value":{"entity-type":"item","numeric-id":4490702,"id":"Q4490702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460000$62FEC592-F83B-404B-A8CD-E0D381FE3114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db318faab53626aaa39438491ea985e513ced83d","datavalue":{"value":{"entity-type":"item","numeric-id":4669778,"id":"Q4669778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460000$DE8183C6-5D34-4756-B89D-437C20050EA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4dece5507bf3fc96d37e2e66b6218cbc3c07c5b","datavalue":{"value":"10.1016/J.JALGEBRA.2007.02.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460000$B60248E1-0FF7-440C-A22B-104633AC284F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf483a4581905ac68afa4106018b602909b95f3","datavalue":{"value":{"entity-type":"item","numeric-id":1771997,"id":"Q1771997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f3b8ba2832d886d1841a431bcc30be57dee1c81","datavalue":{"value":{"amount":"+0.8876826763153076","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":"Q2460000$20F4D747-0839-4310-9DB9-9E1C7E9A4388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e5b4d7e69f2e1a50bbcf68806e9db45ef0afa68","datavalue":{"value":{"entity-type":"item","numeric-id":3184188,"id":"Q3184188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"899c4c15bba0899f74b9ea0969c514884462d8a9","datavalue":{"value":{"amount":"+0.8828851580619812","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":"Q2460000$B4F5C1ED-6A1F-4041-9322-095BFBFEF2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7025688e99a44db05ae7c8bb3e22cb34a7a9f8ff","datavalue":{"value":{"entity-type":"item","numeric-id":1899084,"id":"Q1899084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"700ce6646dcd8c1b3eba8153ea920ff515eaed21","datavalue":{"value":{"amount":"+0.8431320786476135","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":"Q2460000$E0C7F672-4D50-4ACE-BCD8-A069DD00FC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33d77355e06ad6437d23b33f4a6bc48d37ccad33","datavalue":{"value":{"entity-type":"item","numeric-id":3997907,"id":"Q3997907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d0b469ad11365baee299150e00766870bcf66ea","datavalue":{"value":{"amount":"+0.8393393158912659","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":"Q2460000$EB383A28-6ED7-4FB8-A5C0-50A101F9DE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a0ce71a997a562ff050bccbcd6cfd08875b441","datavalue":{"value":{"entity-type":"item","numeric-id":580492,"id":"Q580492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66f0b8ed38d106eb02e264655b3a9b9d9f2e8115","datavalue":{"value":{"amount":"+0.7941696047782898","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":"Q2460000$C2A4D52D-7956-498C-92A8-3CB8CDC7ED29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2460000","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2460000"}}}}}