Una secuencia exacta es una secuencia de morfismos entre objetos (por ejemplo, grupos , anillos , módulos ) de manera que la imagen de un morfismo es igual al núcleo del siguiente.
Definición
En el contexto de la teoría de grupos , una secuencia
de grupos y homomorfismos de grupo se llama exacta si la imagen de cada homomorfismo es igual al núcleo del siguiente:
La secuencia de grupos y homomorfismos puede ser finita o infinita.
Se puede hacer una definición similar para otras estructuras algebraicas . Por ejemplo, se podría tener una secuencia exacta de espacios vectoriales y mapas lineales , o de módulos y homomorfismos de módulos . De manera más general, la noción de una secuencia exacta tiene sentido en cualquier categoría con núcleos y cokernels .
Casos sencillos
Para comprender la definición, es útil considerar casos relativamente simples en los que la secuencia es finita y comienza o termina con el grupo trivial . Tradicionalmente, esto, junto con el elemento de identidad único, se denota 0 (notación aditiva, generalmente cuando los grupos son abelianos) o 1 (notación multiplicativa).
- Considere la secuencia 0 → A → B . La imagen del mapa más a la izquierda es 0. Por lo tanto, la secuencia es exacta si y solo si el mapa más a la derecha (de A a B ) tiene kernel {0}; es decir, si y solo si ese mapa es un monomorfismo (inyectivo o uno a uno).
- Considere la secuencia dual B → C → 0. El núcleo del mapa más a la derecha es C. Por lo tanto, la secuencia es exacta si y solo si la imagen del mapa más a la izquierda (de B a C ) es toda de C ; es decir, si y sólo si ese mapa es un epimorfismo (sobreyectivo o sobre).
- Por lo tanto, la secuencia 0 → X → Y → 0 es exacta si y solo si el mapa de X a Y es tanto un monomorfismo como un epimorfismo (es decir, un bimorfismo ) y, por lo tanto, en muchos casos, un isomorfismo de X a Y .
Secuencia exacta corta
Son importantes las secuencias breves y exactas , que son secuencias exactas de la forma
Como se estableció anteriormente, para cualquier secuencia exacta corta, f es un monomorfismo y g es un epimorfismo. Además, la imagen de f es igual al núcleo de g . Es útil pensar en A como un subobjeto de B con f incrustando A en B , y en C como el objeto de factor correspondiente (o cociente ), B / A , con g induciendo un isomorfismo
La breve secuencia exacta
se llama escisión si existe un homomorfismo h : C → B tal que la composición g ∘ h es el mapa de identidad en C . De ello se deduce que si se trata de grupos abelianos, B es isomorfo a la suma directa de A y C (consulte División del lema ):
Secuencia exacta larga
Una secuencia exacta larga es una secuencia exacta que consta de más de tres términos distintos de cero, a menudo una secuencia exacta infinita.
Una secuencia larga y exacta
es equivalente a una secuencia de secuencias breves y exactas
dónde para cada .
Ejemplos de
Enteros módulo dos
Considere la siguiente secuencia de grupos abelianos :
La primera homomorfismo los mapas de cada elemento i en el conjunto de los enteros Z con el elemento 2 i en Z . El segundo homomorfismo mapea cada elemento i en Z a un elemento j en el grupo del cociente; es decir, j = i mod 2. Aquí la flecha de ganchoindica que el mapa 2 × de Z a Z es un monomorfismo, y la flecha de dos puntasindica un epimorfismo (el mapa mod 2). Esta es una secuencia exacta porque la imagen 2 Z del monomorfismo es el núcleo del epimorfismo. Básicamente, "la misma" secuencia también se puede escribir como
En este caso el monomorphism es 2 n ↦ 2 N y aunque se parece a una función de identidad, no es en (es decir, no epimorfismo) porque los números impares no pertenecen a 2 Z . Sin embargo, la imagen de 2 Z a través de este monomorfismo es exactamente el mismo subconjunto de Z que la imagen de Z a n ↦ 2 n utilizada en la secuencia anterior. Esta última secuencia difiere en la naturaleza concreta de su primer objeto del anterior, ya que 2 Z no es el mismo conjunto que Z , aunque los dos son isomorfos como grupos.
La primera secuencia también se puede escribir sin usar símbolos especiales para monomorfismo y epimorfismo:
Aquí 0 denota el grupo trivial, el mapa de Z a Z es una multiplicación por 2, y el mapa de Z al grupo de factores Z / 2 Z se da reduciendo números enteros módulo 2. Esta es de hecho una secuencia exacta:
- la imagen del mapa 0 → Z es {0}, y el núcleo de la multiplicación por 2 también es {0}, por lo que la secuencia es exacto a la primera Z .
- la imagen de la multiplicación por 2 es 2 Z , y el núcleo de la reducción de módulo 2 es también 2 Z , por lo que la secuencia es exacta en el segundo Z .
- la imagen de la reducción de módulo 2 es Z / 2 Z , y el núcleo de la hoja de cero es también Z / 2 Z , por lo que la secuencia es exacto en la posición de Z / 2 Z .
La primera y tercera secuencias son algo de un caso especial debido a la naturaleza infinita de Z . No es posible que un grupo finito sea mapeado por inclusión (es decir, por un monomorfismo) como un subgrupo propio de sí mismo. En cambio, la secuencia que surge del primer teorema de isomorfismo es
Como un ejemplo más concreto de una secuencia exacta en grupos finitos:
dónde es el grupo cíclico de orden n yes el grupo diedro de orden 2 n , que es un grupo no abeliano.
Intersección y suma de módulos
Let I y J haber dos ideales de un anillo R . Luego
es una secuencia exacta de módulos R , donde el homomorfismo del módulomapea cada elemento x de al elemento de la suma directa , y los homomorphsim mapea cada elemento de a .
Estos homomorfismos son restricciones de homomorfismos definidos de manera similar que forman la secuencia exacta corta
Pasar a módulos de cociente produce otra secuencia exacta
Grad, curl y div en geometría diferencial
Otro ejemplo puede derivarse de la geometría diferencial , especialmente relevante para trabajar en las ecuaciones de Maxwell .
Considere el espacio de Hilbert de funciones cuadradas integrables con valores escalares en tres dimensiones . Tomando el gradiente de una función nos mueve a un subconjunto de , el espacio de funciones de valor vectorial, todavía integrables en cuadrados en el mismo dominio - específicamente, el conjunto de tales funciones que representan campos vectoriales conservadores. (El teorema de Stokes generalizado ha conservado la integrabilidad).
Primero, tenga en cuenta que la curvatura de todos esos campos es cero, ya que
para todos esos f . Sin embargo, esto solo prueba que la imagen del degradado es un subconjunto del núcleo del rizo. Para probar que de hecho son el mismo conjunto, demuestre lo contrario: que si el rizo de un campo vectorial es 0, entonces es el gradiente de alguna función escalar. Esto se sigue casi inmediatamente del teorema de Stokes (ver la demostración de la fuerza conservadora ). La imagen del gradiente es entonces precisamente el núcleo del rizo, por lo que podemos tomar el rizo como nuestro próximo morfismo, llevándonos nuevamente a un (diferente) subconjunto de.
Del mismo modo, observamos que
por lo que la imagen del rizo es un subconjunto del núcleo de la divergencia . Lo contrario es algo complicado:
Prueba de que = 0 implica para algunos |
---|
Procederemos por construcción: dado un campo vectorial tal que , producimos un campo tal que Primero, tenga en cuenta que, como se demostró anteriormente , podemos agregar el gradiente de cualquier función escalar a sin cambiar el rizo. Podemos usar esta libertad de calibre para configurar cualquier componente dea cero sin cambiar su rizo; eligiendo arbitrariamente el componente z , requerimos simplemente que Luego, simplemente integrando los dos primeros componentes y observando que la 'constante' de integración aún puede depender de cualquier variable no integrada, encontramos que Tenga en cuenta que dado que los dos términos de integración tanto depende sólo de x y y y no en z , entonces podemos añadir otro gradiente de alguna funciónque tampoco depende de z . Esto nos permite eliminar cualquiera de los términos a favor del otro, sin estropear nuestro trabajo anterior que establecióa cero. Elegir eliminar y aplicando el último componente como restricción, tenemos Por suposición, , y entonces Dado que el teorema fundamental del cálculo requiere que el primer término anterior sea precisamentemás una constante en z , se garantiza que existe una solución al sistema de ecuaciones anterior. |
Demostrado así que la imagen del rizo es precisamente el núcleo de la divergencia, este morfismo a su vez nos remite al espacio del que partimos. . Dado que, por definición, hemos aterrizado en un espacio de funciones integrables, cualquier función de este tipo puede integrarse (al menos formalmente) para producir un campo vectorial cuya divergencia es esa función, por lo que la imagen de la divergencia es la totalidad de, y podemos completar nuestra secuencia:
De manera equivalente, podríamos haber razonado a la inversa: en un espacio simplemente conectado , un campo vectorial sin rizos (un campo en el núcleo del rizo) siempre se puede escribir como un gradiente de una función escalar (y por lo tanto está en la imagen de el gradiente). De manera similar, un campo sin divergencia se puede escribir como un rizo de otro campo. [1] (Razonar en esta dirección hace uso del hecho de que el espacio tridimensional es topológicamente trivial).
Esta breve secuencia exacta también permite una prueba mucho más breve de la validez de la descomposición de Helmholtz que no se basa en el cálculo vectorial de fuerza bruta. Considere la subsecuencia
Dado que la divergencia del gradiente es el laplaciano , y dado que el espacio de Hilbert de funciones cuadradas integrables puede ser generado por las funciones propias del laplaciano, ya vemos que algún mapeo inversodebe existir. Para construir explícitamente tal inverso, podemos partir de la definición del vector Laplaciano
Dado que estamos tratando de construir un mapeo de identidad componiendo alguna función con el gradiente, sabemos que en nuestro caso . Entonces, si tomamos la divergencia de ambos lados
vemos que si una función es una función propia del vector Laplaciano, su divergencia debe ser una función propia del Laplaciano escalar con el mismo valor propio. Entonces podemos construir nuestra función inversa simplemente rompiendo cualquier función en en la base propia del vector-laplaciano, escalando cada uno por el inverso de su valor propio, y tomando la divergencia; la acción dees así claramente la identidad. Así, por el lema de la división ,
- ,
o equivalentemente, cualquier campo vectorial integrable en cuadrado en se puede dividir en la suma de un gradiente y un rizo, que es lo que nos propusimos demostrar.
Propiedades
El lema de división establece que si la secuencia exacta corta
admite un morfismo t : B → A tal que t ∘ f es la identidad en A o un morfismo u : C → B tal que g ∘ u es la identidad en C , entonces B es una suma directa de A y C (para -grupos conmutativos, este es un producto semidirecto ). Se dice que una secuencia tan corta y exacta se divide .
El lema de la serpiente muestra cómo un diagrama conmutativo con dos filas exactas da lugar a una secuencia exacta más larga. El lema de los nueve es un caso especial.
El lema cinco da condiciones bajo las cuales el mapa del medio en un diagrama conmutativo con filas exactas de longitud 5 es un isomorfismo; el lema de los cinco cortos es un caso especial del mismo que se aplica a secuencias breves y exactas.
La importancia de las secuencias cortas exactas se subraya por el hecho de que cada secuencia exacta resulta de "entretejer" varias secuencias cortas exactas superpuestas. Considere, por ejemplo, la secuencia exacta
lo que implica que existen objetos C k en la categoría tal que
- .
Supongamos además que existe el cokernel de cada morfismo, y es isomorfo a la imagen del siguiente morfismo en la secuencia:
(Esto es cierto para una serie de categorías interesantes, incluida cualquier categoría abeliana como los grupos abelianos ; pero no es cierto para todas las categorías que permiten secuencias exactas y, en particular, no es cierto para la categoría de grupos , en los que coker ( f ): G → H no es H / im ( f ) pero, el cociente de H por el cierre conjugado de im ( f )). Entonces obtenemos un diagrama conmutativo en el que todas las diagonales son secuencias cortas y exactas:
La única parte de este diagrama que depende de la condición del cokernel es el objeto y el par final de morfismos . Si existe algun objeto y morfismo tal que es exacta, entonces la exactitud de está asegurado. Tomando nuevamente el ejemplo de la categoría de grupos, el hecho de que im ( f ) sea el núcleo de algún homomorfismo en H implica que es un subgrupo normal , lo que coincide con su cierre conjugado; por tanto, el coker ( f ) es isomorfo a la imagen H / im ( f ) del siguiente morfismo.
Por el contrario, dada cualquier lista de secuencias exactas cortas superpuestas, sus términos intermedios forman una secuencia exacta de la misma manera.
Aplicaciones de secuencias exactas
En la teoría de las categorías abelianas, a menudo se utilizan secuencias breves y exactas como un lenguaje conveniente para hablar sobre objetos sub y factoriales.
El problema de la extensión es esencialmente la pregunta "Dados los términos finales A y C de una secuencia corta exacta, ¿qué posibilidades existen para el término medio B ?" En la categoría de grupos, esto es equivalente a la pregunta, ¿qué grupos B tienen A como subgrupo normal y C como grupo de factores correspondiente? Este problema es importante en la clasificación de grupos . Véase también Grupo de automorfismo externo .
Observe que en una secuencia exacta, la composición f i +1 ∘ f i mapea A i a 0 en A i +2 , por lo que cada secuencia exacta es un complejo de cadena . Además, solo f i -imágenes de elementos de A i se asignan a 0 por f i +1 , por lo que la homología de este complejo de cadena es trivial. Más sucintamente:
- Las secuencias exactas son precisamente aquellos complejos de cadena que son acíclicos .
Dado cualquier complejo de cadena, su homología puede, por tanto, considerarse como una medida del grado en que no es exacta.
Si tomamos una serie de secuencias exactas cortas unidas por complejos de cadenas (es decir, una secuencia exacta corta de complejos de cadenas, o desde otro punto de vista, un complejo de cadenas de secuencias exactas cortas), entonces podemos derivar de esto un largo exacto secuencia (es decir, una secuencia exacta indexada por los números naturales) sobre la homología mediante la aplicación del lema en zig-zag . Aparece en topología algebraica en el estudio de la homología relativa ; la secuencia de Mayer-Vietoris es otro ejemplo. Las secuencias exactas largas inducidas por secuencias exactas cortas también son características de los functores derivados .
Los functores exactos son functores que transforman secuencias exactas en secuencias exactas.
Referencias
- Citas
- ^ "Campo sin divergencias" . 6 de diciembre de 2009.
- Fuentes
- Spanier, Edwin Henry (1995). Topología algebraica . Berlín: Springer. pag. 179 . ISBN 0-387-94426-5.
- Eisenbud, David (1995). Álgebra conmutativa: con miras a la geometría algebraica . Springer-Verlag Nueva York. pag. 785 . ISBN 0-387-94269-6.