Let K be a field of characteristic 0 and L be a G-graded Lie PI-algebra, where G is a finite group. We define the graded Gelfand-Kirillov dimension of L. Then we measure the growth of the Z_n-graded polynomial identities of the Lie algebra of n x n traceless matrices sl_n(K) giving an exact value of its Z_n-graded Gelfand-Kirillov dimension.
Let $F$ be a finite field of $char F > 3$ and $sl_{2}(F)$ be the Lie algebra of traceless $2\times 2$ matrices over $F$. This paper aims for the following goals: Find a basis for the $\mathbb{Z}_{2}$-graded identities of $sl_{2}(F)$; Find a basis for the $\mathbb{Z}_{3}$-graded identities of $sl_{2}(F)$ when $F$ contains a primitive 3rd root of one; Find a basis for the $\mathbb{Z}_{2}\times \mathbb{Z}_{2}$-graded identities of $sl_{2}(F)$.
Let $K$ be an infinite field of characteristic different from two and let $U_1$ be the Lie algebra of the derivations of the algebra of Laurent polynomials $K[t,t^{-1}]$. The algebra $U_1$ admits a natural $\mathbb{Z}$-grading. We provide a basis for the graded identities of $U_1$ and prove that they do not admit any finite basis. Moreover, we provide a basis for the identities of certain graded Lie algebras with a grading such that every homogeneous component has dimension $\leq 1$, if a basis of the multilinear graded identities is known. As a consequence of this latter result we are able to…
Let $F$ be a finite field with characteristic $p > 2$ and let $G$ be the unitary Grassmann algebra generated by an infinite dimensional vector space $V$ over $F$. In this paper, we determine a basis of the $\mathbb{Z}_{2}$-graded polynomial identities for any non-trivial $\mathbb{Z}_{2}$-grading such that a basis of $V$ is homogeneous in this grading.
Let $F$ be a finite field of $char F = p$ and size $|F| = q$. Let $E$ be the unitary infinity dimensional Grassmann algebra. In this short note, we describe the $\mathbb{Z}_2 \times \mathbb{Z}_2$-graded identities of $E_{k^{*}}\otimes E$, where $E_{k^{*}}$ is the Grassmann algebra with a specific $\mathbb{Z}_{2}$-grading. In the end, we discuss about the $\mathbb{Z}_2 \times \mathbb{Z}_2$-graded GK-dimension of $E_{k^*}\otimes E$ in $m$ variables.
Let $UT_n(F)$ be the algebra of the $n\times n$ upper triangular matrices and denote $UT_n(F)^{(-)}$ the Lie algebra on the vector space of $UT_n(F)$ with respect to the usual bracket (commutator), over an infinite field $F$. In this paper, we give a positive answer to the Specht property for the ideal of the $\mathbb{Z}_n$-graded identities of $UT_n(F)^{(-)}$ with the canonical grading when the characteristic $p$ of $F$ is 0 or is larger than $n-1$. Namely we prove that every ideal of graded identities in the free graded Lie algebra that contains the graded identities of $UT_n(F)^{(-)}$, is f…
Let $F$ be an infinite field of characteristic different from 2, and let $E$ be the Grassmann algebra of an infinite dimensional $F$-vector space $L$. In this paper we study the $\mathbb{Z}$-graded polynomial identities of $E$ with respect to certain $\mathbb{Z}$-grading such that the vector space $L$ is homogeneous in the grading. More precisely, we construct three types of $\mathbb{Z}$-gradings on $E$, denoted by $E^{\infty}$, $E^{k^\ast}$ and $E^{k}$, and we give the explicit form of the corresponding $\mathbb{Z}$-graded polynomial identities. We show that the homogeneous superalgebras $E_{…
Let $M_n(K)$ be the algebra of $n \times n$ matrix over an infinite integral domain $K$. Let $gl_n(K)$ be the Lie algebra of $n \times n$ matrix with the usual Lie product over $K$. Let $G = \{g_1,\ldots,g_n\}$ be a group of order $n$. We describe the polynomials that form a basis for the $G$-graded identities of the pair $(M_n(K),gl_n(K))$ with an elementary $G$-grading induced by the $n$-tuple $(g_1,\ldots,g_n)$. In the end, we describe an explicit basis for the $\mathbb{Z}_3$-graded identities of the pair $(M_3(K),gl_3(K))$.
Let $K$ be any field of characteristic two and let $U_1$ and $W_1$ be the Lie algebras of the derivations of the algebra of Laurent polynomials $K[t,t^{-1}]$ and of the polynomial ring $K[t]$, respectively. The algebras $U_1$ and $W_1$ are equipped with natural $\mathbb{Z}$-gradings. In this paper, we provide bases for the graded identities of $U_1$ and $W_1$, and we prove that they do not admit any finite basis.
Let $K$ be a field (finite or infinite) of char$(K)\neq 2$ and let $UT_n=UT_n(K)$ be the $n\times n$ upper triangular matrix algebra over $K$. If $\cdot $ is the usual product on $UT_n$ then with the new product $a\circ b=(1/2)(a\cdot b +b\cdot a)$ we have that $UT_n$ is a Jordan algebra, denoted by $UJ_n=UJ_n(K)$. In this paper, we describe the set of all $\mathbb{Z}_2$-graded polynomial identities of $UJ_2$ with any nontrivial $\mathbb{Z}_2$-grading. Moreover, we describe a linear basis for the corresponding relatively free $\mathbb{Z}_2$-graded algebra.
The Jordan algebra of the symmetric matrices of order two over a field $K$ has two natural gradings by $\mathbb{Z}_2$, the cyclic group of order 2. We describe the graded polynomial identities for these two gradings when the base field is infinite and of characteristic different from 2. We exhibit bases for these identities in each of the two cases. In one of the cases we perform a series of computations in order to reduce the problem to dealing with associators while in the other case one employs methods and results from Invariant theory. Moreover we extend the latter grading to a $\mathbb{Z}…
Graded Identities and Isomorphisms on Algebras of Upper Block-Triangular Matrices
设$G$是阿贝尔群，$\mathbb{K}$是特征为零的代数闭域. A. Valenti和M. Zaicev在上块三角形矩阵代数上刻画了$G$ -分次，条件是$G$是有限的.证明了对任意阿贝尔群$G$，其结果成立：任意分次同构于上块三角形矩阵代数上的初等分次$A$与矩阵代数上的除分次$B$的张量积$A\otimes B$.然后，我们考虑的问题，是否分级身份$A\otimes B$，其中$B$是一个代数与司分级，确定$A\otimes B$分级同构。在我们的主要结果定理3中，我们把这个问题归结为O。M. Di Didenzo和E.斯皮内利
Identities and isomorphisms of finite graded matrix algebras
Universidade Federal de Campina Grande (UFCG)（坎皮纳格兰德联邦大学）；Universidade de São Paulo（圣保罗大学）；Universidade Federal de São Carlos (UFSCar)（圣卡洛斯联邦大学）；Universidade Estadual de Campinas (UNICAMP)（坎皮纳斯州立大学）
Finite basis problem for identities with involution
考虑特征为零的域上具有对合的结合代数。证明了任何具有对合的代数都与具有分次对合的有限维$Z_4$ -分次代数的Grassmann包络满足相同的对合恒等式.作为结果，我们得到了正解的Specht问题的身份与对合：任何结合代数与对合域上的特征为零有一个有限的基础的身份与对合。这些结果类似于A. R. Kemer关于普通恒等式的定理。
