Let G be an arbitrary group and let K be a field of characteristic different from 2. We classify the G-gradings on the Jordan algebra of upper triangular matrices of order n over K. It turns out that there are, up to a graded isomorphism, two families of gradings: the elementary gradings (analogous to the ones in the associative case), and the so called mirror type (MT) gradings. Moreover we prove that the G-gradings on this algebra are uniquely determined, up to a graded isomorphism, by the graded identities they satisfy.
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 $…
The main purpose of this paper is to show that every Jordan centralizer and every Jordan two-sided centralizer is a centralizer on triangular rings without assuming unity. As an application, we prove that every Jordan generalized derivation on a triangular ring is a two-sided generalized derivation. Some other related results are also discussed.
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…
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}…
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…
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…
We explore Jordan derivations of triangular matrices with entries from an additively idempotent semiring. The main result states that for any matrix A over additively idempotent semiring, if we put all the elements of the family of dense submatrices of A to be zeroes, we find a derivative of A. The set of derivations of this type is established.
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 (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.
In this paper, we show that a map $δ$ over a triangular ring $\mathcal{T}$ satisfying $δ(ab+ba)=δ(a)b+a τ(b)+δ(b)a+bτ(a)$, for all $a,b\in \mathcal{T}$ and for some maps $τ$ over $\mathcal{T}$ satisfying $τ(ab+ba)=τ(a)b+a τ(b)+τ(b)a+bτ(a)$, is additive. Also, it is shown that a map $T$ on $\mathcal{T}$ satisfying $T(ab)=T(a)b=aT(b)$, for all $a,b\in \mathcal{T}$, is additive. Further, we establish that if a map $D$ over $\mathcal{T}$ satisfies $(m+n)D(ab)=2mD(a)b+2naD(b)$, for all $a,b\in \mathcal{T}$ and integers $m,n\geq 1$, then $D$ is additive.
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…
Let C be a commutative ring with unity. In this article, we show that every Jordan derivation over an upper triangular matrix algebra T_n(C) is an inner derivation. Further, we extend the result for Jordan derivation on full matrix algebra M_n(C).
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…
Motivated by the works of Wang [Y. Wang, \textit{Lie (Jordan) derivations of arbitrary triangular algebras,} Aequationes Mathematicae, \textbf{93} (2019), 1221-1229] and Moafian et al. [F. Moafian and H. R. Ebrahimi Vishki, \textit{Lie higher derivations on triangular algebras revisited,} Filomat, \textbf{30}(12) (2016), 3187-3194.], we shall study Lie higher derivations of arbitrary triangular algebras. In fact, it is shown that every Lie higher derivation on an arbitrary triangular algebra is proper, using the notion of maximal left (right) ring of quotients.
Let $\mathfrak{A}$ be a unital ring with a nontrivial idempotent. In this paper, it is shown that under certain conditions every multiplicative generalized Jordan $n$-derivation $Δ:\mathfrak{A}\rightarrow\mathfrak{A}$ is additive. More precisely, it is proved that $Δ$ is of the form $Δ(t)=μt+δ(t),$ where $μ\in\mathcal{Z}(\mathfrak{A})$ and $δ:\mathfrak{A}\rightarrow\mathfrak{A}$ is a Jordan $n$-derivation. The main result is then applied to some classical examples of unital rings with nontrivial idempotents such as triangular rings, matrix rings, prime rings, nest algebras, standard operator a…
The notion of f-derivations was introduced by Beidar and Fong to unify several kinds of linear maps including derivations, Lie derivations and Jordan derivations. In this paper we introduce the notion of f-biderivations as a natural "biderivation" counterpart of the notion of "f-derivations". We first show, under some conditions, that any f-derivation is a Jordan biderivation. Then, we turn to study f-biderivations of a unital algebra with an idempotent. Our second main result shows, under some conditions, that every Jordan biderivation can be written as a sum of a biderivation, an antibideriv…
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.
