Una construcción universal que produce un objeto sobre un contexto ambiente mayor a partir de uno definido sobre un subcontexto, caracterizada como adjointe por la izquierda a la restricción (por ejemplo, inducción de módulos o representaciones mediante tensorización con un álgebra inducida), generando el objeto más 'libre' sujeto a las compatibilidades prescritas.

Principio

La inducción se rige por una adjunción: es el adjunto por la izquierda al functor de restricción/olvido y por tanto es una extensión libre o una extensión de Kan por la izquierda que satisface una propiedad universal; algebraicamente suele tener la forma S ⊗_R − o k[G] ⊗_{k[H]} − en teoría de representaciones, preserva colímites pero no necesariamente límites ni exactitud salvo hipótesis adicionales.

Demostración

Para un subgrupo H ⊂ G y una representación V de H sobre un campo k, la representación inducida Ind_H^G V = k[G] ⊗_{k[H]} V produce una representación de G cuya restricción a H contiene a V como imagen canónica; para anillos R → S, la inducción de R-módulos puede realizarse como S ⊗_R M cuando procede.

Aplicación incorrecta

Usar inducción indistintamente con extensión ingenua o coinducción puede ser erróneo: los objetos inducidos pueden ser mucho más grandes, introducir redundancias y, sin comprobar finitud o planitud, pueden no preservar propiedades como generación finita o exactitud, conduciendo a conclusiones falsas.

Consecuencia

Cuando se aplica correctamente, la inducción construye extensiones canónicas 'libres' de estructura, relaciona representaciones a través de inclusiones de subgrupos y genera adjunciones que facilitan cálculos explícitos y argumentos homológicos; es central para construir módulos inducidos, álgebras inducidas y funtores derivados por la izquierda.

Inversión

La noción dual es la coinducción (adjunta por la derecha a la restricción) y, de forma más simple, la perspectiva inversa es la restricción de escalares; la inducción amplía libremente la estructura mientras que la coinducción produce extensiones de tipo límite y suele diferir en tamaño y comportamiento de exactitud.

Límite

Se aplica en contextos que admiten un functor de restricción (inclusiones de anillos, subgrupos, morfismos de operadas); no conmuta automáticamente con límites ni sustituye a completación o localización, y surgen complicaciones para índices infinitos o extensiones no planas.

Tensión semántica

Existe tensión entre inducción y coinducción: ambas construcciones adjuntas mueven objetos entre contextos pero difieren en dirección (comportamiento en colímites vs límites), tamaño y exactitud; en teoría de representaciones, inducido y coinducido coinciden en contextos finitos pero divergen en general.

Síntesis

La inducción es la construcción adjunta por la izquierda, la más libre, que extiende un objeto desde un contexto menor a uno mayor mediante tensorización o extensión de Kan por la izquierda; se caracteriza por una propiedad universal, preserva colímites y requiere cuidado respecto a finitud, planitud y cuestiones de índice.