Commutative Algebra, IX, p. 43
Let A be a ring of characteristic p. a) Let n∈N; prove that pn−1/n!∈Z(p). Prove that (nm)!/n!(m!)n is an integer for n,m in N. b) For n∈N, let γn:V1(A)→W(A) be the mapping defined by
γn(Vx)γn(Vx)=1=(pn−1/n!)V(xn)if n=0,if n⩾1. (i) Prove that one has
γn(x)∈V1(A) if
n⩾1 and
x∈V1(A). (ii) For
x,y∈V1(A) and
n∈N, one has
γn(x+y)=i=0∑nγi(x)γn−i(y). (iii) For
λ∈W(A), x∈V1(A), n∈N, one has
γn(λx)=λnγn(x). (iv) For
x∈V1(A) and
n,m in
N, one has
γn(x)γm(x)=(nm+n)γn+m(x) and
γn(γm(x))=n!(m!)n(nm)!γnm(x). (v) One has
Fγn(Vx)=(pn/n!)xn and
γn(px)=(pn/n!)xn, for
x∈W(A).