## [Funtor de Inducción](/es/node/61606) Definición 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 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 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 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 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 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 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 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 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.