By Gene Freudenburg

ISBN-10: 3540295216

ISBN-13: 9783540295211

This booklet explores the speculation and alertness of in the community nilpotent derivations, that is a subject matter of becoming curiosity and value not just between these in commutative algebra and algebraic geometry, but additionally in fields akin to Lie algebras and differential equations. the writer offers a unified therapy of the topic, starting with sixteen First rules on which the total idea relies. those are used to set up classical effects, comparable to Rentschler's Theorem for the aircraft, correct as much as the latest effects, comparable to Makar-Limanov's Theorem for in the community nilpotent derivations of polynomial jewelry. subject matters of certain curiosity contain: development within the measurement 3 case, finiteness questions (Hilbert's 14th Problem), algorithms, the Makar-Limanov invariant, and connections to the Cancellation challenge and the Embedding challenge. The reader also will discover a wealth of pertinent examples and open difficulties and an up to date source for study.

Best algebra books

Extra resources for Algebraic Theory of Locally Nilpotent Derivations

Example text

A) exp D ∈ Autk (B) (b) If [D, E] = 0 for E ∈ LND(B), then D + E ∈ LND(B) and exp(D + E) = exp D ◦ exp E . (c) The subgroup of Autk (B) generated by {exp D|D ∈ LND(B)} is normal. 1 i Proof. Since every function Di is additive, exp D(f ) = i≥0 i! D f is an additive function. To see that exp D respects multiplication, suppose f, g ∈ B are nonzero, with νD (f ) = m and νD (g) = n. Then Di f = Dj g = 0 for i > m and j > n, and     1 1 Di f  ·  Dj g  (exp D)(f ) · (exp D)(g) =  i! j! j! 1 i+j Di f Dj g j (i + j)!

Suppose i degt P (t) = m ≥ 1 and degt D∗ t = n ≥ 1, and write P (t) = i bi t for bi ∈ B. Then (Dbi )ti , D∗ (P (t)) = P ′ (t)D∗ t + i which belongs to B, and thus has t-degree 0. , D∗ t is linear in t. This implies that degt (D∗ )i t ≤ 1 for all i ≥ 0, and in particular we must have m = 1. Write P (t) = at+b and D∗ t = ct+d for a, b, c, d ∈ B and a, c = 0. Then D∗ (at+b) = (ac+Da)t+ad+Db belongs to B, meaning that ac + Da = 0. But then Da ∈ aB, so by the preceding corollary, Da = 0. But then ac = 0 as well, a contradiction.

Given λ ∈ k, suppose t−λ = ab for a, b ∈ B. Then deg a+deg b = deg t, which implies that either deg a = 0 or deg b = 0 by minimality of deg t. Therefore, either a ∈ k ∗ or b ∈ k ∗ , meaning t − λ is irreducible. Now suppose cd ∈ k[t] for c, d ∈ B. Then there exist µ, λi ∈ k (1 ≤ i ≤ n) such that cd = µ i (t−λi ). Since this is a factorization of cd into irreducibles, it follows that every irreducible factor of c and d is of the form t−λi . Therefore, c, d ∈ k[t]. 4 The Defect of a Derivation The main purpose of this section is to prove the following property for locally nilpotent derivations, which is due to Daigle (unpublished).