JORDAN DERIVATIONS ON SEMIRINGS OF TRIANGULAR MATRICES arxiv:180208704v1 [mathra] 23 Feb 2018 Abstract Dimitrinka Vladeva University of forestry, bulklohridski 10, Sofia 1000, Bulgaria E-mail: d vladeva@abvbg 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 Keywords: additively idempotent semirings, triangular matrices, Jordan derivations MSC: 12H05, 15A80, 15B33, 16Y60 1 Introduction and preliminaries Boolean algebras, fuzzy algebras, bounded distributive lattices, inclines and other algebraic structures are special cases of additively idempotent semirings These semirings are useful tools in diverse areas such as automata theory, information systems, dynamic programming and decision theory, see [1] The most interesting additively idempotent semirings are max-plus (or min-plus) algebra applied in modeling network, in language theory, in computer sciences and in idempotent analysis applied in mathematical physics The techniques of matrices over semirings of this type are well studied and have important applications, see [2], [3], [4] and [5] In 1957 Herstein, see [6], proved that arbitrary Jordan derivation from a prime ring of characteristic which is not 2 into itself is a derivation This result has been extended by Brešar in [7] and [8] More recently, Benkovič in [9], studied Jordan derivations in triangular matrices and proved, in particular, that there are no proper Jordan derivations from ring of triangular matrices over commutative ring into itself The author studied some derivations in triangular and other types of matrices over semirings in [10] Jordan derivations in finite endomorphism semirings are considered in [11] Since considered derivations in this paper are generated by (0, 1) matrices, the reader is referred to [12]
In the paper, we deal exclusively with the matrices E ij = (a ij ), where { 1, if i = j, a ij = 0, if i j and 0 and 1 are zero and identity of some semiring Evidently E ik E lj = { Eij, if k = l, 0, if k l We denote by UTM n (S) the semiring of upper triangular matrices with entries from some semiring S 2 Jordan derivations generated by (0, 1) matrices Let A = (a ij ) UTM n (S 0 ), where S 0 is an additively idempotent semiring, that is A = a ij E ij, where a ij S 0, i,j = 1,n Let D k = E 11 + +E kk, where 1 k n i j We obtain AD k = a 11 E 11 +a 12 E 12 + +a 1k E 1k +a 22 E 22 + +a 2k E 2k + +a kk E kk Similarly we find D k A = a 11 E 11 +a 12 E 12 + +a 1n E 1n + +a kk E kk + +a kn E kn Since AD k is a submatrix of D k A for Jordan product, it follows A D k = AD k +D k A = D k A, or a 11 a 12 a 1k a 1n 0 a 22 a 2k a 2n A D k = 0 0 a kk a kn 0 0 0 0 0 0 0 0 Let B = i j b ij E ij UTM n (S 0 ) Then, it follows B D k = D k B and (AB) D k = D k (AB) 2
Now we obtain (A D k )B +A(B D k ) = D k AB +AD k B = = (D k A+AD k )B = D k (AB) = (AB) D k It is easy to see that (A+B) D k = D k (A+B) = A D k +B D k Thus we prove Proposition 1 The map δ k : UTM n (S 0 ) UTM n (S 0 ), where S 0 is an additively idempotent semiring and δ k (A) = A D k for any matrix A UTM n (S 0 ), is a derivation It iswell known thatfork = nthemapδ n = iisanidentity map, which isaderivation Since for any matrix A, it follows δ k (A)+δ l (A) = δ l (A), and δ l δ k (A) = δ k (δ l (A)) = δ k (A), where k l, we can write δ k +δ l = δ l +δ k = δ l, for k l δ k δ l = δ l δ k = δ k Let us denote by D the set of derivations δ k, where k = 1,,n Then (D,+,) is a semiring with a zero and smallest element δ 1 and identity and greatest element the identity map δ n Thus (D,+,) is an additively idempotent and also a multiplicatively idempotent semiring Let D m = E n m+1n m+1 + +E nn, where 1 m n We find Similarly we obtain AD m = a 1n m+1 E 1n m+1 + +a 1n E 1n + + +a n m+1n m+1 E n m+1n m+1 + +a n m+1n E n m+1n + +a n mn m E n mn m + +a n mn E n mn + +a nn E nn D m A = a n m+1n m+1 E n m+1n m+1 + +a n m+1n E n m+1n + +a n mn m E n mn m + +a n mn E n mn + +a nn E nn Since D m A is a submatrix of AD m for Jordan product, it follows A D m = AD m +D m A = AD m, or 3
A D m = 0 0 a 1n m+1 a 1n 0 0 a 2n m+1 a 2n 0 0 a n m+1n m+1 a n m+1n 0 0 0 a nn Let B UTM n (S 0 ) Then, it follows Now we find B D m = BD m and (AB) D m = (AB)D m (A D m )B +A(B D m ) = AD m B +ABD m = = A(D m B +BD m ) = (AB)D m = (AB) D m It is easy to see that (A+B) D m = (A+B)D m = A D m +B D m Thus we prove Proposition 2 The map d m : UTM n (S 0 ) UTM n (S 0 ), where S 0 is an additively idempotent semiring and d m (A) = A D m for any matrix A UTM n (S 0 ), is a derivation For m = n the map d n = i is an identity map, which is a derivation Since for any matrix A, it follows d l (A)+d m (A) = d m (A), and d l d m (A) = d m (d l (A)) = d l (A), where l m, we can write d m +d l = d l +d m = d m, for l m d m d l = d l d m = d l Let us denote by D the set of derivations d m, where m = 1,,n Then (D,+,) is a semiring with a zero and smallest element d n and identity and greatest element the identity map d 1 Hence, (D, +,) is an additively idempotent and also a multiplicatively idempotent semiring LetD = D D Sinceelements ofsemirings(d,+,)and(d,+,)arederivationsinthe semiring UTM n (S 0 ) we can add them and their sums are derivations Thus δ k +d m D 4
are derivations for any 1 k n and 1 m n For matrix A = (a ij ) UTM n (S 0 ) and k +m < n, it follows a 11 a 1k a 1k+1 a 1n m a 1n m+1 a 1n 0 a kk a kk+1 a kn m a kn m+1 a kn 0 0 0 0 a k+1n m+1 a k+1n (δ k +d m )(A) = 0 0 0 0 a n mn m+1 a n mn 0 0 0 0 a n m+1n m+1 a n m+1n 0 0 0 0 0 a nn The semigroup (D,+) has no zero element We can define a particular order in (D,+) by rules δ l δ k +d m if l k, d l δ k +d m if l m, δ k1 +d m1 δ k +d m if k 1 k and m 1 m A principal dense submatrix of a matrix A = (a ij ) UTM n (S 0 ) is a square submatrix of A in which the main diagonal consists of the elements a ii,,a jj, where i,,j are consecutive numbers and 1 i j n The matrix (δ k + d m )(A) from above has a principal dense submatrix with main diagonal 0 k+1k+1,,0 n mn m and all entries equal to zero Theorem 1 Let for any matrix A = (a ij ) UTM n (S 0 ), where S 0 is an additively idempotentsemiring, thematrixδ(a) UTM n (S 0 )havethesameelementsa ij, 1 i n, 1 j n except the elements of a principal dense submatrix of A, which are zeroes Then the map δ (: UTM ) n (S 0 ) UTM n (S 0 ) is a derivation The number of all these n+1 derivations δ is 2 Proof The statement that δ is a derivations follows from Proposition 1, Proposition 2 and constructions of derivations δ k +d m, where 1 k n and 1 m n Let s be the order of the principal dense submatrix of A with zero elements When s = 0 the derivation δ is the identity map When s = 1 there are n derivations (namely d n 1,δ 1 +d n 2,,δ n 2 +d 1,d n 1 ) When s = 2 we obtain n 1 derivations (namely d n 2,δ 1 +d n 3,,δ n 3 +d 1,δ n 2 ) 5
For arbitrary s = i, where 1 i n 1, there are n i+1 derivations When s = n 1 we find two derivations (δ 1 and d 1 ) ( ) n+1 Thus the number of all derivations δ is 1+n+n 1+ +2 = 2 3 Products of derivations The product δ k d m, where 1 k n and 1 m n is well defined by rule δ k d m (A) = d m (δ k (A)) for any A UTM n (S 0 ), but in the general case it is not a derivation as we see in the following example Example Let us consider the matrix A = where S 0 is an additively idempotent semiring Then we obtain δ 1 (A) = Thus we find δ 1 d 3 (A) = d 3 ( For any matrix B = a 11 a 12 a 13 0 0 0 0 0 0 b 11 b 12 b 13 0 b 22 b 23 0 0 b 33 a 11 a 12 a 13 0 0 0 0 0 0 a 11 a 12 a 13 0 a 22 a 23 0 0 a 33 and d 3 (A) = ) = a 13 E 13 with entries a ij S 0, 0 0 a 13 0 0 a 23 0 0 a 33 with entries b ij S 0, we obtain that δ 1 d 3 (B) = b 13 E 13 and also δ 1 d 3 (AB) = a 11 b 13 +a 12 b 23 +a 13 b 33 Now we calculate δ 1 d 3 (A)B +Aδ 1 d 3 (B) = a 13 E 13 B +Ab 13 E 13 = (a 13 b 33 +a 11 b 13 )E 13 δ 1 d 3 (AB) Theorem 2 Let δ k,d m D, where 1 k nand1 m n Themapδ k d m = d m δ k is a derivation if and only if δ k +d m is the identity map Proof Let k+m n D k +D m = E δ k +d m = i, where E and i are the identity matrix and the identity map In propositions 1 and 2 we prove that δ k (A) = D k A and d m (A) = AD m Then, it follows δ k d m (A) = d m (δ k (A)) = D k AD m Hence we obtain (δ k d m (A))B = D k AD m B, A(δ k d m (B)) = AD k BD m and δ k d m (AB) = D k ABD m 6
The last matrix has the following representation: D k ABD m = D k A(D k +D m )BD m = D k AD k BD m +D k AD m BD m But D k AD k = (a 11 E 11 +a 12 E 12 + +a 1n E 1n + +a kk E kk + +a kn E kn )(E 11 + + E kk ) = a 11 E 11 + a 12 E 12 + + a 1k E 1k + + a kk E kk = AD k Similarly we find D m BD m = D m B Hence D k ABD m = AD k BD m + D k AD m B, that is δ k d m (AB) = A(δ k d m (B)) + (δ k d m (A))B Since the map δ k d m is evidently linear, it follows that δ k d m is a derivation Let k +m < n, ie the derivation δ k + d m is not the identity map Let us compare the elements in the first row and n-th column of the matrices (δ k d m (A))B +A(δ k d m (B)) and δ k d m (AB) Since (δ k d m (A))B = (D k A)(D m B) = (a 11 E 11 +a 12 E 12 + +a 1n E 1n + +a kk E kk + +a kn E kn )(b n m+1n m+1 E n m+1n m+1 + +b n m+1n E n m+1n +b n mn m E n mn m + +b n mn E n mn + +b nn E nn ), it follows that the element in the first row and n-th n column of this matrix is a 1i b in i=n m+1 Analogously A(δ k d m (B)) = (AD k )(BD m ) = (a 11 E 11 + +a 1k E 1k +a 22 E 22 + + a 2k E 2k + +a kk E kk )(b 1n m+1 E 1n m+1 + +b 1n E 1n + +b n m+1n m+1 E n m+1n m+1 + +b n m+1n E n m+1n +b n mn m E n mn m + +b n mn E n mn + +b nn E nn ) and then k the element in the first row and n-th column of this matrix is a 1i b in The element in the first row and n-th column of matrix δ k d m (AB) is n a 1i b in However in general case n i=n m+1 a 1i b in + k a 1i b in i=1 a 1n m b n mn not occur in the left sum Immediately from the last theorem follows i=1 i=1 n a 1i b in, because at least the summand Corollary 1 For for any matrix A = (a ij ) UTM n (S 0 ), where S 0 is an additively idempotent semiring and derivation δ k D, where k = 1,,n 1, the product δ k d n k i=1 7
is a derivation and δ k d n k (A) = 0 0 a 1k+1 a 1n 0 0 a kk+1 a kn 0 0 0 0 0 0 0 0 Derivations δ k and d n k are called complementary derivations In [12] we prove that the map D : UTM n (S 0 ) UTM n (S 0 ), where S 0 is an additively idempotent semiring, such that D(A) = A\diag(a 11,,a nn ) for any matrix A = (a ij ) UTM n (S 0 ) is a derivation The derivation D can be represented as a sum of products of all complementary derivations δ k and d n k : D = δ 1 d n 1 +δ 2 d n 2 + +δ n 1 d 1 Immediately from the last theorem follows Corollary 2 For any matrix A = (a ij ) UTM n (S 0 ), where S 0 is an additively idempotent semiring and derivation δ k D, where k = 1,,n 1, the product δ k d n k+p, where 1 p k, is a derivation and 0 0 a 1k p+1 a 1k a 1k+1 a 1n 0 0 a k pk p+1 a k p+1k a k p+1k+1 a k p+1n 0 0 a k p+1k p+1 a k p+1k a k p+1k+1 a k p+1n δ k d n k+p (A) = 0 0 0 a kk a kk+1 a kn 0 0 0 0 0 0 0 0 0 0 0 0 Let us consider the matrix A = (a ij ) UTM n (S 0 ), where S 0 is an additively idempotent semiring Denote by A(i k,n k ) the principal dense submatrix of A with main diagonal a ik i k a ik +n k 1i k +n k 1 8
An arbitrary finite set of principal dense submatrices A(i k,n k ), where k = 1,,s, without common elements is called a family Theorem 3 Let for any matrix A = (a ij ) UTM n (S 0 ), where S 0 is an additively idempotentsemiring, thematrixδ(a) UTM n (S 0 )havethesameelementsa ij, 1 i n, 1 j n except the elements of a family of principal dense submatrices A(i k,n k ), where k = 1,,s, which arezeroes Then the mapδ : UTM n (S 0 ) UTM n (S 0 ) is a derivation The number of all these derivations δ is 2 n Proof Let on the main diagonal of the matrix δ(a) there are only zeroes In other words the family of principal dense submatrices A(1,n 1 ),A(n 1 +1,n 2 ),,A(n s +1,n) covers the main diagonal Then, using the complemented derivations (see Corrolary 1) we obtain δ = δ n1 d n n1 +δ n2 d n n2 + +δ ns d n ns Let the nonzero elements on the main diagonal of the matrix δ(a) are: a 11,, a i1 1i 1 1, a i1 +n 1 i 1 +n 1,, a i2 1i 2 1, a i2 +n 2 i 2 +n 2,, a i3 1i 3 1, a is 1 +n s 1 i s 1 +n s 1,, a is 1i s 1 (1) This construction of the set of nonzero elements corresponds to the family of principal dense submatrices A(i 1,n 1 ),A(i 2,n 2 ),,A(i s 1,n s 1 ),A(i s,n s ), where i s +n s 1 = n with zero elements Then, using the derivations δ k d n k+p from Corrolary 2 we find δ = δ i1 1 +δ i2 1d n i1 n 1 +1 + +δ is 1d n is 1 n s 1 +1 (2) By the similar reasonings we consider the case when the first diagonal element of the matrix δ(a) is zero So, when nonzero elements of the main diagonal are those in (1) without elements on first row, from (2) we obtain δ = δ i2 1d n i1 n 1 +1 + +δ is 1d n is 1 n s 1 +1 (3) 9
Analogously, when the last nonzero elements on the main diagonal of the matrix δ(a) are a is+n si s+n s,,a nn from (2) (or from (3)) we have or respectively δ = δ i1 1 +δ i2 1d n i1 n 1 +1 + +δ is 1d n is 1 n s 1 +1 +d n is n s+1 4 Other derivations δ = δ i2 1d n i1 n 1 +1 + +δ is 1d n is 1 n s 1 +1 +d n is n s+1 In order to obtain derivations different from the above considered we explore the maxplus semiring (R max,, ), where R max = R { }, R is the field of real numbers and for any a,b R a b = max{a,b} and a b = a+b For any x R max we define a map δ x : R max R max such that δ x (a) = a x = a+x, where a R max When x = 0 obviously δ x is an identity map in R max Proposition 3 The map δ x : R max R max is a derivation for any x R max Proof We obtain δ x (a b) = (a b) x = (a x) (b x) = δ x (a) δ x (b) Since δ x (a b) = (a b) x = a+b+x, δ x (a) b = (a x) b = a+x+b = a+b+x and a δ x (b) = a (b x) = a+b+x, it follows (δ x (a) b) (a δ x (b)) = max{(a+b+x),(a+b+x)} = a+b+x = δ x (a b) Let x,y R max Since δ y (δ x (a)) = δ y (a x) = (a x) y = a+x+y = δ x y (a) for any a R max, it follows δ x δ y = δ x y (a) Hence for any real number x we obtain that δ x δ x is the identity map It is easy to see that δ 2 x = δ x for any x 10
Let DER max be the set of all derivations δ x where x R max Thus we obtain Corrolary 3 The set DER max is an idempotent Abelian group which identity is the identity map It is easy to prove the following fact Proposition 4 Let (S, +,) be an additively idempotent semiring and maps δ 1 : S S and δ 2 : S S are derivations Then δ 1 + δ 2 defined by (δ 1 + δ 2 )(x) = δ 1 (x)+δ 2 (x) for any x S is a derivation in S Immediately follows Corrolary 4 (DER max,, ) is an additively idempotent semifield and all its element are multiplicatively idempotent NowfromProposition1, [12], foranyδ x DER max wedefinethehereditaryderivation δ h x insemiring UTM n(r max ) Inthesamewaywedefinederivationsinsemiring UTM n (S), where S is a finite endomorphism semiring Hence, in general, in UTM n (S 0 ), where S 0 is an additively idempotent semiring, there are derivations different from considered Jordan derivations References [1] J Golan, Semirings and Their Applications, Kluwer, Dordrecht, 1999 [2] P Butkovič, Max-algebra: the linear algebra of combinatorics?, Linear Algebra Appl 367 (2003) 313 335 [3] P Butkovič, RA Cuninghame-Green, On matrix powers in max-algebra, Linear Algebra Appl 421 (2007) 370 381 [4] P Butkovič, Max-linear Systems: Theory and Algorithms, Springer-Verlag London Limited, 2010 [5] P Butkovič, On tropical supereigenvectors, Linear Algebra Appl 498 (2016) 574 591 [6] IN Herstein, Jordan derivations of prime rings, Proc Amer Math Soc 8 (1957) 1104 1110 [7] M Brešar, Jordan mappings of semiprime rings, J Algebra 127 (1989) 218 228 11
[8] M Brešar, Jordan derivations revisited, Math Proc Cambridge Philos Soc 139 (2005) 411 425 [9] D Benkovič, Jordan derivations and antiderivations on triangular matrices, Linear Algebra Appl 397 (2005) 235 244 [10] D Vladeva, Derivatives of triangular, Toeplitz, circulant matrices and of matrices of other forms over semirings, Appl Math in Eng and Econ 41th Int Conf 2017, American Institute of Physics Conference Proceedings 1910 (2017) 060006-1 060006-12 [11] D Vladeva, Jordan derivations in finite endomorphism semirings, arxiv: 170806146 v2 [mathra] 22 Aug 2017 [12] R Brualdi, H Ryser, Combinatorial matrix theory, Cambridge Univ Press, 1991 12