{"entities":{"Q1899084":{"pageid":1909826,"ns":120,"title":"Item:Q1899084","lastrevid":71108280,"modified":"2026-04-13T19:32:05Z","type":"item","id":"Q1899084","labels":{"en":{"language":"en","value":"Analytic pro-\\(p\\) groups and their Lie algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 802368"}},"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":"Q1899084$3777042D-0BF1-4D75-A3F4-B23A8906D881","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb54a2a69a0ed6533b5202b563cc26782056cb39","datavalue":{"value":{"text":"Analytic pro-\\(p\\) groups and their Lie algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1899084$506EC680-0FE1-4395-B811-84020A9B9F3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6dd1b2b7554c3755702f1a2963647ceacde03924","datavalue":{"value":"0834.20022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899084$C173E0B2-84DD-4362-8E58-049A7F0C566A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd0fa6d1fe88cbb82cbc2a18df26d5afbdbea77b","datavalue":{"value":{"entity-type":"item","numeric-id":582392,"id":"Q582392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899084$4C91A733-A2CC-4D91-92E8-96EC1323593C","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":"Q1899084$582DA5A8-D821-4204-B960-DD0673F6CFC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"894be799020e9aad5f698deaabf9e3b9c5d87e0e","datavalue":{"value":{"time":"+1996-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1899084$A82DE6B4-1577-4487-AC42-45B46F824E01","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8b27181a8d3fb7ee2ea7e85ecc70d5d156e32186","datavalue":{"value":"Let \\(G\\) be a uniform pro-\\(p\\)-group. Then \\(G\\) can be also considered as an intrinsic Lie algebra (over \\(\\mathbb{Z}_p\\)) with the Lie operations being defined as follows: \\(g+h=\\lim (g^{p^n} h^{p^n})^{p^{-n}}\\), \\([g,h]=\\lim (g^{p^n}, h^{p^n})^{p^{-2n}}\\). Conditions on a uniform group \\(G\\) such that for every subgroup \\(H\\) of \\(G\\), \\(H\\) is a subalgebra of \\(G\\) and for every subalgebra \\(H\\) of \\(G\\), \\(H\\) is a subgroup of \\(G\\) are found in the paper.   The most interesting results are Theorem 1. Let \\(G\\) be an infinite uniform pro-\\(p\\)-group, viewed also as a Lie algebra over \\(\\mathbb{Z}_p\\) with the operations as above, and let \\(H\\) be a closed subgroup of \\(G\\). (\\(H \\leq G^2\\) if \\(p=2\\).) Then the following are equivalent: (1) Every closed subgroup \\(K\\) of \\(G\\) is also a closed subalgebra of \\(G\\) with the Lie algebra structure. (2) \\(H\\) is power closed, i.e. every closed subgroup \\(K\\) of \\(H\\) satisfies \\(K^{\\{p\\}}=K^p\\), where \\(K^{\\{p\\}}\\) means the subset of \\(p\\)-th powers of \\(K\\) and \\(K^p\\) means the closed subgroup generated by all \\(p\\)-th powers of \\(K\\) (if \\(p=2\\) this condition is replaced by: Every closed subgroup \\(K\\) of \\(H\\) satisfying \\(K^{\\{4\\}}\\) is a uniform subgroup of \\(H\\)). If \\(H\\) is power closed, then in addition, every closed normal subgroup of \\(H\\) is an ideal of \\(H\\) with the Lie algebra structure.   Theorem 2. Let \\(G\\) be a uniform group (which has also a Lie algebra structure over \\(\\mathbb{Z}_p\\)) such that for every \\(x, y \\in G\\), \\(p \\geq \\dim (\\overline {\\langle x, y\\rangle})\\). Then the set of closed subgroups of \\(G\\) coincides with the set of closed subalgebras of \\(G\\), and the set of closed normal subgroups of \\(G\\) coincides with the set of closed ideals. In particular, the theorem holds if \\(p \\geq \\dim (G)\\).   Theorem 3. For every prime \\(p\\) there is a uniform group \\(G\\) of dimension \\(p+1\\), and there exist \\(x, y \\in G\\) such that the closed Lie algebra generated by \\(x\\) and \\(y\\) is not a subgroup of \\(G\\), and the closed subgroup generated by \\(x\\) and \\(y\\) is not a subalgebra of the Lie algebra \\(G\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899084$4ECF4F90-7BD1-4566-B777-049F6D071631","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ef7763c663249d52fb24c69b52f35da435fa9a3","datavalue":{"value":"20E18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899084$55E3BF57-E8AD-407A-AE0A-6FF32998D44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"38edcb0292ca371407c43c7b95485d4a53fb371f","datavalue":{"value":"20F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899084$31D84931-0322-4884-8B44-175084024F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b658a1c3521c1e8b09a54890ec0a4b830936213","datavalue":{"value":"17B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899084$AE5FC5C4-9EF7-44B5-817F-707D426EA89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899084$2263382A-1104-49CF-A35F-C1B39C0E3C8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7dd3f1c16929ca55eb3a044cc48825056a654b64","datavalue":{"value":"802368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899084$8BCA7368-812E-4680-89BB-40B6AB5B723A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a38de59c66272bf2981afa7e79b6b6a66227784","datavalue":{"value":"uniform pro-\\(p\\)-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899084$0611EE6D-4228-49BE-B81B-DACC50B12855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5237301a90f2a064f3ee1272fdf5221480cc8304","datavalue":{"value":"Lie algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899084$D8712A70-DE5E-4F37-A59A-2C8107C0287C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15e338aac75a622db40b33a60e473b61845f018c","datavalue":{"value":"closed subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899084$4701B465-B9B4-4E43-9478-DE7739513599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9996b4a5c6b1f60d72492dcac946d13bcd5541ac","datavalue":{"value":"closed normal subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899084$4E5960C4-8315-4F0E-86B9-CFCE2568AA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43423ad8cdc046034e2ca3cff0893508171a221d","datavalue":{"value":"closed ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899084$2828809F-B275-43BC-8668-6BE3D28B7768","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"237f174877593bd2c4d0e025bf5956c31d4610a3","datavalue":{"value":"Q115396174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899084$3B9CD147-8599-4FDA-9D00-307F5B3A35E6","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":"Q1899084$DE5CBD4D-4A66-4C21-88A2-F0936E6D02D9","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":"Q1899084$E184DDF2-B1A9-4D89-B983-046A4BFF29CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ed676fc1499389cbe280206a460bd3bc74fd374","datavalue":{"value":"https://doi.org/10.1006/jabr.1995.1232","type":"string"},"datatype":"url"},"type":"statement","id":"Q1899084$5007F1AB-F3D7-4AD4-B7C7-A93196FD1ACB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2faaa266bd32e48fce68d871ce96c68dda25c9f5","datavalue":{"value":"W2093149964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899084$67219B77-12CB-4BA6-9A8D-F725D93D09EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6af5254543ada05e562db26cd289c3fd46b04972","datavalue":{"value":"10.1006/JABR.1995.1232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899084$931B3031-626C-48C2-9CEA-4F0DEF698D5F","rank":"normal"}],"P1643":[{"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":"474fb5993a9468279753e98a3afbc6a8f455b322","datavalue":{"value":{"amount":"+0.95440817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1899084$266E748C-0806-4675-AA81-A5CAF19BE9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04044dc8da254fc611495c3089b46f35a9bab839","datavalue":{"value":{"entity-type":"item","numeric-id":3127212,"id":"Q3127212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"945ec8c7039ef3307b5a0701fae1075f72058e27","datavalue":{"value":{"amount":"+0.9384289","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1899084$2328B897-F7B6-45AF-8403-DE0009658DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3181aed52437374d0b55ae8343ee74a8d8de198","datavalue":{"value":{"entity-type":"item","numeric-id":1313816,"id":"Q1313816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a59e4a29cea4e661724830b7beb027c382beb4ac","datavalue":{"value":{"amount":"+0.9332168","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1899084$4E3F26DA-0852-461F-BD6A-CA9A1BBB3C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd2788803df9a1c081e6895dd3ae3dafc5d7267","datavalue":{"value":{"entity-type":"item","numeric-id":3786606,"id":"Q3786606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8487db00920d2c3dc4529fbb739c0c4ec7cf80d","datavalue":{"value":{"amount":"+0.9231664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1899084$85257A24-207B-4224-B57B-106FEC57DD8B","rank":"normal"},{"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":"28fd9874abf84ae23d36467aa801c3e9f5122a67","datavalue":{"value":{"amount":"+0.9220489","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1899084$4F6A9FB7-118D-4EFA-A8D9-F0259ED9B072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8d4a3795740d809e040c18c237889a33ed2fdb2","datavalue":{"value":{"entity-type":"item","numeric-id":3147607,"id":"Q3147607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac0252e8dd7fb777db7350d7c83c990175ca972c","datavalue":{"value":{"amount":"+0.92042446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1899084$7CA8B37F-C19C-48F4-A88B-83A16E87AE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93fec094b80dc50283c269c2056617bc796d1ebb","datavalue":{"value":{"entity-type":"item","numeric-id":2702122,"id":"Q2702122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e92475db90133ee5251ff0934d99c23f23618542","datavalue":{"value":{"amount":"+0.9197726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1899084$6832A9E7-6EDA-4B3B-812B-D34F6C9F931B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b522609639036d4ca6b19e4c70c7f4a36ee3e48a","datavalue":{"value":{"entity-type":"item","numeric-id":1320037,"id":"Q1320037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e14e1db90403f3b319d4600780576bd8ac8819f","datavalue":{"value":{"amount":"+0.91830814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1899084$21738800-FDD7-4A68-AA7A-E274BB79B089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a01706deebb9bc376a885e52ed630c981a5156dc","datavalue":{"value":{"entity-type":"item","numeric-id":3973547,"id":"Q3973547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f39dabe91a83bfa4e1dd3544299ecfb0392b70","datavalue":{"value":{"amount":"+0.91290885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1899084$184990C5-0F8C-4761-860A-03F83F2DB81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2c18ce66a0bdedf905e1084b85efdbcfff61941","datavalue":{"value":{"entity-type":"item","numeric-id":4862992,"id":"Q4862992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdc20b5696324bf4d039d5588d2168f3afa899a3","datavalue":{"value":{"amount":"+0.91219956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1899084$8131032D-4C80-486A-AA17-D05293A122E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analytic pro-\\(p\\) groups and their Lie algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Analytic_pro-%5C(p%5C)_groups_and_their_Lie_algebras"}}}}}