stringtranslate.com

Homomorfismo de módulos

En álgebra , un homomorfismo de módulo es una función entre módulos que conserva las estructuras de los módulos. Explícitamente, si M y N son módulos restantes sobre un anillo R , entonces una función se llama homomorfismo de módulo R o función lineal R si para cualquier x , y en M y r en R ,

En otras palabras, f es un homomorfismo de grupo (para los grupos aditivos subyacentes) que conmuta con la multiplicación escalar. Si M , N son R -módulos rectos , entonces la segunda condición se reemplaza por

La preimagen del elemento cero bajo f se llama núcleo de f . El conjunto de todos los homomorfismos de módulo de M a N se denota por . Es un grupo abeliano (bajo adición puntual) pero no es necesariamente un módulo a menos que R sea conmutativo .

La composición de homomorfismos de módulos es nuevamente un homomorfismo de módulos, y la función identidad de un módulo es un homomorfismo de módulos. Por lo tanto, todos los módulos (por ejemplo, los de la izquierda) junto con todos los homomorfismos de módulos entre ellos forman la categoría de módulos .

Terminología

Un homomorfismo de módulo se denomina isomorfismo de módulo si admite un homomorfismo inverso; en particular, es una biyección . A la inversa, se puede demostrar que un homomorfismo de módulo biyectivo es un isomorfismo; es decir, el inverso es un homomorfismo de módulo. En particular, un homomorfismo de módulo es un isomorfismo si y solo si es un isomorfismo entre los grupos abelianos subyacentes.

Los teoremas de isomorfismo son válidos para los homomorfismos de módulos.

Un homomorfismo de módulo de un módulo M a sí mismo se llama endomorfismo y un isomorfismo de M a sí mismo se llama automorfismo . Se escribe para el conjunto de todos los endomorfismos de un módulo M. No es sólo un grupo abeliano sino también un anillo con multiplicación dada por composición de funciones, llamado anillo de endomorfismos de M. El grupo de unidades de este anillo es el grupo de automorfismos de M.

El lema de Schur dice que un homomorfismo entre módulos simples (módulos sin submódulos no triviales ) debe ser cero o un isomorfismo. En particular, el anillo de endomorfismo de un módulo simple es un anillo de división .

En el lenguaje de la teoría de categorías , un homomorfismo inyectivo también se llama monomorfismo y un homomorfismo sobreyectivo, epimorfismo .

Ejemplos

dado por . En particular, es el aniquilador de I .
Es decir, es R -lineal .

Estructuras de módulos en Hom

En resumen, Hom hereda una acción de anillo que no se utilizó para formar Hom. Más precisamente, sean M , N módulos R izquierdos . Supongamos que M tiene una acción derecha de un anillo S que conmuta con la acción R ; es decir, M es un módulo ( R , S ). Entonces

tiene la estructura de un S -módulo izquierdo definido por: para s en S y x en M ,

Está bien definido (es decir, es R -lineal) ya que

y es una acción de anillo ya que

.

Nota: la verificación anterior "fallaría" si se utilizara la acción R izquierda en lugar de la acción S derecha . En este sentido, se dice a menudo que Hom "agota" la acción R.

De manera similar, si M es un módulo R izquierdo y N es un módulo ( R , S ), entonces es un módulo S derecho por .

Una representación matricial

La relación entre matrices y transformaciones lineales en álgebra lineal se generaliza de manera natural a homomorfismos de módulos entre módulos libres. Precisamente, dado un R -módulo recto U , existe el isomorfismo canónico de los grupos abelianos

Se obtiene al visualizar que consiste en vectores columna y luego escribir f como una matriz m × n . En particular, al visualizar R como un módulo R derecho y usar , se tiene

,

lo que resulta ser un isomorfismo de anillo (ya que una composición corresponde a una multiplicación de matrices ).

Nótese que el isomorfismo anterior es canónico; no hay elección involucrada. Por otra parte, si se da un homomorfismo de módulo entre módulos libres de rango finito , entonces una elección de una base ordenada corresponde a una elección de un isomorfismo . El procedimiento anterior entonces da la representación matricial con respecto a tales elecciones de las bases. Para módulos más generales, las representaciones matriciales pueden carecer de unicidad o no existir.

Definiendo

En la práctica, a menudo se define un homomorfismo de módulo especificando sus valores en un conjunto generador . Más precisamente, sean M y N módulos R izquierdos . Supongamos que un subconjunto S genera M ; es decir, hay una sobreyección con un módulo libre F con una base indexada por S y núcleo K (es decir, uno tiene una presentación libre ). Entonces, dar un homomorfismo de módulo es dar un homomorfismo de módulo que elimina K (es decir, asigna K a cero).

Operaciones

Si y son homomorfismos de módulos, entonces su suma directa es

y su producto tensorial es

Sea un homomorfismo de módulos entre módulos izquierdos. El grafo Γ f de f es el submódulo de MN dado por

,

que es la imagen del homomorfismo de módulo MMN , x → ( x , f ( x )), llamado morfismo de grafo .

La transpuesta de f es

Si f es un isomorfismo, entonces la transpuesta de la inversa de f se llama contragrediente de f .

Secuencias exactas

Consideremos una secuencia de homomorfismos de módulos

Una secuencia de este tipo se denomina complejo de cadena (o, a menudo, simplemente complejo) si cada composición es cero; es decir, o equivalentemente, la imagen de está contenida en el núcleo de . (Si los números aumentan en lugar de disminuir, entonces se denomina complejo de cocadena; por ejemplo, complejo de De Rham ). Un complejo de cadena se denomina secuencia exacta si . Un caso especial de una secuencia exacta es una secuencia exacta corta:

donde es inyectiva, el núcleo de es la imagen de y es sobreyectiva.

Cualquier homomorfismo de módulo define una secuencia exacta

donde es el núcleo de , y es el co-núcleo, es decir el cociente de por la imagen de .

En el caso de módulos sobre un anillo conmutativo , una secuencia es exacta si y sólo si es exacta en todos los ideales máximos ; es decir, todas las secuencias

son exactas, donde el subíndice significa la localización en un ideal máximo .

Si son homomorfismos de módulos, entonces se dice que forman un cuadrado de fibra (o cuadrado de retroceso ), denotado por M × B N , si encaja en

dónde .

Ejemplo: Sean anillos conmutativos, y sea I el aniquilador del cociente B -módulo A / B (que es un ideal de A ). Entonces las funciones canónicas forman un cuadrado de fibra con

Endomorfismos de módulos finitamente generados

Sea un endomorfismo entre R -módulos finitamente generados para un anillo conmutativo R . Entonces

Véase también: Cociente de Herbrand (que puede definirse para cualquier endomorfismo con algunas condiciones de finitud).

Variante: relaciones aditivas

Una relación aditiva de un módulo M a un módulo N es un submódulo de [3] En otras palabras, es un homomorfismo " multivaluado " definido sobre algún submódulo de M . La inversa de f es el submódulo . Cualquier relación aditiva f determina un homomorfismo de un submódulo de M a un cociente de N

donde consta de todos los elementos x en M tales que ( x , y ) pertenece a f para algún y en N .

Una transgresión que surge de una secuencia espectral es un ejemplo de una relación aditiva.

Véase también

Notas

  1. ^ Bourbaki, Nicolas (1998), "Capítulo II, §1.14, observación 2", Álgebra I, Capítulos 1–3 , Elementos de matemáticas, Springer-Verlag, ISBN 3-540-64243-9, Sr.  1727844
  2. ^ Matsumura, Hideyuki (1989), "Teorema 2.4", Teoría del anillo conmutativo , Cambridge Studies in Advanced Mathematics, vol. 8 (2.ª ed.), Cambridge University Press, ISBN 0-521-36764-6, Sr.  1011461
  3. ^ Mac Lane, Saunders (1995), Homología , Clásicos en Matemáticas, Springer-Verlag, pág. 52, ISBN 3-540-58662-8, Sr.  1344215