Simple flat extensions (Q2539889): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q162938
RedirectionBot (talk | contribs)
Changed an Item
Property / author
 
Property / author: Vasconcelos, Wolmer V. / rank
 
Normal rank

Revision as of 23:24, 9 February 2024

scientific article
Language Label Description Also known as
English
Simple flat extensions
scientific article

    Statements

    Simple flat extensions (English)
    0 references
    1970
    0 references
    For a commutative ring \(R\), a flat extension is an \(R\)-algebra \(S\) which is flat as an \(R\)-module. This note gives a structure theorem for flat extensions of a noetherian ring which are obtained, essentially, by adjoining a single element to \(R\). Such extension is best described by an exact sequence \(0\rightarrow I\rightarrow R[x] \rightarrow S\rightarrow 0\) and the characterization is given in terms of the ideal \(I\). The following is proved: (a) \(S\) is \(R\)-flat if and only if the content of \(I\) \((= \) ideal of \(R\) generated by the coefficient of \(I = c(I))\) is generated by an idempotent and \(I\) is a projective ideal of Blade. (b) If \(c(I) = R\) then \(S\) is \(R\)-projective if and only if \(S\) is integral over \(R\). In (a) the noetherian condition is used only to ensure that \(I\) be finitely generated. As for (b), it is valid provided \(R\) is such that finitely generated flat \(R\)-modules: are projective (an \(F\)-ring for short). It is conjectured that ``\(F\)-rings'' is precisely the class for which the theorem is valid.
    0 references
    commutative algebra
    0 references
    simple flat extensions
    0 references

    Identifiers