Módulo plano

En álgebra conmutativa, y geometría algebraica, un módulo plano sobre un anillo R es un R-módulo M tal que se preserva sucesiones exactas al tomar el producto tensorial sobre R con M. Un módulo es fielmente plano si al tomar el producto tensorial se produce una sucesión exacta si y sólo si la sucesion original es exacta.

Los espacios vectoriales sobre un un campo son módulos planos. Los módulos libres, o más generalmente los módulos proyectivos, son planos sobre cualquier R. Para módulos finitamente generados sobre un anillo local noetheriano, las propiedades de ser proyectivos, planos y libres son equivalentes.

Los módulos planos fueron introducidos por Jean-Pierre Serre(1956) en su artículo Géometrie Algébrique et Géométrie Analytique. Véase también morfismo plano.

Contenido

1 Definición
- 1.1 Anillos conmutativos
- 1.2 Anillos generales
2 El Caso de los Anillos Conmutativos
3 Colimites Categóricos
4 Álgebra Homológica
5 Resoluciones Planas
6 En las Matemáticas Constructivas
7 Referencias

Definición

Anillos conmutativos

Existen muchas maneras para definir a los módulos planos sobre un anillo conmutativo R.

Un R-módulo plano es un R-módulo M tal que el funtor

$F_M : Mod(R) \to Mod(R), \quad N \mapsto M \otimes_R N$

es exacto, donde Mod(R) es la categoría de los R-módulos.

Un R-módulo plano es un R-módulo M tal que para todo morfismo inyectivo $\phi : K \to L$ de R-módulos K y L, la función inducida,

$F_M(\phi) : M \otimes_R K \to M \otimes_R L$ ,

es inyectiva

Un R-módulo plano es un R-módulo M tal que para cada ideal finitamente generado $I \hookrightarrow R$ , el morfismo inducido $I \otimes_R M \to R \otimes_R M \cong M$ es inyectivo.
Un R-módulo plano es un R-módulo M tal que existe un sistema dirigido $R$ -modules ${F α} α$ de R-módulos con las siguientes propiedades:

Para todo $α$ , $F α$ es un R-módulo libre finitamente generado.
el límite directo es M: $\varinjlim_\alpha F_\alpha= M$ .

Un R-módulo plano es un R-módulo M tal que para toda dependencia lineal en M,

$r^T m = \sum_{i=1}^k r_i m_i = 0$ ,

donde $r_i \in R, m_i \in M$ , existe una matriz $A \in R^{k \times k}$ tal que

$A n = m$ tiene solución para alguna $n \in M^k$ .
$r T A = 0$ .

Un R-módulo plano es un R-módulo tal que para todo R-módulo N,

$\mathrm{Tor}_1^R (N, M) = 0$

Un R-módulo plano es un R-módulo M tal que para todo ideal finitamente generado $I \subset R$ ,

$\mathrm{Tor}_1^R (R/I, M) = 0$ .

Un R-módulo plano es un R-módulo M tal que para todo morfismo $f : F \to M$ , donde F es un R-módulo libre finitamente generado, y para cada R-módulo finitamente generado $K \leq \ker f$ , f se factoriza a través de un morfismo a un R-módulo libre G que anula a K:

Anillos generales

Cuando R no es un anillo conmutativo la definición cambia ligeramente. Un R-módulo plano es un R-módulo M tal que el funtor $F_M : Mod(R) \to Ab, \quad N \mapsto M \otimes_R N$ es exacto, donde Ab es la categoría de grupos abelianos. Tomar el producto tensorial (sobre anillos arbitrarios) siempre es un funtor exacto izquierdo. Por lo tanto, el R-módulo M es plano si y sólo si para cualquier morfismo inyectivo de R-módulos, el morfismo inducido también es inyectivo.

El Caso de los Anillos Conmutativos

Para cualquier subconjunto multiplicativamente cerrado S de R, el anillo de localización $S - 1 R$ es un R-módulo plano.

Cuando R es noetheriano y M es un R-módulo finitamente generado, ser plano es lo mismo que ser localmente libre. Esto es M es plano si y sólo si para todo ideal primo (o incluso solo para todo ideal máximo) P de R, la localización es libre como un módulo sobre la localización $R P$ .

Si S es una R-álgebra, i.e., hay un morfismo $f \colon R \to S$ , entonces S tiene una estructura de R-módulo, por lo que tiene sentido preguntar si S es plano sobre R. De ser este el caso, S es fielmente libre sobre R si y sólo si todo ideal primo de R es la imagen inversa bajo f de un ideal primo en S. En otras palabras, si y solo si el morfismo inducido $f^* \colon \mathrm{Spec}(S) \to \mathrm{Spec}(R)$ es suprayectivo.

Colimites Categóricos

En general, la suma directa arbitraria y límites directos de módulos planos son planos, como consecuencia de que el producto tensorial conmuta con las sumas directas y los límites directos (de hecho con todos los colimites) y del hecho de que tanto la suma directa como los límites directos son funtores exactos. En general los submódulo y los módulos cociente no tienen que ser planos. Sin embargo se tiene el siguiente resultado: la imagen de un módulo plano M bajo un homomorfismo es plano si y sólo si el núcleo es un submódulo puro de M.

D.Lazard provo en 1969 que un módulo M es plano si y sólo si es el límite directo de módulos libres finitamente generados. Como consecuencia, se puede deducir que todo módulo finitamente presentado es proyectivo.

Un grupo abeliano es plano (visto como un Z-módulo) si y sólo si es libre de torsión.

Álgebra Homológica

La propiedad de ser plano se puede expresar usando los funtores Tor, que son los funtores derivados izquierdos del producto tensorial. Un R-módulo izquierdo es plano si y sólo si Tor_n^R(–, M) = 0 para todo $n \ge 1$ (i.e. si y sólo si Tor_n^R(X, M) = 0 para todo $n \ge 1$ y todo R-módulo izquierdo X). De manera similar, un R-módulo M derecho es plano si y sólo si Tor_n^R(M, X) = 0 para todo $n \ge 1$ y todo R-módulo izquierdo X. Si se usa la sucesión exacta larga del funtor Tor, se pueden demostrar hechos a cerca de una sucesión exacta corta

Si A y C son planos, entonces también lo es B
Si B y C son planos, entonces lo es A

Si A y B son planos, no es cierto que esto implique que C es plano. Sin embargo, se puede mostrar que

Si A es puro en B y B es plano, entonces C es plano

Resoluciones Planas

Una resolución plana de un módulo es una resolución por módulos planos. Por lo que cualquier resolución proyectiva es inmediatamente una resolución plana. Las resoluciones planas se usan para calcular el funtor Tor.

En algunas áreas de la teoría de módulos, una resolución plana debe de satisfacer la propiedad adicional de que cada morfismo es una precubierta plana del núcleo del morfismo de la derecha. Para las resoluciones proyectivas, esta condición se hace invisible: una precubierta proyectiva es un epimorfismo de un módulo proyectivo. Estas ideas surgieron inspiradas por el trabajo de Auslander sobre aproximaciones. Estas ideas se parecen a la noción más común de resolución proyectiva mínima, donde se pide que cada morfismo sea una cubierta proyectiva del núcleo del morfismo de la derecha. Sin embargo, las cubiertas proyectivas no siempre existen, por lo que el uso de las resoluciones proyectivas está restringido a los módulos sobre anillos perfectos. Por otro lado, las cubiertas planas siempre existen, por lo que las resoluciones planas mínimas pueden ser usadas en muchas circunstancias. La medida de la desviacion que tiene una resolución plana de una proyectiva es llama álgebra homológica relativa. Esta materia es tratada en el clásico de MacLane (1963) o en trabajos más recientes que se enfocan en las resoluciones planas como Enochs & Jenda (2000).

En las Matemáticas Constructivas

Los módulos planos han ido ganando importancia en las matemáticas constructivas, en donde los módulos proyectivos son menos útiles. Por ejemplo, el hecho de que todo módulo libre es proyectivo es equivalente a el axioma de elección, por lo que los teoremas acerca de módulos proyectivos, incluso habiendo sido demostrados de manera constructiva, no se aplican a los módulos libres. Por otro lado, no es necesario el axioma de elección para probar que todo módulo libre es plano, por lo que los teoremas para módulos planos se siguen aplicando a estos.

Referencias

Northcott, D. G. (1984), Multilinear algebra, Cambridge University Press, ISBN 978-0-521-26269-9 - page 33
Enochs, Edgar E.; Jenda, Overtoun M. G. (2000), Relative homological algebra, de Gruyter Expositions in Mathematics, 30, Berlin: Walter de Gruyter & Co., MR 1753146, ISBN 978-3-11-016633-0
Eisenbud, David (1995), Commutative algebra, Graduate Texts in Mathematics, 150, Berlin, New York: Springer-Verlag, MR 1322960, ISBN 978-0-387-94268-1; 978-0-387-94269-8
Mac Lane, Saunders (1963), Homology, Die Grundlehren der mathematischen Wissenschaften, Bd. 114, Boston, MA: Academic Press, MR 0156879
Richman, Fred (1997), «Flat dimension, constructivity, and the Hilbert syzygy theorem», New Zealand Journal of Mathematics 26 (2): 263–273, MR 1601663, ISSN 1171-6096
Serre, Jean-Pierre (1956), «Géométrie algébrique et géométrie analytique», Université de Grenoble. Annales de l'Institut Fourier 6: 1–42, MR 0082175, ISSN 0373-0956, http://www.numdam.org/numdam-bin/item?id=AIF_1956__6__1_0

Categorías:

Wikimedia foundation. 2010.

Игры ⚽ Поможем написать курсовую

Mira otros diccionarios:

Módulo proyectivo — En matemáticas, particularmente en álgebra abstracta y álgebra homológica, el concepto de módulo proyectivo sobre un anillo R es una generalización más flexible de la idea de un módulo libre (es decir, un módulo con vectores de base). Hay varias… … Wikipedia Español
Módulo de cizalladura — El módulo de cizalladura, también llamado módulo de elasticidad transversal, es una constante elástica que caracteriza el cambio de forma que experimenta un material elástico (lineal e isótropo) cuando se aplican esfuerzos cortantes. Este módulo… … Wikipedia Español
Módulo (vector) — En física, se llama módulo de un vector a la norma matemática del vector de un espacio euclídeo ya sea este el plano euclídeo o el espacio tridimensional. El módulo de un vector es un número que coincide con la longitud del vector en la… … Wikipedia Español
Anillo artiniano — Saltar a navegación, búsqueda En álgebra, un anillo R es artiniano por la izquierda si sus ideales por la izquierda satisfacen la condición de cadena descendente. Diremos que un anillo es artiniano si es artiniano por la izquierda y por la… … Wikipedia Español
Cinemática del sólido rígido — La cinemática del sólido rígido es una aplicación de la cinemática al movimiento de un objeto tridimensional rígido en el espacio. El movimiento más general del sólido rígido puede considerarse como la superposición de dos tipos de movimiento… … Wikipedia Español
Número complejo — Ilustración del plano complejo. Los números reales se encuentran en el eje de coordenadas horizontal y los imaginarios en el eje vertical. El término número complejo describe la suma de un número real y un número imaginario (que es un múltiplo… … Wikipedia Español
Vector — Para otros usos de este término, véase Vector (desambiguación). Este artículo trata sobre el concepto físico de vector. Para el tratamiento matemático formal, véase Espacio Vectorial. Un vector desde A hasta B. En física, mate … Wikipedia Español
Educación permanente — Saltar a navegación, búsqueda La Educación Permanente (EP) es considerada como aquel movimiento que pretende llevar la educación a todos los niveles y estadios de la vida del ser humano, para que a cada persona le sea posible tanto recibirla como … Wikipedia Español
Cinemática — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar … Wikipedia Español
Movimiento (física) — Para otros usos de este término, véase Movimiento. El movimiento es un cambio de posición respecto del tiempo. En mecánica, el movimiento es un fenómeno físico que se define como todo cambio de posición en el espacio que experimentan los cuerpos… … Wikipedia Español

Los diccionarios y las enciclopedias sobre el Académico

Módulo plano

Contenido

Definición

Anillos conmutativos

Anillos generales

El Caso de los Anillos Conmutativos

Colimites Categóricos

Álgebra Homológica

Resoluciones Planas

En las Matemáticas Constructivas

Referencias

Mira otros diccionarios:

Compartir el artículo y extractos

Los diccionarios y las enciclopedias sobre el Académico

Wikipedia Español

Módulo plano

Contenido

Definición

Anillos conmutativos

Anillos generales

El Caso de los Anillos Conmutativos

Colimites Categóricos

Álgebra Homológica

Resoluciones Planas

En las Matemáticas Constructivas

Referencias

Mira otros diccionarios:

Compartir el artículo y extractos

Link directo