Ir al contenido

Matemáticas/Álgebra Conmutativa/Texto completo

De Wikilibros, la colección de libros de texto de contenido libre.


Sección 1: Introducción

[editar]

En álgebra abstracta, el álgebra conmutativa es el campo de estudio de los anillos conmutativos, sus ideales, módulos y álgebras. Es una materia fundacional tanto para la geometría algebraica como para la teoría algebraica de números.

Se considera que el fundador real de la materia, en la época en la que se llamaba teoría de ideales, es David Hilbert. Parece que él piensa sobre ella (alrededor del 1900) como un enfoque alternativo a la entonces de moda teoría de funciones complejas. Este enfoque sigue cierta "línea" de pensamiento que considera que los aspectos computacionales son secundarios respecto a los estructurales. El concepto adicional de módulo, presentado de alguna manera en el trabajo de Kronecker, es técnicamente un paso adelante si lo comparamos con trabajar siempre directamente en el caso especial de los ideales. Este cambio se atribuye a la influencia de Emmy Noether.

Dado el concepto de esquema, el álgebra conmutativa es pensada, comprendida, de forma razonable, bien como la teoría local o bien como la teoría afín de la geometría algebraica.

El estudio general de anillos sin requerir conmutatividad se conoce como álgebra no conmutativa; es materia de la teoría de anillos, de la teoría de la representación y también de otras áreas como la teoría de las álgebras de Banach.

Sección 2:Anillos conmutativos

[editar]

Definicion

[editar]

Sea A un conjunto no vacío, y sean y las dos operaciones binarias en A. Se dice que el conjunto es un anillo conmuntativo por que se cumple con las siguientes propiedades:

1. A es cerrado bajo la operación de la suma .
2. La operación es asociativa.
3. La operación tiene a n como elemento neutro.
4. Existe un elemento simétrico para .

Estas cuatro condiciones definen un grupo. Una quinta condición define un grupo abeliano:

5. La operación es conmutativa.

Para definir un anillo, es necesario agregar tres condiciones más que hablan acerca de la segunda operación binaria:

6. A es cerrado bajo la operación .
7. La operación es asociativa.
8. La operación es distributiva respecto de .

Y agregando una novena condición, se define un anillo conmutativo:

9. La operación es conmutativa.

Si un anillo cuenta con un elemento neutro para la segunda operación se llama anillo unitario. A dicho elemento se le suele llamar la unidad (1) para diferenciarlo del elemento neutro de la primera operación (usualmente el 0).

Definición sintética

[editar]

Un anillo R es un conjunto con dos leyes de composición, llamadas adición y multiplicación, cumpliendo las condiciones siguientes:

  • R1. R es grupo abeliano para la adición; el elemento neutro en esta adición se nombra cero del anillo, y se denota usualmente 0;
  • R2. R es un semigrupo para la multiplicación;
  • R3. La multiplicación () es distributiva (por los dos lados) respecto de la adición.

Anillo Conmutativo Unitario

[editar]

Se considera unitario a todo anillo que contenga un elemento neutro en la multiplicación

Ejemplos

[editar]
  • Todos los Números Racionales Q ,Reales R y Complejos C forman un anillo conmutativo unitario

Propiedades

[editar]
  • Si f : RS es un homomorfismo de anillos entre R y S, S es conmutativo, y f es inyectiva (esto es, un monomorfismo), R también debe ser conmutativo, pues f(a·b) = f(af(b) = f(bf(a) = f(b·a).
  • Si f : RS es un homomorfismo de anillos entre R y S, con R es conmutativo, la imagen f(R) de R será también conmutativa; en particular, si f es |sobreyectiva (esto es, un epimorfismo), S será conmutativo también.

El mayor interés de los anillos conmutativos está en cuando además son unitarios, es decir, los anillos conmutativos unitarios.

Sección 3: Ideales

[editar]

Un ideal es una subestructura algebraica definida en la teoría de anillos. Los ideales generalizan, de manera fecunda, el estudio de la divisibilidad entre los números enteros hacia otros objetos matemáticos. De este modo, es posible enunciar versiones muy generales de teoremas de la aritmética elemental, tales como el teorema chino del resto o el teorema fundamental de la aritmética, válidos para los ideales. Se puede comparar también esta noción con la de subgrupo normal para la estructura algebraica de grupo en el sentido de que facilita definir la noción de anillo cociente como una extensión natural de la noción de grupo cociente [1].

Aspecto histórico

[editar]

La teoría de los ideales es relativamente reciente, puesto que fue creada por el matemático alemán, Richard Dedekind, a fines del siglo XIX.

En dicha época, una parte de la comunidad matemática se interesó en los números algebraicos y, más concretamente, en los enteros algebraicos.

La cuestión consiste en saber si los enteros algebraicos se comportan como los enteros relativos, particularmente, en lo que respecta a su descomposición en factores primos. Parecía claro, desde el comienzo del siglo XIX que este no era siempre el caso. Por ejemplo, el entero 6 puede descomponerse, en el anillo , en la forma o en la forma

Ernst Kummer dice entonces que lo anterior va a depender de los números en cuestión e inventa la noción de complejos ideales.

La idea es hacer que sea única la descomposición en factores primos añadiendo artificialmente otros números (del mismo modo que se añade i a los números reales siendo con el fin de disponer de números para los cuadrados negativos). En el ejemplo de más arriba, se va a "inventar" cuatro números "ideales" a, b, c y d tales que:

Así, 6 se descompondrá de manera única en:

Dedekind en 1871 vuelve a usar la noción de número ideal de Kummer y crea la noción de ideal en un anillo. Se interesa principalmente por los anillos de los enteros algebraicos, es decir, anillos conmutativos unitarios e íntegros. En este dominio se encuentran los resultados más interesantes sobre los ideales. Creó el conjunto de los ideales de un anillo conmutativo, unitario e íntegro para operaciones semejantes a la adición y a la multiplicación de los enteros relativos.

La teoría de los ideales no solo permitió un avance significativo en el álgebra general, sino también en el estudio de las curvas algebraicas (geometría algebraica).

Definición

[editar]

Un subconjunto no vacío de un anillo es un ideal por la izquierda de A si:

  1. I es un subgrupo aditivo de A.
  2. (El producto por la izquierda de un elemento de I por un elemento de A pertenece a I).

y es un ideal por la derecha de A si:

  1. I es un subgrupo aditivo de A.
  2. (El producto por la derecha de un elemento de I por un elemento de A pertenece a I).

Un ideal bilátero es un ideal por la derecha y por la izquierda. En un anillo conmutativo, las nociones de ideal por la derecha, de ideal por la izquierda y de ideal bilátero coinciden y simplemente se habla de ideal.

Ejemplos

[editar]
  • Para todo entero relativo , es un ideal de .
  • Si A es un anillo, {0} y A son ideales triviales de A. Estos dos ideales tienen un interés muy limitado. Por esta razón se llamará ideal propio a todo ideal no trivial.
  • Si A es un anillo unitario y si es un ideal que contiene a 1 entonces . De modo más general, si, contiene un elemento inversible, entonces
  • Los únicos ideales en un cuerpo son los ideales triviales.

Operaciones con ideales

[editar]

Suma

[editar]

Si I y J son dos ideales de un anillo A, entonces se puede comprobar que el conjunto es un ideal.

Demostración: Para comprobar que el aserto es correcto, debemos comprobar en primer lugar que I+J es subgrupo del grupo aditivo de A, i.e., , y en segundo lugar tendremos que comprobar que .

  • En primer lugar, sea tales que . Como son ideales, entonces son subgrupos de y por ende, , de manera que es un elemento del conjunto . Ergo, , por lo tanto es subgrupo de .
  • En segundo lugar, sea . Por ser ideales de A se tiene que . De este modo, . Dado que y lo análogo para , se tiene que .
Con esto queda demostrado que era correcta la afirmación enunciada.

Intersección

[editar]

Toda intersección de ideales es un ideal.

Demostración: Sea una familia de ideales , queremos comprobar que es ideal:

  • Comprobemos que es subgrupo del grupo aditivo . Sean , entonces se tiene que . Como los son ideales, entonces , por lo que a su vez se tiene que . Por consiguiente I es subgrupo de .
  • Comprobemos ahora que . Supongamos que . Ahora bien, como los son ideales, sabemos que . Por consiguiente .
Queda con esto demostrado el aserto anterior, i.e., es ideal, siendo una familia arbitraria de ideales de A.

El conjunto de los ideales de A con estas dos operaciones forma una cadena. De esta segunda ley se permite la noción de ideal generado. Si P es un subconjunto de un anillo A, se llama ideal generado por P a la intersección de todos los ideales de A que contienen a P, notado usualmente como . Se puede comprobar que:

Ejemplos:

  • Para un anillo , aA engendra el ideal (por ejemplo n engendra , ideal de )
  • Si I y J son dos ideales de A, el ideal está engendrado por el subconjunto de A.

Producto

[editar]

Si I y J son dos ideales de un anillo, se llama producto de I y J al ideal engendrado por todos los elementos de la forma xy donde x pertenece a I e y pertenece a J. Se tiene que .

Como ejemplo, en el anillo , el producto de los ideales y es el ideal y este último está incluido en .

Anillo cociente

[editar]

Si I es un ideal bilátero del anillo A, la relación es una relación de equivalencia compatible con las dos leyes del anillo. Se puede crear entonces, sobre el conjunto de las clases una estructura de anillo denominada anillo cociente A/ I del anillo A por el ideal I. La construcción se realiza sobre la base del grupo aditivo del anillo. Cabe tomar como elementos de A/I las clases adjuntas a + I( llamadas «clases de restos respecto al módulo del ideal I»).

Como suma de clases se define por (a+I) +º (b+ I) =(a+b) + L; el opuesto -º(a+I) = -a + I.

Como producto de clases (a+I) ׺ (b+I)= ab + I. [2]

Casos particulares

[editar]

Ideal principal: es un ideal generado por un único elemento.

Ideal primario: en un anillo conmutativo unitario, un ideal I es primario si y solo si para todo a y b tales que , si entonces existe un entero natural n tal que .

Ideal primo: en un anillo conmutativo unitario, I es un ideal primo si y solo si I es distinto de A y, para todo a y b pertenecientes a A tales que , si entonces .

es un ideal primo de es dominio de integridad.

Ideal irreducible : en un anillo conmutativo unitario, un ideal I es irreducible si no se puede escribir como intersección de dos ideales J y K diferentes de I.

Ideal maximal : Un ideal es maximal existen exactamente dos ideales que contienen a , a saber, y el mismo .

En un anillo conmutativo unitario, un ideal maximal es necesariamente primo.
el ideal es un ideal maximal de si y solo si es un cuerpo.

Radical de un ideal: Si I es un ideal de un anillo conmutativo A, se llama radical de I, y se escribe , al conjunto de los elementos x de A tales que existe un entero natural n para el cual . Es un ideal de A.

Ejemplo: es el radical de
Si es un anillo conmutativo, entonces tiene las propiedades siguientes:
  • Si, además, es unitario,

Referencias

[editar]
  1. A.I. Kostrikin. «Introducción al álgebra» Editorial Mir, Moscú (1983)
  2. Kostrikin. Op. cit.

Fuente

[editar]

https://es.wikipedia.org/wiki/Ideal_(teor%C3%ADa_de_anillos)

Sección 4: Módulos

[editar]

Definición

[editar]

Específicamente, un módulo izquierdo sobre el anillo R consiste en un grupo abeliano (M, +) y una operación R × MM (multiplicación escalar, generalmente escrita sólo por yuxtaposición, es decir como rx para r en R y x en M) tal que

Para todo r, s en R, x, y en M, tenemos

Generalmente, escribimos simplemente "un R - módulo izquierdo M" o RM.

Algunos omiten la condición 4 en la definición general de módulos izquierdos, y llaman a las estructuras definidas antes "módulos izquierdos unitales". En este artículo sin embargo, todos los módulos (y todos los anillos) se presuponen unitales. Por lo general, para módulos, en la mayoría de los textos se considera la condición 4, mientras que para anillos no se supone que exista elemento unidad, excepto que se diga lo contrario.

Un R módulo derecho M o MR se define de forma semejante, sólo que el anillo actúa por la derecha, es decir tenemos una multiplicación escalar de la forma M × RM, y los tres axiomas antedichos se escriben con los escalares r y s a la derecha de x e y.

Si R es conmutativo, entonces los R-módulos a la izquierda son lo mismo que R-módulos a la derecha y se llaman simplemente R-módulos.

Ejemplos

[editar]
  • Si K es un cuerpo, entonces los conceptos "K-espacio vectorial" y K-módulo son idénticos.
  • Cada grupo abeliano M es un módulo sobre el anillo de los números enteros Z si definimos nx = x + x +... + x (n sumandos) para n > 0, 0 x = 0, y (- n) x = - (nx) para n < 0.
  • Si R es cualquier anillo y n un número natural, entonces el producto cartesiano Rn es un módulo izquierdo y derecho sobre R si utilizamos las operaciones componente a componente. El caso n = 0 da el trivial R-módulo {0} que consiste solamente en el elemento identidad (aditiva).
  • Si X es una variedad diferenciable, entonces las funciones diferenciables de X a los números reales forman un anillo R. El conjunto de todos los campos vectoriales diferenciables definidos en X forman un módulo sobre R, y lo mismo con los campos tensoriales y las formas diferenciales en X.
  • Si R es cualquier anillo e I es cualquier ideal izquierdo en R, entonces I es un módulo izquierdo sobre R. Análogamente, por supuesto, los ideales derechos son módulos derechos.

Submódulos y homomorfismos

[editar]

Suponga que M es un R-módulo izquierdo y N es un subgrup de M. Entonces N es un submódulo (o R-submódulo, para ser más explícito) si, para cualquier n en N y cualquier r en R, el producto rn está en N (o el nr para un módulo derecho). Si M y N son R - módulos, entonces una función f: MN es un homomorfismo de R - módulos si, para cualquier m, n en M y r, s en R,

f (rm + sn) = rf(m) + sf(n).

Esto, como cualquier homomorfismo de objetos matemáticos, es precisamente una función que preserva la estructura de los objetos. Un homomorfismo biyectivo de módulos es un isomorfismo de módulos, y los dos módulos se llaman isomorfos. Dos módulos isomorfos son idénticos para todos los propósitos prácticos, diferenciándose solamente en la notación para sus elementos.

El núcleo de un homomorfismo de módulos f: MN es el submódulo de M que consiste en todos los elementos que son enviados a cero por f. Los teoremas de isomorfía familiares de grupos abelianos y de espacios vectoriales son también válidos para R-módulos.

Los R-módulos izquierdos, junto con sus homomorfismos de módulo, forman una categoría, escrita como RMod. Esta es una categoría abeliana.

Tipos de módulos

[editar]

Finitamente generado. Un módulo M es finitamente generado si existe un número finito de elementos x1..., xn en M tales que cada elemento de M es una combinación lineal de esos elementos con coeficientes del anillo escalar R.

Libre. Un módulo libre es un módulo que tiene una base libre, o equivalentemente, uno que es isomorfo a una suma directa de copias del anillo escalar R. Éstos son los módulos que se comportan parecido a los espacios vectoriales.

Proyectivo. Los módulos proyectivos son sumandos directos de módulos libres y comparten muchas de sus propiedades deseables.

Inyectivo. Los módulos inyectivos se definen dualmente a los módulos proyectivos.

Simple. Un módulo simple S es un módulo que no es {0} cuyos únicos submódulos son {0} y S. Los módulos simples a veces se llaman irreducibles.

Indescomponible. Un módulo indescomponible es un módulo diferente a cero que no se puede escribir como una suma directa de dos submódulos diferentes a cero. Cada módulo simple es indescomponible.

Fiel. Un módulo fiel M es uno donde la acción de cada r (distinto de cero) en R es no trivial (es decir, existe algún m en M tal que rm ≠ 0). Equivalente, el anulador de M es el ideal cero.

Noetheriano. Un módulo noetheriano es un módulo tal que cada submódulo es finitamente generado. Equivalente, cada cadena creciente de submódulos llega a ser estacionaria en finitos pasos.

Artiniano. Un módulo artiniano es un módulo en el cual cada cadena decreciente de submódulos llega a ser estacionaria en finitos pasos.

Definición alternativa como representaciones

[editar]

Si M es un R-módulo izquierdo, entonces la acción de un elemento r en R se define como la función MM que envía cada x al rx (o al xr en el caso de un módulo derecho), y es necesariamente un endomorfismo de grupo del grupo abeliano (M, +). El conjunto de todos los endomorfismos de grupo de M es denotado EndZ(M) y forma un anillo bajo la adición y composición, y enviando un elemento r del anillo R a su acción define realmente un homomorfismo de anillo de R a EndZ(M).

Tal del homorfismo R del anillo → EndZ(M) se llama una representación de R en el grupo abeliano M; una manera alternativa y equivalente de definir R-módulos izquierdos es decir que un R-módulo izquierdo es un grupo abeliano M junto con una representación de R en él.

Una representación se llama fiel si y solamente si la función R → EndZ(M) es inyectiva. En términos de módulos, esto significa que si r es un elemento de R tal que rx = 0 para todo x en M, entonces r = 0. Cada grupo abeliano es un módulo fiel sobre los números enteros o sobre una cierta aritmética modular Z/n Z.

Generalizaciones

[editar]

Cualquier anillo R se puede ver como categoría preaditiva con un solo objeto. Con esta comprensión, un R-módulo izquierdo es un funtor aditivo (covariante) de R a la categoría Ab grupos abelianos. Los R-módulos derechos son funtores aditivos contravariantes. Esto sugiere que, si C es cualquier categoría preaditiva, un funtor aditivo covariante de C a Ab sea considerado un módulo izquierdo generalizado sobre C; estos funtores forman una categoría de funtores C-Mod que es la generalización natural de la categoría de módulos R-Mod.

Los módulos sobre anillos conmutativos se pueden generalizar en una dirección distinta: tome un espacio anillado (X, OX) y considere los haces de OX-módulos. Éstos forman una categoría OX-Mod. Si X tiene solamente un punto, entonces esto es una categoría de módulo en el viejo sentido sobre el anillo conmutativo OX(X).

Fuentes

[editar]

https://es.wikipedia.org/wiki/M%C3%B3dulo#Matem.C3.A1ticas