English

$\mathbb{Z}_2$-graded $*$-polynomial identities and cocharacteres for $M_{1,1}(E)$, $UT_{1,1}(E)$ and $UT_{(0,1,0)}(E)$

Rings and Algebras 2024-11-12 v1

Abstract

Let KK be a field of characteristic 0, and let EE be the infinite-dimensional Grassmann algebra over KK. We consider EE as a Z2\mathbb{Z}_2-graded algebra, where the grading is given by the vector subspaces E0E_0 and E1E_1, consisting of monomials of even and odd lengths, respectively. Thus, if A=A0A1A = A_0 \oplus A_1 is an associative Z2\mathbb{Z}_2-graded algebra, we can consider the Z2\mathbb{Z}_2-graded algebra A^E=(A0E0)(A1E1)A \hat{\otimes} E = (A_0 \otimes E_0) \oplus (A_1 \otimes E_1). In case both EE and AA are endowed with superinvolutions, we can define a Z2\mathbb{Z}_2-graded involution on A^EA \hat{\otimes} E induced by the respective superinvolutions. In this paper, we consider the Z2\mathbb{Z}_2-graded matrix algebras M1,1(K)M_{1,1}(K), UT1,1(K)UT_{1,1}(K), and UT(0,1,0)(K)UT_{(0,1,0)}(K) endowed with superinvolutions. We shall provide a description of the polynomial identities and the cocharacter sequences of M1,1(K)^EM_{1,1}(K)\hat{\otimes} E, UT1,1(K)^EUT_{1,1}(K)\hat{\otimes} E, and UT(0,1,0)(K)^EUT_{(0,1,0)}(K)\hat{\otimes} E, considering these resulting algebras as Z2\mathbb{Z}_2-graded algebras with graded involution.

Keywords

Cite

@article{arxiv.2411.06942,
  title  = {$\mathbb{Z}_2$-graded $*$-polynomial identities and cocharacteres for $M_{1,1}(E)$, $UT_{1,1}(E)$ and $UT_{(0,1,0)}(E)$},
  author = {Jonatan Andres Gomez Parada},
  journal= {arXiv preprint arXiv:2411.06942},
  year   = {2024}
}