Acta Mathematica Academiae Paedagogicae Ny´ıregyh´aziensis

24 (2008), 391–395

www.emis.de/journals

ISSN 1786-0091

RANGE-COMMUTATIVITY MAPS ON *-ALGEBRAS

A. TAGHAVI

Abstract. Let A and B be ¤-algebras, it is shown that if ' be a linear map

from A into B such that Á(xp) commutes with Á(x¤) for all x in A then

the range of ' is commutative. The paper also studies other conditions for

commutativity range of ' on ¤-algebra A.

1. Introduction

A map ' from a Banach algebra A into a Banach algebra B is called preserving

commutativity if

(1) '(x)'(y) = '(y)'(x), whenever xy = yx,

and it is called Range-commutativity if

(2) '(x)'(y) = '(y)'(x), 8x, y 2 A.

The problem of describing commutativity preserving linear maps is one of

the most studied linear preserver problems. The usual solution is that they are

standard. The problem was first considered in the case where A = Mn(F) is the

algebra of n×n matrices over F [7], and has been afterwards studied in various

much more general algebras (see [3, 6] for references). A rather general theorem,

and also the first ring-theoretic result in this area, was obtained in [3] by Bresar.

This theorem treats the case where A is a prime algebra satisfying certain

technical conditions, and instead of the commutativity preserving assumption it

only requires a milder assumption that

(3) '(x2)'(x) = '(x)'(x2), 8x 2 A.

The paper [3], particularly the idea to consider the condition (3), initiated a

systematic study of different topics in ring theory and functional analysis; the

reader is referred to [1, 4, 6] for historical accounts and further references. In

the present paper we shall use this idea in a somewhat different way.

2000 Mathematics Subject Classification. 46J10, 47B48.

Key words and phrases. *-algebra, Operator algebra, Commutativity preserving map.

391

392 A. TAGHAVI

Bresar and Semrl [4] proved the following theorem:

Theorem 1.1 ([5]). Let F be a Field with char(F) = 0, and let A be a finite

dimensional central simple algebra over F with dimA 6= 4. If a linear map

f : A −! A satisfies (3), then f is either a standard commutativity preserving

map or its range is commutative.

Can the assumption that A is finite dimensional be omitted? This is the

question that initiated the present paper. The paper consider the case where A is a ¤-algebra.

We will, first consider a more general problem concerning certain bilinear

maps and then is devoted to the proof of the main result.

Let A be a ¤-algebra, X be a vector space and f : A×A −! X. Our question

is: does the condition

(4) f(x, y) = 0 8x, y 2 A

follow from the condition

(5) f(x, x) = f(x2, x¤) = 0, 8x 2 A.

The connection with the aforementioned question is simple. Namely, if Á is a

linear map ': A −! B such that Á(xp) commutes with Á(x¤) for all x in A,

then a map f defined by f(x, y) = '(x)'(y)−'(y)'(x) satisfies (5). Therefore,

the affirmative answer to the latter question implies the affirmative answer to

the former question.

This paper considers range-commutativity mappings on ¤-algebras. We show

that if ' be a linear or conjugate linear map from A into B satisfies

(6) '(x2)'(x¤) = '(x¤)'(x2), 8x 2 A,

then the range of ' is commutative. The paper also studies other conditions for

commutativity range of ' on ¤-algebra A.

2. Main results

Theorem 2.1. Let A be a unital ¤-algebra with identity e and X be a vector

space and f : A × A −! X be a linear map with respect to first (or second)

component and it is an additive map with respect to second (or first) component.

Then each of the following two conditions implies f(x, y) = 0 for every x, y 2 A:

(i) f(x, x) = f(x¤, x) = 0, 8x 2 A,

(ii) f(x, x) = f(x¤x, x) = 0, 8x 2 A

Proof. For x, y 2 A the assumption f(x, x) = 0 shows that

(7) f(x, y) + f(y, x) = 0,

and

f(x, y) + f(y, x) = f(x, y) + f(y, x) + f(x, x) + f(y, y) = f(x + y, x + y) = 0.

RANGE-COMMUTATIVITY MAPS ON *-ALGEBRAS 393

(i) Let x, y 2 A, by replacing x by x+y in (i) we have f((x+y)¤, (x+y)) = 0.

It implies that

(8) f(x¤, y) + f(y¤, x) = 0.

Now, assume for a moment that x is self-adjoint. By using (7) and (8) we

conclude

(9) f(x, y) + f(y¤, x) = −f(y, x) + f(y¤, x) = f(y − y¤, x) = 0.

By replacing y by iy in (9) we have

(10) f(y + y¤, x) = 0.

By combining (9) and (10) we obtain f(x, y) = f(y, x) = 0. Note that, the

first equality is held by (7). Now if x is arbitrary element in A we can write

x = x1 +ix2 which x1 and x2 are self-adjoint elements in A. Linearity of f with

respect to first component follows that f(x, y) = 0 for all x, y 2 A.

(ii) Let x, y 2 A, by replacing x by x + y in (ii) we obtain f((x + y)¤(x +

y), x + y) = 0. It follows that

(11) f(x¤x, y) + f(y¤y, x) + f(x¤y + y¤x, x + y) = 0,

By replacing y by −y in (11) we have

(12) −f(x¤x, y) + f(y¤y, x) + f(x¤y + y¤x,−x + y) = 0.

Combining (11) and (12) follows that

(13) f(x¤x, y) + f(x¤y + y¤x, x) = 0.

Now by using (7), applying (13) once by replacing x by e and once by replacing

y by e we have f(x, e) = 0 and f(x¤, x) = 0. By (i) we yield f(x, y) = 0 for

every x, y 2 A. ¤

Theorem 2.2. Let A be a unital ¤-algebra with identity e and X be a vector

space and f : A × A −! X be a bilinear map satisfies:

(iii) f(x, x) = 0, 8x 2 A+,

(iv) f(x2, x¤) = 0, 8x 2 A.

Then f(x, y) = 0 for every x, y 2 A. Where A+ is the set of all positive elements

in A.

Proof. Let x 2 A+ we have

(14) f(x, e)+f(e, x) = f(x, e)+f(e, x)+f(x, x)+f(e, e) = f(x+e, x+e) = 0.

Since every self adjoint element is difference of two positive elements it is true

for every self adjoint elements.

Let x, y 2 A, we can replace x once by x + |x¤| and once by x − |x¤| in (iv)

to derive

f((x + |x¤|)2, x¤ + |x¤|) = 0,

394 A. TAGHAVI

f((x − |x¤|)2, x¤ − |x¤|) = 0.

These imply that

(15) f(|x¤|2, x¤) + f(x|x¤| + |x¤|x, |x¤|) = 0.

Since f is bilinear by replacing x by ix in (15) we obtain f(|x|2, x) = 0. Similarly

to the proof of Theorem 2.1 (ii) and by applying (14) we conclude f(x, e) = 0

and f(x¤+x, x) = 0. Since f is a bilinear map we obtain f(x¤, x) = f(x, x) = 0.

By Theorem 2.1 (i) we yield f(x, y) = 0, for every x, y 2 A. ¤

Theorem 2.3. Let A and B be ¤-algebras and ': A −! B be a linear (or

conjugate linear) map, then each of the following three conditions implies the

range of ' is commutative:

v '(x¤)'(x) = '(x)'(x¤), 8x 2 A,

vi '(x¤x)'(x) = '(x)'(x¤x), 8x 2 A,

vii '(x2)'(x¤) = '(x¤)'(x2), 8x 2 A.

Proof. First, let A be a unital ¤-algebra with identity e. Define

f : A × A −! B

with

f(x, y) = '(x)'(y) − '(y)'(x), 8x, y 2 A.

f is a bilinear map and f(x, x) = f(x¤, x) = 0, for all x 2 A, if (v) is true,

f(x, x) = f(x¤x, x) = 0, for all x 2 A if (vi) is true and f(x, x) = f(x2, x¤) = 0,

for all x 2 A if (vii) is true. According to Theorem 2.1 and 2.2 the range of '

is commutative.

Now, assume that A is without identity. We can consider two case

1)B is without identity

2)B has identity e.

In the first case we set

e A = A

M

C

and

e B = B

M

C

which are unitization of A and B respectively. We can extent ' to

e': e A −! e B

as follows: e'(x, ¸) = ('(x), ¸). In the second case we can extent ' to e': e A −! B as follows: e'(x, ¸) = '(x) + ¸e. In both case it is easy to see that e' as defined

above satisfies (v), (vi) and (vii). Therefore, the range of e' is commutative. It

follows immediately the range of ' is commutative.

Now, assume that ' is conjugate linear map. Define ¯'(x) = '(x)¤, then

¯' is a linear map which satisfies (v), (vi) and (vii). Hence the range of ¯' is

commutative. Consequently, the range of ' is commutative. ¤

RANGE-COMMUTATIVITY MAPS ON *-ALGEBRAS 395

References

[1] P. Ara and M. Mathieu. Local multipliers of C¤-algebras. Springer Monographs in Mathematics.

Springer-Verlag London Ltd., London, 2003.

[2] G. M. Bergman. Centralizers in free associative algebras. Trans. Amer. Math. Soc.,

137:327–344, 1969.

[3] M. Breˇsar. Commuting traces of biadditive mappings, commutativity-preserving mappings

and Lie mappings. Trans. Amer. Math. Soc., 335(2):525–546, 1993.

[4] M. Breˇsar. Commuting maps: a survey. Taiwanese J. Math., 8(3):361–397, 2004.

[5] M. Breˇsar and P. ˇSemrl. Commutativity preserving linear maps on central simple algebras.

J. Algebra, 284(1):102–110, 2005.

[6] M. Omladiˇc, H. Radjavi, and P. ˇSemrl. Preserving commutativity. J. Pure Appl. Algebra,

156(2-3):309–328, 2001.

[7] W. Watkins. Linear maps that preserve commuting pairs of matrices. Linear Algebra and

Appl., 14(1):29–35, 1976.

Department of Mathematic,

Mazandaran University,

Babolsar, Iran,

E-mail address: taghavi@nit.ac.ir

## Friday, December 26, 2008

Subscribe to:
Post Comments (Atom)

## 0 comments:

## Post a Comment