Abstract
The Asano-Michler theorem states that a 2-sided order R in a simple Artinian ringO is hereditary provided thatR satisfies the three requirements: (AM1) Noetherian; (AM2) nonzero ideals are invertible; (AM3) bounded. We generalize this in one direction by specializing to a semiperfect bounded orderR, and prove thatR is semihereditary assuming only that finitely generated nonzero ideals are invertible (=R is Prüfer). In this case,R ≈ a fulln ×n matrix ringD n over a valuation domainD. More generally, we study a ringR, called right FPF, over which finitely generated faithful right modules generate the category mod-R of all rightR-modules. We completely determine all semiperfect Noetherian FPF rings: they are finite products of semiperfect Dedekind prime rings and Quasi-Frobenius rings. (For semiprime right FPF rings, we do not require the Noetherian or semiperfect hypothesis in order to obtain a decom-position into prime rings: the acc on direct summands suffices. The “theorem” with “semiperfect” delected is an open problem.
Similar content being viewed by others
References
K. Asano,Zur Arithmetik in Schiefringen II, J. Inst. Polytech. Osaka City Univ. Ser. A Math.1 (1950), 1–27.
A. W. Chatters,A decomposition theorem for Noetherian hereditary rings, J. London Math. Soc.4 (1971), 83–87.
C. Faith,Projective ideals in Cohen rings, Arch. Math.26 (1975), 588–594.
C. Faith,Characterizations of rings by faithful modules, Lecture Notes, Department of Mathematics, Technion—Israel Institute of Technology, Haifa, Israel, 1976.
C. Faith,Algebra: Rings, Modules, and Categories, I and II, Springer, Berlin and New York, 1973 and 1976.
C. Faith,Injective cogenerator rings and a theorem of Tachikawa, Proc. Amer. Math. Soc. (1976).
A. W. Goldie,The structure of prime rings under ascending chain conditions, Proc. London Math. Soc.8 (1958), 589–608.
A. W. Goldie,Semi-prime rings with maximum condition, Proc. London Math. Soc.10 (1960), 201–220.
T. H. Lenagen,Bounded Asano orders are hereditary, Bull. London Math. Soc.3 (1971), 67–69.
L. Levy,Torsion-free and divisible modules over non-integral domains, Canad. J. Math.15 (1963), 132–151.
G. O. Michler,Asano orders, Proc. London Math. Soc.19 (1969), 421–443.
G. O. Michler,Structure of semi-perfect hereditary rings, J. Algebra13 (1969), 327–344.
K. Morita,Duality for modules and its applications to the theory of rings with minimum condition, Sci. Rep. Tokyo Kyoiku Daigaku6 (1958), 83–142.
J. C. Robson,Non-commutative Dedekind rings, J. Algebra9 (1968), 249–265.
J. C. Robson,Decompositions of Noetherian rings, Comm. Algebra4 (1974), 345–349.
H. Tachikawa,A generalization of quasi -Frobenius rings, Proc. Amer. Math. Soc.20 (1969), 471–476.
Y. Utumi,Rings of which the maximal quotient ring is two sided, Proc. Amer. Math. Soc.14 (1963), 141–147.
D. B. Webber,Ideals and modules of simple Noetherian hereditary rings, J. Algebra16 (1970), 239–242.
A. Zaks,Some rings are hereditary, Israel J. Math.10 (1971), 442–450.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Faith, C. Semiperfect Prüfer rings and FPF rings. Israel J. Math. 26, 166–177 (1977). https://doi.org/10.1007/BF03007666
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF03007666