##  [Théorème des Coefficients Universels](/fr/node/63726) 

 Définition

Un théorème reliant l'homologie (ou la cohomologie) à coefficients quelconques à l'homologie (ou cohomologie) à coefficients de base via des suites exactes courtes impliquant des termes Tor et Ext (ou Hom) mesurant les phénomènes d'extension et de torsion.

 

 

 

 

 

 





## Principe

Principe

Exprimer les groupes à coefficients tordus ou nouveaux en termes de l'homologie connue à coefficients plus simples, augmentée de termes correctifs universels d'extension et de torsion (Tor pour l'homologie, Ext ou Hom pour la cohomologie).

 

 

 

 

 





## Démonstration

Démonstration

Pour un complexe de chaînes C de groupes abéliens libres et un groupe abélien G, il existe une suite exacte courte 0 → H_n(C) ⊗ G → H_n(C;G) → Tor_1(H_{n-1}(C),G) → 0 ; cette suite décrit l'homologie à coefficients dans G en termes de l'homologie entière et de Tor.

 

 

 

 

## Mauvaise application

Mauvaise application

Supposer que la suite se scinde de manière canonique ou appliquer le théorème sans vérifier finitude, projectivité ou liberté en degrés, conduisant à une décomposition incorrecte ou à l'omission des contributions de torsion.

 

 

 

 

 





## Conséquence

Conséquence

Une application correcte permet de calculer systématiquement l'homologie/cohomologie à coefficients quelconques à partir de calculs sur les coefficients entiers ou de base, et précise où apparaissent les obstructions de torsion et d'extension.

 

 

 

 

## Inversion

Inversion

Pris à l'envers, la torsion en homologie fait obstacle à l'extension naïve des coefficients : des termes Tor ou Ext non triviaux montrent que le passage à de nouveaux coefficients ne se fait pas par simple tensorisation ou Hom sans corrections supplémentaires.

 

 

 

 

 





## Limite

Limite

Valable sous des hypothèses comme travailler avec des complexes de chaînes de modules libres (ou projectifs) ou dans des contextes où le tensor dérivé/Hom dérivé se calcule comme attendu ; ne fournit pas de scindage explicite ni de structure de foncteurs dérivés au-delà des premiers correctifs Tor/Ext.

 

 

 

 

 





## Tension sémantique

Tension sémantique

Tension entre le théorème comme réduction de calcul (suite exacte pratique) et comme énoncé de foncteur dérivé (identité du tensor/Hom dérivé) qui met l'accent sur des niveaux différents de sophistication catégorique.

 

 

 

 

 





## Synthèse

Synthèse

Le Théorème des Coefficients Universels réduit l'homologie ou la cohomologie à coefficients quelconques à l'homologie aux coefficients de base plus des termes correctifs explicites Tor/Ext, révélant comment la torsion et l'extension contrôlent le changement de systèmes de coefficients.