Purely inseparable extensions of unique factorization domains
type: Item
instance of: scholarly article
title: Purely inseparable extensions of unique factorization domains
zbMATH Open document ID: 0736.13014
author: Jeffrey Lang
published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University
publication date: 1992-06-25T00:00:00Z
review text: Let \(k\) be a field of characteristic \(p>0\), \(f_ 1,\ldots,f_{n-1}\) polynomials in the polynomial ring \(A:=k[x_ 1,\ldots,x_ n]\) and \(F\) the variety in \((2n-1)\)-dimensional affine space over \(k\) defined by the equations \(w_ i^ p-f_ i(x_ 1,\ldots,x_ n)\), \(i=1,\ldots,n-1\). The coordinate ring of \(F\) is then isomorphic to \(k[x^ p_ 1,\ldots,x^ p_ n,f_ 1,\ldots,f_{n-1}]\). The author shows under some additional technical assumption that the divisor class group \(\text{Cl}(F)\) is a finite \(p\)-group of type \((p,\ldots,p)\) and order \(p^ N\) with \(N<{M \choose n}\), \(M:=\sum^{n-1}_{i=1}\deg(f_ i)\). Assume furthermore that \(k\) is algebraically closed and that \(f_ 1,\ldots,f_{n-2}\) generate a height \(n-2\) prime ideal \(P\) in \(A\). Let \(W\) be the variety in \((n+1)\)-dimensional affine space defined by \(f_ 1,\ldots,f_{n-2}\), \(w^ p-f_{n-1}\). A similar theorem for the divisor class group \(\text{Cl}(W)\) is then proved under the condition that \(A/P\) is factorial and some more technical assumptions hold.
Mathematics Subject Classification ID: 13F15
Mathematics Subject Classification ID: 13A35
Mathematics Subject Classification ID: 14M05
Mathematics Subject Classification ID: 13C20
zbMATH DE Number: 7904
zbMATH Keywords: factorial domain
zbMATH Keywords: purely inseparable covering
zbMATH Keywords: characteristic p
zbMATH Keywords: coordinate ring
zbMATH Keywords: divisor class group
reviewed by: Hartmut Wiebe
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.2977/prims/1195170956
OpenAlex ID: W1981225150
cites work: The divisor classes of the surface \(z^ p=G(x,y)\), a programmable problem
cites work: Q4722191
cites work: Applications of the fundamental group and purely inseparable descent to the study of curves on Zariski surfaces
cites work: Q4195061
cites work: Q3992979
DOI: 10.2977/PRIMS/1195170956
Recommended article: Purely inseparable extensions of factorial rings
Recommended article: Purely inseparable extensions of complete intersections
Recommended article: Q4871294
description: scientific article; zbMATH DE number 7904