Une construction universelle qui produit un objet sur un contexte ambiant plus large à partir d'un objet défini sur un sous-contexte, caractérisée comme adjointe à gauche de la restriction (par exemple induction de modules ou de représentations via tensorisation avec une algèbre induite), fournissant l'objet le plus libre soumis aux compatibilités prescrites.

Principe

L'induction est gouvernée par une adjunction : elle est l'adjointe à gauche du foncteur de restriction/oubli et constitue donc une extension libre ou une extension de Kan à gauche satisfaisant une propriété universelle ; algébriquement elle prend souvent la forme S ⊗_R − ou k[G] ⊗_{k[H]} − en théorie des représentations, et elle préserve les colimites mais pas nécessairement les limites ou l'exactitude sans hypotheses supplémentaires.

Démonstration

Pour un sous-groupe H ⊂ G et une représentation V de H sur un corps k, la représentation induite Ind_H^G V = k[G] ⊗_{k[H]} V est une représentation de G dont la restriction à H contient V comme image canonique ; pour des anneaux R → S, l'induction de R-modules se réalise parfois comme S ⊗_R M lorsque cela est approprié.

Mauvaise application

Employer l'induction comme synonyme d'extension naïve ou de coinduction peut être erroné : les objets induits peuvent être beaucoup plus volumineux, introduire des redondances, et sans vérifier la finitude ou la platitude ils peuvent ne pas préserver des propriétés comme la génération finie ou l'exactitude, conduisant à des conclusions fausses.

Conséquence

Bien appliquée, l'induction construit des extensions canoniques « libres » de structures, met en relation des représentations entre sous-groupes et groupes, et fournit des adjunctions qui facilitent les calculs explicites et les arguments homologiques ; elle est centrale pour construire des modules induits, des algèbres induites et des foncteurs dérivés à gauche.

Inversion

La notion duale est la coinduction (adjointe à droite de la restriction) et, plus simplement, la perspective inverse est la restriction des scalaires ; l'induction élargit librement la structure tandis que la coinduction produit des extensions de type limite et diffère souvent en taille et en comportement d'exactitude.

Limite

S'applique dans des contextes admettant un foncteur de restriction (inclusions d'anneaux, sous-groupes, morphismes d'opérades) ; elle ne commute pas automatiquement aux limites ni ne remplace la complétion ou la localisation, et des complications surviennent en cas d'indice infini ou d'extensions non plates.

Tension sémantique

La tension existe entre l'induction et la coinduction : ces deux constructions adjointes servent à déplacer des objets entre contextes mais diffèrent par la direction (comportement en colimite vs. limite), la taille et l'exactitude ; en théorie des représentations, induit et coinduit coïncident dans des contextes finis mais divergent en général.

Synthèse

L'induction est la construction adjoint à gauche, la plus libre, qui étend un objet d'un contexte plus petit à un contexte plus grand par tensorisation ou extension de Kan à gauche ; elle est caractérisée par une propriété universelle, préserve les colimites et exige prudence vis‑à‑vis de la finitude, de la platitude et des problèmes d'indice.