BRUNO L. M. FERREIRA AND HENRIQUE GUZZO JR.

Size: px
Start display at page:

Download "BRUNO L. M. FERREIRA AND HENRIQUE GUZZO JR."

Transcription

1 REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Vol. 60, No. 1, 2019, Pages 9 20 Published online: February 11, LIE n-multiplicative MAPPINGS ON TRIANGULAR n-matrix RINGS BRUNO L. M. FERREIRA AND HENRIQUE GUZZO JR. Abstract. We extend to triangular n-matrix rings and Lie n-multiplicative maps a result about Lie multiplicative maps on triangular algebras due to Xiaofei Qi and Jinchuan Hou. 1. Introduction Let R be an associative ring and [x 1, x 2 ] = x 1 x 2 x 2 x 1 denote the usual Lie product of x 1 and x 2. Let us define the following sequence of polynomials: p 1 (x) = x and p n (x 1, x 2,..., x n ) = [p n 1 (x 1, x 2,..., x n 1 ), x n ] for all integers n 2. Thus, p 2 (x 1, x 2 ) = [x 1, x 2 ], p 3 (x 1, x 2, x 3 ) = [[x 1, x 2 ], x 3 ], etc. Let n 2 be an integer. Assume that S is any ring. A map ϕ : R S is called a Lie n-multiplicative mapping if ϕ(p n (x 1, x 2,..., x n )) = p n (ϕ(x 1 ), ϕ(x 2 ),..., ϕ(x n )). (1) In particular, if n = 2, ϕ will be called a Lie multiplicative mapping. And, if n = 3, ϕ will be called a Lie triple multiplicative mapping. The study on the question of when a particular application between two rings is additive has become an area of great interest in the theory of rings. One of the first results ever recorded was given by Martindale III, which in his condition requires that the ring possess idempotents, see [4]. Xiaofei Qi and Jinchuan Hou [6] also considered this question in the context of triangular algebras. They proved the following theorem. Theorem 1.1 (Xiaofei Qi and Jinchuan Hou [6]). Let A and B be unital algebras over a commutative ring R, and let M be a (A, B)-bimodule, which is faithful as a left A-module and also as a right B-module. Let U = Tri(A, M, B) be the triangular algebra and V any algebra over R. Assume that Φ : U V is a Lie multiplicative isomorphism, that is, Φ satisfies Φ(ST T S) = Φ(S)Φ(T ) Φ(T )Φ(S) S, T U. Then Φ(S + T ) = Φ(S) + Φ(T ) + Z S,T for all S, T U, where Z S,T is an element in the centre Z(V) of V depending on S and T Mathematics Subject Classification. 47L35; 16W25. Key words and phrases. Triangular n-matrix rings; Additivity; Lie n-multiplicative maps. 9

2 10 BRUNO L. M. FERREIRA AND HENRIQUE GUZZO JR. This motivated us to discuss the additivity of Lie n-multiplicative mappings on another kind of rings: triangular n-matrix rings. In this paper, we give a full answer to this question, where Xiaofei Qi and Jinchuan Hou s result is a consequence of our case. 2. Motivation and definitions For any unital ring R, let Mod(R) denote the category of unitary R-modules, i.e., satisfying 1m = m for all elements m. This category is important in many areas of mathematics such as ring theory, representation theory, and homological algebra. The purpose of this paper is to work with a more general category, that is, Mod(R) where R does not have identity element. In this paper R denotes the unital ring R Z. Define operations on R by (r, λ) + (t, µ) := (r + t, λ + µ), (r, λ) (t, µ) := (rt + λt + µr, λµ). Then R is a ring with (0 R, 1) := 1 R as multiplicative identity. If M is a non unitary R-module, define a right R-module operation by and a left R-module operation by (r, λ)m := rm + λm m(r, λ) := mr + λm, where the action Z on M is the usual of M as a Z-module. A module over R is the same thing as a unitary R-module. The following definition is a generalization of the definition that arises in the work of W. S. Cheung [1]. This definition appears in Ferreira s paper [3]. Definition 2.1. Let R 1, R 2,..., R n be rings and M ij (R i, R j )-bimodules with M ii = R i for all 1 i j n. Let ϕ ijk : M ij Rj M jk M ik be (R i, R k )- bimodules homomorphisms with ϕ iij : R i Ri M ij M ij and ϕ ijj : M ij Rj R j M ij the canonical multiplication maps for all 1 i j k n. Write ab = ϕ ijk (a b) for a M ij, b M jk. We consider Let (i) M ij is faithful as a left R i -module and faithful as a right R j -module i < j. (ii) if m ij M ij is such that R i m ij R j = 0 then m ij = 0 i < j. T = r 11 m m 1n r m 2n.... r nn n n : r ii R i (= M ii ), m ij M ij }{{} (1 i<j n) be the set of all n n matrices [m ij ] with the (i, j)-entry m ij M ij for all 1 i j n. Observe that, with the obvious matrix operations of addition and multiplication, T is a ring iff a(bc) = (ab)c for all a M ik, b M kl and c M lj

3 LIE n-multiplicative MAPPINGS ON TRIANGULAR n-matrix RINGS 11 for all 1 i k l j n. When T is a ring, it is called a triangular n-matrix ring. Note that if n = 2 we have the triangular matrix ring. As in [3] we denote by r n r r ii the element... in T.. r nn { { } m ij, if (k, t) = (i, j) Set T ij = (m kt ) : m kt = 0, if (k, t) (i, j), i j. Then we can write T = T ij. Henceforth the element a ij belongs to T ij and the corresponding elements are in R 1,..., R n or M ij. By a direct calculation a ij a kl = 0 if j k. Also as in [3] we define natural projections π Ri : T R i (1 i n) by r 11 m m 1n r m 2n.... r ii. r nn Definition 2.2. Let R, S be rings; we shall say that the Lie n-multiplicative mapping ϕ : R S is almost additive if there exist S A,B in the centre Z(S) of S depending on A and B such that for all A, B R. ϕ(a + B) = ϕ(a) + ϕ(b) + S A,B The proposition below appears in [3]; it is a generalization of Proposition 3 of [1] and will be very useful. Proposition 2.1. Let T be a triangular n-matrix ring. The center of T is { n } Z(T) = r ii r ii m ij = m ij r jj for all m ij M ij, i < j. Furthermore, Z(T) ii = πri (Z(T)) Z(R i ), and there exists a unique ring isomorphism τ j i from π Ri (Z(T)) to π Rj (Z(T)) i j such that r ii m ij = m ij τ j i (r ii) for all m ij M ij. Remark 2.1. Throughout this paper we shall make some identifications. example: let r kk R k and m ij M ij ; then r kk r kk For

4 12 BRUNO L. M. FERREIRA AND HENRIQUE GUZZO JR. and m ij 0 m ij where i, j, k {1, 2,..., n}. In addition we have the following identifications: Let R = R Z be a unital ring. If r R then r (r, 0). And ϕ Id : R Z S Z with (ϕ Id)(r, λ) = (ϕ(r), Id(λ)) = (ϕ(r), λ), where Id is the identity map on Z. By a straightforward calculus it is shown that ϕ Id is a Lie n-multiplicative mapping. Sometimes we shall do ϕ Id ϕ. 3. A key lemma The following results are generalizations of those that appear in [6]. Lemma 3.1 (Standard lemma). Let A, B, C R and ϕ(c) = ϕ(a) + ϕ(b). Then for any T 1, T 2,..., T n 1 R, we have ϕ(p n (C, T 1, T 2,..., T n 1 )) = ϕ(p n (A, T 1, T 2,..., T n 1 )) Proof. Using (1) we have + ϕ(p n (B, T 1, T 2,..., T n 1 )). ϕ(p n (C, T 1, T 2,..., T n 1 )) = p n (ϕ(c), ϕ(t 1 ), ϕ(t 2 ),..., ϕ(t n 1 )) Note that if = p n (ϕ(a) + ϕ(b), ϕ(t 1 ), ϕ(t 2 ),..., ϕ(t n 1 )) = p n (ϕ(a), ϕ(t 1 ), ϕ(t 2 ),..., ϕ(t n 1 )) + p n (ϕ(b), ϕ(t 1 ), ϕ(t 2 ),..., ϕ(t n 1 )) = ϕ(p n (A, T 1, T 2,..., T n 1 )) ϕ(p n (A, T 1, T 2,..., T n 1 )) + ϕ(p n (B, T 1, T 2,..., T n 1 )) then by the injectivity of ϕ we get + ϕ(p n (B, T 1, T 2,..., T n 1 )). = ϕ(p n (A, T 1, T 2,..., T n 1 ) + p n (B, T 1, T 2,..., T n 1 )), p n (C, T 1, T 2,..., T n 1 ) = p n (A, T 1, T 2,..., T n 1 ) + p n (B, T 1, T 2,..., T n 1 ). Lemma 3.2. Let R 1, R 2,..., R n be rings and M ij (R i, R j )-bimodules as in Definition 2.1. Let T be the triangular n-matrix ring. If p 2 (A, T) Z(T) then A Z(T) for each A T. Moreover, if p n (A, T,..., T) Z(T) then A Z(T) for each A T.

5 LIE n-multiplicative MAPPINGS ON TRIANGULAR n-matrix RINGS 13 Proof. Let A = a ij such that p 2 (A, T) Z(T). Thus p 2 (A, R k ) Z(T) for k = 1,..., n 1, and it follows that p 2 (A, R k ) = i p 2 (a ik, R k ) + j p 2 (a kj, R k ) + p 2 (a kk, R k ), because If i < j, k i and k j then p 2 (a ij, R k ) = 0; If i = j and k i then p 2 (a ii, R k ) = 0. As p 2 (A, R k ) Z(T) we have p 2 (A, R k ) = p 2 (a kk, R k ) for k = 1,..., n 1 by Proposition 2.1. Consequently, p 2 (A, R k )m kj = 0 for k < j. Since M kj is faithful as a left R k -module, we see that p 2 (A, R k ) = 0 for k = 1,..., n 1. In the case k = n we use an analogous argument and we obtain m in p 2 (A, R n ) = 0. And since M in is faithful as a right R n -module, it follows that p 2 (A, R n ) = 0. Now note that p 2 (A, M ij ) = p 2 (A ii, M ij ) + p 2 (A jj, M ij ) and as p 2 (A, M ij ) Z(T) we get p 2 (A, M ij ) = 0 for i < j. Therefore p 2 (A, T) = 0, that is, A Z(T). 4. Main results Let s state our main result in this section, which is a generalization of Theorem 2.1 in [6]. Theorem 4.1. Let T be the triangular n-matrix ring and S any ring. Consider ϕ : T S a bijection Lie n-multiplicative mapping satisfying Then (i) ϕ(z(t)) Z(S). ϕ(a + B) = ϕ(a) + ϕ(b) + S A,B for all A, B T, where S A,B is an element in the centre Z(S) of S depending on A and B. To prove Theorem 4.1 we introduce a set of lemmas, almost all of which are generalizations of claims in [6]. We begin with the following lemma. Lemma 4.1. ϕ(0) = 0. Proof. Indeed, ϕ(0) = ϕ(p n (0, 0,..., 0)) = p n (ϕ(0), ϕ(0),..., ϕ(0)) = [ [[ϕ(0), ϕ(0)], ϕ(0)],... ] = 0. Lemma 4.2. For any A T and any Z Z(T), there exists S Z(S) such that ϕ(a + Z) = ϕ(a) + S. Proof. Note that ϕ 1 is also a bijection Lie n-multiplicative map. Let A T, Z Z(T) and T 2,..., T n T. As ϕ 1 is surjective we have ϕ 1 (S ) = A and

6 14 BRUNO L. M. FERREIRA AND HENRIQUE GUZZO JR. ϕ 1 (S) = Z. Now as ϕ(z(t)) Z(S) by condition (i) of Theorem 4.1 we have ϕ(p n (ϕ 1 (S + S), T 2,..., T n )) = p n (S + S, ϕ(t 2 ),..., ϕ(t n )) = p n (S, ϕ(t 2 ),..., ϕ(t n )) = ϕ(p n (ϕ 1 (S ), T 2,..., T n )). Thus, p n (ϕ 1 (S + S) ϕ 1 (S ), T 2,..., T n ) = 0, and it follows that ϕ 1 (S + S) ϕ 1 (S ) Z(T) by Lemma 3.2. Therefore ϕ(a + Z) = ϕ(a) + S. Lemma 4.3. For any a kk R k, a ii R i, a jj R j and m ij M ij, i < j, there exist S, S 1, S 2 Z(S) such that ϕ(a kk + m ij ) = ϕ(a kk ) + ϕ( m ij ) + S; i<j i<j ϕ(a ii + m ij ) = ϕ(a ii ) + ϕ(m ij ) + S 1 ; ϕ(a jj + m ij ) = ϕ(a jj ) + ϕ(m ij ) + S 2. Proof. We shall only prove the first item because the demonstrations of the others are similar. It is important to note that if ϕ is Lie 2-multiplicative mapping (i.e., Lie multiplicative mapping), then ϕ is also Lie n-multiplicative mapping for any n 3. Therefore, the following proof is valid for all n 2. As ϕ is surjective, there is an element H = h ij T such that ϕ(h) = ϕ(a kk ) + ϕ( i<j m ij ). Let b jj R j, j k and T 3,..., T n T; by Lemma 3.1 we have ϕ(p n (H, b jj, T 3,..., T n )) = ϕ(p n (a kk, b jj, T 3,..., T n )) + ϕ(p n ( i<j m ij, b jj, T 3,..., T n )) = ϕ(p n (m ij, b jj, T 3,..., T n )). It follows that p n (H m ij, b jj, T 3,..., T n ) Z(T) and by Lemma 3.2 we get p 2 (H m ij, b jj ) Z(T), thus p 2 (h jj, b jj ) Z(T). Therefore p 2 (h ij m ij, b jj ) = 0, i<j that is (h ij m ij )b jj = 0 for all b jj R j and by condition (ii) of Definition 2.1 we get h ij = m ij. Now consider b kj M kj ; by standard Lemma 3.1 we have ϕ(p n (H, b kj, T 3,..., T n )) = ϕ(p n (a kk, b kj, T 3,..., T n )) + ϕ(p n ( i<j m ij, b kj, T 3,..., T n )) = ϕ(p n (a kk, b kj, T 3,..., T n )) + ϕ(0) = ϕ(p n (a kk, b kj, T 3,..., T n )). It follows that p n (H a kk, b kj, T 3,..., T n ) = 0 and by Lemma 3.2 we have p 2 (H a kk, b kj ) Z(T). Thus by Proposition 2.1 we get p 2 (H a kk, b kj ) = 0, which implies that (h kk a kk )b kj = b kj h jj for all b kj M kj. Therefore by Proposition 2.1

7 LIE n-multiplicative MAPPINGS ON TRIANGULAR n-matrix RINGS 15 we obtain l {k,j} verify that the lemma is valid. h ll + (h kk a kk + h jj ) Z(T). And finally by Lemma 4.2 we Lemma 4.4. For any m ij, s ij M ij with i < j, we have ϕ(m ij + s ij ) = ϕ(m ij ) + ϕ(s ij ). Proof. Firstly we note that for any m ij, s ij M ij, i < j, the following identity is valid: m ij + s ij = p n (1 Ri + s ij, 1 Rj + m ij, 1 Rj,..., 1 Rj ). Indeed, due to Remark 2.1 we get m ij + s ij = p 2 (1 Ri + s ij, 1 Rj + m ij ). It follows that m ij + s ij = p n (1 Ri + s ij, 1 Rj + m ij, 1 Rj,..., 1 Rj ). Finally by Lemma 4.3 we have ϕ(m ij + s ij ) = ϕ(p n (1 Ri + s ij, 1 Rj + m ij, 1 Rj,..., 1 Rj )) = p n (ϕ(1 Ri + s ij ), ϕ(1 Rj + m ij ), ϕ(1 Rj ),..., ϕ(1 Rj )) = p n (ϕ(1 Ri ) + ϕ(s ij ) + S 1, ϕ(1 Rj ) + ϕ(m ij ) + S 2, ϕ(1 Rj ),..., ϕ(1 Rj )) = p n (ϕ(1 Ri ) + ϕ(s ij ), ϕ(1 Rj ) + ϕ(m ij ), ϕ(1 Rj ),..., ϕ(1 Rj )) = p n (ϕ(1 Ri ), ϕ(1 Rj ), ϕ(1 Rj ),..., ϕ(1 Rj )) + p n (ϕ(1 Ri ), ϕ(m ij ), ϕ(1 Rj ),..., ϕ(1 Rj )) + p n (ϕ(s ij ), ϕ(1 Rj ), ϕ(1 Rj ),..., ϕ(1 Rj )) + p n (ϕ(s ij ), ϕ(m ij ), ϕ(1 Rj ),..., ϕ(1 Rj )) = ϕ(p n (1 Ri, 1 Rj, 1 Rj,..., 1 Rj )) + ϕ(p n (1 Ri, m ij, 1 Rj,..., 1 Rj )) + ϕ(p n (s ij, 1 Rj, 1 Rj,..., 1 Rj )) + ϕ(p n (s ij, m ij, 1 Rj,..., 1 Rj )) = ϕ(p n (1 Ri, m ij, 1 Rj,..., 1 Rj )) + ϕ(p n (s ij, 1 Rj, 1 Rj,..., 1 Rj )) = ϕ(0) + ϕ(m ij ) + ϕ(s ij ) + ϕ(0) = ϕ(m ij ) + ϕ(s ij ). Lemma 4.5. For any a ii, b ii R i, i = 1, 2,..., n, there exists S i Z(S) such that ϕ(a ii + b ii ) = ϕ(a ii ) + ϕ(b ii ) + S i. Proof. As ϕ is surjective, there is an element H = h ij T such that ϕ(h) = ϕ(a ii ) + ϕ(b ii ). Let c kk R k, k i and T 3,..., T n T; by Lemma 3.1 we have ϕ(p n (H, c kk, T 3,..., T n )) = ϕ(p n (a ii, c kk, T 3,..., T n )) + ϕ(p n (b ii, c kk, T 3,..., T n )) = ϕ(0) + ϕ(0) = 0 It follows that p n (H, c kk, T 3,..., T n ) Z(T) and by Lemma 3.2 we get p 2 (H, c kk ) Z(T), thus p 2 (h kk, c kk ) Z(T). Therefore by condition (i) of Definition 2.1 we

8 16 BRUNO L. M. FERREIRA AND HENRIQUE GUZZO JR. have h kk Z(R k ). Moreover, i<j p 2 (h ij, c kk ) = 0, that is, h ik c kk = 0 for all c kk R k and by condition (ii) of Definition 2.1 we get h ik = 0. Now consider c ij M ij and r jj R j ; by standard Lemma 3.1 and Lemma 4.4 we have ϕ(p n (H, c ij, r jj,..., r jj )) = ϕ(p n (a ii, c ij, r jj,..., r jj )) + ϕ(p n (b ii, c ij, r jj,..., r jj )) = ϕ(p n (a ii + b ii, c ij, r jj,..., r jj )). It follows that p n (H (a ii + b ii ), c ij, r jj,..., r jj ) = 0 and by (ii) of Definition 2.1 we get (h ii (a ii + b ii ))c ij = c ij h jj for all c ij M ij. Therefore by Proposition 2.1 we obtain h ll + h ii (a ii + b ii ) + h jj Z(T). And finally by Lemma 4.2 we l {i,j} see that the Lemma is valid. Lemma 4.6. For any T T with T = that ϕ(t ) = ϕ(t ij ) + S. Proof. As ϕ is surjective, there is an element H = ϕ(h) = n ϕ(t tt ) + t=1 Let c kk R k, k = 1, 2,..., n; by Lemma 3.1 we have T ij, there exists S Z(S) such ϕ(t ij ). ϕ(p n (H, c kk, c kk,..., c kk )) = ϕ(p n (T kk, c kk, c kk,..., c kk )) k H ij T such that ϕ(p n (T ik, c kk, c kk,..., c kk )) n j=k+1 ϕ(p n (T kj, c kk, c kk,..., c kk )). Now let c ll R l with l {1,..., k 1}; again by Lemma 3.1 we get ϕ(p n (p n (H, c kk, c kk,..., c kk ), c ll, c ll,..., c ll )) Since ϕ is injective we have p n (p n (H, c kk, c kk,..., c kk ), c ll, c ll,..., c ll ) = ϕ(p n (p n (T lk, c kk, c kk,..., c kk ), c ll, c ll,..., c ll )). = p n (p n (T lk, c kk, c kk,..., c kk ), c ll, c ll,..., c ll ). It follows that p n (p n (H T lk, c kk, c kk,..., c kk ), c ll, c ll,..., c ll ) = 0 and by (ii) of Definition 2.1 we obtain H lk = T lk. Again let c qq R q with q {k + 1,..., n}; by

9 LIE n-multiplicative MAPPINGS ON TRIANGULAR n-matrix RINGS 17 Lemma 3.1 we get ϕ(p n (p n (H, c kk, c kk,..., c kk ), c qq, c qq,..., c qq )) Since ϕ is injective we have p n (p n (H, c kk, c kk,..., c kk ), c qq, c qq,..., c qq ) = ϕ(p n (p n (T kq, c kk, c kk,..., c kk ), c qq, c qq,..., c qq )). = p n (p n (T kq, c kk, c kk,..., c kk ), c qq, c qq,..., c qq ). It follows that p n (p n (H T kq, c kk, c kk,..., c kk ), c qq, c qq,..., c qq ) = 0 and by (ii) of Definition 2.1 we obtain H kq = T kq. Finally let c tt R t and c kt M kt, k < t; by Lemma 3.1 we have ϕ(p n (H, c kt, c tt,..., c tt )) = ϕ(p n (T kk, c kt, c tt,..., c tt )) k 1 + ϕ(p n (T tt, c kt, c tt,..., c tt )) + ϕ(p n (T ik, c kt, c tt,..., c tt )) + n j=t+1 ϕ(p n (T tj, c kt, c tt,..., c tt )) = ϕ(p n (T kk, c kt, c tt,..., c tt )) k 1 + ϕ(p n (T tt, c kt, c tt,..., c tt )) + ϕ(p n (T ik, c kt, c tt,..., c tt )) + ϕ(0) = ϕ(p n (T kk, c kt, c tt,..., c tt )) + ϕ(p n (T tt, c kt, c tt,..., c tt )) ϕ(p n (T ik, c kt, c tt,..., c tt )). k 1 + Now let c kk R k ; by Lemma 3.1 and Lemma 4.4 we obtain ϕ(p n (p n (H, c kt, c tt,..., c tt ), c kk, c kk,..., c kk )) = ϕ(p n (p n (T kk, c kt, c tt,..., c tt ), c kk, c kk,..., c kk )) + ϕ(p n (p n (T tt, c kt, c tt,..., c tt ), c kk, c kk,..., c kk )) ϕ(p n (p n (T ik, c kt, c tt,..., c tt ), c kk, c kk,..., c kk )) k 1 + Since ϕ is injective we have = ϕ(p n (p n (T kk, c kt, c tt,..., c tt ), c kk, c kk,..., c kk ) k 1 + p n (p n (T tt, c kt, c tt,..., c tt ), c kk, c kk,..., c kk )) + ϕ(0) = ϕ(p n (p n (T kk + T tt, c kt, c tt,..., c tt ), c kk, c kk,..., c kk )). p n (p n (H (T kk + T tt ), c kt, c tt,..., c tt ), c kk, c kk,..., c kk ) = 0.

10 18 BRUNO L. M. FERREIRA AND HENRIQUE GUZZO JR. By (ii) of Definition 2.1 it follows that (H kk T kk )c kt = c kt (H tt T tt ) for all n n c kt M kt. Therefore H ii = T ii + Z, where Z Z(T). Now by Lemma 4.2 the result is true. We are ready to prove our Theorem 4.1. Proof of Theorem 4.1. Let A, B T. By the previous lemmas we have ϕ(a + B) = ϕ( A ij + B ij ) = ϕ( = = n (A kk + B kk ) + n ϕ((a kk + B kk )) + n ϕ(a kk ) + + = ϕ( n A kk + + ϕ( n B kk + (A ij + B ij )) ϕ((a ij + B ij )) + S A,B n ϕ(b kk ) + n S Rk + ϕ(b ij ) + S A,B ϕ(a ij )) S A ϕ(b ij )) S B + ϕ(a ij ) n S Rk + S A,B = ϕ(a) + ϕ(b) + S A,B, n where S A,B = S Rk S A S B + S A,B, so the theorem is proved. 5. Final remarks Corollary 5.1. Let T be the triangular n-matrix unital ring and S be a ring satisfying the condition If p 2 (s, S) Z(S) then s Z(S). If ϕ : T S is a bijective Lie n-multiplicative mapping then ϕ is almost additive. Proof. Indeed, let ϕ : T S be a bijective Lie n-multiplicative mapping, T 2,..., T n T, and Z Z(T); we have p n (ϕ(z), ϕ(t 2 ),..., ϕ(t n )) = ϕ(p n (Z, T 2,..., T n )) = ϕ(0) = 0. Since T 2,... T n are arbitrary and ϕ is surjective it follows that ϕ(z) Z(S).

11 LIE n-multiplicative MAPPINGS ON TRIANGULAR n-matrix RINGS 19 Proposition 5.1. For any prime ring R, the statement If p 2 (r, R) Z(R) then r Z(R) holds true. Proof. See [5, Lemma 3]. Theorem 5.1. Let T be a triangular n-matrix unital ring and S be a prime ring. Then any bijective Lie n-multiplicative mapping from T onto S is almost additive. Corollary 5.2 (Xiaofei Qi and Jinchuan Hou [6]). Let A and B be unital algebras over a commutative ring R, and let M be a (A, B)-bimodule, which is faithful as a left A-module and also as a right B-module. Let U = Tri(A, M, B) be the triangular algebra and V any algebra over R. Assume that Φ : U V is a Lie multiplicative isomorphism, that is, Φ satisfies Φ(ST T S) = Φ(S)Φ(T ) Φ(T )Φ(S) S, T U. Then Φ(S + T ) = Φ(S) + Φ(T ) + Z S,T for all S, T U, where Z S,T is an element in the centre Z(V) of V depending on S and T. Proof. This is consequence of our Theorem 4.1 for n = Application in nest algebras A nest N is a totally ordered set of closed subspaces of a Hilbert space H such that {0}, H N, and N is closed under the taking of arbitrary intersections and closed linear spans of its elements. The nest algebra associated to N is the set T (N ) = {T B(H) : T N N for all N N }, where B(H) is the algebra of bounded operators over a complex Hilbert space H. We recall the standard result ( ([1, Proposition ) 16]) that says that we can view A M T (N ) as a triangular algebra where A, B are themselves nest algebras. B Proposition 6.1. If N N \ {0, H} and E is the orthonormal projection onto N, then EN E and (1 E)N (1 E) are nest, T (EN E) = ET (N )E, and T ((1 E)N (1 E)) = (1 E)T (N )(1 E). Furthermore, ( ) T (EN E) ET (N )(1 E) T (N ) =. T ((1 E)N (1 E)) We refer the reader to [2] for the general theory of nest algebras. Corollary 6.1. Let P n be an increasing sequence of finite dimensional subspaces such that their union is dense in H. Consider P = {{0}, P n, n 1, H} a nest and T (P) the set consists of all operators which have a block upper triangular matrix with respect to P. If a mapping ϕ : T (P) T (P) satisfies ϕ(p 2 ([f, g]) = p 2 (ϕ(f), ϕ(g)) for all f, g T (P), then ϕ is almost additive.

12 20 BRUNO L. M. FERREIRA AND HENRIQUE GUZZO JR. References [1] W.-S. Cheung, Commuting maps of triangular algebras, J. London Math. Soc. 63 (2001), MR [2] K. R. Davidson, Nest algebras, Pitman Research Notes in Mathematics Series, 191, Longman Scientific & Technical, MR [3] B. L. M. Ferreira, Multiplicative maps on triangular n-matrix rings, Int. J. Math. Game Theory Algebra 23 (2014), [4] W. S. Martindale III, When are multiplicative mappings additive?, Proc. Amer. Math. Soc. 21 (1969), MR [5] E. C. Posner, Derivations in prime rings, Proc. Amer. Math. Soc. 8 (1957), MR [6] X. Qi and J. Hou, Additivity of Lie multiplicative maps on triangular algebras, Linear Multilinear Algebra 59 (2011), MR B. L. M. Ferreira Universidade Tecnológica Federal do Paraná, Avenida Professora Laura Pacheco Bastos, 800, , Guarapuava, Brazil brunoferreira@utfpr.edu.br H. Guzzo Jr. Universidade de São Paulo, Instituto de Matemática e Estatística, Rua do Matão, 1010, , São Paulo, Brazil guzzo@ime.usp.br Received: January 18, 2018 Accepted: July 17, 2018

Jordan Derivations on Triangular Matrix Rings

Jordan Derivations on Triangular Matrix Rings E extracta mathematicae Vol. 30, Núm. 2, 181 190 (2015) Jordan Derivations on Triangular Matrix Rings Bruno L. M. Ferreira Technological Federal University of Paraná, Professora Laura Pacheco Bastos Avenue,

More information

Additivity of maps on generalized matrix algebras

Additivity of maps on generalized matrix algebras Electronic Journal of Linear Algebra Volume 22 Volume 22 (2011) Article 49 2011 Additivity of maps on generalized matrix algebras Yanbo Li Zhankui Xiao Follow this and additional works at: http://repository.uwyo.edu/ela

More information

MAPS PRESERVING JORDAN TRIPLE PRODUCT A B + BA ON -ALGEBRAS. Ali Taghavi, Mojtaba Nouri, Mehran Razeghi, and Vahid Darvish

MAPS PRESERVING JORDAN TRIPLE PRODUCT A B + BA ON -ALGEBRAS. Ali Taghavi, Mojtaba Nouri, Mehran Razeghi, and Vahid Darvish Korean J. Math. 6 (018), No. 1, pp. 61 74 https://doi.org/10.11568/kjm.018.6.1.61 MAPS PRESERVING JORDAN TRIPLE PRODUCT A B + BA ON -ALGEBRAS Ali Taghavi, Mojtaba Nouri, Mehran Razeghi, and Vahid Darvish

More information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

More information

arxiv: v1 [math.ra] 25 Nov 2017

arxiv: v1 [math.ra] 25 Nov 2017 arxiv:709289v [mathra] 25 Nov 207 LEFT IDEALS IN MATRIX RINGS OVER FINITE FIELDS R A FERRAZ, C POLCINO MILIES, AND E TAUFER Abstract It is well-known that each left ideals in a matrix rings over a finite

More information

RANK AND PERIMETER PRESERVER OF RANK-1 MATRICES OVER MAX ALGEBRA

RANK AND PERIMETER PRESERVER OF RANK-1 MATRICES OVER MAX ALGEBRA Discussiones Mathematicae General Algebra and Applications 23 (2003 ) 125 137 RANK AND PERIMETER PRESERVER OF RANK-1 MATRICES OVER MAX ALGEBRA Seok-Zun Song and Kyung-Tae Kang Department of Mathematics,

More information

MAPS PRESERVING ZERO JORDAN PRODUCTS ON HERMITIAN OPERATORS

MAPS PRESERVING ZERO JORDAN PRODUCTS ON HERMITIAN OPERATORS Illinois Journal of Mathematics Volume 49, Number 2, Summer 2005, Pages 445 452 S 009-2082 MAPS PRESERVING ZERO JORDAN PRODUCTS ON HERMITIAN OPERATORS MIKHAIL A. CHEBOTAR, WEN-FONG KE, AND PJEK-HWEE LEE

More information

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime

More information

SUMS OF UNITS IN SELF-INJECTIVE RINGS

SUMS OF UNITS IN SELF-INJECTIVE RINGS SUMS OF UNITS IN SELF-INJECTIVE RINGS ANJANA KHURANA, DINESH KHURANA, AND PACE P. NIELSEN Abstract. We prove that if no field of order less than n + 2 is a homomorphic image of a right self-injective ring

More information

THE S 1 -EQUIVARIANT COHOMOLOGY RINGS OF (n k, k) SPRINGER VARIETIES

THE S 1 -EQUIVARIANT COHOMOLOGY RINGS OF (n k, k) SPRINGER VARIETIES Horiguchi, T. Osaka J. Math. 52 (2015), 1051 1062 THE S 1 -EQUIVARIANT COHOMOLOGY RINGS OF (n k, k) SPRINGER VARIETIES TATSUYA HORIGUCHI (Received January 6, 2014, revised July 14, 2014) Abstract The main

More information

Ring Theory Problems. A σ

Ring Theory Problems. A σ Ring Theory Problems 1. Given the commutative diagram α A σ B β A σ B show that α: ker σ ker σ and that β : coker σ coker σ. Here coker σ = B/σ(A). 2. Let K be a field, let V be an infinite dimensional

More information

Review of Linear Algebra

Review of Linear Algebra Review of Linear Algebra Throughout these notes, F denotes a field (often called the scalars in this context). 1 Definition of a vector space Definition 1.1. A F -vector space or simply a vector space

More information

Primitive Ideals of Semigroup Graded Rings

Primitive Ideals of Semigroup Graded Rings Sacred Heart University DigitalCommons@SHU Mathematics Faculty Publications Mathematics Department 2004 Primitive Ideals of Semigroup Graded Rings Hema Gopalakrishnan Sacred Heart University, gopalakrishnanh@sacredheart.edu

More information

4.1. Paths. For definitions see section 2.1 (In particular: path; head, tail, length of a path; concatenation;

4.1. Paths. For definitions see section 2.1 (In particular: path; head, tail, length of a path; concatenation; 4 The path algebra of a quiver 41 Paths For definitions see section 21 (In particular: path; head, tail, length of a path; concatenation; oriented cycle) Lemma Let Q be a quiver If there is a path of length

More information

Lecture 7.3: Ring homomorphisms

Lecture 7.3: Ring homomorphisms Lecture 7.3: Ring homomorphisms Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Modern Algebra M. Macauley (Clemson) Lecture 7.3:

More information

PERMANENTLY WEAK AMENABILITY OF REES SEMIGROUP ALGEBRAS. Corresponding author: jabbari 1. Introduction

PERMANENTLY WEAK AMENABILITY OF REES SEMIGROUP ALGEBRAS. Corresponding author: jabbari 1. Introduction International Journal of Analysis and Applications Volume 16, Number 1 (2018), 117-124 URL: https://doi.org/10.28924/2291-8639 DOI: 10.28924/2291-8639-16-2018-117 PERMANENTLY WEAK AMENABILITY OF REES SEMIGROUP

More information

Existence of a Picard-Vessiot extension

Existence of a Picard-Vessiot extension Existence of a Picard-Vessiot extension Jerald Kovacic The City College of CUNY jkovacic@verizon.net http:/mysite.verizon.net/jkovacic November 3, 2006 1 Throughout, K is an ordinary -field of characteristic

More information

Formal power series rings, inverse limits, and I-adic completions of rings

Formal power series rings, inverse limits, and I-adic completions of rings Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely

More information

Paul E. Bland and Patrick F. Smith (Received April 2002)

Paul E. Bland and Patrick F. Smith (Received April 2002) NEW ZEALAND JOURNAL OF MATHEMATICS Volume 32 (2003), 105 115 INJECTIVE AND PROJECTIVE MODULES RELATIVE TO A TORSION THEORY Paul E. Bland and Patrick F. Smith (Received April 2002) Abstract. Injective and

More information

Groups of Prime Power Order with Derived Subgroup of Prime Order

Groups of Prime Power Order with Derived Subgroup of Prime Order Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*

More information

Lecture 4.1: Homomorphisms and isomorphisms

Lecture 4.1: Homomorphisms and isomorphisms Lecture 4.: Homomorphisms and isomorphisms Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4, Modern Algebra M. Macauley (Clemson) Lecture

More information

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC). Lecture 2 1. Noetherian and Artinian rings and modules Let A be a commutative ring with identity, A M a module, and φ : M N an A-linear map. Then ker φ = {m M : φ(m) = 0} is a submodule of M and im φ is

More information

QUATERNIONS AND ROTATIONS

QUATERNIONS AND ROTATIONS QUATERNIONS AND ROTATIONS SVANTE JANSON 1. Introduction The purpose of this note is to show some well-known relations between quaternions and the Lie groups SO(3) and SO(4) (rotations in R 3 and R 4 )

More information

Linear Algebra and its Applications

Linear Algebra and its Applications Linear Algebra and its Applications 435 (2011) 2889 2895 Contents lists available at ScienceDirect Linear Algebra and its Applications journal homepage: www.elsevier.com/locate/laa Idempotent elements

More information

Math 581 Problem Set 8 Solutions

Math 581 Problem Set 8 Solutions Math 581 Problem Set 8 Solutions 1. Prove that a group G is abelian if and only if the function ϕ : G G given by ϕ(g) g 1 is a homomorphism of groups. In this case show that ϕ is an isomorphism. Proof:

More information

LIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM

LIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM Proceedings of the Edinburgh Mathematical Society Submitted Paper Paper 14 June 2011 LIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM MICHAEL C. CRABB AND PEDRO L. Q. PERGHER Institute of Mathematics,

More information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to

More information

Direct Limits. Mathematics 683, Fall 2013

Direct Limits. Mathematics 683, Fall 2013 Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry

More information

ON HOCHSCHILD EXTENSIONS OF REDUCED AND CLEAN RINGS

ON HOCHSCHILD EXTENSIONS OF REDUCED AND CLEAN RINGS Communications in Algebra, 36: 388 394, 2008 Copyright Taylor & Francis Group, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870701715712 ON HOCHSCHILD EXTENSIONS OF REDUCED AND CLEAN RINGS

More information

MATH RING ISOMORPHISM THEOREMS

MATH RING ISOMORPHISM THEOREMS MATH 371 - RING ISOMORPHISM THEOREMS DR. ZACHARY SCHERR 1. Theory In this note we prove all four isomorphism theorems for rings, and provide several examples on how they get used to describe quotient rings.

More information

r-clean RINGS NAHID ASHRAFI and EBRAHIM NASIBI Communicated by the former editorial board

r-clean RINGS NAHID ASHRAFI and EBRAHIM NASIBI Communicated by the former editorial board r-clean RINGS NAHID ASHRAFI and EBRAHIM NASIBI Communicated by the former editorial board An element of a ring R is called clean if it is the sum of an idempotent and a unit A ring R is called clean if

More information

Problem 1. Let I and J be ideals in a ring commutative ring R with 1 R. Recall

Problem 1. Let I and J be ideals in a ring commutative ring R with 1 R. Recall I. Take-Home Portion: Math 350 Final Exam Due by 5:00pm on Tues. 5/12/15 No resources/devices other than our class textbook and class notes/handouts may be used. You must work alone. Choose any 5 problems

More information

Jordan isomorphisms of triangular matrix algebras over a connected commutative ring

Jordan isomorphisms of triangular matrix algebras over a connected commutative ring Linear Algebra and its Applications 312 (2000) 197 201 www.elsevier.com/locate/laa Jordan isomorphisms of triangular matrix algebras over a connected commutative ring K.I. Beidar a,,m.brešar b,1, M.A.

More information

4.4 Noetherian Rings

4.4 Noetherian Rings 4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)

More information

Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.

Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed. Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed. Answer: Note that the first generator factors as (y

More information

NEW CONSTRUCTION OF THE EAGON-NORTHCOTT COMPLEX. Oh-Jin Kang and Joohyung Kim

NEW CONSTRUCTION OF THE EAGON-NORTHCOTT COMPLEX. Oh-Jin Kang and Joohyung Kim Korean J Math 20 (2012) No 2 pp 161 176 NEW CONSTRUCTION OF THE EAGON-NORTHCOTT COMPLEX Oh-Jin Kang and Joohyung Kim Abstract The authors [6 introduced the concept of a complete matrix of grade g > 3 to

More information

On the classication of algebras

On the classication of algebras Technische Universität Carolo-Wilhelmina Braunschweig Institut Computational Mathematics On the classication of algebras Morten Wesche September 19, 2016 Introduction Higman (1950) published the papers

More information

REMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES

REMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES REMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES RICHARD BELSHOFF Abstract. We present results on reflexive modules over Gorenstein rings which generalize results of Serre and Samuel on reflexive modules

More information

Some notes on linear algebra

Some notes on linear algebra Some notes on linear algebra Throughout these notes, k denotes a field (often called the scalars in this context). Recall that this means that there are two binary operations on k, denoted + and, that

More information

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then

More information

SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN

SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN Abstract. Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free O X -bimodule of rank

More information

Topology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.

Topology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved. Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & tatistics Auburn University, Alabama 36849, UA E-mail: topolog@auburn.edu IN: 0146-4124 COPYRIGHT

More information

Linear Algebra 2 Spectral Notes

Linear Algebra 2 Spectral Notes Linear Algebra 2 Spectral Notes In what follows, V is an inner product vector space over F, where F = R or C. We will use results seen so far; in particular that every linear operator T L(V ) has a complex

More information

OUTER MEASURES ON A COMMUTATIVE RING INDUCED BY MEASURES ON ITS SPECTRUM. Dariusz Dudzik, Marcin Skrzyński. 1. Preliminaries and introduction

OUTER MEASURES ON A COMMUTATIVE RING INDUCED BY MEASURES ON ITS SPECTRUM. Dariusz Dudzik, Marcin Skrzyński. 1. Preliminaries and introduction Annales Mathematicae Silesianae 31 (2017), 63 70 DOI: 10.1515/amsil-2016-0020 OUTER MEASURES ON A COMMUTATIVE RING INDUCED BY MEASURES ON ITS SPECTRUM Dariusz Dudzik, Marcin Skrzyński Abstract. On a commutative

More information

Endomorphism Rings of Abelian Varieties and their Representations

Endomorphism Rings of Abelian Varieties and their Representations Endomorphism Rings of Abelian Varieties and their Representations Chloe Martindale 30 October 2013 These notes are based on the notes written by Peter Bruin for his talks in the Complex Multiplication

More information

Polynomials of small degree evaluated on matrices

Polynomials of small degree evaluated on matrices Polynomials of small degree evaluated on matrices Zachary Mesyan January 1, 2013 Abstract A celebrated theorem of Shoda states that over any field K (of characteristic 0), every matrix with trace 0 can

More information

Math Introduction to Modern Algebra

Math Introduction to Modern Algebra Math 343 - Introduction to Modern Algebra Notes Field Theory Basics Let R be a ring. M is called a maximal ideal of R if M is a proper ideal of R and there is no proper ideal of R that properly contains

More information

Extension theorems for homomorphisms

Extension theorems for homomorphisms Algebraic Geometry Fall 2009 Extension theorems for homomorphisms In this note, we prove some extension theorems for homomorphisms from rings to algebraically closed fields. The prototype is the following

More information

ADDITIVE GROUPS OF SELF-INJECTIVE RINGS

ADDITIVE GROUPS OF SELF-INJECTIVE RINGS SOOCHOW JOURNAL OF MATHEMATICS Volume 33, No. 4, pp. 641-645, October 2007 ADDITIVE GROUPS OF SELF-INJECTIVE RINGS BY SHALOM FEIGELSTOCK Abstract. The additive groups of left self-injective rings, and

More information

Section 3 Isomorphic Binary Structures

Section 3 Isomorphic Binary Structures Section 3 Isomorphic Binary Structures Instructor: Yifan Yang Fall 2006 Outline Isomorphic binary structure An illustrative example Definition Examples Structural properties Definition and examples Identity

More information

DEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS

DEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS DEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS NORBIL CORDOVA, DENISE DE MATTOS, AND EDIVALDO L. DOS SANTOS Abstract. Yasuhiro Hara in [10] and Jan Jaworowski in [11] studied, under certain

More information

LINEAR PRESERVER PROBLEMS: generalized inverse

LINEAR PRESERVER PROBLEMS: generalized inverse LINEAR PRESERVER PROBLEMS: generalized inverse Université Lille 1, France Banach Algebras 2011, Waterloo August 3-10, 2011 I. Introduction Linear preserver problems is an active research area in Matrix,

More information

ON MATRIX VALUED SQUARE INTEGRABLE POSITIVE DEFINITE FUNCTIONS

ON MATRIX VALUED SQUARE INTEGRABLE POSITIVE DEFINITE FUNCTIONS 1 2 3 ON MATRIX VALUED SQUARE INTERABLE POSITIVE DEFINITE FUNCTIONS HONYU HE Abstract. In this paper, we study matrix valued positive definite functions on a unimodular group. We generalize two important

More information

Notes on p-divisible Groups

Notes on p-divisible Groups Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete

More information

58 CHAPTER 2. COMPUTATIONAL METHODS

58 CHAPTER 2. COMPUTATIONAL METHODS 58 CHAPTER 2. COMPUTATIONAL METHODS 23 Hom and Lim We will now develop more properties of the tensor product: its relationship to homomorphisms and to direct limits. The tensor product arose in our study

More information

INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA

INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA These notes are intended to give the reader an idea what injective modules are, where they show up, and, to

More information

NEW CLASSES OF SET-THEORETIC COMPLETE INTERSECTION MONOMIAL IDEALS

NEW CLASSES OF SET-THEORETIC COMPLETE INTERSECTION MONOMIAL IDEALS NEW CLASSES OF SET-THEORETIC COMPLETE INTERSECTION MONOMIAL IDEALS M. R. POURNAKI, S. A. SEYED FAKHARI, AND S. YASSEMI Abstract. Let be a simplicial complex and χ be an s-coloring of. Biermann and Van

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 As usual, all the rings we consider are commutative rings with an identity element. 18.1 Regular local rings Consider a local

More information

Mathematics Department Stanford University Math 61CM/DM Vector spaces and linear maps

Mathematics Department Stanford University Math 61CM/DM Vector spaces and linear maps Mathematics Department Stanford University Math 61CM/DM Vector spaces and linear maps We start with the definition of a vector space; you can find this in Section A.8 of the text (over R, but it works

More information

MTH 309 Supplemental Lecture Notes Based on Robert Messer, Linear Algebra Gateway to Mathematics

MTH 309 Supplemental Lecture Notes Based on Robert Messer, Linear Algebra Gateway to Mathematics MTH 309 Supplemental Lecture Notes Based on Robert Messer, Linear Algebra Gateway to Mathematics Ulrich Meierfrankenfeld Department of Mathematics Michigan State University East Lansing MI 48824 meier@math.msu.edu

More information

INTRODUCTION TO LIE ALGEBRAS. LECTURE 10.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 10. INTRODUCTION TO LIE ALGEBRAS. LECTURE 10. 10. Jordan decomposition: theme with variations 10.1. Recall that f End(V ) is semisimple if f is diagonalizable (over the algebraic closure of the base field).

More information

Math 530 Lecture Notes. Xi Chen

Math 530 Lecture Notes. Xi Chen Math 530 Lecture Notes Xi Chen 632 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca 1991 Mathematics Subject Classification. Primary

More information

Abstract Algebra II Groups ( )

Abstract Algebra II Groups ( ) Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition

More information

Hochschild cohomology

Hochschild cohomology Hochschild cohomology Seminar talk complementing the lecture Homological algebra and applications by Prof. Dr. Christoph Schweigert in winter term 2011. by Steffen Thaysen Inhaltsverzeichnis 9. Juni 2011

More information

φ(a + b) = φ(a) + φ(b) φ(a b) = φ(a) φ(b),

φ(a + b) = φ(a) + φ(b) φ(a b) = φ(a) φ(b), 16. Ring Homomorphisms and Ideals efinition 16.1. Let φ: R S be a function between two rings. We say that φ is a ring homomorphism if for every a and b R, and in addition φ(1) = 1. φ(a + b) = φ(a) + φ(b)

More information

arxiv: v1 [math.ag] 2 Oct 2009

arxiv: v1 [math.ag] 2 Oct 2009 THE GENERALIZED BURNSIDE THEOREM IN NONCOMMUTATIVE DEFORMATION THEORY arxiv:09100340v1 [mathag] 2 Oct 2009 EIVIND ERIKSEN Abstract Let A be an associative algebra over a field k, and let M be a finite

More information

Math 121 Homework 3 Solutions

Math 121 Homework 3 Solutions Math 121 Homework 3 Solutions Problem 13.4 #6. Let K 1 and K 2 be finite extensions of F in the field K, and assume that both are splitting fields over F. (a) Prove that their composite K 1 K 2 is a splitting

More information

MATH 326: RINGS AND MODULES STEFAN GILLE

MATH 326: RINGS AND MODULES STEFAN GILLE MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called

More information

Simple classical Lie algebras in characteristic 2 and their gradations, II.

Simple classical Lie algebras in characteristic 2 and their gradations, II. Simple classical Lie algebras in characteristic 2 and their gradations, II. A. N. Grishkov 1 M. Guerreiro 2 Rua do Matão, 1010 - Butantã CEP 05508-900 - São Paulo-SP - Brazil grishkov@ime.usp.br Departamento

More information

Math 215B: Solutions 1

Math 215B: Solutions 1 Math 15B: Solutions 1 Due Thursday, January 18, 018 (1) Let π : X X be a covering space. Let Φ be a smooth structure on X. Prove that there is a smooth structure Φ on X so that π : ( X, Φ) (X, Φ) is an

More information

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0

More information

Upper triangular forms for some classes of infinite dimensional operators

Upper triangular forms for some classes of infinite dimensional operators Upper triangular forms for some classes of infinite dimensional operators Ken Dykema, 1 Fedor Sukochev, 2 Dmitriy Zanin 2 1 Department of Mathematics Texas A&M University College Station, TX, USA. 2 School

More information

Lecture 1 Operator spaces and their duality. David Blecher, University of Houston

Lecture 1 Operator spaces and their duality. David Blecher, University of Houston Lecture 1 Operator spaces and their duality David Blecher, University of Houston July 28, 2006 1 I. Introduction. In noncommutative analysis we replace scalar valued functions by operators. functions operators

More information

On the Banach-Steinhaus Theorem

On the Banach-Steinhaus Theorem International Mathematical Forum, Vol. 8, 2013, no. 5, 229-235 On the Banach-Steinhaus Theorem Dinamérico P. Pombo Jr. Instituto de Matemática Universidade Federal do Rio de Janeiro Caixa Postal 68530

More information

REGULAR P.I.-RINGS E. P. ARMENDARIZ AND JOE W. FISHER

REGULAR P.I.-RINGS E. P. ARMENDARIZ AND JOE W. FISHER PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 39, Number 2, July 1973 REGULAR P.I.-RINGS E. P. ARMENDARIZ AND JOE W. FISHER Abstract. For a ring R which satisfies a polynomial identity we show

More information

Two Generalizations of Lifting Modules

Two Generalizations of Lifting Modules International Journal of Algebra, Vol. 3, 2009, no. 13, 599-612 Two Generalizations of Lifting Modules Nil Orhan Ertaş Süleyman Demirel University, Department of Mathematics 32260 Çünür Isparta, Turkey

More information

Product of derivations on C -algebras

Product of derivations on C -algebras Int. J. Nonlinear Anal. Appl. 7 (2016) No. 2, 109-114 ISSN: 2008-6822 (electronic) http://www.ijnaa.semnan.ac.ir Product of derivations on C -algebras Sayed Khalil Ekrami a,, Madjid Mirzavaziri b, Hamid

More information

4. Noether normalisation

4. Noether normalisation 4. Noether normalisation We shall say that a ring R is an affine ring (or affine k-algebra) if R is isomorphic to a polynomial ring over a field k with finitely many indeterminates modulo an ideal, i.e.,

More information

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 17, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Integral Domains and Fraction Fields 0.1.1 Theorems Now what we are going

More information

arxiv: v1 [math.ag] 14 Mar 2019

arxiv: v1 [math.ag] 14 Mar 2019 ASYMPTOTIC CONSTRUCTIONS AND INVARIANTS OF GRADED LINEAR SERIES ariv:1903.05967v1 [math.ag] 14 Mar 2019 CHIH-WEI CHANG AND SHIN-YAO JOW Abstract. Let be a complete variety of dimension n over an algebraically

More information

Commuting nilpotent matrices and pairs of partitions

Commuting nilpotent matrices and pairs of partitions Commuting nilpotent matrices and pairs of partitions Roberta Basili Algebraic Combinatorics Meets Inverse Systems Montréal, January 19-21, 2007 We will explain some results on commuting n n matrices and

More information

Lie Weak Amenability of Triangular Banach Algebra

Lie Weak Amenability of Triangular Banach Algebra Journal of Mathematical Research with Applications Sept 217 Vol 37 No 5 pp 63 612 DOI:1377/jissn:295-265121751 Http://jmredluteducn ie Weak Amenaility of Triangular anach Algera in CHEN 1 Fangyan U 2 1

More information

FORMAL TAYLOR SERIES AND COMPLEMENTARY INVARIANT SUBSPACES

FORMAL TAYLOR SERIES AND COMPLEMENTARY INVARIANT SUBSPACES PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCITEY Volume 45, Number 1, July 1974 FORMAL TAYLOR SERIES AND COMPLEMENTARY INVARIANT SUBSPACES DOMINGO A. HERRERO X ABSTRACT. A class of operators (which includes

More information

SELF-EQUIVALENCES OF DIHEDRAL SPHERES

SELF-EQUIVALENCES OF DIHEDRAL SPHERES SELF-EQUIVALENCES OF DIHEDRAL SPHERES DAVIDE L. FERRARIO Abstract. Let G be a finite group. The group of homotopy self-equivalences E G (X) of an orthogonal G-sphere X is related to the Burnside ring A(G)

More information

Residual finiteness of infinite amalgamated products of cyclic groups

Residual finiteness of infinite amalgamated products of cyclic groups Journal of Pure and Applied Algebra 208 (2007) 09 097 www.elsevier.com/locate/jpaa Residual finiteness of infinite amalgamated products of cyclic groups V. Metaftsis a,, E. Raptis b a Department of Mathematics,

More information

arxiv: v1 [math.ac] 11 Dec 2013

arxiv: v1 [math.ac] 11 Dec 2013 A KOSZUL FILTRATION FOR THE SECOND SQUAREFREE VERONESE SUBRING arxiv:1312.3076v1 [math.ac] 11 Dec 2013 TAKAYUKI HIBI, AYESHA ASLOOB QURESHI AND AKIHIRO SHIKAMA Abstract. The second squarefree Veronese

More information

On the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional Lie group E 8

On the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional Lie group E 8 213 226 213 arxiv version: fonts, pagination and layout may vary from GTM published version On the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional

More information

Finite Fields. Sophie Huczynska. Semester 2, Academic Year

Finite Fields. Sophie Huczynska. Semester 2, Academic Year Finite Fields Sophie Huczynska Semester 2, Academic Year 2005-06 2 Chapter 1. Introduction Finite fields is a branch of mathematics which has come to the fore in the last 50 years due to its numerous applications,

More information

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group

More information

Generalized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485

Generalized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485 Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757

More information

STRUCTURAL AND SPECTRAL PROPERTIES OF k-quasi- -PARANORMAL OPERATORS. Fei Zuo and Hongliang Zuo

STRUCTURAL AND SPECTRAL PROPERTIES OF k-quasi- -PARANORMAL OPERATORS. Fei Zuo and Hongliang Zuo Korean J Math (015), No, pp 49 57 http://dxdoiorg/1011568/kjm01549 STRUCTURAL AND SPECTRAL PROPERTIES OF k-quasi- -PARANORMAL OPERATORS Fei Zuo and Hongliang Zuo Abstract For a positive integer k, an operator

More information

Available online at J. Math. Comput. Sci. 4 (2014), No. 3, ISSN: ORDERINGS AND PREORDERINGS ON MODULES

Available online at   J. Math. Comput. Sci. 4 (2014), No. 3, ISSN: ORDERINGS AND PREORDERINGS ON MODULES Available online at http://scik.org J. Math. Comput. Sci. 4 (2014), No. 3, 574-586 ISSN: 1927-5307 ORDERINGS AND PREORDERINGS ON MODULES DONGMING HUANG Department of Applied Mathematics, Hainan University,

More information

TROPICAL SCHEME THEORY

TROPICAL SCHEME THEORY TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),

More information

Biderivations of the Algebra of Strictly Upper Triangular Matrices over a Commutative Ring

Biderivations of the Algebra of Strictly Upper Triangular Matrices over a Commutative Ring Journal of Mathematical Research & Exposition Nov., 2011, Vol. 31, No. 6, pp. 965 976 DOI:10.3770/j.issn:1000-341X.2011.06.002 Http://jmre.dlut.edu.cn Biderivations of the Algebra of Strictly Upper Triangular

More information

arxiv:math/ v2 [math.ra] 14 Dec 2005

arxiv:math/ v2 [math.ra] 14 Dec 2005 arxiv:math/0512273v2 [math.ra] 14 Dec 2005 AUTOMORPHISMS OF THE SEMIGROUP OF ENDOMORPHISMS OF FREE ASSOCIATIVE ALGEBRAS A. KANEL-BELOV, A. BERZINS AND R. LIPYANSKI Abstract. Let A = A(x 1,...,x n) be a

More information

REPRESENTATION THEORY, LECTURE 0. BASICS

REPRESENTATION THEORY, LECTURE 0. BASICS REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite

More information

DO ISOMORPHIC STRUCTURAL MATRIX RINGS HAVE ISOMORPHIC GRAPHS?

DO ISOMORPHIC STRUCTURAL MATRIX RINGS HAVE ISOMORPHIC GRAPHS? PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124 Number 5 May 1996 DO ISOMORPHIC STRUCTURAL MATRIX RINGS HAVE ISOMORPHIC GRAPHS? S. DǍSCǍLESCU AND L. VAN WYK (Communicated by Lance W. Small)

More information

Schemes via Noncommutative Localisation

Schemes via Noncommutative Localisation Schemes via Noncommutative Localisation Daniel Murfet September 18, 2005 In this note we give an exposition of the well-known results of Gabriel, which show how to define affine schemes in terms of the

More information

This is a closed subset of X Y, by Proposition 6.5(b), since it is equal to the inverse image of the diagonal under the regular map:

This is a closed subset of X Y, by Proposition 6.5(b), since it is equal to the inverse image of the diagonal under the regular map: Math 6130 Notes. Fall 2002. 7. Basic Maps. Recall from 3 that a regular map of affine varieties is the same as a homomorphism of coordinate rings (going the other way). Here, we look at how algebraic properties

More information

Infinite-Dimensional Triangularization

Infinite-Dimensional Triangularization Infinite-Dimensional Triangularization Zachary Mesyan March 11, 2018 Abstract The goal of this paper is to generalize the theory of triangularizing matrices to linear transformations of an arbitrary vector

More information