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.