Semisimple algebras and PI-invariants of finite dimensional algebras

Abstract: Let

G a m m a

be a

T

-ideal of identities of an affine PI-algebra over an algebraically closed field

F

of characteristic zero. Consider the family

m a t h c a l M_{G a m m a}

of finite dimensional algebras

S i g m a

with

I d (S i g m a) = G a m m a

. By Kemer's theory it is known that such

S i g m a

exists. We show there exists a semisimple algebra

U

which satisfies the following conditions.

(1)

There exists an algebra

A i n m a t h c a l M_{G a m m a}

with Wedderburn-Malcev decomposition

A c o n g U o p l u s J_{A}

, where

J_{A}

is the Jacobson's radical of

A

(2)

If

B i n m a t h c a l M_{G a m m a}

and

B c o n g B_{s s} o p l u s J_{B}

is its Wedderburn-Malcev decomposition then

U

is a direct summand of

B_{s s}

. We refer to

U

as the unique minimal semisimple algebra corresponding to

G a m m a

. We fully extend this result to the non-affine

G

-graded setting where

G

is a finite group. In particular we show that if

A

and

B

are finite dimensional

G_{2} := m a t h b b Z_{2} i m e s G

-graded simple algebras then they are

G_{2}

-graded isomorphic if and only if

E (A)

and

E (B)

are

G

-graded PI-equivalent, where

E

is the unital infinite dimensional Grassmann algebra and

E (A)

is the Grassmann envelope of

A

.

Recommendations

Cites Work

This page was built for publication: Semisimple algebras and PI-invariants of finite dimensional algebras