arxiv: v1 [math.ra] 4 Sep 2007
|
|
- Ada Boyd
- 5 years ago
- Views:
Transcription
1 ORE EXTENSIONS OF PRINCIPALLY QUASI-BAER RINGS arxiv: v1 [math.ra] 4 Sep 2007 L MOUFADAL BEN YAKOUB AND MOHAMED LOUZARI Abstract. Let R be a ring and (σ,δ) a quasi-derivation of R. In this paper, we show that if R is an (σ,δ)-skew Armendariz ring and satisfies the condition (C σ), then R is right p.q.-baer if and only if the Ore extension R[x;σ,δ] is right p.q.-baer. As a consequence we obtain a generalization of [12]. Introduction Throughout this paper, R denotes an associative ring with unity. For a subset X of R, r R (X) = {a R Xa = 0} and l R (X) = {a R ax = 0} will stand for the right and the left annihilator of X in R respectively. By Kaplansky [13], a right annihilator of X is always a right ideal, and if X is a right ideal then r R (X) is a two-sided ideal. An Ore extension of a ring R is denoted by R[x;σ,δ], where σ is an endomorphism of R and δ is a σ-derivation, i.e., δ: R R is an additive map such that δ(ab) = σ(a)δ(b) + δ(a)b for all a,b R (The pair (σ,δ) is also called a quasiderivation of R). Recall that elements of R[x; σ, δ] are polynomials in x with coefficients written on the left. Multiplication in R[x;σ,δ] is given by the multiplication in R and the condition xa = σ(a)x + δ(a), for all a R. We say that a subset X of R is (σ,δ)-stable if σ(x) X and δ(x) X. Recall that a ring R is (quasi)-baer if the right annihilator of every (right ideal) nonempty subset of R is generated by an idempotent. Kaplansky [13], introduced Baer rings to abstract various property of AW - algebras and Von Neumann algebras. Clark [8], defined quasi-baer rings and used them to characterize when a finite dimensional algebra with unity over algebraically closed field is isomorphic to a twisted matrix units semigroup algebra. Another generalization of Baer rings are the p.p.-rings. A ring R is a right (resp. left) p.p.-ring if the right (resp. left) annihilator of an element of R is generated by an idempotent. R is called a p.p.-ring if it is both right and left p.p.-ring. Birkenmeier et al. [5], introduced principally quasi-baer rings and used them to generalize many results on 2000 Mathematics subject Classification. 16S36. Key words and phrases. p.q.-baer rings, Ore extensions, (σ, δ)-skew Armendariz rings, (σ, δ)-compatible rings, σ-rigid rings. 1
2 2 L MOUFADAL BEN YAKOUB AND MOHAMED LOUZARI reduced p.p.-rings. A ring is called right principally quasi-baer (or simply right p.q.-baer) if the right annihilator of a principal right ideal is generated by an idempotent. Similarly, left p.q.-baer rings can be defined. A ring R is called p.q.-baer if it is both right and left p.q.-baer. For more details and examples of right p.q.-baer rings, see Birkenmeier et al. [5]. From Birkenmeier et al. [4], an idempotent e R is left (resp. right) semicentral in R if exe = xe (resp. exe = ex), for all x R. Equivalently, e 2 = e R is left (resp. right) semicentral if er (resp. Re) is an ideal of R. Since the right annihilator of a right ideal is an ideal, we see that the right annihilator of a right ideal is generated by a left semicentral in a quasi-baer (p.q.-baer) ring. We use S l (R) and S r (R) for the sets of all left and right semicentral idempotents, respectively. Also note S l (R) S r (R) = B(R), where B(R) is the set of all central idempotents of R. If R is a semiprime ring then S l (R) = S r (R) = B(R). Recall that R is a reduced ring if it has no nonzero nilpotent elements. A ring R is abelian if every idempotent of R is central. We can easily observe that every reduced ring is abelian. According to Krempa [14], an endomorphism σ of a ring R is called to be rigidifaσ(a) = 0implies a = 0forall a R. We call aringrσ-rigidif there exists a rigid endomorphism σ of R. A ring R is called Armendariz (resp. σ- skew Armendariz) if whenever polynomials f = n i=0 a ix i, g = m j=0 b jx j in R[x] (resp. R[x;σ]) satisfy fg = 0 then a i b j = 0 (resp. a i σ i (b j ) = 0) for each i,j. From Hashemi and Moussavi [10], a ring R is called an (σ,δ)-skew Armendariz ring if for p = n i=0 a ix i and q = m j=0 b jx j in R[x;σ,δ], pq = 0 implies a i x i b j x j = 0 for each i,j. Note that (σ,δ)-skew Armendariz rings are generalization of σ-skew Armendariz rings, σ-rigid rings and Armendariz rings, see Hong et al. [11], for more details. Following Hashemi and Moussavi [9], a ring R is σ-compatible if for each a,b R, aσ(b) = 0 ab = 0. Moreover, R is said to be δ-compatible if for each a,b R, ab = 0 aδ(b) = 0. If R is both σ-compatible and δ-compatible, we say that R is (σ,δ)-compatible. Birkenmeier et al. [6, Theorem 3.1], have proved that R is right p.q.-baer if and only if R[x] is right p.q.-baer. Hong et al. [12, Corollary 15], have showed that, if R is σ-rigid, then R is right p.q.-baer if and only if R[x;σ,δ] is right p.q.-baer. Also, Hashemi and Moussavi in [9, Corollary 2.8], have showed that under the (σ, δ)-compatibility assumption on the ring R, R is right p.q.-baer if and only if R[x;σ,δ] is right p.q.baer. In this article, we prove that if R is an (σ,δ)-skew Armendariz ring and satisfies the condition (C σ ) (see Definition 1.7), then R is right p.q.-baer if and only if the Ore extension R[x;σ,δ] is right p.q.-baer. If R is a σ-rigid ring then R is (σ,δ)-skew Armendariz ring and satisfies the condition (C σ ). So that we obtain a generalization of [12, Corollary 15].
3 ORE EXTENSIONS OF PRINCIPALLY QUASI-BAER RINGS 3 1. Preliminaries and Examples For any 0 i j (i,j N), f j i End(R,+) will denote the map which is the sum of all possible words in σ,δ built with i letters σ and j i letters δ (e.g., f n n = σ n and f n 0 = δn,n N). Lemma 1.1. [15, Lemma 4.1]. For any n N and r R we have x n r = n i=0 fn i (r)xi in the ring R[x;σ,δ]. Lemma 1.2. Let R be a ring and a,b,c R such that b r R (cr) = er and Re is (σ,δ)-stable for some e S l (R). If cab = 0 then we have the following: (i) cσ(ab) = cδ(ab) = 0; (ii) cf j k (ab) = 0, for all 0 k j (k,j N). Proof. (i) cσ(ab) = cσ(a)σ(b), but b = eb, so cσ(ab) = cσ(a)σ(e)σ(b), since σ(e) = σ(e)e. Then cσ(ab) = cσ(a)σ(e)eσ(b) = 0, because e r R (cr). Also cδ(ab) = cδ(aeb) = cσ(ae)δ(b) +cδ(ae)b, but cδ(ae)b = 0. So cδ(ab) = cσ(ae)δ(b) = cσ(a)σ(e)eδ(b) = 0. (ii) It follows from (i). Lemma 1.3. Let R be a ring, σ an endomorphism and δ be a σ-derivation of R. For any p(x) R[x;σ,δ] we have r R[x;σ,δ] (p(x)r) = r R[x;σ,δ] (p(x)r[x;σ,δ]). Proof. Let S = R[x;σ,δ], since p(x)r p(x)s, we have r S (p(x)s) r S (p(x)r). Conversely, let f(x) r S (p(x)r) and φ = n i=0 a ix i S, we have p(x)φ(x)f(x) = p(x)a 0 f(x) + p(x)a 1 xf(x) + + p(x)a n x n f(x), but a i x i f(x) r S (p(x)r), because r S (p(x)r) is a two-sided ideal of S. So, p(x)φ(x)f(x) = 0. Thus f(x) r S (p(x)s). Lemma 1.4. [10, Lemma 4]. Let R be an (σ,δ)-skew Armendariz ring. Then for each idempotent element e R, we have σ(e) = e and δ(e) = 0. Lemma 1.5. [10, Lemma 5]. Let R be a (σ,δ)-skew Armendariz ring. If e 2 = e R[x;σ,δ] where e = e 0 +e 1 x+e 2 x 2 + +e n x n, then e = e 0. Lemma 1.6. Let R be a ring, σ an endomorphism and δ be a σ-derivation of R. Then σ(re) Re implies δ(re) Re for all e B(R). Proof. Let e B(R) and r R. Then δ(re) = δ(ere) = σ(er)δ(e)+δ(er)e = σ(ere)δ(e) +δ(er)e = seδ(e) +δ(er)e, for some s R, but e B(R), then eδ(e) = eδ(e)e, so δ(re) = (seδ(e) +δ(er))e. Therefore δ(re) Re. Definition 1.7. Let σ be an endomorphism of a ring R. We say that R satisfies the condition (C σ ) if whenever aσ(b) = 0 with a,b R, then ab = 0. Lemma 1.8. Let σ be an endomorphism of a ring R. The following are equivalent: (i) R satisfies (C σ ) and reduced; (ii) R is σ-rigid.
4 4 L MOUFADAL BEN YAKOUB AND MOHAMED LOUZARI Proof. Let a R such that aσ(a) = 0 then a 2 = 0, since R is reduced so a = 0. Conversely, let a,b R such that aσ(b) = 0 then baσ(ba) = 0, since R is σ-rigid (so reduced) then ba = ab = 0. Lemma 1.9. [2, Lemma2.5]. Let R be a ring, σ an endomorphism of R and δ be a σ-derivation of R. If R is σ-rigid then R is (σ,δ)-skew Armendariz. There is an example of a ring R and an endomorphism σ of R such that R is σ-skew Armendariz and R is not σ-compatible. Example Consider a ring of polynomials over Z 2, R = Z 2 [x]. Let σ: R R be an endomorphism defined by σ(f(x)) = f(0). Then: (i) R is not σ-compatible. Let f = 1+x, g = x R, we have fg = (1+x)x 0, however fσ(g) = (1+x)σ(x) = 0. (ii) R is σ-skew Armendariz [11, Example 5]. In the next example, S = R/I is a ring and σ an endomorphism of S such that S is σ-compatible and not σ-skew Armendariz. Example Let Z be the ring of integers and Z 4 be the ring of integers modulo 4. Consider the ring {( ) } a b R = a Z,b Z 0 a 4. (( )) ( ) a b a b Let σ: R R be an endomorphism defined by σ =. {( ) } 0 a 0 a a 0 Take the ideal I = a 4Z of R. Consider the factor ring 0 a {( ) } R/I a b = a,b 4Z. 0 a (( ) ( ) x) = (i) R/I is not σ-skew Armendariz. In fact, ( ) ( ) (R/I)[x;σ], but σ ( ) ( ) a b a b (ii) R/I is σ-compatible. Let A =,B = 0 a 0 a R/I. If AB = 0 then aa = 0 and ab = ba = 0, so that Aσ(B) = 0. The same for the converse. Therefore R/I is σ-compatible. Claim 1. (i) (σ,δ)-compatible (σ,δ)-skew Armendariz; (ii) (σ,δ)-skew Armendariz (σ,δ)-compatible. Example Consider the ring {( ) } a t R = a Z,t Q, 0 a
5 ORE EXTENSIONS OF PRINCIPALLY QUASI-BAER RINGS 5 where Z and Q are the set of all integers and all rational numbers, respectively. The (( ring R)) is commutative, ( ) let σ: R R be an automorphism a t a t/2 defined by σ =. 0 a ( ) 0 (( a )) ( ) 0 t 0 t 0 t (i) R is not σ-rigid. σ = 0, but 0, if t ( ) 0 0 (ii) σ(re) Re for all e S l (R). R has only two idempotents, e 0 = ( ) ( ) a t end e 1 =, let r = R, we have σ(re a 0 ) Re 0 and σ(re 1 ) Re 1. ( ) ( ) a t b x (iii) R satisfies the condition (C σ ). Let and R such 0 a 0 b that ( ) (( )) a t b x σ = 0, 0 a 0 b hence ( ab = 0 = )( ax/2 + tb, ) so a = 0 or b = 0. In each case, ax + tb = 0, a t b x hence = 0. Therefore R satisfies (C 0 a 0 b σ ). (iv) R is σ-skew Armendariz [12, Example 1]. Claim 2. (i) σ-rigid (σ, δ)-skew Armendariz [3, Lemma 2.3]; (ii) (σ,δ)-skew Armendariz σ-rigid (Example 1.12); (iii) σ-rigid (C σ ) (Lemma 1.8); (iv) (C σ ) σ-rigid (Example 1.12). 2. Ore extensions over right p.q.-baer rings The principally quasi-baerness of a ring R do not inherit the Ore extensions of R. The following example shows that, there exists an endomorphism σ of a ring R such that R is right p.q.-baer, Re is σ-stable for all e S l (R) and not satisfying (C σ ), but R[x;σ] is not right p.q.-baer. Example 2.1. Let K be a field and R = K[t] a polynomial ring over K with the endomorphism σ given by σ(f(t)) = f(0) for all f(t) R. Then R is a principal ideal domain so right p.q.-baer. (i) R[x; σ] is not right p.q.-baer. Consider a right ideal xr[x; σ]. Then x{f 0 (t)+f 1 (t)x+ +f n (t)x n } = f 0 (0)x+f 1 (0)x 2 + +f n (0)x n+1 for all f 0 (t)+f 1 (t)x+ +f n (t)x n R[x;σ] and hence xr[x;σ] = {a 1 x+a 2 x a n x n n N, a i K (i = 0,1,,n)}. Note that R[x;σ] has only two idempotents 0 and 1 by simple computation. Since (a 1 x+a 2 x a n x n )1 = a 1 x+a 2 x 2 + +a n x n 0 for some nonzero element a 1 x+a 2 x 2 + +a n x n xr[x;σ], we get 1 / r R[x;σ] (xr[x;σ]) and so r R[x;σ] (xr[x;σ]) R[x;σ]. Also, since (a 1 x+a 2 x 2 + +a n x n )t = 0 for all a 1 x+a 2 x a n x n xr[x;σ], t r R[x;σ] (xr[x;σ]) and hence r R[x;σ] (xr[x;σ]) 0. Thus
6 6 L MOUFADAL BEN YAKOUB AND MOHAMED LOUZARI r R[x;σ] (xr[x;σ]) is not generated by an idempotent. Therefore R[x;σ] is not a right p.q.-baer ring, [7, Example 2.8]. (ii) R not satisfies the condition (C σ ). Take f = a 0 +a 1 t+a 2 t 2 + +a n t n and g = b 1 t+b 2 t 2 + +b m t m, since g(0) = 0 so, fσ(g) = 0, but fg 0. (iii) R has only two idempotents 0 and 1 so Re is σ-stable for all e S l (R). Proposition 2.2. Let R be a ring, σ an endomorphism and δ be a σ- derivation of R. Assume that Re is (σ,δ)-stable for all e S l (R) and R satisfies the condition (C σ ). If R is right p.q.-baer then so is R[x;σ,δ]. Proof. The idea of proof is similar to that of [6, Theorem 3.1]. Let S = R[x;σ,δ] and p(x) = c 0 + c 1 x + + c n x n S. There is e i S l (R) such thatr R (c i R) = e i R, fori = 0,1,,n. Let e = e n e n 1 e 0, thene S l (R) and er = n i=0 r R(c i R). (i) We claim that es r S (p(x)s). Let ϕ(x) = a 0 +a 1 x+ +a m x m S, j=k a kf j k (e)xk )), since Re is f j k - we have p(x)ϕ(x)e = ( n i=0 c ix i )( m k=0 ( m stable (0 k j), we have f j k (e) = uj k e for some uj k R (0 k j). So p(x)ϕ(x)e = ( n i=0 c ix i )( m k=0 ( m j=k a ku j k e)xk ), if we set m j=k a ku j k = α k, then n m n m i p(x)ϕ(x)e = ( c i x i )( α k ex k ) = (c i fj i (α ke))x j+k, i=0 k=0 i=0 k=0 but er r R (c i R), for i = 0,1, n. So p(x)ϕ(x)e = 0. Therefore es r S (p(x)s). (ii) We claim that r S (p(x)r) es. Let ϕ(x) = a 0 + a 1 x + +a m x m r S (p(x)r). Since p(x)rϕ(x) = 0, we have p(x)bϕ(x) = 0 for all b R. Thus m k=0 (c i i j=0 fi j (ba k))x j+k = 0. So, we have the following system of n i=0 j=0 equations: c n σ n (ba m ) = 0; (0) c n σ n (ba m 1 )+c n 1 σ n 1 (ba m )+c n f n n 1(ba m ) = 0; (1) c n σ n (ba m 2 )+c n 1 σ n 1 (ba m 1 )+c n f n n 1 (ba m 1)+c n 2 σ n 2 (ba m ) (2) +c n 1 f n 1 n 2 (ba m)+c n f n n 2(ba m ) = 0; c n σ n (ba m 3 )+c n 1 σ n 1 (ba m 2 )+c n f n n 1 (ba m 2)+c n 2 σ n 2 (ba m 1 ) (3) +c n 1 fn 2 n 1 (ba m 1)+c n fn 2(ba n m 1 )+c n 3 σ n 3 (ba m )+c n 2 fn 3 n 2 (ba m) +c n 1 fn 3 n 1 (ba m)+c n fn 3 n (ba m) = 0; n m i (c i fj(ba i k )) = 0; (l) j+k=l i=0 k=0 j=0
7 ORE EXTENSIONS OF PRINCIPALLY QUASI-BAER RINGS 7 n c i δ i (ba 0 ) = 0. i=0 (n+m) From eq. (0), we have c n ba m = 0 then a m r R (c n R) = e n R. Since c n ba m = 0, so in eq. (1), by Lemma 1.2, we have c n f n n 1 (ba m) = 0 and eq. (1) simplifies to c n σ n (ba m 1 )+c n 1 σ n 1 (ba m ) = 0. (1 ) Let s R and take b = se n in eq. (1 ). Then c n σ n (se n a m 1 )+c n 1 σ n 1 (se n a m ) = 0. But c n se n a m 1 = 0, so c n σ n (se n a m 1 ) = 0. Thus c n 1 σ n 1 (se n a m ) = 0, so c n 1 se n a m = 0 but e n a m = a m, the eq. (1 ) yields c n 1 sa m = 0. Hence a m r R (c n 1 R), thusa m e n e n 1 R andsoc n σ n (ba m 1 ) = 0, soc n ba m 1 = 0, thus a m 1 e n R = r R (c n R). Now in eq. (2), since c n ba m 1 = c n 1 ba m = c n b m = 0, because a m r R (c n R) r R (c n 1 R) and a m 1 r R (c n R). By Lemma 1.2, we have c n f n n 1 (ba m 1) = c n 1 f n 1 n 2 (ba m) = c n f n n 2 (ba m) = 0, because a m e n e n 1 R and a m 1 e n R. So, eq. (2), simplifies to c n σ n (ba m 2 )+c n 1 σ n 1 (ba m 1 )+c n 2 σ n 2 (ba m ) = 0. (2 ) In eq. (2 ), take b = se n e n 1. Then c n σ n (se n e n 1 a m 2 )+c n 1 σ n 1 (se n e n 1 a m 1 )+c n 2 σ n 2 (se n e n 1 a m ) = 0. But c n σ n (se n e n 1 a m 2 ) = c n 1 σ n 1 (se n e n 1 a m 1 ) = 0. Hence c n 2 σ n 2 (se n e n 1 a m ) = 0, so c n 2 se n e n 1 a m = c n 2 sa m = 0, thus a m r R (c n 2 R) = e n 2 R and so a m e n e n 1 e n 2 R. The eq. (2 ) becomes c n σ n (ba m 2 )+c n 1 σ n 1 (ba m 1 ) = 0. (2 ) Take b = se n in eq. (2 ), so c n σ n (se n a m 2 )+c n 1 σ n 1 (se n a m 1 ) = 0, then c n 1 σ n 1 (se n a m 1 ) = 0 because c n σ n (se n a m 2 ) = 0, thus c n 1 se n a m 1 = c n 1 sa m 1 = 0, then a m 1 r R (c n 1 R) = e n 1 R and so a m 1 e n e n 1 R. From eq. (2 ), we obtain also c n σ n (ba m 2 ) = 0 = c n ba m 2, so a m 2 e n R. Summarizing at this point, we have a m e n e n 1 e n 2 R, a m 1 e n e n 1 R and a m 2 e n R. Now in eq. (3), since c n ba m 2 = c n 1 ba m 1 = c n ba m 1 = c n 2 ba m = c n 1 ba m = c n ba m = 0. becausea m r R (c n R) r R (c n 1 R) r R (c n 2 R), a m 1 r R (c n R) r R (c n 1 R) and a m 2 r R (c n R). By Lemma 1.2, we have c n f n n 1(ba m 2 ) = c n 1 f n 1 n 2 (ba m 1) = c n f n n 2(ba m 1 ) = c n 2 f n 2 n 3 (ba m)
8 8 L MOUFADAL BEN YAKOUB AND MOHAMED LOUZARI = c n 1 f n 1 n 3 (ba m) = c n f n n 3 (ba m) = 0, becausea m 2 r R (c n R), a m 1 r R (c n R) r R (c n 1 R) and a m r R (c n R) r R (c n 1 R) r R (c n 2 R). So eq. (3) becomes c n σ n (ba m 3 )+c n 1 σ n 1 (ba m 2 )++c n 2 σ n 2 (ba m 1 ) (3 ) +c n 3 σ n 3 (ba m ) = 0. Let b = se n e n 1 e n 2 in eq. (3 ), we obtain c n σ n (se n e n 1 e n 2 a m 3 )+c n 1 σ n 1 (se n e n 1 e n 2 a m 2 ) +c n 2 σ n 2 (se n e n 1 e n 2 a m 1 )+c n 3 σ n 3 (se n e n 1 e n 2 a m ) = 0. By the above results, we have c n σ n (se n e n 1 e n 2 a m 3 ) = c n 1 σ n 1 (se n e n 1 e n 2 a m 2 ) = c n 2 σ n 2 (se n e n 1 e n 2 a m 1 ) = 0, thenc n 3 σ n 3 (se n e n 1 e n 2 a m ) = 0, soc n 3 se n e n 1 e n 2 a m = c n 3 sa m = 0, hence a m e n e n 1 e n 2 e n 3 R, and eq. (3 ) simplifies to c n σ n (ba m 3 )+c n 1 σ n 1 (ba m 2 )+c n 2 σ n 2 (ba m 1 ) = 0. (3 ) In eq. (3 ) substitute se n e n 1 for b to obtain c n σ n (se n e n 1 a m 3 )+c n 1 σ n 1 (se n e n 1 a m 2 )+c n 2 σ n 2 (se n e n 1 a m 1 ) = 0. But c n σ n (se n e n 1 a m 3 ) = c n 1 σ n 1 (se n e n 1 a m 3 ) = 0. So c n 2 σ n 2 (se n e n 1 a m 1 ) = 0 = c n 2 se n e n 1 a m 1 = c n 2 sa m 1. Hence a m 1 e n e n 1 e n 2 R, and eq. (3 ) simplifies to c n σ n (ba m 3 )+c n 1 σ n 1 (ba m 2 ) = 0. (3 ) In eq. (3 ) substitute se n for b to obtain c n σ n (se n a m 3 )+c n 1 σ n 1 (se n a m 2 ) = 0. But c n σ n (se n a m 3 ) = 0, so c n 1 σ n 1 (se n a m 2 ) = 0 = c n 1 se n a m 2 = c n 1 sa m 2. Hence a m 2 e n e n 1 R, and eq. (3 ) simplifies to c n σ n (ba m 3 ) = 0, then c n ba m 3 = 0. Hence a m 3 e n R. Summarizing at this point, we have a m e n e n 1 e n 2 e n 3 R, a m 1 e n e n 1 e n 2 R, a m 2 e n e n 1 R, and a m 3 e n R. Continuing this procedure yields a i er for all i = 0,1,,m. Hence ϕ(x) er[x;σ,δ]. Consequently, r S (p(x)r) es and by Lemma 1.3, we have r S (p(x)s) = es. Therefore R[x;σ,δ] is right p.q.- Baer. From Example 2.1, we can see that the condition R satisfies (C σ ) in Proposition 2.2 is not superfluous. On the other hand, there is an example which satisfies all the hypothesis of Proposition 2.2.
9 ORE EXTENSIONS OF PRINCIPALLY QUASI-BAER RINGS 9 Example 2.3. [9, Example 1.1]. Let R 1 be a right p.q.-baer, D a domain and R = T n (R 1 ) D[y], where T n (R 1 ) is the upper n n triangular matrix ring over R 1. Let σ: D[y] D[y] be a monomorphism which is not surjective. Then we have the following: (i) R is right p.q.-baer. By [5], T n (R 1 ) is right p.q.-baer and hence T n (R 1 ) D[y] is right p.q.-baer. (ii) R satisfies the condition (C σ ). Let σ: R R be an endomorphism defined by σ(a f(y)) = A σ(f(y)) for each A T n (R 1 ) and f(y) D[y]. Suppose that (A f(y))σ(b g(y)) = 0. Then AB = 0 and f(y)σ(g(y)) = 0. Since D[y] is a domain and σ is a monomorphism, f(y) = 0 or g(y) = 0. Hence (A f(y))(b g(y)) = 0. (iii) Re is σ-stable for all e S l (R). Idempotents of R are of the form e 0 = A 0 and e 1 = A 1, for some idempotent A T n (R 1 ). Since σ(e 0 ) = e 0 and σ(e 1 ) = e 1, we have the stability desired. Note that R is not reduced, and hence it is not σ-rigid. Corollary 2.4. Let (σ,δ) be a quasi-derivation of a ring R. Assume that R is right p.q.-baer, if R satisfies one of the following: (i) R is (σ,δ)-skew Armendariz and satisfies (C σ ); (ii) S l (R) = B(R), σ(re) Re for all e B(R) and R satisfies (C σ ); (iii) R is σ-rigid. Then R[x;σ,δ] is right p.q.-baer. Proof. (i) By Lemma 1.4, Re is (σ,δ)-stable for all e S l (R). (ii) It follows from Lemma 1.6 and Proposition 2.2. (iii) Follows from Lemmas 1.8 and 1.9. In the next, we focus on the converse of Proposition 2.2. Proposition 2.5. Let R be an (σ,δ)-skew Armendariz ring, σ an endomorphism and δ be a σ-derivation of R. If R[x;σ,δ] is right p.q.-baer then R is right p.q.-baer. Proof. Let S = R[x;σ,δ] and a R. By Lemma 1.5, there exists e S l (R), such that r S (as) = es. By Lemma 1.3, r S (as) = r S (ar) = es. Hence r R (ar) = er, thus R is right p.q.-baer. Theorem 2.6. Let R be an (σ,δ)-skew Armendariz ring, σ an endomorphism and δ be a σ-derivation of R such that R satisfies (C σ ). Then R is right p.q.-baer if and only if R[x;σ,δ] is right p.q.-baer. Proof. It follows immediately from Corollary 2.4 and Proposition 2.5. Corollary 2.7. [12, Corollary 15] Let R be a ring, σ an endomorphism and δ be a σ-derivation of R. If R is σ-rigid, then R is right p.q.-baer if and only if R[x;σ,δ] is right p.q.-baer. From Example 1.12, we see that Theorem 2.6 is a generalization of [12, Corollary 15]. There is an example of a ring R and a quasi-derivation (σ,δ), which satisfies all the hypothesis of Theorem 2.6.
10 10 L MOUFADAL BEN YAKOUB AND MOHAMED LOUZARI Example 2.8. [2, Example 3.2] Let R = C where C is the field of complex numbers. Define σ: R R and δ: R R by σ(z) = z and δ(z) = z z, where z is the conjugate of z. σ is an automorphism of R and δ is a σ- derivation. We have (i) R is Baer (so right p.q.-baer) reduced; (ii) R is σ-rigid, then it is (σ,δ)-skew Armendariz and satisfies (C σ ). Remark 2.9. Example 1.10, shows that Theorem 2.6 is not a consequence of [9, Corollary 2.8]. acknowledgments This work was supported by the integrated action Moroccan-Spanish A/5037/06. The second author wishes to thank Professor Amin Kaidi of Universidad de Almería for his generous hospitality. References [1] S. Annin, Associated primes over skew polynomial rings, Comm. Algebra, 30(5) (2002), [2] L. Ben Yakoub, M. Louzari, On quasi-baer rings of Ore extensions. To appear in East West J. Math. [3] L. Ben Yakoub, M. Louzari, Polynomial extensions of symmetric and reversible rings. Submetted to J. of the Korean Math. Soc. [4] G.F. Birkenmeier, J.Y. Kim, J.K. Park, Polynomial extensions of Baer and quasi- Baer rings, J. Pure appl. Algebra 159 (2001) [5] G.F. Birkenmeier, J.Y. Kim, J.K. Park, Principally quasi-baer rings, Comm. Algebra 29(2) (2001) [6] G.F. Birkenmeier, J.Y. Kim, J.K. Park, On polynomial extensions of principally quasi- Baer rings, Kyungpook Math. journal 40(2) (2000) [7] J. Han, Y.Hirano, H.Kim, Some results on skew polynomial rings over a reduced ring, In: G. F. Birkenmeier, J. K. Park, Y. S. Park (Eds), The international symposium on ring theory, In: Trends in math., Birkhäuser Boston, (2001). [8] W.E. Clark, Twisted matrix units semigroup algebras, Duke Math.Soc., 35 (1967) [9] E. Hashemi, A. Moussavi, Polynomial extensions of quasi-baer rings, Acta. Math. Hungar. 107 (3) (2005) [10] E. Hashemi, A. Moussavi, On (σ, δ)-skew Armendariz rings, J. Korean Math. soc. 42(2) (2005) [11] C. Y. Hong, N.K. Kim, T. K. Kwak, On Skew Armendariz Rings, Comm. Algebra 31(1) (2003), [12] C. Y. Hong, N. K. Kim, T. K. Kwak, Ore extensions of Baer and p.p.-rings, J. Pure Appl. Algebra 151(3) (2000) [13] I. Kaplansky, Rings of operators, Math.lecture Notes series, Benjamin, New York, [14] J. Krempa, Some examples of reduced rings, Algebra Colloq. 3(4) (1996) [15] T. Y. Lam, A. Leroy, J. Matczuk, Primeness, semiprimeness and the prime radical of Ore extensions, Comm. Algebra 25(8) (1997) Mohamed Louzari, Department of mathematics, University Abdelmalek Essaadi, B.P Tetouan, Morocco address: louzari mohamed@hotmail.com
11 ORE EXTENSIONS OF PRINCIPALLY QUASI-BAER RINGS 11 L moufadal Ben yakoub, Department of mathematics, University Abdelmalek Essaadi, B.P Tetouan, Morocco address: benyakoub@hotmail.com
SEMICENTRAL IDEMPOTENTS IN A RING
J. Korean Math. Soc. 51 (2014), No. 3, pp. 463 472 http://dx.doi.org/10.4134/jkms.2014.51.3.463 SEMICENTRAL IDEMPOTENTS IN A RING Juncheol Han, Yang Lee, and Sangwon Park Abstract. Let R be a ring with
More informationDouble Ore Extensions versus Iterated Ore Extensions
Double Ore Extensions versus Iterated Ore Extensions Paula A. A. B. Carvalho, Samuel A. Lopes and Jerzy Matczuk Departamento de Matemática Pura Faculdade de Ciências da Universidade do Porto R.Campo Alegre
More informationSome Remarks on Finitely Quasi-injective Modules
EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS Vol. 6, No. 2, 2013, 119-125 ISSN 1307-5543 www.ejpam.com Some Remarks on Finitely Quasi-injective Modules Zhu Zhanmin Department of Mathematics, Jiaxing
More informationSimplicity of associative and non-associative Ore extensions
Simplicity of associative and non-associative Ore extensions Johan Richter Mälardalen University The non-associative part is joint work by Patrik Nystedt, Johan Öinert and myself. Ore extensions, motivation
More informationLaurence Boxer and Ismet KARACA
THE CLASSIFICATION OF DIGITAL COVERING SPACES Laurence Boxer and Ismet KARACA Abstract. In this paper we classify digital covering spaces using the conjugacy class corresponding to a digital covering space.
More informationLaurence Boxer and Ismet KARACA
SOME PROPERTIES OF DIGITAL COVERING SPACES Laurence Boxer and Ismet KARACA Abstract. In this paper we study digital versions of some properties of covering spaces from algebraic topology. We correct and
More informationA Property Equivalent to n-permutability for Infinite Groups
Journal of Algebra 221, 570 578 (1999) Article ID jabr.1999.7996, available online at http://www.idealibrary.com on A Property Equivalent to n-permutability for Infinite Groups Alireza Abdollahi* and Aliakbar
More informationExistentially closed models of the theory of differential fields with a cyclic automorphism
Existentially closed models of the theory of differential fields with a cyclic automorphism University of Tsukuba September 15, 2014 Motivation Let C be any field and choose an arbitrary element q C \
More informationCONGRUENCES AND IDEALS IN A DISTRIBUTIVE LATTICE WITH RESPECT TO A DERIVATION
Bulletin of the Section of Logic Volume 42:1/2 (2013), pp. 1 10 M. Sambasiva Rao CONGRUENCES AND IDEALS IN A DISTRIBUTIVE LATTICE WITH RESPECT TO A DERIVATION Abstract Two types of congruences are introduced
More informationCATEGORICAL SKEW LATTICES
CATEGORICAL SKEW LATTICES MICHAEL KINYON AND JONATHAN LEECH Abstract. Categorical skew lattices are a variety of skew lattices on which the natural partial order is especially well behaved. While most
More informationEpimorphisms and Ideals of Distributive Nearlattices
Annals of Pure and Applied Mathematics Vol. 18, No. 2, 2018,175-179 ISSN: 2279-087X (P), 2279-0888(online) Published on 9 November 2018 www.researchmathsci.org DOI: http://dx.doi.org/10.22457/apam.v18n2a5
More informationNotes on the symmetric group
Notes on the symmetric group 1 Computations in the symmetric group Recall that, given a set X, the set S X of all bijections from X to itself (or, more briefly, permutations of X) is group under function
More informationOrdered Semigroups in which the Left Ideals are Intra-Regular Semigroups
International Journal of Algebra, Vol. 5, 2011, no. 31, 1533-1541 Ordered Semigroups in which the Left Ideals are Intra-Regular Semigroups Niovi Kehayopulu University of Athens Department of Mathematics
More informationREMARKS ON K3 SURFACES WITH NON-SYMPLECTIC AUTOMORPHISMS OF ORDER 7
REMARKS ON K3 SURFACES WTH NON-SYMPLECTC AUTOMORPHSMS OF ORDER 7 SHNGO TAK Abstract. n this note, we treat a pair of a K3 surface and a non-symplectic automorphism of order 7m (m = 1, 3 and 6) on it. We
More informationINTERVAL DISMANTLABLE LATTICES
INTERVAL DISMANTLABLE LATTICES KIRA ADARICHEVA, JENNIFER HYNDMAN, STEFFEN LEMPP, AND J. B. NATION Abstract. A finite lattice is interval dismantlable if it can be partitioned into an ideal and a filter,
More informationSkew lattices of matrices in rings
Algebra univers. 53 (2005) 471 479 0002-5240/05/040471 09 DOI 10.1007/s00012-005-1913-5 c Birkhäuser Verlag, Basel, 2005 Algebra Universalis Skew lattices of matrices in rings Karin Cvetko-Vah Abstract.
More informationOn the h-vector of a Lattice Path Matroid
On the h-vector of a Lattice Path Matroid Jay Schweig Department of Mathematics University of Kansas Lawrence, KS 66044 jschweig@math.ku.edu Submitted: Sep 16, 2009; Accepted: Dec 18, 2009; Published:
More informationSeparation axioms on enlargements of generalized topologies
Revista Integración Escuela de Matemáticas Universidad Industrial de Santander Vol. 32, No. 1, 2014, pág. 19 26 Separation axioms on enlargements of generalized topologies Carlos Carpintero a,, Namegalesh
More informationTranslates of (Anti) Fuzzy Submodules
International Journal of Engineering Research and Development e-issn: 2278-067X, p-issn : 2278-800X, www.ijerd.com Volume 5, Issue 2 (December 2012), PP. 27-31 P.K. Sharma Post Graduate Department of Mathematics,
More informationORDERED SEMIGROUPS HAVING THE P -PROPERTY. Niovi Kehayopulu, Michael Tsingelis
ORDERED SEMIGROUPS HAVING THE P -PROPERTY Niovi Kehayopulu, Michael Tsingelis ABSTRACT. The main results of the paper are the following: The ordered semigroups which have the P -property are decomposable
More informationMore On λ κ closed sets in generalized topological spaces
Journal of Algorithms and Computation journal homepage: http://jac.ut.ac.ir More On λ κ closed sets in generalized topological spaces R. Jamunarani, 1, P. Jeyanthi 2 and M. Velrajan 3 1,2 Research Center,
More informationCARDINALITIES OF RESIDUE FIELDS OF NOETHERIAN INTEGRAL DOMAINS
CARDINALITIES OF RESIDUE FIELDS OF NOETHERIAN INTEGRAL DOMAINS KEITH A. KEARNES AND GREG OMAN Abstract. We determine the relationship between the cardinality of a Noetherian integral domain and the cardinality
More informationPURITY IN IDEAL LATTICES. Abstract.
ANALELE ŞTIINŢIFICE ALE UNIVERSITĂŢII AL.I.CUZA IAŞI Tomul XLV, s.i a, Matematică, 1999, f.1. PURITY IN IDEAL LATTICES BY GRIGORE CĂLUGĂREANU Abstract. In [4] T. HEAD gave a general definition of purity
More informationMAT 4250: Lecture 1 Eric Chung
1 MAT 4250: Lecture 1 Eric Chung 2Chapter 1: Impartial Combinatorial Games 3 Combinatorial games Combinatorial games are two-person games with perfect information and no chance moves, and with a win-or-lose
More informationMartingales. by D. Cox December 2, 2009
Martingales by D. Cox December 2, 2009 1 Stochastic Processes. Definition 1.1 Let T be an arbitrary index set. A stochastic process indexed by T is a family of random variables (X t : t T) defined on a
More informationCOMBINATORICS OF REDUCTIONS BETWEEN EQUIVALENCE RELATIONS
COMBINATORICS OF REDUCTIONS BETWEEN EQUIVALENCE RELATIONS DAN HATHAWAY AND SCOTT SCHNEIDER Abstract. We discuss combinatorial conditions for the existence of various types of reductions between equivalence
More informationThe illustrated zoo of order-preserving functions
The illustrated zoo of order-preserving functions David Wilding, February 2013 http://dpw.me/mathematics/ Posets (partially ordered sets) underlie much of mathematics, but we often don t give them a second
More informationKAPLANSKY'S PROBLEM ON VALUATION RINGS
proceedings of the american mathematical society Volume 105, Number I, January 1989 KAPLANSKY'S PROBLEM ON VALUATION RINGS LASZLO FUCHS AND SAHARON SHELAH (Communicated by Louis J. Ratliff, Jr.) Dedicated
More informationBest-Reply Sets. Jonathan Weinstein Washington University in St. Louis. This version: May 2015
Best-Reply Sets Jonathan Weinstein Washington University in St. Louis This version: May 2015 Introduction The best-reply correspondence of a game the mapping from beliefs over one s opponents actions to
More informationCOMBINATORIAL CONVOLUTION SUMS DERIVED FROM DIVISOR FUNCTIONS AND FAULHABER SUMS
GLASNIK MATEMATIČKI Vol. 49(69(014, 351 367 COMBINATORIAL CONVOLUTION SUMS DERIVED FROM DIVISOR FUNCTIONS AND FAULHABER SUMS Bumkyu Cho, Daeyeoul Kim and Ho Park Dongguk University-Seoul, National Institute
More informationGUESSING MODELS IMPLY THE SINGULAR CARDINAL HYPOTHESIS arxiv: v1 [math.lo] 25 Mar 2019
GUESSING MODELS IMPLY THE SINGULAR CARDINAL HYPOTHESIS arxiv:1903.10476v1 [math.lo] 25 Mar 2019 Abstract. In this article we prove three main theorems: (1) guessing models are internally unbounded, (2)
More informationPalindromic Permutations and Generalized Smarandache Palindromic Permutations
arxiv:math/0607742v2 [mathgm] 8 Sep 2007 Palindromic Permutations and Generalized Smarandache Palindromic Permutations Tèmítópé Gbóláhàn Jaíyéọlá Department of Mathematics, Obafemi Awolowo University,
More informationChapter 4 Partial Fractions
Chapter 4 8 Partial Fraction Chapter 4 Partial Fractions 4. Introduction: A fraction is a symbol indicating the division of integers. For example,, are fractions and are called Common 9 Fraction. The dividend
More informationTheorem 1.3. Every finite lattice has a congruence-preserving embedding to a finite atomistic lattice.
CONGRUENCE-PRESERVING EXTENSIONS OF FINITE LATTICES TO SEMIMODULAR LATTICES G. GRÄTZER AND E.T. SCHMIDT Abstract. We prove that every finite lattice hasa congruence-preserving extension to a finite semimodular
More informationWada s Representations of the. Pure Braid Group of High Degree
Theoretical Mathematics & Applications, vol2, no1, 2012, 117-125 ISSN: 1792-9687 (print), 1792-9709 (online) International Scientific Press, 2012 Wada s Representations of the Pure Braid Group of High
More informationRatio Mathematica 20, Gamma Modules. R. Ameri, R. Sadeghi. Department of Mathematics, Faculty of Basic Science
Gamma Modules R. Ameri, R. Sadeghi Department of Mathematics, Faculty of Basic Science University of Mazandaran, Babolsar, Iran e-mail: ameri@umz.ac.ir Abstract Let R be a Γ-ring. We introduce the notion
More informationR. Selvi 1, P. Thangavelu 2. Sri Parasakthi College for Women Courtallam, INDIA 2 Department of Mathematics
International Journal of Pure and Applied Mathematics Volume 87 No. 6 2013, 817-825 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu doi: http://dx.doi.org/10.12732/ijpam.v87i6.10
More informationV. Fields and Galois Theory
Math 201C - Alebra Erin Pearse V.2. The Fundamental Theorem. V. Fields and Galois Theory 4. What is the Galois roup of F = Q( 2, 3, 5) over Q? Since F is enerated over Q by {1, 2, 3, 5}, we need to determine
More informationNew tools of set-theoretic homological algebra and their applications to modules
New tools of set-theoretic homological algebra and their applications to modules Jan Trlifaj Univerzita Karlova, Praha Workshop on infinite-dimensional representations of finite dimensional algebras Manchester,
More information4 Martingales in Discrete-Time
4 Martingales in Discrete-Time Suppose that (Ω, F, P is a probability space. Definition 4.1. A sequence F = {F n, n = 0, 1,...} is called a filtration if each F n is a sub-σ-algebra of F, and F n F n+1
More informationReceived May 27, 2009; accepted January 14, 2011
MATHEMATICAL COMMUNICATIONS 53 Math. Coun. 6(20), 53 538. I σ -Convergence Fatih Nuray,, Hafize Gök and Uǧur Ulusu Departent of Matheatics, Afyon Kocatepe University, 03200 Afyonkarahisar, Turkey Received
More informationWeb Appendix: Proofs and extensions.
B eb Appendix: Proofs and extensions. B.1 Proofs of results about block correlated markets. This subsection provides proofs for Propositions A1, A2, A3 and A4, and the proof of Lemma A1. Proof of Proposition
More informationMathematics Notes for Class 12 chapter 1. Relations and Functions
1 P a g e Mathematics Notes for Class 12 chapter 1. Relations and Functions Relation If A and B are two non-empty sets, then a relation R from A to B is a subset of A x B. If R A x B and (a, b) R, then
More informationFair semigroups. Valdis Laan. University of Tartu, Estonia. (Joint research with László Márki) 1/19
Fair semigroups Valdis Laan University of Tartu, Estonia (Joint research with László Márki) 1/19 A semigroup S is called factorisable if ( s S)( x, y S) s = xy. 2/19 A semigroup S is called factorisable
More informationTWO-PERIODIC TERNARY RECURRENCES AND THEIR BINET-FORMULA 1. INTRODUCTION
TWO-PERIODIC TERNARY RECURRENCES AND THEIR BINET-FORMULA M. ALP, N. IRMAK and L. SZALAY Abstract. The properties of k-periodic binary recurrences have been discussed by several authors. In this paper,
More informationAbstract Algebra Solution of Assignment-1
Abstract Algebra Solution of Assignment-1 P. Kalika & Kri. Munesh [ M.Sc. Tech Mathematics ] 1. Illustrate Cayley s Theorem by calculating the left regular representation for the group V 4 = {e, a, b,
More informationNon replication of options
Non replication of options Christos Kountzakis, Ioannis A Polyrakis and Foivos Xanthos June 30, 2008 Abstract In this paper we study the scarcity of replication of options in the two period model of financial
More informationHyperidentities in (xx)y xy Graph Algebras of Type (2,0)
Int. Journal of Math. Analysis, Vol. 8, 2014, no. 9, 415-426 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ijma.2014.312299 Hyperidentities in (xx)y xy Graph Algebras of Type (2,0) W. Puninagool
More informationEquilibrium payoffs in finite games
Equilibrium payoffs in finite games Ehud Lehrer, Eilon Solan, Yannick Viossat To cite this version: Ehud Lehrer, Eilon Solan, Yannick Viossat. Equilibrium payoffs in finite games. Journal of Mathematical
More informationA No-Arbitrage Theorem for Uncertain Stock Model
Fuzzy Optim Decis Making manuscript No (will be inserted by the editor) A No-Arbitrage Theorem for Uncertain Stock Model Kai Yao Received: date / Accepted: date Abstract Stock model is used to describe
More informationSPLITTING FIELDS KEITH CONRAD
SPLITTING FIELDS EITH CONRAD 1. Introuction When is a fiel an f(t ) [T ] is nonconstant, there is a fiel extension / in which f(t ) picks up a root, say α. Then f(t ) = (T α)g(t ) where g(t ) [T ] an eg
More informationBrowder-type theorems for direct sums of operators
Functional Analysis, Approximation and Computation 7 (1) (2015), 77 84 Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/faac Browder-type
More informationFuzzy L-Quotient Ideals
International Journal of Fuzzy Mathematics and Systems. ISSN 2248-9940 Volume 3, Number 3 (2013), pp. 179-187 Research India Publications http://www.ripublication.com Fuzzy L-Quotient Ideals M. Mullai
More informationA Translation of Intersection and Union Types
A Translation of Intersection and Union Types for the λ µ-calculus Kentaro Kikuchi RIEC, Tohoku University kentaro@nue.riec.tohoku.ac.jp Takafumi Sakurai Department of Mathematics and Informatics, Chiba
More informationAlgebra and Number Theory Exercise Set
Algebra and Number Theory Exercise Set Kamil Niedzia lomski 1 Algebra 1.1 Complex Numbers Exercise 1. Find real and imaginary part of complex numbers (1) 1 i 2+i (2) (3 + 7i)( 3 + i) (3) ( 3+i)( 1+i 3)
More informationAN INFINITE CARDINAL-VALUED KRULL DIMENSION FOR RINGS
AN INFINITE CARDINAL-VALUED KRULL DIMENSION FOR RINGS K. ALAN LOPER, ZACHARY MESYAN, AND GREG OMAN Abstract. We define and study two generalizations of the Krull dimension for rings, which can assume cardinal
More informationOn Complexity of Multistage Stochastic Programs
On Complexity of Multistage Stochastic Programs Alexander Shapiro School of Industrial and Systems Engineering, Georgia Institute of Technology, Atlanta, Georgia 30332-0205, USA e-mail: ashapiro@isye.gatech.edu
More informationGödel algebras free over finite distributive lattices
TANCL, Oxford, August 4-9, 2007 1 Gödel algebras free over finite distributive lattices Stefano Aguzzoli Brunella Gerla Vincenzo Marra D.S.I. D.I.COM. D.I.C.O. University of Milano University of Insubria
More informationOrthogonality to the value group is the same as generic stability in C-minimal expansions of ACVF
Orthogonality to the value group is the same as generic stability in C-minimal expansions of ACVF Will Johnson February 18, 2014 1 Introduction Let T be some C-minimal expansion of ACVF. Let U be the monster
More informationAlgebra homework 8 Homomorphisms, isomorphisms
MATH-UA.343.005 T.A. Louis Guigo Algebra homework 8 Homomorphisms, isomorphisms For every n 1 we denote by S n the n-th symmetric group. Exercise 1. Consider the following permutations: ( ) ( 1 2 3 4 5
More informationOn the Pentagon Relations of Valued Quivers
International Journal of Algebra, Vol. 9, 2015, no. 8, 355-369 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2015.5745 On the Pentagon Relations of Valued Quivers Yousuf A. Alkhezi Public
More informationFractional Graphs. Figure 1
Fractional Graphs Richard H. Hammack Department of Mathematics and Applied Mathematics Virginia Commonwealth University Richmond, VA 23284-2014, USA rhammack@vcu.edu Abstract. Edge-colorings are used to
More informationThe finite lattice representation problem and intervals in subgroup lattices of finite groups
The finite lattice representation problem and intervals in subgroup lattices of finite groups William DeMeo Math 613: Group Theory 15 December 2009 Abstract A well-known result of universal algebra states:
More informationMath 546 Homework Problems. Due Wednesday, January 25. This homework has two types of problems.
Math 546 Homework 1 Due Wednesday, January 25. This homework has two types of problems. 546 Problems. All students (students enrolled in 546 and 701I) are required to turn these in. 701I Problems. Only
More informationDirect Methods for linear systems Ax = b basic point: easy to solve triangular systems
NLA p.1/13 Direct Methods for linear systems Ax = b basic point: easy to solve triangular systems... 0 0 0 etc. a n 1,n 1 x n 1 = b n 1 a n 1,n x n solve a n,n x n = b n then back substitution: takes n
More informationGenerating all nite modular lattices of a given size
Generating all nite modular lattices of a given size Peter Jipsen and Nathan Lawless Dedicated to Brian Davey on the occasion of his 65th birthday Abstract. Modular lattices, introduced by R. Dedekind,
More informationMATH 121 GAME THEORY REVIEW
MATH 121 GAME THEORY REVIEW ERIN PEARSE Contents 1. Definitions 2 1.1. Non-cooperative Games 2 1.2. Cooperative 2-person Games 4 1.3. Cooperative n-person Games (in coalitional form) 6 2. Theorems and
More informationELEMENTS OF MATRIX MATHEMATICS
QRMC07 9/7/0 4:45 PM Page 5 CHAPTER SEVEN ELEMENTS OF MATRIX MATHEMATICS 7. AN INTRODUCTION TO MATRICES Investors frequently encounter situations involving numerous potential outcomes, many discrete periods
More informationarxiv: v1 [math.lo] 24 Feb 2014
Residuated Basic Logic II. Interpolation, Decidability and Embedding Minghui Ma 1 and Zhe Lin 2 arxiv:1404.7401v1 [math.lo] 24 Feb 2014 1 Institute for Logic and Intelligence, Southwest University, Beibei
More informationAndreas Wagener University of Vienna. Abstract
Linear risk tolerance and mean variance preferences Andreas Wagener University of Vienna Abstract We translate the property of linear risk tolerance (hyperbolical Arrow Pratt index of risk aversion) from
More informationIntegrating rational functions (Sect. 8.4)
Integrating rational functions (Sect. 8.4) Integrating rational functions, p m(x) q n (x). Polynomial division: p m(x) The method of partial fractions. p (x) (x r )(x r 2 ) p (n )(x). (Repeated roots).
More informationOptimal Allocation of Policy Limits and Deductibles
Optimal Allocation of Policy Limits and Deductibles Ka Chun Cheung Email: kccheung@math.ucalgary.ca Tel: +1-403-2108697 Fax: +1-403-2825150 Department of Mathematics and Statistics, University of Calgary,
More informationDownloaded from
9. Algebraic Expressions and Identities Q 1 Using identity (x - a) (x + a) = x 2 a 2 find 6 2 5 2. Q 2 Find the product of (7x 4y) and (3x - 7y). Q 3 Using suitable identity find (a + 3)(a + 2). Q 4 Using
More informationPSEUDO SEMI B-FREDHOLM AND GENERALIZED DRAZIN INVERTIBLE OPERATORS THROUGH LOCALIZED SVEP
italian journal of pure and applied mathematics n. 37 2017 (301 314) 301 PSEUDO SEMI B-FREDHOLM AND GENERALIZED DRAZIN INVERTIBLE OPERATORS THROUGH LOCALIZED SVEP Abdelaziz Tajmouati Mohammed Karmouni
More informationHomomorphism and Cartesian Product of. Fuzzy PS Algebras
Applied Mathematical Sciences, Vol. 8, 2014, no. 67, 3321-3330 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ams.2014.44265 Homomorphism and Cartesian Product of Fuzzy PS Algebras T. Priya Department
More informationOn equation. Boris Bartolomé. January 25 th, Göttingen Universität & Institut de Mathémathiques de Bordeaux
Göttingen Universität & Institut de Mathémathiques de Bordeaux Boris.Bartolome@mathematik.uni-goettingen.de Boris.Bartolome@math.u-bordeaux1.fr January 25 th, 2016 January 25 th, 2016 1 / 19 Overview 1
More informationTHE NUMBER OF UNARY CLONES CONTAINING THE PERMUTATIONS ON AN INFINITE SET
THE NUMBER OF UNARY CLONES CONTAINING THE PERMUTATIONS ON AN INFINITE SET MICHAEL PINSKER Abstract. We calculate the number of unary clones (submonoids of the full transformation monoid) containing the
More informationPermutation Factorizations and Prime Parking Functions
Permutation Factorizations and Prime Parking Functions Amarpreet Rattan Department of Combinatorics and Optimization University of Waterloo Waterloo, ON, Canada N2L 3G1 arattan@math.uwaterloo.ca June 10,
More informationarxiv: v1 [math.st] 18 Sep 2018
Gram Charlier and Edgeworth expansion for sample variance arxiv:809.06668v [math.st] 8 Sep 08 Eric Benhamou,* A.I. SQUARE CONNECT, 35 Boulevard d Inkermann 900 Neuilly sur Seine, France and LAMSADE, Universit
More informationMath 101, Basic Algebra Author: Debra Griffin
Math 101, Basic Algebra Author: Debra Griffin Name Chapter 5 Factoring 5.1 Greatest Common Factor 2 GCF, factoring GCF, factoring common binomial factor 5.2 Factor by Grouping 5 5.3 Factoring Trinomials
More informationProjective Lattices. with applications to isotope maps and databases. Ralph Freese CLA La Rochelle
Projective Lattices with applications to isotope maps and databases Ralph Freese CLA 2013. La Rochelle Ralph Freese () Projective Lattices Oct 2013 1 / 17 Projective Lattices A lattice L is projective
More informationarxiv: v2 [math.lo] 13 Feb 2014
A LOWER BOUND FOR GENERALIZED DOMINATING NUMBERS arxiv:1401.7948v2 [math.lo] 13 Feb 2014 DAN HATHAWAY Abstract. We show that when κ and λ are infinite cardinals satisfying λ κ = λ, the cofinality of the
More informationBROWDER AND WEYL SPECTRA OF UPPER TRIANGULAR OPERATOR MATRICES. B. P. Duggal. Abstract
Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Filomat 24:2 (2010), 111 130 DOI: 10.2298/FIL1002111D BROWDER AND WEYL SPECTRA OF UPPER TRIANGULAR
More informationProblem Set 2 - SOLUTIONS
Problem Set - SOLUTONS 1. Consider the following two-player game: L R T 4, 4 1, 1 B, 3, 3 (a) What is the maxmin strategy profile? What is the value of this game? Note, the question could be solved like
More informationA NEW NOTION OF TRANSITIVE RELATIVE RETURN RATE AND ITS APPLICATIONS USING STOCHASTIC DIFFERENTIAL EQUATIONS. Burhaneddin İZGİ
A NEW NOTION OF TRANSITIVE RELATIVE RETURN RATE AND ITS APPLICATIONS USING STOCHASTIC DIFFERENTIAL EQUATIONS Burhaneddin İZGİ Department of Mathematics, Istanbul Technical University, Istanbul, Turkey
More information6.254 : Game Theory with Engineering Applications Lecture 3: Strategic Form Games - Solution Concepts
6.254 : Game Theory with Engineering Applications Lecture 3: Strategic Form Games - Solution Concepts Asu Ozdaglar MIT February 9, 2010 1 Introduction Outline Review Examples of Pure Strategy Nash Equilibria
More informationOre localizations of nearrings
Ore localizations of nearrings Ma lgorzata E. Hryniewicka Institute of Mathematics, University of Bia lystok Cio lkowskiego 1M, 15-245 Bia lystok, Poland e-mail: margitt@math.uwb.edu.pl 1 Example. Let
More informationThe Real Numbers. Here we show one way to explicitly construct the real numbers R. First we need a definition.
The Real Numbers Here we show one way to explicitly construct the real numbers R. First we need a definition. Definitions/Notation: A sequence of rational numbers is a funtion f : N Q. Rather than write
More informationNOTES ON (T, S)-INTUITIONISTIC FUZZY SUBHEMIRINGS OF A HEMIRING
NOTES ON (T, S)-INTUITIONISTIC FUZZY SUBHEMIRINGS OF A HEMIRING K.Umadevi 1, V.Gopalakrishnan 2 1Assistant Professor,Department of Mathematics,Noorul Islam University,Kumaracoil,Tamilnadu,India 2Research
More informationOn the Lower Arbitrage Bound of American Contingent Claims
On the Lower Arbitrage Bound of American Contingent Claims Beatrice Acciaio Gregor Svindland December 2011 Abstract We prove that in a discrete-time market model the lower arbitrage bound of an American
More informationCollinear Triple Hypergraphs and the Finite Plane Kakeya Problem
Collinear Triple Hypergraphs and the Finite Plane Kakeya Problem Joshua Cooper August 14, 006 Abstract We show that the problem of counting collinear points in a permutation (previously considered by the
More informationCONSTRUCTION OF CODES BY LATTICE VALUED FUZZY SETS. 1. Introduction. Novi Sad J. Math. Vol. 35, No. 2, 2005,
Novi Sad J. Math. Vol. 35, No. 2, 2005, 155-160 CONSTRUCTION OF CODES BY LATTICE VALUED FUZZY SETS Mališa Žižović 1, Vera Lazarević 2 Abstract. To every finite lattice L, one can associate a binary blockcode,
More informationCompositional Models in Valuation-Based Systems
Appeared in: Belief Functions: Theory and Applications, T. Denoeux and M.-H. Masson (eds.), Advances in Intelligent and Soft Computing 164, 2012, pp. 221--228, Springer-Verlag, Berlin. Compositional Models
More information4: SINGLE-PERIOD MARKET MODELS
4: SINGLE-PERIOD MARKET MODELS Marek Rutkowski School of Mathematics and Statistics University of Sydney Semester 2, 2016 M. Rutkowski (USydney) Slides 4: Single-Period Market Models 1 / 87 General Single-Period
More informationSTOCHASTIC CALCULUS AND BLACK-SCHOLES MODEL
STOCHASTIC CALCULUS AND BLACK-SCHOLES MODEL YOUNGGEUN YOO Abstract. Ito s lemma is often used in Ito calculus to find the differentials of a stochastic process that depends on time. This paper will introduce
More information5 Deduction in First-Order Logic
5 Deduction in First-Order Logic The system FOL C. Let C be a set of constant symbols. FOL C is a system of deduction for the language L # C. Axioms: The following are axioms of FOL C. (1) All tautologies.
More informationCHARACTERIZATION OF CLOSED CONVEX SUBSETS OF R n
CHARACTERIZATION OF CLOSED CONVEX SUBSETS OF R n Chebyshev Sets A subset S of a metric space X is said to be a Chebyshev set if, for every x 2 X; there is a unique point in S that is closest to x: Put
More informationApplied Mathematics Letters
Applied Mathematics Letters 23 (2010) 286 290 Contents lists available at ScienceDirect Applied Mathematics Letters journal homepage: wwwelseviercom/locate/aml The number of spanning trees of a graph Jianxi
More informationPure Skew Lattices in Rings
Semigroup Forum Vol. 68 (24) 268 279 c 24 Springer-Verlag New York, LLC DOI:.7/s233-3-3- RESEARCH ARTICLE Pure Skew Lattices in Rings Karin Cvetko-Vah Communicated by Boris M. Schein Abstract Given a ring
More informationFUZZY PRIME L-FILTERS
International Journal of Applied Mathematical Sciences ISSN 0973-0176 Volume 9, Number 1 (2016), pp. 37-44 Research India Publications http://www.ripublication.com FUZZY PRIME L-FILTERS M. Mullai Assistant
More information