Advanced Search

Let $G$ be a finite abelian group with identity element $1_G$ and $L={⨁}_{g\in G}{L}^g$ be an infinite dimensional $G$-homogeneous vector space over a field of characteristic $0$. Let $E=E\left(L\right)$ be the Grassmann algebra generated by $L$. It follows that $E$ is a $G$-graded algebra. Let $\left|G\right|$ be odd, then we prove that in order to describe any ideal of $G$-graded identities of $E$ it is sufficient to deal with $G^{\text{'}}$-grading, where $|G^{\text{'}}|\le |G|$, ${dim}_F{L}^{1_{G^{\text{'}}}}=\infty$ and ${dim}_F{L}^{g^{\text{'}}}<\infty$ if $g^{\text{'}}\ne 1_{G^{\text{'}}}$. In the same spirit of the case $\left|G\right|$ odd, if $\left|G\right|$ is even it is sufficient to study only those $G$-gradings such that...

2010 Mathematics Subject Classification: 16R10, 16W55, 15A75. We survey some recent results on graded Gelfand-Kirillov dimension of PI-algebras over a field F of characteristic 0. In particular, we focus on verbally prime algebras with the grading inherited by that of Vasilovsky and upper triangular matrices, i.e., UTn(F), UTn(E) and UTa,b(E), where E is the infinite dimensional Grassmann algebra.