Curves and coherent Prüfer rings (Q607061)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Curves and coherent Prüfer rings |
scientific article |
Statements
Curves and coherent Prüfer rings (English)
0 references
19 November 2010
0 references
The goal of the paper under review is to show, in constructive mathematics, that if \(k\) is a discrete field (that is, an explicit field with a zero test) and \(f\) an arbitrary polynomial in \(k[x,y]\) then the localization \((k[x,y]/(f))_{f_y}\) is always a coherent Prüfer ring, where \(f_y=\frac{\partial f}{\partial y}\). One important corollary is that \(k[x,y]/(f)\) is a coherent Prüfer ring whenever \(1=(f, f_x,f_y)\). The paper concludes with a {tt magma} program and some examples.
0 references
semihereditary ring
0 references
pp-ring
0 references
Prüfer ring
0 references
smooth curve
0 references
constructive mathematics
0 references
generalized Hasse derivatives
0 references