We describe gradings by finite abelian groups on the associative algebras of infinite matrices with finitely many nonzero entries, over an algebraically closed field of characteristic zero.
We investigate the group gradings on the algebra of upper triangular matrices over an arbitrary field, viewed as a Lie algebra. These results were obtained a few years early by the same authors. We provide streamlined proofs, and present a complete classification of isomorphism classes of the gradings. We also provide a classification of the practical isomorphism classes of the gradings, which is a better alternative way to consider these gradings up to being essentially the same object. Finally, we investigate in details the case where the characteristic of the base field is $2$, a topic that…
We classify up to isomorphism all gradings by an arbitrary group $G$ on the Lie algebras of zero-trace upper block-triangular matrices over an algebraically closed field of characteristic $0$. It turns out that the support of such a grading always generates an abelian subgroup of $G$. Assuming that $G$ is abelian, our technique also works to obtain the classification of $G$-gradings on the upper block-triangular matrices as an associative algebra, over any algebraically closed field. These gradings were originally described by A. Valenti and M. Zaicev in 2012 (assuming characteristic $0$ and $…
It was proved by Valenti and Zaicev, in 2011, that, if $G$ is an abelian group and $K$ is an algebraically closed field of characteristic zero, then any $G$-grading on the algebra of upper block triangular matrices over $K$ is isomorphic to a tensor product $M_n(K)\otimes UT(n_1,n_2,\ldots,n_d)$, where $UT(n_1,n_2,\ldots,n_d)$ is endowed with an elementary grading and $M_n(K)$ is provided with a division grading. In this paper, we prove the validity of the same result for a non necessarily commutative group and over an adequate field (characteristic either zero or large enough), not necessaril…
Let $F$ be a field of characteristic zero, $G$ be a group and $R$ be the algebra $M_n(F)$ with a $G$-grading. Bahturin and Drensky proved that if $R$ is an elementary and the neutral component is commutative then the graded identities of $R$ follow from three basic types of identities and monomial identities of length $\geq 2$ bounded by a function $f(n)$ of $n$. In this paper we prove the best upper bound is $f(n)=n$, more generally we prove that all the graded monomial identities of an elementary $G$-grading on $M_n(F)$ follow from those of degree at most $n$. We also study gradings which sa…
Let $G$ be an abelian group and $\mathbb{K}$ an algebraically closed field of characteristic zero. A. Valenti and M. Zaicev described the $G$-gradings on upper block-triangular matrix algebras provided that $G$ is finite. We prove that their result holds for any abelian group $G$: any grading is isomorphic to the tensor product $A\otimes B$ of an elementary grading $A$ on an upper block-triangular matrix algebra and a division grading $B$ on a matrix algebra. We then consider the question of whether graded identities $A\otimes B$, where $B$ is an algebra with a division grading, determine $A\o…
We determine the number of isomorphism classes of elementary gradings by a finite group on an algebra of upper block-triangular matrices. As a consequence we prove that, for a finite abelian group $G$, the sequence of the numbers $E(G,m)$ of isomorphism classes of elementary $G$-gradings on the algebra $M_{m}(\mathbb{F})$ of $m\times m$ matrices with entries in a field $\mathbb{F}$ characterizes $G$. A formula for the number of isomorphism classes of gradings by a finite abelian group on an algebra of upper block-triangular matrices over an algebraically closed field, with mild restrictions on…
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}…
Our approach to structural matrix rings defines them over preordered directed graphs. A grading of a structural matrix ring is called a good grading if its standard unit matrices are homogeneous. For a group $G$, a $G$ -grading set is a set of arrows with the property that any assignment of these arrows to elements of $G$ uniquely determines an induced good grading. One of our main results is that a $G$-grading set exists for any transitive directed graph if $G$ is a group of prime order. This extends a result of Kelarev. However, an example of Molli Jones shows there are directed graphs which…
In this paper we study the images of multilinear graded polynomials on the graded algebra of upper triangular matrices UT_n. For positive integers q \leq n, we classify these images on UT_n endowed with a particular elementary Z_q-grading. As a consequence, we obtain the images of multilinear graded polynomials on UT_n with the natural Z_n-grading. We apply this classification in order to give a new condition for a multilinear polynomial in terms of graded identities so that to obtain the traceless matrices in its image on the full matrix algebra. We also describe the images of multilinear pol…
Let $K$ be a field of characteristic different from 2 and let $G$ be a group. If the algebra $UT_n$ of $n\times n$ upper triangular matrices over $K$ is endowed with a $G$-grading $Γ: UT_n=\oplus_{g\in G}A_g$ we give necessary and sufficient conditions on $Γ$ that guarantees the existence of a homogeneous antiautomorphism on $A$, i.e., an antiautomorphism $φ$ satisfying $φ(A_g)=A_{θ(g)}$ for some permutation $θ$ of the support of the grading. It turns out that $UT_n$ admits a homogeneous antiautomorphism if and only if the reflection involution of $UT_n$ is homogeneous. Moreover, we prove that…
Matrices as graded BiHom-algebras and decompositions
School of Mathematics, Southeast University(东南大学数学学院);Shing-Tung Yau Centre, School of Mathematics, Southeast University(东南大学数学中心(杨振宁中心));School of Physical and Mathematical Sciences, Nanyang Technological University(南洋理工大学物理与数学科学学院)
Let $ F $ be a finite field and consider $ UT_n $ the algebra of $ n\times n $ upper triangular matrices over $ F $. In [1], it was proved that every $ G $-grading is elementary. In [2], the authors classified all nonisomorphic elementary $ G $-gradings. They also described the set of all $G $-graded polynomial identities for $ UTn $ when $ F $ is an infinite field. In [3], was described the all $ G $-graded polynomial identities for $ UT_n $ when $ F $ is a finite field. In this work, we will discuss the case when $G = \mathbb{Z}_2$, $ n=2, 3 $ and $ F $ is a finite field.
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.
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…