Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ Bulletin of the Kore...arrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
Bulletin of the Korean Mathematical Society
Article . 2013 . Peer-reviewed
Data sources: Crossref
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
zbMATH Open
Article . 2013
Data sources: zbMATH Open
versions View all 2 versions
addClaim

A NOTE ON LPI DOMAINS

A note on LPI domains
Authors: Hu, Kui; Wang, Fanggui; Chen, Hanlin;

A NOTE ON LPI DOMAINS

Abstract

Let \(D\) be a domain with quotient field \(K,\) throughout. An ideal \(I\) of \(D\) is called locally principal if \(ID_{P}\) is principal for each prime ideal \(P\) of \(D.\) A domain \(D\) is called an LPI domain if every nonzero locally principal ideal of \(D\) is invertible. LPI domains were studied by Anderson and the reviewer in [\textit{D. D. Anderson} and \textit{M. Zafrullah}, Commun. Algebra 39, No. 3, 933--941 (2011; Zbl 1225.13001)]. Next, a flat \(D\) -module \(M\) is \textit{faithfully flat if }\(M\otimes _{D}N=0\) implies \(N=0\) for any \(D\)-module \(N.\) Also it is well-known that a nonzero ideal \(I\) of \(D\) is faithfully flat if and only if \(I\) is locally principal, \textit{S. Glaz} and \textit{W. V. Vasconcelos} [Manuscr. Math. 22, 325--341 (1977; Zbl 0367.13002)]. Thus an LPI domain is precisely a domain in which every faithfully flat ideal is invertible. Noetherian domains are clearly LPI domains. Yet there are domains that may not have this property. The proof of Proposition 7 of the reviewer's [J. Pure Appl. Algebra 214, No. 5, 654--657 (2010; Zbl 1188.13010)] shows, there do exist domains \(D\) in which faithfully flat ideals may not be invertible. Other related concepts are rings whose flat ideals are finitely generated. These rings were recently studied under the title of ff-rings in [\textit{S. El Baghdadi}, \textit{A. Jhilal} and \textit{N. Mahdou}, J. Pure Appl. Algebra 216, No. 1, 71--76 (2012; Zbl 1239.13002)], and were studied as rings with property \(\mathcal{P}\) in [Commun. Algebra 3, 531--543 (1975; Zbl 0315.13010)] by \textit{J. D. Sally} and \textit{W. V. Vasconcelos}. Indeed, as a nonzero finitely generated flat ideal is invertible in an integral domain, an ff-domain \(D\) is an LPI domain. Yet an LPI domain is not always an ff-ring, as in a rank one non-discrete valuation ring the maximal ideal is flat but not finitely generated. Now, Sally and Vasconcelos [Zbl 0315.13010] showed that if \(D\) is an ff-domain then so is \(D[X]\), and El-Baghdadi et al. [Zbl 1239.13002] prove the converse. For LPI domains, Anderson and the reviewer [Zbl 1225.13001] proved, using multiplicative ideal theory techniques, that if \(D[X]\) is an LPI domain then so is \(D\) and if \(D\) were integrally closed then the converse would be true too, leaving out the proof of the converse as an open problem, for \(D\) not integrally closed. The authors of the paper under review show, using modifications of techniques of Sally and Vasconcelos [Zbl 0315.13010] that if \(D\) is an LPI domain then so is \(D[X]\) and extend the study to locally finitely generated and locally free modules ending with the following result. The following statements are equivalent for a domain \(D\). (1) \(D\) is an LPI domain. (2) Every locally finitely generated and locally free submodule of \(D^{n}\) of rank \(n\) over \(D\) is finitely generated.

Keywords

polynomial ring, Integral domains, LPI domain, faithfully flat module

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    4
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
4
Average
Average
Average
gold