On a conjecture of Nagata

Extract

In a recent paper (1) Nagata proved that a (linear associative) algebra, not necessarily of finite dimension, over a field of characteristic 0 which satisfies the identical relation xⁿ = 0 satisfies also the relation x₁x₂ … x_N = 0, where N is an integer depending only on n. He remarked further that it is a corollary that the result remains true if the ground field is of prime characteristic p, provided that p is large enough compared with n; and he conjectured that the obviously necessary condition p > n is in fact sufficient. The object of this note is to prove Nagata's conjecture. To do this, we give a new proof of his theorem, and as a by-product we obtain a rather better bound for N than his, showing, namely, that we can take N = 2ⁿ − 1. The determination of the best possible value of N, or even of its order of magnitude, seems not to be easy; at any rate, the best I have been able to do in the opposite direction is to show that for large n we cannot take N as small as n²/e², where e is the base of natural logarithms.