{"entities":{"Q1768264":{"pageid":1779006,"ns":120,"title":"Item:Q1768264","lastrevid":43314603,"modified":"2025-07-24T15:36:05Z","type":"item","id":"Q1768264","labels":{"en":{"language":"en","value":"Linearity of \\(\\mathbb{Z}_p[\\![t]\\!]\\)-perfect groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2145820"}},"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":"Q1768264$FCDE3CE1-C45B-425B-84F0-C309D3F0AB08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3207bd7e78dadfd5d26df2fcf96c2239c3b2fbd4","datavalue":{"value":{"text":"Linearity of \\(\\mathbb{Z}_p[\\![t]\\!]\\)-perfect groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1768264$936974A8-EC4B-4B8D-8489-872ABE421EAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23cf629cfff90a2e1157b880ab2a734b0d0c0672","datavalue":{"value":"1078.20028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768264$16D8DE35-1772-43DC-804A-25BF678DED97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c85aa38a17cbe67438c8b80fa244f275c8755b20","datavalue":{"value":"10.1023/B:GEOM.0000049089.42828.68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768264$7D4B7CE7-0736-4590-9893-53698946F66C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1abd9e51ea61bb721f6467a2a9cae86fee18c904","datavalue":{"value":{"entity-type":"item","numeric-id":591938,"id":"Q591938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1768264$0F3FC6B1-029A-4645-B7E9-F9BB37A278C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae9b5c766453a576f1bb4a4709094bfe09b674f4","datavalue":{"value":{"entity-type":"item","numeric-id":1327497,"id":"Q1327497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1768264$7391917A-91EA-4715-9427-744CD503EB18","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7b27d55f344dc6bfd48e3ff9582c04d67175a8a8","datavalue":{"value":{"entity-type":"item","numeric-id":181320,"id":"Q181320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1768264$AB1620BD-98DC-4A72-830A-65C806ED8BCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc89be88a6076185afd90ab376d26e11d51f0fa9","datavalue":{"value":{"time":"+2005-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1768264$9B35C2E9-18CE-47DC-8454-C0198CF0A402","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ae1611000c37ffdb7a7d4a0a55ff705dc0a14723","datavalue":{"value":"Let \\(R\\) be a commutative Noetherian local pro-\\(p\\) domain and \\(m\\) its maximal ideal. The notion of \\(R\\)-standard group is defined by \\textit{A. Lubotzky} and \\textit{A. Shalev} [in Isr. J. Math. 85, No. 1-3, 307-337 (1994; Zbl 0819.20030)]. The group \\(G\\) is called \\(R\\)-standard if \\(G\\) is equal to \\((m^l)^{(d)}\\) as a set, and the group operation is given by a formal group law, i.e.\\ a \\(d\\)-tuple \\({\\mathbf F}=(F_1,\\dots,F_d)\\) of power series over \\(R\\) in \\(2d\\) variables, as follows: for all \\(x,y\\in G=(m^l)^{(d)}\\) we have \\(x\\cdot y=(F_1(x,y),\\dots,F_d(x,y))\\). The number \\(d\\geq 0\\) is the dimension of \\(G\\) and \\(l>0\\) is the level of \\(G\\). If \\(i\\geq l\\) then \\(G_i=(m^i)^{(d)}\\) is a normal subgroup of \\(G\\). An \\(R\\)-standard group \\(G\\) of level \\(l\\) is \\(R\\)-perfect if \\([G,G]=G_{2l}\\). A topological group \\(G\\) is called \\(R\\)-analytic if it has an open subgroup which is \\(R\\)-standard.   \\textit{M. Lazard} proved the linearity of \\(\\mathbb{Z}_p\\)-analytic pro-\\(p\\) groups [Publ. Math., Inst. Hautes \u00c9tud. Sci. 26, 389-603 (1965; Zbl 0139.02302)]. It is natural to ask whether \\(R\\)-analytic pro-\\(p\\) groups are linear for arbitrary \\(R\\). The reviewer [in J. Algebra 255, No. 2, 392-404 (2002; Zbl 1018.20022)] proved that \\(R\\)-analytic just infinite pro-\\(p\\) groups are linear over \\(R\\).   In the paper under review the authors prove the linearity of \\(\\mathbb{Z}_p[\\![t]\\!]\\)-standard groups. The proof follows the ideas of the proof that every \\(\\mathbb{Z}_p\\)-analytic pro-\\(p\\) group is linear. Let \\(G\\) be a \\(\\mathbb{Z}_p[\\![t]\\!]\\)-standard group of level 1. The main step of the proof consists in showing how the natural norm of \\(\\mathbb{Z}_p[G]\\) can be extended to \\(\\mathbb{Q}_p[G]\\). Denote by \\(\\widehat A\\) the completion of \\(\\mathbb{Q}_p[G]\\) with respect to this norm. Thus, we can speak about \\(\\log G_2\\leq\\widehat A\\). Then the next step of the proof is to show that \\(L=\\overline{\\mathbb{Q}_p\\log G_2}\\) is a finite-dimensional \\(\\mathbb{Q}_p[\\![t]\\!]\\)-Lie algebra. Using a result of \\textit{T. Weigel} [J. Algebra 212, No. 2, 613-625 (1999; Zbl 1043.17501)] it is shown that \\(L\\) has a finite-dimensional representation with some additional properties. Combining this representation of \\(L\\) with the exponential map, the required finite-dimensional representation of \\(G_2\\) is obtained. Since \\(G_2\\) is of finite index in \\(G\\), \\(G\\) is also linear.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768264$96DB533E-6338-40C4-97EC-AE11DDC9BEEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ef7763c663249d52fb24c69b52f35da435fa9a3","datavalue":{"value":"20E18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768264$6ABBDB9E-5F3C-4F65-B8AB-35E7B0349D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a81e7f52880124a03aeb729e15811ac144dff90","datavalue":{"value":"20G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768264$FB2C5017-01FE-4AEE-8B39-FEA3B543DA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768264$BFF35D13-C0F0-40B7-B882-586E453A9A11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03ecdd947f2720f730574698dfdb94851cbdf0d1","datavalue":{"value":"2145820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768264$4648DC94-41C1-41DE-8A47-921D6272D035","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6a6b0d9d9d5510ec6bae3b8ec9cc887cbda786b","datavalue":{"value":"pro-\\(p\\) groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768264$E2391CE5-88EB-4E4F-A262-C359ECCA8280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87e8c5b4d21cf0febc1ce3d1d7b9d1f0b14b7fa1","datavalue":{"value":"\\(R\\)-analytic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768264$CC31B916-2BDD-41DC-92FE-0E6D7AE1A60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8731cfe85b27b75d2f7fe7cf9430d937675368c0","datavalue":{"value":"linear groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768264$EFF2CA46-443D-456E-AC1D-13D072A51C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b1d0627793bbd82fbbe7cb9286fd3c96bdfe96b","datavalue":{"value":"standard groups over complete commutative Noetherian domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768264$05DFA5F8-3441-4444-ACE6-FCBAC8A756D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5237301a90f2a064f3ee1272fdf5221480cc8304","datavalue":{"value":"Lie algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768264$93ED98CC-7559-4652-9A6B-7AF390852C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adb993bb8f4e5b36d71d10d86fd22814e2d9d6d8","datavalue":{"value":"formal group laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768264$386068FE-11CD-4352-A097-A44184082FF3","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":"Q1768264$A24AF042-5FAC-4A12-AF01-8FFDE10E33CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a82f9d793634bcd96b846a075985d24183c123af","datavalue":{"value":"https://doi.org/10.1023/b:geom.0000049089.42828.68","type":"string"},"datatype":"url"},"type":"statement","id":"Q1768264$AB89CEF8-CD79-40F1-8072-54E5D8835A3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6dd431935268f3c6b94251ba648c6cbef193800","datavalue":{"value":"W1970442145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768264$02D1D6AC-B699-4BD2-93AB-81F48E687918","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b71caaffd59985bf1138464bb60a5c94396fdd","datavalue":{"value":{"entity-type":"item","numeric-id":4942877,"id":"Q4942877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d90fa2602affa78cfb48654e3ff26a04fbf57b27","datavalue":{"value":{"amount":"+0.8815667","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":"Q1768264$C7341F0F-C8A6-49AA-A16B-41819B8B886B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e58b362d9ce8fdca88d2178ec9ff9b8dce53bb55","datavalue":{"value":{"entity-type":"item","numeric-id":3785034,"id":"Q3785034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d9ca1604a5e69af1ecca29503d2f8d43fad1cb1","datavalue":{"value":{"amount":"+0.87670094","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":"Q1768264$9E7EE1DA-2136-40A1-ACF3-9719146FCF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1e651afbeef1b0b41e168a8c5f633e7e9e82f66","datavalue":{"value":{"entity-type":"item","numeric-id":1852716,"id":"Q1852716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"121919ed9afb5ab9df339311eaf8316cafd0b81c","datavalue":{"value":{"amount":"+0.87558746","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":"Q1768264$E30BFCC7-99C2-4CF7-AF75-B46585EB198F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"635f02b711efdcd490be036539492cad95efc0bf","datavalue":{"value":{"entity-type":"item","numeric-id":4702639,"id":"Q4702639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c291ec09af4eb99b1e547abf44986d3db350aeaa","datavalue":{"value":{"amount":"+0.8755225","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":"Q1768264$A4839F55-D94C-4400-B5B6-738B90BE2E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96ff1a2891857cf5ef0700e3dcf101ee39d82e4e","datavalue":{"value":{"entity-type":"item","numeric-id":4205629,"id":"Q4205629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f385edfad23a02beabd71903cebfb0fa7b405917","datavalue":{"value":{"amount":"+0.8746465","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":"Q1768264$21F8C68C-7992-4A55-84AC-8ABAC7F72688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b54af752c5b138d6e3ea9a881040ab6e849440","datavalue":{"value":{"entity-type":"item","numeric-id":3689361,"id":"Q3689361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0e93002ab4ad5a1214f002da1ad786120c9ebbf","datavalue":{"value":{"amount":"+0.87179816","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":"Q1768264$E4C00204-9CC8-40BB-8CAF-CD610C06F3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa1490a5773ff6b58bf622a26083039ba5bd451","datavalue":{"value":{"entity-type":"item","numeric-id":1178893,"id":"Q1178893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d726c99d1298c5514900285cc9f63d62aa75755","datavalue":{"value":{"amount":"+0.8688481","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":"Q1768264$CD6CA6F9-7B6C-4014-856A-E446C35E3615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac73f22b929bd1500ba7aa147693cd999a1becb0","datavalue":{"value":{"entity-type":"item","numeric-id":1818772,"id":"Q1818772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2e2cc518f99bb8f7b19fab926a24db870a73768","datavalue":{"value":{"amount":"+0.86829567","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":"Q1768264$2EAC0AC6-9450-4DDF-B8F9-1FE6F3C828F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747710a72abffae3901a9f65d0bb6122480275e0","datavalue":{"value":{"entity-type":"item","numeric-id":2940654,"id":"Q2940654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9939204a1859bf5538848b20d41c5cc623c9d8e4","datavalue":{"value":{"amount":"+0.8658695","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":"Q1768264$5D9E71EE-15B7-47D4-A446-43C3C638A5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"632d9dd71d5d07c7ecc18c012e0bb4404d7505d0","datavalue":{"value":{"entity-type":"item","numeric-id":1858199,"id":"Q1858199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e34f98a05f3d616668c547aefc28f2f8a7506aa","datavalue":{"value":{"amount":"+0.86492646","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":"Q1768264$AA76CAE4-EFD7-40F9-93F9-7314E5ED819A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1768264","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1768264"}}}}}