Functional identities in one variable.

Abstract: Let

A

be a centrally closed prime algebra over a characteristic 0 field

k

, and let

q : A o A

be the trace of a

d

-linear map (i.e.,

q (x) = M (x, ..., x)

where

M : A^{d} o A

is a

d

-linear map). If

[q (x), x] = 0

for every

x i n A

, then

q

is of the form

q (x) = s u m_{i = 0}^{d} m u_{i} (x) x^{i}

where each

m u_{i}

is the trace of a

(d - i)

-linear map from

A

into

k

. For infinite dimensional algebras and algebras of dimension

> d^{2}

this was proved by Lee, Lin, Wang, and Wong in 1997. In this paper we cover the remaining case where the dimension is

l e d^{2}

. Using this result we are able to handle general functional identities of one variable on

A

; more specifically, we describe the traces of

d

-linear maps

q_{i} : A o A

that satisfy

s u m_{i = 0}^{m} x^{i} q_{i} (x) x^{m - i} i n k

for every

x i n A

.

Recommendations

Cites work

Cited in

(15)

This page was built for publication: Functional identities in one variable.