Seminormal rings (following Thierry Coquand)

DOI10.1016/J.TCS.2007.10.007MaRDI QIDQ2476016zbMATH OpenOpenAlexFDO

Authors Henri Lombardi, Claude Quitté

Publication date 11 March 2008

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2007.10.007

zbMATH Keywords

constructive algebradynamical methodminimal primesseminormal ringsTraverso's Theorem

Mathematics Subject Classification ID

Integral closure of commutative rings and ideals (13B22) Computational aspects and applications of commutative rings (13P99)

Review text

This paper provides the details of an elementary proof given by \textit{T.~Coquand} [J. Algebra 305 577--584 (2006; Zbl 1102.13005)] of the Traverso-Swan theorem [\textit{C.~Traverso}, Ann. Sc. Norm. Sup. Pisa 24 585--595 (1970; Zbl 0205.50501); \textit{R.~G.~Swan}, J. Algebra 67 210--229 (1980; Zbl 0473.13001)]. The theorem states that a reduced ring is seminormal if and only if the natural homomorphism \(\mathrm{Pic}(A) \to\mathrm{Pic}(A[X])\) is an isomorphism. The authors use the fact that the category of finitely-generated projective modules over \(A\) is equivalent to the category whose objects are idempotent matrices \(P\), \(Q\) with coefficients in \(A\), and whose morphisms from \(P\) to \(Q\) are given by matrices \(H\) such that \(QH = H = HP\). Their major strategy is to replace localisation at a generic minimal prime \(\mathfrak p\) by a tree computation, which arises from the argument that any element \(a\) of the ring is either inside or outside the generic minimal prime. In the six page annex, the authors provide some additional details. In particular, they discuss zero-dimensional reduced rings and \(pp\)-rings (rings where the annihilator of each element is a prinicipal ideal generated by an idempotent) and their relations to fields and integral rings, respectively.

Recommendations

• On seminormality
• An algorithm for the Traverso-Swan theorem on seminormal rings
• Generalized epimorphism theorem
• Seminormality and polynomial rings
• scientific article; zbMATH DE number 1230663

Cites work

• A course in constructive algebra
• Dimension de Heitmann des treillis distributifs et des anneaux commutatifs
• Dynamical method in algebra: Effective Nullstellensätze
• EUROCAL '85. European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985. Proceedings. Vol. 2: Research contributions
• Generating non-Noetherian modules constructively
• Generating non-Noetherian modules efficiently
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• scientific article; zbMATH DE number 3566969 (Why is no real title available?)
• scientific article; zbMATH DE number 3327022 (Why is no real title available?)
• scientific article; zbMATH DE number 2247262 (Why is no real title available?)
• Making the use of maximal ideals constructive
• Nontrivial Uses of Trivial Rings
• On \(\text{Pic}(R[X])\) for \(R\) seminormal
• On a theorem of Kronecker about algebraic varieties
• On seminormality
• On seminormality
• Seminormality and projective modules over polynomial rings

Cited in

(8)

• Generalized epimorphism theorem
• A note on connected reduced rings
• Spectral schemes as ringed lattices
• scientific article; zbMATH DE number 3875426 (Why is no real title available?)
• Some remarks about normal rings
• Curves and coherent Prüfer rings
• Seminormal Rings (following Thierry Coquand)
• An algorithm for the Traverso-Swan theorem on seminormal rings

This page was built for publication: Seminormal rings (following Thierry Coquand)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2476016)