La Categoría de Módulos Firmes

Abstract

Sea R un anillo asociativo no unitario. Un módulo M 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 una generalización natural de la categoría de módulos unitarios para anillos unitarios. Una propiedad fundamental y que permanecía como problema abierto era la abelianidad de la categoría de módulos firmes. En la memoria se prueba que en general la categoría no es abeliana, mostrando un ejemplo de anillo asociativo R y de un monomorfismo que no es núcleo de ningún otro morfismo de la categoría. 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 propiedades más débiles y que tampoco se cumplen en general. Abstract Let R a nonunital ring. A module M is set to be firm if it is isomorphic in the canonical way to the tensor product about R of R by M. The category of firm modules generalizes the usual category of unital modules for a unital ring. It was a open problem if the category of firm modules is an abelian category. We prove that, in general, this category is not abelian, and we find a ring and a monomorphism that is not a kernel in this category. The category of firm modules has been estudied in detail. We have deeply analyzed several properties equivalent to be abelian, and some others with weaker restrictions that are not satisfied in general