Conjunto generador de un módulo

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 ₁ , ..., r _m en R y g ₁ , ..., g _m en Γ tales que

${\displaystyle x=r_{1}g_{1}+\cdots +r_{m}g_{m}.}$

Dicho de otra manera, hay una sobreyección.

${\displaystyle \bigoplus _{g\in \Gamma }R\to M,\,r_{g}\mapsto r_{g}g,}$

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 . ${\displaystyle \dim _{k}M/mM=\dim _{k}M\otimes _{R}k}$

Se obtiene una información más refinada si se consideran las relaciones entre los generadores, ver Presentación libre de un módulo .

• Módulo generado de forma contable
• Módulo plano
• Número de base invariante

• Dummit, David; Foote, Richard. Álgebra abstracta .