A Jacobian identity in positive characteristic. (English) Zbl 1342.13008

In this note, the author presents us with a Jacobian identity: \[ \sum_{i_1=1}^{p-1}\cdots\sum_{i_n=1}^{p-1} f_1^{i_1}\cdots f_n^{i_n} D_1^{p-1}\cdots D_n^{p-1} (f_1^{p-1-i_1}\cdots f_n^{p-1-i_n})=(-1)^n (J(f_1,\dots,f_n))^{p-1} \] where \(f_i \in k(x_1, \dots, x_n)\), \(k\) a field of characteristic \(p\), \(D_i=\partial/\partial x_i\) and \(J(f_1,\cdots,f_n)\) is the Jacobian of \(f_1, \dots, f_n\) with respect to the variables \(x_1, \dots, x_n\). A nice consequence of this identity is that \[ k[x_1, \dots, x_n][1/J(f_1, \dots, f_n)]=k[x_1^p, \dots, x_n^p,f_1, \dots, f_n][1/J(f_1, \ldots, f_n)] \] for \(f_1, \dots f_n \in k[x_1, \dots, x_n]\). The article concludes with a discussion of the two variable Jacobian conjecture in characteristic \(p\).


13A35 Characteristic \(p\) methods (Frobenius endomorphism) and reduction to characteristic \(p\); tight closure
13N15 Derivations and commutative rings
Full Text: DOI Euclid


[1] Shareem S. Abhyankar, Expansion techniques in algebraic geometry , Tata Lect. Notes, 1977.
[2] Jeffrey Lang, Purely inseparable extensions of unique factorization domains , Kyoto J. Math. 26 (1990), 453-471. · Zbl 0736.13014
[3] Jeffrey Lang and Satya Mandal, On Jacobian \(n\)-tuples in characteristic \(p\) , Rocky Mountain J. Math. 23 (1993), 271-279. · Zbl 0796.13016
[4] Pierre Samuel, Lectures on unique factorization domains , Tata Lect. Notes, 1964. · Zbl 0184.06601
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.