## [Generación Finita](/es/node/63863) Definición La propiedad de un módulo, álgebra o ideal de poder ser generado por un conjunto finito de elementos: existe una tupla finita cuyas combinaciones R-lineales (o algebraicas) generan todo el objeto. Suele abreviarse 'finitamente generado' (fg). ## Principio Principio Control mediante datos finitos: la generación finita expresa que la estructura algebraica global puede construirse a partir de un número finito de generadores, permitiendo argumentos noetherianos, inducción según el número de generadores y presentaciones efectivas. ## Demostración Demostración El Z-módulo Z^n es finitamente generado por la base estándar de n elementos. El álgebra de polinomios k[x] es finitamente generada como k-álgebra por un elemento x, mientras que el ideal (x,y) en k[x,y] está generado por x y y. ## Aplicación incorrecta Aplicación incorrecta Confundir generación finita con invarianza bajo cambio de base o cociente sin comprobar hipótesis; suponer que la generación finita implica presentación finita o libertad sin condiciones adicionales conduce a errores. ## Consecuencia Consecuencia La generación finita otorga propiedades de compacidad: los submódulos de módulos finitamente generados sobre anillos noetherianos son finitamente generados, muchos algoritmos terminan, y se aplican teoremas estructurales (base de Hilbert, argumentos sobre dimensión de Krull). ## Inversión Inversión La generación infinita significa que ningún conjunto finito basta; los objetos pueden requerir infinitos generadores, lo que conduce a patologías algorítmicas, al fallo de reducciones noetherianas y a un comportamiento homológico más sutil. ## Límite Límite La generación finita se distingue de la presentación finita (las relaciones pueden ser infinitas) y de la longitud finita (series de composición); la propiedad depende del anillo y de la categoría (módulo vs álgebra) y debe indicarse con precisión. ## Tensión semántica Tensión semántica Tensión entre generación finita y nociones de finitud como presentación finita, tipo finito y dimensión proyectiva finita; estas nociones coinciden sólo bajo hipótesis adicionales sobre el anillo y no son intercambiables. ## Síntesis Síntesis La generación finita significa que el objeto está generado por finitamente muchos elementos: una condición de finitud básica que permite técnicas noetherianas y descripciones efectivas, pero que debe distinguirse de propiedades de finitud más fuertes.