Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS

   
Remote Access
Green Open Access
Proceedings of the American Mathematical Society
Proceedings of the American Mathematical Society
ISSN 1088-6826(online) ISSN 0002-9939(print)

 

The finiteness of $ I$ when $ R[X]/I$ is $ R$-projective


Authors: J. W. Brewer and P. R. Montgomery
Journal: Proc. Amer. Math. Soc. 41 (1973), 407-414
MSC: Primary 13B25
MathSciNet review: 0323778
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: This paper is concerned with the relationship between $ R[X]/I$ being a projective $ R$-module and $ I$ being a finitely generated ideal of $ R[X]$. It is shown that if $ R[X]/I$ is $ R$-free, then $ I = fR[X],f$ a monic polynomial of $ R[X]$. Also, $ R[X]/I$ is a finitely generated projective $ R$-module if and only if $ R[X]/I$ is a finitely generated $ R$-module and $ I = fR[X]$ for some $ f \in R[X]$. When $ R[X]/I$ is projective, $ I$ is a finitely generated ideal if and only if $ I$ is a principal ideal. Finally, an example is given to show that $ R[X]/I$ can be projective without $ I$ being finitely generated.


References [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 13B25

Retrieve articles in all journals with MSC: 13B25


Additional Information

DOI: http://dx.doi.org/10.1090/S0002-9939-1973-0323778-8
PII: S 0002-9939(1973)0323778-8
Keywords: Polynomial ring, flat module, free module, projective module, content, finitely generated ideal, principal ideal
Article copyright: © Copyright 1973 American Mathematical Society