Tesis doctoral de Juan De La Cruz González Férez
Dado un anillo asociativo (no unitario) r, un módulo m sobre r se dice firme si es isomorfo de forma canónica al producto tensorial sobre r de r por m. La categoría formada por los módulos firmes es pues una generalización natural en el caso no unitario de las categorías de módulos unitarios para anillos con unidad, conservando casi todas las propiedades de éstas. una propiedad fundamental y que permanecía como problema abierto era la abelianidad de la categoría. En la memoria se prueba que en general la categoría no es abeliana mostrando un ejemplo de un anillo asociativo r y de un monomorfismo que no es núcleo de ningún otro morfismo de la categoría. Para llegar a este resultado, se realiza un estudio profundo de la categoría de módulos firmes y de multitud de propiedades equivalentes a la abelianidad, así como otras en principio más débiles y que tampoco se cumplen en general. se prueba también que si la categoría de módulos firmes es abeliana, entonces los límites directos son exactos y por lo tanto cumple la propiedad de ser grothendieck. Se estudian en detalle los límites directos y se da un ejemplo de un anillo y de una familia de monomorfismos cuyo límite no es un monomorfismo y por lo tanto los límites directos no son exactos. se estudian familias de anillos para los cuales la categoría de módulos firmes es abeliana, concretamente la clase de las álgebras monomiales.
Datos académicos de la tesis doctoral «La categoría de módulos firmes«
- Título de la tesis: La categoría de módulos firmes
- Autor: Juan De La Cruz González Férez
- Universidad: Murcia
- Fecha de lectura de la tesis: 15/12/2008
Dirección y tribunal
- Director de la tesis
- Leandro Marin Muñoz
- Tribunal
- Presidente del tribunal: José Luis Gomez pardo
- nieves Rodriguez gonzalez (vocal)
- blas Torrecillas jover (vocal)
- José Luis Garcia hernandez (vocal)