{"entities":{"Q2522116":{"pageid":2532859,"ns":120,"title":"Item:Q2522116","lastrevid":48643804,"modified":"2026-01-05T11:46:39Z","type":"item","id":"Q2522116","labels":{"en":{"language":"en","value":"\\(p\\)-adic analytic groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3225421"}},"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":"Q2522116$54041DD6-3A94-4331-8235-FAEC428FFCB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6f089b1fa1c5d9b6a31fd90d1730bd6dc2ec762","datavalue":{"value":{"text":"\\(p\\)-adic analytic groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2522116$DE940DAD-9F48-4A85-81F5-795C7249EB91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f128248d7a2c9aeff09b93658586bc1cfa204e76","datavalue":{"value":"0139.02302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2522116$A862C48D-09F6-4702-8DE8-D89D1DE89C4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1140623dccbb318608a315c1557ec030c9e79e8","datavalue":{"value":{"entity-type":"item","numeric-id":1216658,"id":"Q1216658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2522116$68571A34-1BCD-4DEB-B7F8-0B3DA0FE0314","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"06415651f00c17383800a8a7106353a44f612a24","datavalue":{"value":{"entity-type":"item","numeric-id":177919,"id":"Q177919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2522116$06B6E5A6-02C7-4D01-ADE1-E0655C066DBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc846cc700dc846702740028966828f297420cb4","datavalue":{"value":{"time":"+1965-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2522116$2446D1E9-D254-4CD7-812E-3795BA570E2C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"704aaa0fcff171bfefd55097c09e65c976ac9181","datavalue":{"value":"http://www.numdam.org/item?id=PMIHES_1965__26__5_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2522116$ED6BC418-18D9-420F-A8A1-40E03D3C7A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"62a44ce01a5cf13ae99ee6e8f81bac4ff37af056","datavalue":{"value":"https://eudml.org/doc/103856","type":"string"},"datatype":"url"},"type":"statement","id":"Q2522116$875B888A-652B-484C-9DA4-488792E7AEB6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cb6f552aec5648117a7eee8fa9e10357de75ff49","datavalue":{"value":"\u00c9tant donn\u00e9 un nombre premier \\(p\\), on appelle pro-\\(p\\)-groupe une limite projective de \\(p\\)-groupes finis, chacun \u00e9tant muni de la topologie discr\u00e8te; ce sont donc des groupes compacts totalement discontinus, dans lesquels la suite des \\(p^n\\)-\u00e8mes puissances d'un \u00e9l\u00e9ment quelconque tend vers l'\u00e9l\u00e9ment neutre \\(e\\) lorsque \\(n\\) tend vers \\(+\\infty\\). D'autre part, soit \\(\\mathbb Q_p\\) le corps \\(p\\)-adique; un groupe analytique \\(p\\)-adique est un ensemble \\(G\\) sur lequel sont d\u00e9finies: (1) une structure de vari\u00e9t\u00e9 analytique sur \\(\\mathbb Q_p\\); (2) une application analytique \\(G\\times G\\rightarrow G\\) qui d\u00e9finit une loi de groupe sur \\(G\\). Il est facile de voir qu'un groupe analytique \\(p\\)-adique est un pro-\\(p\\)-groupe. L'A. se propose surtout d'\u00e9tudier les groupes analytiques \\(p\\)-adiques compacts et de les caract\u00e9riser parmi les pro-\\(p\\)-groupes.   A cet effet, il introduit et utilise la notion de groupe \\(p\\)-valu\u00e9. C'est un groupe \\(G\\) muni d'une application \\(\\omega\\) de \\(G\\) dans \\(]0, +\\infty]\\) (dite \\(p\\)-valuation) v\u00e9rifiant les 5 conditions: 1. \\(\\omega(x) < +\\infty\\) pour \\(x\\ne e\\); 2. \\(\\omega(x)> 1/(p - 1)\\) pour tout \\(x\\in G\\); 3. \\(\\omega(xy^{-1}) \\ge \\inf (\\omega(x), \\omega(y))\\); 4. \\(\\omega(x^{-1}y^{-1}xy) \\ge \\omega(x) + \\omega(y)\\); 5. \\(\\omega(x^p) = \\omega(x) + 1\\).   Les ensembles \\(G_a\\) d\u00e9finis par \\(\\omega(x) \\ge a\\) (pour \\(a > 0)\\) sont des sous-groupes distingu\u00e9s de \\(G\\) qui forment un syst\u00e8me fondamental de voisinages de \\(e\\) pour une topologie de groupe sur \\(G\\); \\(G\\) est dit \\(p\\)-satur\u00e9 s'il est complet pour cette topologie, et de plus si, pour \\(\\omega(x) > p/(p - 1)\\) il existe \\(y\\in G\\) tel que \\(y^p = x\\). Les sous-groupes \\(G_a\\) constituent ce que l'A. appelle une filtration sur \\(G\\) (en un sens g\u00e9n\u00e9ralis\u00e9 du sens usuel o\u00f9 les indices sont entiers), et il lui associe une \\(\\mathbb Z\\)-alg\u00e8bre de Lie gradu\u00e9e (en un sens g\u00e9n\u00e9ralis\u00e9 de la m\u00eame fa\u00e7on) \\(\\operatorname{gr}(G)\\), qui est naturellement munie d'une structure d'alg\u00e8bre de Lie sur l'anneau \\(\\mathbb F_p[T]\\) des polyn\u00f4mes sur le corps premier \\(\\mathbb F_p\\).   L'\u00e9tude de ces notions est faite de fa\u00e7on approfondie dans les chap. I et II, et leur application aux groupes analytiques \\(p\\)-adiques commence avec le chap. III. Pour un groupe \\(p\\)-valu\u00e9 \\(G\\), \\(\\operatorname{gr}(G)\\) est un \\(\\mathbb F_p[T]\\)-module libre; son rang est ce qu'on appelle le rang de \\(G\\). Si \\(G\\) est un groupe analytique \\(p\\)-adique de dimension \\(r\\) en tant que vari\u00e9t\u00e9 analytique sur \\(\\mathbb Q_p\\), il contient un sous-groupe ouvert \\(H\\) dont la topologie peut \u00eatre d\u00e9finie par une \\(p\\)-valuation \u00e0 valeurs enti\u00e8res pour laquelle \\(H\\) est de rang \\(r\\), et est \\(p\\)-satur\u00e9. Le sous-groupe \\(H_{n+1}\\) si \\(p > 2\\) (resp. \\(H_{n+2}\\) si \\(p = 2)\\) est alors l'ensemble des \\(p^n\\)-\u00e8mes puissances des \u00e9l\u00e9ments de \\(H\\), autrement dit la \\(p\\)-valuation de \\(H\\) est enti\u00e8rement d\u00e9termin\u00e9e par sa structure de groupe abstrait. On dit qu'un groupe abstrait \\(G\\) est \\(p\\)-valuable (resp. \\(p\\)-saturable) s'il existe une \\(p\\)-valuation de \\(G\\) pour laquelle \\(G\\) est \\(p\\)-valu\u00e9 complet (resp. \\(p\\)-satur\u00e9) et de rang fini. Tout groupe \\(p\\)-valuable poss\u00e8de une structure canonique de pro-\\(p\\)-groupe analytique; et inversement, un pro-\\(p\\)-groupe analytique \\(G\\) poss\u00e8de un sous-groupe \\(p\\)-valuable d'indice fini \u00e9gal \u00e0 une puissance de \\(p\\); la dimension de \\(G\\) est donn\u00e9e par \\(r = \\displaystyle\\lim_{n\\to\\infty} n^{-1} \\log_p\\left(G:G^{p^n}\\right)\\), o\u00f9 \\(G^{p^n}\\) d\u00e9signe le sous-groupe engendr\u00e9 par les puissances \\(p^n\\)-\u00e8mes des \u00e9l\u00e9ments de \\(G\\).   L'A. donne alors de remarquables crit\u00e8res pour qu'un pro-\\(p\\)-groupe de type fini (c'est-\u00e0-dire engendr\u00e9 topologiquement par un ensemble fini) soit un pro-\\(p\\)-groupe analytique: par exemple, si \\(p > 2\\), il suffit que tout commutateur soit contenu dans le sous-groupe de \\(G\\) engendr\u00e9 par les \\(p\\)-\u00e8mes puissances; ou encore, pour tout \\(p\\), il suffit que chaque commutateur soit contenu dans le sous-groupe engendr\u00e9 par les \\(p^2\\)-\u00e8mes puissances. D'autres crit\u00e8res int\u00e9ressants sont donn\u00e9s dans l'Appendice.   Le chap. IV d\u00e9veloppe la correspondance biunivoque canonique entre groupes analytiques \\(p\\)-satur\u00e9s et alg\u00e8bres de Lie sur l'anneau \\(\\mathbb Z_p\\) des entiers \\(p\\)-adiques, valu\u00e9es et satur\u00e9es (en des sens correspondant \u00e0 ceux d\u00e9finis pour les groupes). Pour cela, on d\u00e9finit canoniquement, \u00e0 partir d'un groupe \\(p\\)-satur\u00e9 \\(G\\), une ``application diagonale'' \\(\\Delta: A\\to A\\otimes A\\) sur la satur\u00e9e \\(A\\) de l'alg\u00e8bre de groupe \\(\\mathbb Z_p[G]\\); \\(G\\) se reconstitue alors \u00e0 partir de \\(A\\) comme l'ensemble des \\(x\\) tels que \\(\\Delta(x) = x \\otimes x\\) et tels que la valuation de \\(x - 1\\) soit \\(> 1/(p - 1)\\). On d\u00e9finit sur ce m\u00eame ensemble une structure d'alg\u00e8bre de Lie au moyen de la formule de Hausdorff, qui permet inversement de remonter de cette structure d'alg\u00e8bre de Lie \u00e0 la structure de groupe de \\(G\\).   Le dernier chapitre traite de la cohomologie des groupes analytiques \\(p\\)-adiques. Deux sortes de cohomologie sont introduites, la cohomologie ``continue'' et la cohomologie ``analytique'', \u00e0 valeurs dans un \\(\\mathbb Z_p\\)-module complet \\(M\\); on prouve qu'elles sont isomorphes lorsque \\(q\\) contient un sous-groupe \\(p\\)-valuable d'indice fini et que \\(M\\) est sans torsion et de rang fini sur \\(\\mathbb Z_p\\). D'autre part, la cohomologie continue de \\(G\\) dans \\(M\\) s'identifie canoniquement \u00e0 la cohomologie de son alg\u00e8bre de Lie, moyennant des hypoth\u00e8ses convenables sur \\(M\\). On a enfin une ``dualit\u00e9 de Poincar\u00e9'' pour un groupe \\(p\\)-valu\u00e9 complet de rang fini \\(G\\) lorsque \\(\\operatorname{gr}(G)\\) est un \\(\\mathbb Z_p[T]\\)-module engendr\u00e9 par ses \u00e9l\u00e9ments d'un m\u00eame degr\u00e9 (on dit alors que \\(G\\) est \u00e9qui-\\(p\\)-valu\u00e9; tout pro-\\(p\\)-groupe analytique contient un sous-groupe ouvert \u00e9qui-\\(p\\)-valu\u00e9); l'alg\u00e8bre de cohomologie continue \\(H_c^*(G; \\mathbb F_p)\\) est isomorphe \u00e0 l'alg\u00e8bre ext\u00e9rieure du \\(\\mathbb F_p\\)-espace vectoriel \\(H_c^1(G; \\mathbb F_p)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2522116$D3528125-5679-452F-82D1-6E1747D7484E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d3d20726eab020c95fdfb5c9fe62bd73610df87","datavalue":{"value":"14Lxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2522116$56F48A88-95ED-47A6-8A4E-BEFD7B92A257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13241918ac2fa367fffd2798c0dc728df30dab6e","datavalue":{"value":"22E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2522116$6DD05FE7-BC00-499F-8810-0FE114BEBF1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cc580314b389b902aa20a8d8c60ea72d1ba8a43","datavalue":{"value":"3225421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2522116$69E38D90-2A03-4EC7-9F63-0CB1C907C748","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cadc317db88a3e4407741f1e4c8e205a4ec3f1b5","datavalue":{"value":"characterization of p-adic analytic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2522116$5366FE94-9468-444F-A666-9BDCE5936ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61b9e626d74de01b165bcd3c3f4b1345c4a5b12c","datavalue":{"value":"projective limit of finite p-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2522116$F1716537-5B9C-43E0-98F1-5D53A5ADB8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c8a4c6a118e183bd3d07c0709603d4f347c9ada","datavalue":{"value":"totally discontinuous compact groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2522116$690CAC27-8A66-475A-8659-1EDBE4316977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3a7571d0b8650b7e2bacabec1c139a46ea23114","datavalue":{"value":"correspondence with Lie algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2522116$C4A960E8-3904-4C76-BE37-3C12F5898BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d337a4099f2a4456cac5e1ecaf487881490661d","datavalue":{"value":"cohomological dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2522116$DC754A66-712F-4D91-8813-E73E45E6809C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2183c5b9b4bdcbd8816626661ea2bc8f2efd100","datavalue":{"value":"continuous cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2522116$A1B50064-6B0B-41E7-9C7A-3C9EC41E264B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"566a7231deaea9d2559d9d72fd448c71ba532f7e","datavalue":{"value":"analytic cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2522116$0A6B937E-E4FF-43AB-A785-1CEFE192C15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df52f52ffbd2e0899a8384c76814bb2781364efe","datavalue":{"value":"cohomology of Lie algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2522116$04CA233B-2D10-4DC1-B7E2-112C5DB6A80B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"45dca34122553eef119d45227637121ed7dd470c","datavalue":{"value":{"entity-type":"item","numeric-id":1227043,"id":"Q1227043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2522116$214FA814-5D21-4B63-A4F6-639F1631BA24","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":"Q2522116$F943D11C-D2F3-4F6F-B181-350593D7BC03","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":"93f38dce9d557113844c07e5482e0e82a2d43cd7","datavalue":{"value":{"amount":"+0.8077815771102905","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":"Q2522116$FC18E4AD-4A45-4B66-999D-52DA8151DF60","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":"850e7f016d8ecee1587e7a1567c498a613ad55ae","datavalue":{"value":{"amount":"+0.8044923543930054","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":"Q2522116$C70A5CD2-25C5-4150-9098-FD52BCEA8B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7f773e43d34fa694de98837aa6135d526e27758","datavalue":{"value":{"entity-type":"item","numeric-id":3010617,"id":"Q3010617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3314bc20e644969a5f40e95faeb3bc9d86caffb","datavalue":{"value":{"amount":"+0.8035632371902466","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":"Q2522116$30C0A355-E285-4BE6-B7D9-6B1197D6A13E","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":"948fe8d519e21d13485fb9aa27a1d747036b5922","datavalue":{"value":{"amount":"+0.8010205626487732","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":"Q2522116$FC93138F-FC25-445F-B23D-487143705550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c784eb058d793c825c84a46cb8b4c0d6a7b6ab","datavalue":{"value":{"entity-type":"item","numeric-id":1183291,"id":"Q1183291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c13f70de726b0bee4765e0b3b618e8dae0e1c2ec","datavalue":{"value":{"amount":"+0.7972127795219421","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":"Q2522116$53E69A46-BCF6-42D8-BBD9-B5008D31588F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2522116","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2522116"}}}}}