The Nowicki conjecture for relatively free algebras

Abstract: A linear locally nilpotent derivation of the polynomial algebra

K [X_{m}]

in

m

variables over a field

K

of characteristic 0 is called a Weitzenb"ock derivation. It is well known from the classical theorem of Weitzenb"ock that the algebra of constants

K [X_{m}]^{d e l t a}

of a Weitzenb"ock derivation

d e l t a

is finitely generated. Assume that

d e l t a

acts on the polynomial algebra

K [X_{2 d}]

in

2 d

variables as follows:

d e l t a (x_{2 i}) = x_{2 i - 1}

,

d e l t a (x_{2 i - 1}) = 0

,

i = 1, l d o t s, d

. The Nowicki conjecture states that the algebra

K [X_{2 d}]^{d e l t a}

is generated by

x_{1}, x_{3} . l d o t s, x_{2 d - 1}

, and

x_{2 i - 1} x_{2 j} - x_{2 i} x_{2 j - 1}

,

1 l e q i < j l e q d

. The conjecture was proved by several authors based on different techniques. We apply the same idea to two relatively free algebras of rank

2 d

. We give the infinite set of generators of the algebra of constants in the the free metabelian associative algebras

F_{2 d} (m a t h f r a k A)

, and finite set of generators in the free algebra

F_{2 d} (m a t h c a l G)

in the variety determined by the identities of the infinite dimensional Grassmann algebra.

Recommendations

Cites Work

Cited In (12)

This page was built for publication: The Nowicki conjecture for relatively free algebras