6 votos

Freyd-Mitchell ' s Teorema de incrustar

Freyd-Mitchell incrustación teorema establece que: si a es un pequeño abelian categoría, entonces existe un anillo R y completa, fiel y exacta functor F: A → R-Mod.

Este es el teorema y tiene varias aplicaciones útiles (que permite hacer el diagrama de perseguir en resumen abelian categorías, etc).

Me han pedido que el estado y demostrar el teorema de la clase (un curso de álgebra homológica). Sin embargo, por la lectura de los textos que me recomendaron fue, estoy a punto de darle en:

Freyd del Abelian Categorías, dice que el texto, a excepción de los ejercicios, intenta ser una geodésica que conduce al teorema. Si usted toma los ejercicios, probablemente, el texto es de 120 páginas. Imposible de hacer en 2:30 horas. Para darles una idea, el curso que estoy tomando se basa en Rotman "Una Introducción al Álgebra Homológica", que funciona en R-Mod...

Mitchell Teoría de Categorías es muy difícil de leer, y también para demostrar el teorema usted tiene toneladas de definiciones y proposiciones y lemas para probar.

Weibel Una Introducción al Álgebra Homológica me redirecciona a Swan, La Teoría de Poleas, un libro que no está disponible en mi biblioteca de la universidad. Me he bañado a través del Cisne Algebraica de K-Teoría: el teorema está demostrado, pero también es largo, duro y doloroso leer, y supone una gran cantidad de conocimiento que no tiene (yo nunca había visto un débil effaceable functor, o un Serre subcategoría; y ciertamente no es bien conocido para mí que la categoría de aditivos functors de un pequeño abelian categoría a la categoría de abelian grupos está bien alimentado, derecha completa, y ha inyectiva sobres!)

Estoy empezando a creer que es una tarea imposible. Pero tal vez hay más moderno pruebas que requieren menos de maquinaria pesada y tecnicismos?

1voto

Michael Carman Puntos 141

Ya ha pasado algún tiempo desde esta pregunta fue publicada (de hecho, es cuatro días de su cumpleaños del segundo año), creo que es tiempo para responder con

el enlace a su homólogo de MO,

que tiene una respuesta impresionante por Theo Buehler.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X