| Nous nous intéressons aux aspects algorithmiques de la théorie des représentations modulo p de groupes de Galois p-adiques. À cet effet, l'un des outils introduits par Fontaine est la théorie de ϕ-modules : un ϕ-module sur un corps K de caractéristique p est la donnée d'un espace vectoriel de dimension finie sur K muni d'un endomorphisme ϕ, semi-linéaire par rapport au morphisme de Frobenius sur K. Les représentations à coefficients dans un corps fini du groupe de Galois absolu de K forment une catégorie équivalente à la catégorie des ϕ-modules dits " étales " sur K. Le but des travaux rassemblés ici est donner des algorithmes pour décrire le plus complètement possible la représentation associée à un ϕ-module donné. Nous étudions en préambule les ϕ-modules sur les corps finis, ce qui nous permet d'obtenir de nouveaux résultats décrivant les polynômes tordus sur un corps fini, qui sont des ob jets utilisés notamment en théorie des codes correcteurs. Cela nous permet d'améliorer en partie l'algorithme dû à Giesbrecht pour la factorisation de ces polynômes. Nous nous intéressons ensuite à la catégorie des ϕ-modules sur un corps de séries formelles de caractéristique p. Nous donnons une classification des ob jets simples de cette catégorie lorsque le corps résiduel est algébrique- ment clos, et décrivons un algorithme efficace pour décomposer un ϕ-module en ϕ-modules " isoclines ". Nous donnons des applications à l'étude algorithmique des représentations de p-torsion de groupes de Galois p-adiques. |
Export this paper
