En matemáticas , un conjunto generador Γ de un módulo M sobre un anillo R es un subconjunto de M tal que el submódulo más pequeño de M que contiene a Γ es M mismo (el submódulo más pequeño que contiene un subconjunto es la intersección de todos los submódulos que contienen el conjunto). Se dice entonces que el conjunto Γ genera M. Por ejemplo, el anillo R es generado por el elemento identidad 1 como un R -módulo izquierdo sobre sí mismo. Si hay un conjunto generador finito , se dice que un módulo es finitamente generado .
Esto se aplica a los ideales , que son los submódulos del propio anillo. En particular, un ideal principal es un ideal que tiene un grupo generador formado por un único elemento.
Explícitamente, si Γ es un conjunto generador de un módulo M , entonces cada elemento de M es una combinación R -lineal (finita) de algunos elementos de Γ; es decir, para cada x en M , hay r 1 , ..., r m en R y g 1 , ..., g m en Γ tales que
Dicho de otra manera, hay una sobreyección.
donde escribimos r g para un elemento en el componente g -ésimo de la suma directa. (Casualmente, dado que siempre existe un conjunto generador, por ejemplo M mismo, esto demuestra que un módulo es un cociente de un módulo libre , un hecho útil).
Se dice que un conjunto generador de un módulo es mínimo si ningún subconjunto propio del conjunto genera el módulo. Si R es un cuerpo , entonces un conjunto generador mínimo es lo mismo que una base . A menos que el módulo sea finitamente generado , puede que no exista ningún conjunto generador mínimo. [1]
La cardinalidad de un grupo electrógeno mínimo no tiene por qué ser un invariante del módulo; Z se genera como ideal principal por 1, pero también se genera, por ejemplo, por un grupo electrógeno mínimo {2, 3 }. Lo que está determinado de forma única por un módulo es el ínfimo de los números de los generadores del módulo.
Sea R un anillo local con ideal máximo m y cuerpo de residuos k y M módulo finitamente generado. Entonces el lema de Nakayama dice que M tiene un conjunto generador mínimo cuya cardinalidad es . Si M es plano , entonces este conjunto generador mínimo es linealmente independiente (por lo que M es libre). Véase también: Resolución mínima .
Se obtiene una información más refinada si se consideran las relaciones entre los generadores, ver Presentación libre de un módulo .
