Presentación gratuita

En álgebra, un módulo sobre un anillo.

En álgebra , una presentación libre de un módulo M sobre un anillo conmutativo R es una secuencia exacta de R -módulos:

${\displaystyle \bigoplus _{i\in I}R\ {\overset {f}{\to }}\ \bigoplus _{j\in J}R\ {\overset {g}{\to }}\ M\to 0.}$

Tenga en cuenta que la imagen bajo g de la base estándar genera M . En particular, si J es finito, entonces M es un módulo generado de forma finita . Si I y J son conjuntos finitos, entonces la presentación se llama presentación finita ; un módulo se llama presentado finitamente si admite una presentación finita.

Dado que f es un homomorfismo de módulo entre módulos libres , se puede visualizar como una matriz (infinita) con entradas en R y M como cokernel .

Siempre existe una presentación libre: cualquier módulo es un cociente de un módulo libre: , pero entonces el núcleo de g es nuevamente un cociente de un módulo libre: . La combinación de f y g es una presentación libre de M. Ahora bien, obviamente se pueden seguir "resolviendo" los núcleos de esta manera; el resultado se llama resolución libre . Por tanto, una presentación gratuita es la primera parte de la resolución gratuita. ${\displaystyle F\ {\overset {g}{\to }}\ M\to 0}$ ${\displaystyle F'\ {\overset {f}{\to }}\ \ker g\to 0}$

Una presentación es útil para el cálculo. Por ejemplo, dado que el tensor es exacto a la derecha , tensorizar la presentación anterior con un módulo, digamos N , da:

${\displaystyle \bigoplus _{i\in I}N\ {\overset {f\otimes 1}{\to }}\ \bigoplus _{j\in J}N\to M\otimes _{R}N\to 0.}$

Esto dice que es el núcleo de . Si N también es un anillo (y por tanto un R -álgebra ), entonces esta es la presentación del N -módulo ; es decir, la presentación se extiende bajo extensión base. ${\displaystyle M\otimes _{R}N}$ ${\displaystyle f\otimes 1}$ ${\displaystyle M\otimes _{R}N}$

Para functores exactos a la izquierda , existe, por ejemplo

Proposición  :  Sean F , G funtores contravariantes exactos a la izquierda de la categoría de módulos sobre un anillo conmutativo R a grupos abelianos y θ una transformación natural de F a G. Si es un isomorfismo para cada número natural n , entonces es un isomorfismo para cualquier módulo M presentado de forma finita . ${\displaystyle \theta :F(R^{\oplus n})\to G(R^{\oplus n})}$ ${\displaystyle \theta :F(M)\to G(M)}$

Prueba: aplicar F a una presentación finita da como resultado ${\displaystyle R^{\oplus n}\to R^{\oplus m}\to M\to 0}$

${\displaystyle 0\to F(M)\to F(R^{\oplus m})\to F(R^{\oplus n}).}$

Esto puede extenderse trivialmente a

${\displaystyle 0\to 0\to F(M)\to F(R^{\oplus m})\to F(R^{\oplus n}).}$

Lo mismo vale para . Ahora aplique los cinco lemas . ${\displaystyle G}$ ${\displaystyle \square }$

Ver también

• módulo coherente
• Módulo finitamente relacionado
• Ajuste ideal
• Gavilla cuasi coherente

Referencias

• Eisenbud, David , Álgebra conmutativa con miras a la geometría algebraica , Textos de posgrado en matemáticas, 150, Springer-Verlag, 1995, ISBN  0-387-94268-8 .