English

Gradings, graded identities, $*$-identities and graded $*$-identities of an algebra of upper triangular matrices

Rings and Algebras 2024-11-12 v1

Abstract

Let KXK \langle X\rangle be the free associative algebra freely generated over the field KK by the countable set X={x1,x2,}X = \{x_1, x_2, \ldots\}. If AA is an associative KK-algebra, we say that a polynomial f(x1,,xn)KXf(x_1,\ldots, x_n) \in K \langle X\rangle is a polynomial identity, or simply an identity in AA if f(a1,,an)=0f(a_1,\ldots, a_n) = 0 for every a1,,anAa_1, \ldots, a_n \in A. Consider A\mathcal{A} the subalgebra of UT3(K)UT_3(K) given by: A=K(e1,1+e3,3)Ke2,2Ke2,3Ke3,2Ke1,3, \mathcal{A} = K(e_{1,1} + e_{3,3}) \oplus Ke_{2,2} \oplus Ke_{2,3} \oplus Ke_{3,2} \oplus Ke_{1,3} , where ei,je_{i,j} denote the matrix units. We investigate the gradings on the algebra A\mathcal{A}, determined by an abelian group, and prove that these gradings are elementary. Furthermore, we compute a basis for the Z2\mathbb{Z}_2-graded identities of A\mathcal{A}, and also for the Z2\mathbb{Z}_2-graded identities with graded involution. Moreover, we describe the cocharacters of this algebra.

Keywords

Cite

@article{arxiv.2411.06964,
  title  = {Gradings, graded identities, $*$-identities and graded $*$-identities of an algebra of upper triangular matrices},
  author = {Jonatan Andres Gomez Parada and Plamen Koshlukov},
  journal= {arXiv preprint arXiv:2411.06964},
  year   = {2024}
}