Bourbaki

Exercise 4, § 1

Algebra, IV

Bourbaki marks this one as harder than the rest.

a) Suppose that for every non-zero n∈Zn \in \mathbf{Z}, the relation nξ=0n\xi = 0 implies ξ=0\xi = 0 in A. Show that the mapping f↦f(D1,...,Dn)f \mapsto f(D_1, ..., D_n) is an injective homomorphism of the polynomial algebra A[X1,...,Xn]=EA[X_1, ..., X_n] = E into the algebra (over A) of endomorphisms of the A-module E (use induction on n). b) Let m be an integer ⩾1\geqslant 1 such that m⋅1=0m \cdot 1 = 0 in A. Show that we have Dim=0D_i^m = 0 for every partial derivation DiD_i (1⩽i⩽n1 \leqslant i \leqslant n) in A[X1,...,Xn]A[X_1, ..., X_n].

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.