Smith theory and the functor T.
We present a very short way of calculating additively the stable (co)homology of Eilenberg-MacLane spaces K(ℤ/p,n). Our method depends only on homological algebra in appropriate categories of functors.
The cohomology ring of a finite group, with coefficients in a finite field, can be computed by a machine, as Carlson has showed. Here “compute” means to find a presentation in terms of generators and relations, and involves only the underlying (graded) ring. We propose a method to determine some of the extra structure: namely, Stiefel-Whitney classes and Steenrod operations. The calculations are explicitly carried out for about one hundred groups (the results can be consulted on the Internet).Next,...
On détermine la dimension d’une représentation du groupe linéaire définie par un sous-espace vectoriel de l’algèbre à puissances divisées, puis on explicite l’image du transfert algébrique en degré générique et celle du transfert algébrique quadruple, et finalement on identifie les indécomposables de degré pair de l’algèbre polynomiale à quatre variables, vue comme module sur l’algèbre de Steenrod.
Dans [8], les auteurs ont construit une résolution injective minimale d’un module instable dans la catégorie des modules instables modulo . A partir de cette résolution, un résultat de type conjecture de Segal a été obtenu pour un certain spectre de Thom. Le but de cet article est de refaire ces résultats pour les premiers impairs. Etant donné un premier impair , on construit dans ce travail un complexe de Koszul dans la catégorie des modules instables sur l’algèbre de Steenrod modulo . Une résolution...