Seminormal rings (following Thierry Coquand)

  • Lombardi H
  • Quitté C
  • 3


    Mendeley users who have this article in their library.
  • 1


    Citations of this article.


The Traverso-Swan theorem says that a reduced ring A is seminormal if and only if the natural homomorphism Pic A → Pic A [X] is an isomorphism [C. Traverso, Seminormality and the Picard group, Ann. Sc. Norm. Sup. Pisa 24 (1970) 585-595; R.G. Swan, On seminormality, J. Algebra 67 (1980) 210-229]. We give here all the details needed to understand the elementary constructive proof for this result given by Coquand in [T. Coquand, On seminormality, J. Algebra 305 (2006) 577-584]. This example is typical of a new constructive method. The final proof is simpler than the initial classical one. More important: the classical argument by absurdum using "an abstract ideal object" is deciphered with a general technique based on the following idea: purely ideal objects constructed using TEM and Choice may be replaced by concrete objects that are "finite approximations" of these ideal objects. © 2007 Elsevier Ltd. All rights reserved.

Author-supplied keywords

  • Constructive algebra
  • Dynamical method
  • Minimal primes
  • Seminormal rings
  • Traverso's theorem

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • Henri Lombardi

  • Claude Quitté

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free