Un funtor que asigna a un objeto definido sobre una subestructura un objeto inducido canónico sobre una estructura mayor, a menudo realizado como el adjunto izquierdo al funtor de restricción u olvido en teoría de representaciones, teoría de módulos y contextos relacionados.

Principio

La inducción se organiza mediante una adunción: dada una inclusión o morfismo i:S→T, Ind_i es un funtor adjunto por la izquierda a Res_i, construido por una propiedad universal que extiende libremente los objetos sobre S a objetos sobre T imponiendo las relaciones mínimas requeridas por la estructura mayor.

Demostración

Para representaciones de grupos, si H≤G y V es una representación de H, la representación inducida Ind_H^G V consiste en funciones G→V que satisfacen una condición de equivariancia o, equivalentemente, el producto tensorial k[G]⊗_{k[H]}V; es adjunta por la izquierda a la restricción de una representación de G a H y satisface la reciprocidad de Frobenius.

Aplicación incorrecta

Usar inducción sin comprobar hipótesis de finitud, continuidad o exactitud (por ejemplo, inducir módulos de dimensión infinita sin controlar cuestiones topológicas) puede producir objetos que no cumplen propiedades esperadas como la admisibilidad o la exactitud.

Consecuencia

Cuando la inducción está disponible, provee extensiones canónicas, construye objetos libres o co-libres con comportamiento local prescrito e interactúa con herramientas homológicas y fórmulas de reciprocidad, permitiendo transferir problemas de estructuras más pequeñas a mayores.

Inversión

La coinducción o la restricción son los procesos inversos: la restricción olvida estructura y la coinducción da una extensión adjunta por la derecha; estas inversiones difieren en exactitud y comportamiento respecto del tamaño y no son intercambiables en general.

Límite

Se aplica cuando existe un funtor de restricción significativo (inclusiones de grupos, álgebras, morfismos de cambio de base); la inducción puede no preservar la finitud, exactitud o propiedades topológicas deseadas y requiere hipótesis (índice finito, projectividad, planitud) para conclusiones fuertes.

Tensión semántica

Existe tensión entre la inducción como adjunto izquierdo formal y construcciones concretas como la extensión por cero o el tensado; los practicantes pueden confundir diferentes construcciones de 'inducción' que sólo coinciden bajo supuestos adicionales.

Síntesis

El funtor de inducción es la extensión canónica adjunta por la izquierda que produce libremente objetos sobre un ambiente mayor a partir de objetos sobre una subestructura, caracterizada por una propiedad universal y fundamental para transferir estructuras y resolver problemas de extensión en álgebra y teoría de representaciones.