Cohomologie des groupes profinis

Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).

La cohomologie des groupes profinis est une théorie cohomologique, reposant sur la théorie des groupes profinis. Elle consiste en un raffinement de la cohomologie des groupes classique, principalement par la prise en compte de la nature topologique des groupes profinis. Elle s'est développée par la motivation essentielle que constitue la cohomologie galoisienne et ses applications en théorie des nombres.

[modifier] Définition du complexe cohomologique

On considère un groupe profini G, et un G-module discret A sur lequel G opère continûment. On note Cn(G,A) l'ensemble des applications continues de Gn dans A, et on considère les cobords :

d\; :\; C^n(G,A)\to C^{n+1}(G,A)

définis par :

df(g_1,\dots,g_{n+1})=g_1f(g_2,\dots,g_{n+1})+\sum_{i=1,\dots,n}(-1)^i f(g_1,\dots,g_ig_{i+1},\dots,g_{n+1})+(-1)^{n+1}f(g_1,\dots,g_n)

Les groupes de cohomologie obtenus à partir du complexe induit par ces cobords sont par définition les groupes de cohomologie de G à coefficients dans A.

[modifier] Références