Cobertura proyectiva

En la rama de las matemáticas abstractas llamada teoría de categorías , una cobertura proyectiva de un objeto X es , en cierto sentido, la mejor aproximación de X mediante un objeto proyectivo P. Las cubiertas proyectivas son el doble de las envolturas inyectivas .

Definición

Sea una categoría y X un objeto en . Una cubierta proyectiva es un par ( P , p ), siendo P un objeto proyectivo en y p un epimorfismo superfluo en Hom( P , X ). ${\displaystyle {\mathcal {C}}}$ ${\displaystyle {\mathcal {C}}}$ ${\displaystyle {\mathcal {C}}}$

Si R es un anillo, entonces en la categoría de R -módulos, un epimorfismo superfluo es entonces un epimorfismo tal que el núcleo de p es un submódulo superfluo de P. ${\displaystyle p:P\to X}$

Propiedades

Las coberturas proyectivas y sus epimorfismos superfluos, cuando existen, son únicos hasta el isomorfismo . Sin embargo, el isomorfismo no tiene por qué ser único, ya que la propiedad proyectiva no es una propiedad universal en toda regla .

El efecto principal de que p tenga un núcleo superfluo es el siguiente: si N es cualquier submódulo propio de P , entonces . ^[1] Hablando informalmente, esto muestra que el núcleo superfluo hace que P cubra M de manera óptima, es decir, ningún submódulo de P sería suficiente. Esto no depende de la proyectividad de P : es cierto para todos los epimorfismos superfluos. ${\displaystyle p(N)\neq M}$

Si ( P , p ) es una cubierta proyectiva de M , y P' es otro módulo proyectivo con un epimorfismo , entonces hay un epimorfismo dividido α de P' a P tal que ${\displaystyle p':P'\rightarrow M}$ ${\displaystyle p\alpha =p'}$

A diferencia de las envolventes inyectivas y las cubiertas planas , que existen para cada módulo R izquierdo (derecho) independientemente del anillo R , los módulos R izquierdo (derecho) en general no tienen cubiertas proyectivas. Un anillo R se llama perfecto izquierdo (derecho) si cada módulo R izquierdo (derecho) tiene una cubierta proyectiva en R -Mod (Mod- R ).

Un anillo se llama semiperfecto si cada módulo R izquierdo (derecho) generado finitamente tiene una cubierta proyectiva en R -Mod (Mod- R ). "Semiperfecto" es una propiedad simétrica de izquierda a derecha.

Un anillo se llama sustentación/rad si los idempotentes se elevan de R / J a R , donde J es el radical de Jacobson de R . La propiedad de ser elevación/rad se puede caracterizar en términos de cubiertas proyectivas: R es elevación/rad si y sólo si los sumandos directos del módulo R R / J (como módulo derecho o izquierdo) tienen cubiertas proyectivas. ^[2]

Ejemplos

En la categoría de módulos R :

• Si M ya es un módulo proyectivo, entonces el mapa de identidad de M a M es un epimorfismo superfluo (su núcleo es cero). Por tanto, los módulos proyectivos siempre tienen cubiertas proyectivas.
• Si J( R )=0, entonces un módulo M tiene una cobertura proyectiva si y sólo si M ya es proyectivo.
• En el caso de que un módulo M sea simple , entonces necesariamente es la parte superior de su cubierta proyectiva, si existe.
• La envoltura inyectiva para un módulo siempre existe; sin embargo, en ciertos anillos, es posible que los módulos no tengan cubiertas proyectivas. Por ejemplo, el mapa natural de Z a Z /2 Z no es una cobertura proyectiva del módulo Z Z /2 Z (que de hecho no tiene cobertura proyectiva). La clase de anillos que proporciona a todos sus módulos derechos cubiertas proyectivas es la clase de anillos perfectos derechos .
• Cualquier módulo R M tiene una cubierta plana , que es igual a la cubierta proyectiva si M tiene una cubierta proyectiva.

Ver también

• Resolución proyectiva

Referencias

1. Prueba: Sea N propio en P y supongamos p ( N ) = M. Dado que ker( p ) es superfluo, ker( p )+ N ≠ P . Elija x en P fuera de ker( p )+ N . Por la sobreyectividad de p , existe x' en N tal que p ( x' ) = p ( x ), de donde x − x' está en ker( p ). Pero entonces x está en ker( p )+ N , una contradicción.
2. Anderson y Fuller 1992, pág. 302.

• Anderson, Frank Wylie; Fuller, Kent R (1992). Anillos y Categorías de Módulos. Saltador. ISBN 0-387-97845-3. Consultado el 27 de marzo de 2007 .
• Faith, Carl (1976), Álgebra. II. Teoría del anillo. , Grundlehren der Mathematischen Wissenschaften, n° 191. Springer-Verlag
• Lam, TY (2001), Un primer curso sobre anillos no conmutativos (2ª ed.), Textos de posgrado en matemáticas, 131. Springer-Verlag, ISBN 0-387-95183-0