Módulo gratuito

En matemáticas , un módulo libre es un módulo que tiene una base , es decir, un conjunto generador linealmente independiente . Todo espacio vectorial es un módulo libre, ^[1] pero, si el anillo de los coeficientes no es un anillo de división (no un cuerpo en el caso conmutativo ), entonces existen módulos no libres.

Dado cualquier conjunto S y anillo R , existe un R -módulo libre con base S , que se llama módulo libre en S o módulo de R - combinaciones lineales formales de los elementos de S .

Un grupo abeliano libre es precisamente un módulo libre sobre el anillo Z de números enteros .

Para un anillo y un módulo , el conjunto es una base para si:${\estilo de visualización R}$${\estilo de visualización R}$ ${\estilo de visualización M}$${\displaystyle E\subseteq M}$${\estilo de visualización M}$

• ${\estilo de visualización E}$es un conjunto generador para ; es decir, cada elemento de es una suma finita de elementos de multiplicada por coeficientes en ; y${\estilo de visualización M}$${\estilo de visualización M}$${\estilo de visualización E}$${\estilo de visualización R}$
• ${\estilo de visualización E}$es linealmente independiente si para cada uno de elementos distintos, implica que (donde es el elemento cero de y es el elemento cero de ).${\displaystyle \{e_{1},\dots,e_{n}\}\subset E}$${\displaystyle r_{1}e_{1}+r_{2}e_{2}+\cdots +r_{n}e_{n}=0_{M}}$${\displaystyle r_{1}=r_{2}=\cdots =r_{n}=0_{R}}$${\estilo de visualización 0_{M}}$${\estilo de visualización M}$${\estilo de visualización 0_{R}}$${\estilo de visualización R}$

Un módulo libre es un módulo con una base. ^[2]

Una consecuencia inmediata de la segunda mitad de la definición es que los coeficientes de la primera mitad son únicos para cada elemento de M.

Si tiene un número de base invariante , entonces, por definición, dos bases cualesquiera tienen la misma cardinalidad. Por ejemplo, los anillos conmutativos distintos de cero tienen un número de base invariante. La cardinalidad de cualquier base (y, por lo tanto, de toda base) se denomina rango del módulo libre . Si esta cardinalidad es finita, se dice que el módulo libre es libre de rango finito o libre de rango n si se sabe que el rango es n .${\estilo de visualización R}$${\estilo de visualización M}$

Sea R un anillo.

• R es un módulo libre de rango uno sobre sí mismo (ya sea como módulo izquierdo o derecho); cualquier elemento unitario es una base.
• De manera más general, si R es conmutativo, un ideal I distinto de cero de R es libre si y solo si es un ideal principal generado por un divisor distinto de cero, siendo un generador una base. ^[3]
• Sobre un dominio ideal principal (por ejemplo, ), un submódulo de un módulo libre es libre.${\displaystyle \mathbb {Z}}$
• Si R es conmutativo, el anillo polinomial en X indeterminado es un módulo libre con una base posible 1, X , X ² , ....${\estilo de visualización R[X]}$
• Sea un anillo polinomial sobre un anillo conmutativo A , f un polinomio mónico de grado d allí, y la imagen de t en B . Entonces B contiene a A como subanillo y es libre como un A -módulo con una base .${\displaystyle A[t]}$${\displaystyle B=A[t]/(f)}$${\estilo de visualización \xi}$${\displaystyle 1,\xi ,\puntos ,\xi ^{d-1}}$
• Para cualquier entero no negativo n , , el producto cartesiano de n copias de R como módulo izquierdo de R es libre. Si R tiene un número de base invariante , entonces su rango es n .${\displaystyle R^{n}=R\times \cdots \times R}$
• Una suma directa de módulos libres es libre, mientras que un producto cartesiano infinito de módulos libres generalmente no es libre (cf. el grupo de Baer-Specker ).
• Un módulo finitamente generado sobre un anillo local conmutativo es libre si y sólo si es fielmente plano . ^[4] Además, el teorema de Kaplansky establece que un módulo proyectivo sobre un anillo local (posiblemente no conmutativo) es libre.
• A veces, si un módulo es libre o no es indecidible en el sentido de la teoría de conjuntos. Un ejemplo famoso es el problema de Whitehead , que pregunta si un grupo de Whitehead es libre o no. Resulta que el problema es independiente de ZFC.

Dado un conjunto E y un anillo R , existe un módulo R libre que tiene a E como base: es decir, la suma directa de copias de R indexadas por E

${\displaystyle R^{(E)}=\bigoplus _ {e\in E}R}$.

Explícitamente, es el submódulo del producto cartesiano ( R se considera, por ejemplo, como un módulo izquierdo) que consta de los elementos que tienen solo un número finito de componentes distintos de cero. Se puede incorporar E en R ^{( E )} como un subconjunto identificando un elemento e con el de R ^{( E )} cuyo componente e -ésimo es 1 (la unidad de R ) y todos los demás componentes son cero. Entonces, cada elemento de R ^{( E )} se puede escribir de forma única como${\textstyle \prod _{E}R}$

${\displaystyle \sum _ {e\in E}c_ {e}e,}$

donde sólo un número finito de elementos no son cero. Se denomina combinación lineal formal de elementos de E .$estilo de visualización c_{e}}$

Un argumento similar muestra que cada módulo R libre izquierdo (o derecho) es isomorfo a una suma directa de copias de R como módulo izquierdo (o derecho).

El módulo libre R ^{( E )} también puede construirse de la siguiente manera equivalente.

Dado un anillo R y un conjunto E , primero como conjunto dejamos

${\displaystyle R^{(E)}=\{f:E\to R\mid f(x)=0{\text{ para todos excepto un número finito de }}x\in E\}.}$

Lo dotamos de una estructura de módulo izquierdo tal que la adición está definida por: para x en E ,

${\displaystyle (f+g)(x)=f(x)+g(x)}$

y la multiplicación escalar por: para r en R y x en E ,

${\displaystyle (rf)(x)=rf(x)}$

Ahora, como una función de valor R en E , cada f en se puede escribir de forma única como${\displaystyle R^{(E)}}$

${\displaystyle f=\sum _ {e\in E}c_ {e}\delta _ {e}}$

donde están en R y solo un número finito de ellos son distintos de cero y se da como$estilo de visualización c_{e}}$${\displaystyle \delta _{e}}$

${\displaystyle \delta _{e}(x)={\begin{cases}1_{R}\quad {\mbox{if }}x=e\\0_{R}\quad {\mbox{if }}x\neq e\end{cases}}}$

(esta es una variante del delta de Kronecker ). Lo anterior significa que el subconjunto de es una base de . La aplicación es una biyección entre E y esta base. A través de esta biyección, es un módulo libre con la base E .${\displaystyle \{\delta _{e}\mid e\in E\}}$${\displaystyle R^{(E)}}$${\displaystyle R^{(E)}}$${\displaystyle e\mapsto \delta _{e}}$${\displaystyle R^{(E)}}$

La función de inclusión definida anteriormente es universal en el sentido siguiente. Dada una función arbitraria de un conjunto E a un módulo izquierdo R N , existe un homomorfismo de módulo único tal que ; es decir, se define por la fórmula:${\displaystyle \iota :E\to R^{(E)}}$${\displaystyle f:E\to N}$ ${\displaystyle {\overline {f}}:R^{(E)}\to N}$${\displaystyle f={\overline {f}}\circ \iota }$${\displaystyle {\overline {f}}}$

${\displaystyle {\overline {f}}\left(\sum _{e\in E}r_{e}e\right)=\sum _{e\in E}r_{e}f(e)}$

y se dice que se obtiene extendiendo por linealidad. La unicidad significa que cada mapa R -lineal está determinado de manera única por su restricción a E .${\displaystyle {\overline {f}}}$${\displaystyle f}$${\displaystyle R^{(E)}\to N}$

Como es habitual en las propiedades universales, esto define R ^{( E )} hasta un isomorfismo canónico . Además, la formación de para cada conjunto E determina un funtor${\displaystyle \iota :E\to R^{(E)}}$

${\displaystyle R^{(-)}:{\textbf {Set}}\to R{\text{-}}{\mathsf {Mod}},\,E\mapsto R^{(E)}}$,

de la categoría de conjuntos a la categoría de R -módulos izquierdos. Se llama funtor libre y satisface una relación natural: para cada conjunto E y un módulo izquierdo N ,

${\displaystyle \operatorname {Hom} _{\textbf {Set}}(E,U(N))\simeq \operatorname {Hom} _{R}(R^{(E)},N),\,f\mapsto {\overline {f}}}$

¿Dónde está el funtor olvidadizo ?, es decir, es un adjunto izquierdo del funtor olvidadizo.${\displaystyle U:R{\text{-}}{\mathsf {Mod}}\to {\textbf {Set}}}$${\displaystyle R^{(-)}}$

Muchas afirmaciones que son ciertas para los módulos libres se extienden a ciertas clases más grandes de módulos. Los módulos proyectivos son sumandos directos de módulos libres. Los módulos planos se definen por la propiedad de que al tensarlos se conservan las secuencias exactas. Los módulos libres de torsión forman una clase aún más amplia. Para un módulo generado finitamente sobre un PID (como Z ), las propiedades libre, proyectivo, plano y libre de torsión son equivalentes.

Ver anillo local , anillo perfecto y anillo Dedekind .

• Objeto libre
• Objeto proyectivo
• presentación gratuita
• resolución libre
• Teorema de Quillen-Suslin
• módulo libre estable
• libertad genérica

Este artículo incorpora material del espacio vectorial libre sobre un conjunto en PlanetMath , que se encuentra bajo la licencia Creative Commons Attribution/Share-Alike License .

• Adamson, Iain T. (1972). Anillos y módulos elementales . Textos matemáticos universitarios. Oliver y Boyd. Págs. 65-66. ISBN. 0-05-002192-3.Sr. 0345993  .
• Keown, R. (1975). Introducción a la teoría de la representación de grupos . Matemáticas en la ciencia y la ingeniería. Vol. 116. Academic Press. ISBN 978-0-12-404250-6.Sr. 0387387  .
• Govorov, VE (2001) [1994], "Módulo libre", Enciclopedia de Matemáticas , EMS Press.
• Matsumura, Hideyuki (1986). Teoría de anillos conmutativos. Cambridge Studies in Advanced Mathematics. Vol. 8. Cambridge University Press. ISBN 0-521-36764-6. Sr.  0879273. Zbl  0603.13001.