Dans les années 80, Shimomura a déterminé les groupes d'homotopie du spectre de Moore V(0) localisé par rapport à K(2) la deuxième K-théorie de Morava. Plus tard, avec les travaux de Devinatz et Hopkins est apparu une autre suite spectrale convergeant vers les précédents groupes d'homotopies. Lorsque le paramètre premier p de la théorie K(2) est supérieur ou égal à cinq, la précédente suite spectrale dégénère. Ainsi, déterminer ces groupes d'homotopie revient à calculer les groupes de cohomologie du groupe stabilisateur de Morava à coefficients dans l'anneau de Lubin-Tate modulo p. En 2007, Henn a démontré l'existence, lorsque p > 3, d'une résolution projective du groupe de Morava de longueur quatre. Dans cette thèse, nous précisons une telle résolution projective. On l'applique ensuite au calcul effectif des groupes de cohomologie à coefficients dans l'anneau de Lubin-Tate modulo p. Enfin, on donne une seconde application, en redémontrant un résultat de Hopkins non publié sur le groupe de Picard de la catégorie des spectres K(2)-locaux. / In the 80's, Shimomura has computed the homotopy groups of the Moore spectrum V(0) localized with respect to Morava K-theory K(2). Some years later, Devinatz and Hopkins found an other spectral sequence converging to those homotopy groups. When the prime paramater p of K(2) is greather or equal to five, the preceding spectral collapses. Thus, computing those homotopy groups consists in computing the cohomology groups of Morava Stabilizer Group with coefficients in the Lubin-Tate ring mod p. In 2007, Henn has showed that there exists, when p >3, a projective resolution of the Morava stabilizer group of length four. In this thesis, we give a more precise description of this resolution. Then, we use it for the computation of the cohomology groups of Morava Stabilizer Group with coefficients in the Lubin-Tate ring mod p. As a second application, we give an other proof of the unpublished result of Hopkins on the Picard group of the K(2)-local spectrum category.

Les catégories de fusion pointées sont des catégories de fusion pour lesquelles les objets simples sont inversibles. Nous développons des méthodes basés par ordinateur pour classifier les catégories pointées à équivalence de Morita près, et les appliquons aux catégories pointées de dimensions comprises entre 2 et 32. Nous prouvons qu'il existe 1126 classes de Morita pour de telles catégories. Aussi, nous prouvons que les indicateurs de Frobenius-Schur du centre d'une catégorie pointée de dimension inférieure à 32, accompagnés de structure enrubannée de ce centre, déterminent sa classe de Morita. Ceci est faux en général: les données modulaires, et donc a fortiori les indicateurs et structures enrubannées, ne distinguent pas les catégories modulaires. Nous donnons une famille d'exemples ; en réalité, il existe un nombre arbitrairement grand de catégories modulaires deux-à-deux non équivalentes qui peuvent partager les mêmes données modulaires. / Pointed fusion categories are fusion categories in which all simple objects are invertible. We develop computer-based methods to classify pointed categories up to Morita equivalence, and apply them to pointed fusion categories of dimension from 2 to 31. We prove that there are 1126 Morita classes of such categories. Also, we prove that the Frobenius-Schur indicators of the centers of a pointed category of dimension less than 32, along with its ribbon twist, determine its Morita class. This is not true in general: the modular data, and a fortiori the indicators and the ribbon twists, do not distinguish modular categories. We give a family of examples; in fact, arbitrarly many pairwise non-equivalent modular categories can share the same modular data.

Cette thèse étudie d'un point de vue historique la genèse de la cohomologie des groupes, théorie qui vit le jour dans les années 1940. Il s'agit d'une théorie à la fois algébrique, au sens où elle donne des résultats sur les groupes, et topologique par les méthodes qu'elle met en œuvre . Le présent travail analyse les mécanismes par lesquels la topologie et l'algèbre se sont interpénétrées pour donner naissance à cette théorie abstraite et élaborée, en mettant notamment en perspective ce phénomène par rapport à ceux, plus globaux, de la naissance et de l'expansion de l'algèbre moderne. Y sont notamment discutées l'influence d'Emmy Noether dans l'algébrisation de la topologie et les motivations respectives de Heinz Hopf et d'Eilenberg & Mac Lane les ayant menés à l'élaboration de l'homologie des groupes. L'analyse minutieuse de plusieurs articles phares - dus aux auteurs cités précédemment mais aussi à Schur, Vietoris ou encore Eckmann - permet de mettre en lumière le fait que la volonté de répondre à des problèmes mathématiques précis fut peut-être plus motrice, dans l'émergence de cette théorie architectonique qu'est la cohomologie des groupes, que de grandes idées directrices conçues au sein de représentations structurales des mathématiques.

L'objet de la thèse est la classification à conjugaison près des sous-groupes finis du groupe de stabilisateur (classique) de Morava S_n et du groupe de stabilisateur étendu G_n(u) associé à une loi de groupe formel F de hauteur n définie sur le corps F_p à p éléments. Une classification complète dans S_n est établie pour tout entier positif n et premier p. De plus, on montre que la classification dans le groupe étendu dépend aussi de F et son unité associée u dans l'anneau des entiers p-adiques. On établit un cadre théorique pour la classification dans G_n(u), on donne des conditions nécessaires et suffisantes sur n, p et u pour l'existence dans G_n(u) d'extensions de sous-groupes finis maximaux de S_n par le groupe de Galois de F_{p^n} sur F_p, et lorsque de telles extensions existent on dénombre leurs classes de conjugaisons. On illustre nos méthodes en fournissant une classification complète et explicite dans le cas n=2.

L'objet de la thèse est la classification à conjugaison près des sous-groupes finis du groupe de stabilisateur (classique) de Morava S_n et du groupe de stabilisateur étendu G_n(u) associé à une loi de groupe formel F de hauteur n définie sur le corps F_p à p éléments. Une classification complète dans S_n est établie pour tout entier positif n et premier p. De plus, on montre que la classification dans le groupe étendu dépend aussi de F et son unité associée u dans l'anneau des entiers p-adiques. On établit un cadre théorique pour la classification dans G_n(u), on donne des conditions nécessaires et suffisantes sur n, p et u pour l'existence dans G_n(u) d'extensions de sous-groupes finis maximaux de S_n par le groupe de Galois de F_{p^n} sur F_p, et lorsque de telles extensions existent on dénombre leurs classes de conjugaisons. On illustre nos méthodes en fournissant une classification complète et explicite dans le cas n=2. / The problem addressed is the classification up to conjugation of the finite subgroups of the (classical) Morava stabilizer group S_n and the extended Morava stabilizer group G_n(u) associated to a formal group law F of height n over the field F_p of p elements. A complete classification in S_n is provided for any positive integer n and prime p. Furthermore, we show that the classification in the extended group also depends on F and its associated unit u in the ring of p-adic integers. We provide a theoretical framework for the classification in G_n(u), we give necessary and sufficient conditions on n, p and u for the existence in G_n(u) of extensions of maximal finite subgroups of S_n by the Galois group of F_{p^n} over F_p, and whenever such extension exist we enumerate their conjugacy classes. We illustrate our methods by providing a complete and explicit classification in the case n=2.