Scientiae Mathematicae Vol. 3, No. 3(2000), CHARACTERIZATIONS OF 0-SIMPLE ORDERED SEMIGROUPS. Received June 16, 2000
|
|
- Sheila Moody
- 7 years ago
- Views:
Transcription
1 Scientiae Mathematicae Vol. 3, No. 3(2000), CHARACTERIZATIONS OF 0-SIMPLE ORDERED SEMIGROUPS NIOVI KEHAYOPULU AND MICHAEL TSINGELIS Received June 16, 2000 Abstract. We characterize the 0-simple ordered semigroups that is the ordered semigroups S having a zero element, denoted by 0,inwhich S 2 = f0g and f0g and S are the only ideals of S. When we speak about a simple ordered semigroup we assume that the ordered semigroup does not contain a zero element. Otherwise we speak about a 0-simple ordered semigroup. An ordered semigroup (without zero) is called simple if S is the only ideal of S. Following the terminology given by A. H. Clifford and G. B. Preston for algebraic semigroups in [2], an ordered semigroup (with 0) is called 0-simple if S 2 = f0g and if the sets f0g and S are the only ideals of S. An ordered semigroup is characterized in [4] as simple if (SaS] =S for every a 2 S. In this note a similar characterization of 0-simple ordered semigroups and some equivalent characterizations arising as corollaries are given. If (S; :;») is an ordered semigroup, a zero of S, denoted by 0,isanelement0ofS such that 0x = x0 =0and0» x for all x 2 S [1]. For an ordered semigroup S and A S, we denote (A] :=ft 2 S j t» a for some a 2 Ag: For A = fag (a 2 S), we write (a] instead of (fag]. If (S; :;») is an ordered semigroup, a non-empty subset I of S is called an ideal of S if 1) IS I and SI I. 2) a 2 I, S 3 b» a imply b 2 I [3; Definition 1]. Definition (cf. also [5]). Let S be an ordered semigroup with 0. S is called 0-simple if 1) S 2 6= f0g. 2) The only ideals of S are the sets f0g and S. As usual, we denote by S nf0g the complement off0g in S. Proposition 1 (cf. also [6]). 0-simple if and only if S 6= f0g and (SaS] =S for every a 2 S nf0g. Let (S; :;») be anordered semigroup with 0. Then S is Proof. =). Let S be 0-simple and let S = f0g. Then S 2 = f0g. Impossible. Let a 2nf0g (=) (SaS] =S?) The set (SaS] isanidealof S. Indeed: (SaS]S =(SaS](S] (SaS 2 ] (SaS], similarly S(SaS] (SaS]. If a 2 (SaS] and S 3 b» a, then b 2 (SaS]. Since S is 0- simple, we have (SaS] =f0g or (SaS] =S. Let (SaS] =f0g. We consider the set I := fx 2 S j (SxS] =f0gg Mathematics Subject Classification. 06F05. Key words and phrases. Simple, 0-simple ordered semigroups.
2 340 NIOVI KEHAYOPULU AND MICHAEL TSINGELIS I is an ideal of S. Indeed: ;6= I S (since a 2 I). Let y 2 S; x 2 I. Then yx 2 I. Indeed: Since x 2 I;(SxS] =f0g. Since SyxS SxS, we have (SyxS] (SxS] =f0g. Since ;6= SyxS (SyxS], we have (SyxS] 6= ;. Thus (SyxS] = f0g, andyx 2 I. Similarly IS I. Let x 2 I; S 3 y» x. Then y 2 I. Indeed: Since x 2 I;(SxS] =f0g. Since y» x, wehave (SyS] (SxS] =f0g. Since ;6= SyS (SyS], we have (SyS] 6= ;. Thus (SyS] =f0g, and y 2 I. Since S is 0-simple, we have I = f0g or I = S. Since a 2 I and a 6= 0 (a 2 S nf0g), we have I 6= f0g. Thus I = S. Then x 2 I for every x 2 S, and (SxS] =f0g for every x S 2 S:::::::::: (Λ) On the other hand, S 3 = SxS then, by (*), x2s (S 3 ]= [ x2s(sxs] =f0g :::::::: (ΛΛ) The set (S 2 ]isanidealof S, so (S 2 ]=f0g or (S 2 ] = S. If (S 2 ]=f0g then, since ;6= S 2 (S 2 ]=f0g, wehave S 2 = f0g. Impossible. Thus (S 2 ]=S. Then wehave S 2 = S(S 2 ]=(S](S 2 ] (S 3 ]=f0g by (**): Since S 2 6= ;, wehave S 2 = f0g. Impossible. (=. Suppose S 2 = f0g. Let a 2 S; a 6= 0(S 6= f0g). By hypothesis, (SaS] = S. Since ;6= SaS S 2 S = f0gs = f0g, wehave SaS = f0g, then(sas] =(0]=f0g, ands = f0g. Impossible. Let I be an ideal of S and I 6= f0g. Then I = S. Indeed: Let a 2 I; a 6= 0. Byhypothesis, (SaS] = S. Since a 2 I, wehave SaS SIS I, and (SaS] (I] =I, so S I, and I = S. 2 By Proposition 1, we have the Corollary 1. Let (S; :;») be anordered semigroup with 0 such that S 6= f0g. Then S is 0-simple if and only if (SaS] =S for every a 2 S nf0g. Corollary 2. Let (S; :;») be anordered semigroup with 0 such that S 6= f0g. Then S is 0-simple if and only if For every a; b 2 S nf0g there exist x; y 2 S such that b» xay. Proof. =). Let a; b 2 S nf0g. Since a 2 S nf0g and S is 0-simple, by Corollary 1, we have (SaS] =S. Since b 2 S, b 2 (SaS]. Then there exist x; y 2 S such that b» xay. (=. By Corollary 1, it is enough to prove thata 2 S nf0g implies (SaS] =S. Let a 2 S nf0g and b 2 S. If b = 0, then clearly b 2 (SaS]. Let b 2 S nf0g. Since a; b 2 S nf0g, by hypothesis, there exist x; y 2 S such that b» xay 2 SaS. Then b 2 (SaS]. Proposition 2. Let (S; :;») be anordered semigroup with 0 such that S 6= f0g. The 1) For every a; b 2 S nf0g there existx; y 2 S such that b» xay. 2) For every a 2 S nf0g and every b 2 S there exist x; y 2 S such that b» xay. Proof. 1) =) 2). Let a 2 S nf0g, b 2 S. If b = 0, then for the elements x = y =02 S, we have b» xay. If b 2 S nf0g then, by 1), there exist x; y 2 S such that b» xay. 2) =) 1). It is clear.
3 CHARACTERIZATIONS OF 0-SIMPLE ORDERED SEMIGROUPS 341 Proposition 3. Let (S; :;») be an ordered semigroup with 0 such that S 6= f0g. The 1) For every a; b 2 S nf0g there exist x; y 2 S such that b» xay. 2) For every a; b 2 S nf0g there exist x; y 2 S nf0g such that b» xay. Proof. 1) =) 2). Let a; b 2 S nf0g. By 1), there exist x; y 2 S such thatb» xay. If x =0ory = 0 then xay = 0, and b = 0. Impossible. Thus x; y 2 S nf0g. 2) =) 1).Itisclear. Proposition 4. Let (S; :;») be an ordered semigroup with 0 such that S 6= f0g. The 1) For every a 2 S nf0g and every b 2 S there existx; y 2 S such that b» xay. 2) For every a 2 S nf0g and every b 2 S there existx; y 2 S nf0g such that b» xay. Proof. 1) =) 2). Let a 2 S nf0g;b2 S. If b = 0, then for the elements x = y = a 2 S, we have 0» xay. Let b 2 S nf0g. Since a 2 S nf0g and b 2 S, byhypothesis, there exist x; y 2 S such that b» xay. If x =0ory =0,thenb = 0. Impossible. So x; y 2 S nf0g. 2) =) 1). It is clear. 2 By Corollary 1, Corollary 2, Proposition 2, Proposition 3 and Proposition 4, we have the following Theorem 1. Let (S; :;») be an ordered semigroup with 0 such that S 6= f0g. The 1) S is 0-simple. 2) For every a 2 S nf0g, wehave(sas] =S. 3) For every a; b 2 S nf0g there exist x; y 2 S such that b» xay. 4) For every a 2 S nf0g and every b 2 S there existx; y 2 S such that b» xay. 5) For every a; b 2 S nf0g there exist x; y 2 S nf0g such that b» xay. 6) For every a 2 S nf0g and every b 2 S there existx; y 2 S nf0g such that b» xay. 2 For an ordered semigroup S, we denote by I the equivalence relation on S defined by I := f(a; b) 2 S S j I(a) =I(b)g, where I(a) is the ideal of S generated by a (a 2 S). We have I(a) =(a [ Sa [ as [ SaS] (cf. [3]). As usual, we denote by (a) I the I- class containing a and by S=I the set of all (a) I, a 2 S. Theorem 2. Let (S; :;») be anordered semigroup with 0. Then S is 0-simple if and only if 1) S 2 6= f0g and 2) S=I = ff0g;snf0gg: Proof. =). Wehave S=I 3 (0) I = f0g. Indeed: Since 0 2 (0) I,wehave f0g (0) I : Let a 2 (0) I.Then(a; 0) 2 I, a 2 I(a) =I(0) = f0g, and a =0. We have S nf0g 2 S=I: Indeed: Since S is 0-simple, by Proposition 1, S 6= f0g, and f0gρs. Let a 2 S, a 6= 0. Then S=I 3 (a) I = S nf0g. Indeed:
4 342 NIOVI KEHAYOPULU AND MICHAEL TSINGELIS Let b 2 (a) I. Then (b; a) 2 I, a 2 I(a) = I(b). If b =0,thenI(b) =f0g, and a =0. Impossible. Thus b 2 S nf0g. If b 6= 0, then clearly b 2 S nf0g. Let b 2 S nf0g. Then b 2 (a) I. Indeed: Since I(b) is an ideal of S, byhypothesis, we have I(b) =f0g or I(b) =S. Since b 2 I(b), b 6= 0,wehave I(b) 6= f0g. Thus I(b) =S. In a similar way, since a 2 S n f0g, we have I(a) = S. Since I(a) = I(b), we have (a; b) 2 I, and b 2 (a) I. Let a 2 S. Then (a) I 2ff0g, S nf0gg. Indeed: If a =0,then(a) I =(0) I = f0g (cf. the proof above). If a 6= 0, then (a) I = S nf0g (cf. the proof above). (=. Let I be an ideal of S, I 6= f0g. Then I = S. Indeed: We have f0g ρi. Let a 2 I, a 6= 0. Since a 2 S, byhypothesis, we have (a) I = f0g or (a) I = S nf0g. If (a) I = f0g, then a 2 (a) I = f0g, a =0. Impossible. Thus (a) I = S nf0g:::::::::: (Λ) Let b 2 S. If b = 0, then clearly b 2 I. Let b 6= 0. Sinceb 2 S nf0g =(a) I (by (*)), we have (b; a) 2 I,andb 2 I(b) =I(a). Since a 2 I, wehave I(a) I. Then b 2 I. Remark 1. If S is an ordered semigroup with 0 and A := fi j I ideal of S; I 6= f0gg; then A 6= ; if and only if S 6= f0g. In fact: Let A 6= ;, and let I 2 A. Then I is an ideal of S and I 6= f0g. Since I is an ideal of S, wehave 02 I, andf0g I. Thenf0g ρi S, and S 6= f0g. If S 6= f0g, then clearly S 2 A. Remark 2. Let S is an ordered semigroup with 0 such that S 2 6= f0g. Then S 6= f0g, equivalently, jsj 2 (as usual, we denote by jsj the order of S). Remark 3. Let S is an ordered semigroup with 0 such thatthesetsf0g and S are the only ideals of S. If S 2 = f0g, thenjsj»2. In fact: Let jsj > 2 i.e jsj»3. Since 0 2 S, js nf0gj 2. Let a; b 2 S nf0g, a 6= b. The set (a] is an ideal of S. Indeed: (a]s =(a](s] (as] (S 2 ]=(0]=f0g (a] (S 2 = f0g) x 2 (a];s 3 y» x imply y 2 (a]: Thus (a] = f0g or (a] = S. If (a] = f0g, then a 2 (a] = f0g, a = 0. Impossible. Thus (a] = S. Similarly, since S 2 = f0g, the set (b] isanidealof S, then (b] = S. Then a 2 (a] =(b], and a» b. In a similar way, b» a, anda = b. Impossible. Remark 4. Let S is an ordered semigroup with 0 in which the sets f0g and S are the only ideals of S. Then S is 0-simple or we have S 2 = f0g and jsj»2. In fact: If S 2 6= f0g, then S is 0-simple. If S 2 = f0g then, by Remark3,jSj»2. 2 Note. An ordered semigroup (or groupoid) S without zero is called simple if S is the only ideal of S. If S is an ordered semigroup (or groupoid) with zero, this is the natural definition for S to be simple: An ordered semigroup (or groupoid) with zero is called simple (0-simple in the terminology of Clifford) if 1) S 6= f0g. 2) The only ideals of S are the sets f0g and S.
5 CHARACTERIZATIONS OF 0-SIMPLE ORDERED SEMIGROUPS 343 In this respect, we note the following: If (S; :;») is an ordered semigroup (or groupoid) with 0 such that S 2 = f0g then, for a 2 S, theset(a] :=fx 2 S j x» ag is an ideal of S::::::::(Λ) Indeed: ; 6= (a] S (since a 2 (a]). ; 6= (a]s S 2 = f0g (since a 2 2 (a]s), so (a]s = f0g (a] (since 0» a). Similarly S(a] (a]. If x 2 (a] and S 3 y» x, then y» a, so y 2 (a]. Remark A. If (S; :;») is an ordered semigroup (or groupoid) with 0, jsj 3 and S 2 = f0g, then there exists an ideal I of S such that I 6= f0g and I 6= S. In fact: Let a; b 2 S, a 6= b, a 6= 0,b 6= 0. Then: i ) Let b 2 (a]. By (*), the set (b] is an ideal of S. We have (b] 6= f0g and (b] 6= S. Indeed b 2 (b] andb 6= 0;a 2 S and a 62 (b] (sincea 2 (b] implies a» b. Moreover, since b 2 (a], we have b» a, then b = a. Impossible). ii) Let b 2 S nfag. By(*),(a] is an ideal of S. Wehave (a] 6= f0g and (a] 6= S. Indeed: a 2 (a] and a 62 f0g; b 2 S and b 62 (a]. Remark B. If (S; :;») is an ordered semigroup (or groupoid) with 0 and jsj = 2, then the only ideals of S are the sets f0g and S. In fact: Let S = f0;ag, a 6= 0. Let I be an ideal of S. Since;6= I S, wehave I = f0g or I = fag or I = S. If I = f0g, then I is an ideal of S. If I = S, then I is an ideal of S. Let I = fag. Then IS = fagf0;ag = f0;a 2 g6 fag (since f0;a 2 g fag implies 0 = a. Impossible). Thus the set fag is not an ideal of S. 2 We moreover remark that: If (S; :;») is an ordered semigroup with 0 and jsj =2,that is, if S = f0;ag, a 6= 0, then S is one of the following: A) S is the ordered semigroup with the multiplication and the order defined by: : 0 a a 0 0» = f(0; 0)g which is not 0-simple (in the terminology of Clifford) since S 2 = f0g. B) S is the ordered semigroup with the multiplication and the order defined by: : 0 a a 0 a» = f(0; 0); (0;a); (a; a)g: which is 0-simple (in the terminology of Clifford) since S 2 6= f0g, andforevery ideal I of S, wehave I = f0g or I = S. References [1] G. Birkhoff, Lattice Theory, Amer. Math. Soc. Coll. Publ. Vol. XXV, Providence, Rh. Island, [2] A. H. Clifford and G. B. Preston, The Algebraic TheoryofSemigroups Vol. I, Amer. Math. Soc., Math. Surveys 7, Providence, Rh. Island, [3] N. Kehayopulu, On weakly prime ideals of ordered semigroups, Mathematica Japonica, 35 (No. 6) (1990),
6 344 NIOVI KEHAYOPULU AND MICHAEL TSINGELIS [4] N. Kehayopulu, Note on Green's relations in ordered semigroups, Mathematica Japonica, 36 (No. 2) (1991), [5] N. Kehayopulu and M. Tsingelis, On right simple and right 0-simple ordered groupoids- semigroups, Scientiae Mathematicae, to appear. [6] M. Tsingelis, Contribution to the structure theory of ordered semigroups, Doctoral Dissertation, University ofathens, University of Athens, Department of Mathematics Mailinig (home) address: Nikomidias 18, Kesariani, Greece
F. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein)
Journal of Algerian Mathematical Society Vol. 1, pp. 1 6 1 CONCERNING THE l p -CONJECTURE FOR DISCRETE SEMIGROUPS F. ABTAHI and M. ZARRIN (Communicated by J. Goldstein) Abstract. For 2 < p
More informationTHE BANACH CONTRACTION PRINCIPLE. Contents
THE BANACH CONTRACTION PRINCIPLE ALEX PONIECKI Abstract. This paper will study contractions of metric spaces. To do this, we will mainly use tools from topology. We will give some examples of contractions,
More informationMath 4310 Handout - Quotient Vector Spaces
Math 4310 Handout - Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable
More informationMath 319 Problem Set #3 Solution 21 February 2002
Math 319 Problem Set #3 Solution 21 February 2002 1. ( 2.1, problem 15) Find integers a 1, a 2, a 3, a 4, a 5 such that every integer x satisfies at least one of the congruences x a 1 (mod 2), x a 2 (mod
More informationCartesian Products and Relations
Cartesian Products and Relations Definition (Cartesian product) If A and B are sets, the Cartesian product of A and B is the set A B = {(a, b) :(a A) and (b B)}. The following points are worth special
More information3. Mathematical Induction
3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)
More informationON ROUGH (m, n) BI-Γ-HYPERIDEALS IN Γ-SEMIHYPERGROUPS
U.P.B. Sci. Bull., Series A, Vol. 75, Iss. 1, 2013 ISSN 1223-7027 ON ROUGH m, n) BI-Γ-HYPERIDEALS IN Γ-SEMIHYPERGROUPS Naveed Yaqoob 1, Muhammad Aslam 1, Bijan Davvaz 2, Arsham Borumand Saeid 3 In this
More informationNo: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics
No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results
More informationNON-CANONICAL EXTENSIONS OF ERDŐS-GINZBURG-ZIV THEOREM 1
NON-CANONICAL EXTENSIONS OF ERDŐS-GINZBURG-ZIV THEOREM 1 R. Thangadurai Stat-Math Division, Indian Statistical Institute, 203, B. T. Road, Kolkata 700035, INDIA thanga v@isical.ac.in Received: 11/28/01,
More informationFINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROS-SHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS
FINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROS-SHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS Abstract. It is shown that, for any field F R, any ordered vector space structure
More informationADDITIVE GROUPS OF RINGS WITH IDENTITY
ADDITIVE GROUPS OF RINGS WITH IDENTITY SIMION BREAZ AND GRIGORE CĂLUGĂREANU Abstract. A ring with identity exists on a torsion Abelian group exactly when the group is bounded. The additive groups of torsion-free
More informationProperties of BMO functions whose reciprocals are also BMO
Properties of BMO functions whose reciprocals are also BMO R. L. Johnson and C. J. Neugebauer The main result says that a non-negative BMO-function w, whose reciprocal is also in BMO, belongs to p> A p,and
More informationON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING. 0. Introduction
ON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING Abstract. In [1] there was proved a theorem concerning the continuity of the composition mapping, and there was announced a theorem on sequential continuity
More informationPractice with Proofs
Practice with Proofs October 6, 2014 Recall the following Definition 0.1. A function f is increasing if for every x, y in the domain of f, x < y = f(x) < f(y) 1. Prove that h(x) = x 3 is increasing, using
More informationArkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 3 Binary Operations We are used to addition and multiplication of real numbers. These operations combine two real numbers
More informationOn the representability of the bi-uniform matroid
On the representability of the bi-uniform matroid Simeon Ball, Carles Padró, Zsuzsa Weiner and Chaoping Xing August 3, 2012 Abstract Every bi-uniform matroid is representable over all sufficiently large
More informationThe Mean Value Theorem
The Mean Value Theorem THEOREM (The Extreme Value Theorem): If f is continuous on a closed interval [a, b], then f attains an absolute maximum value f(c) and an absolute minimum value f(d) at some numbers
More informationInvertible elements in associates and semigroups. 1
Quasigroups and Related Systems 5 (1998), 53 68 Invertible elements in associates and semigroups. 1 Fedir Sokhatsky Abstract Some invertibility criteria of an element in associates, in particular in n-ary
More informationON SOME CLASSES OF REGULAR ORDER SEMIGROUPS
Commun. Korean Math. Soc. 23 (2008), No. 1, pp. 29 40 ON SOME CLASSES OF REGULAR ORDER SEMIGROUPS Zhenlin Gao and Guijie Zhang Reprinted from the Communications of the Korean Mathematical Society Vol.
More informationLinear Algebra. A vector space (over R) is an ordered quadruple. such that V is a set; 0 V ; and the following eight axioms hold:
Linear Algebra A vector space (over R) is an ordered quadruple (V, 0, α, µ) such that V is a set; 0 V ; and the following eight axioms hold: α : V V V and µ : R V V ; (i) α(α(u, v), w) = α(u, α(v, w)),
More informationFundamentele Informatica II
Fundamentele Informatica II Answer to selected exercises 1 John C Martin: Introduction to Languages and the Theory of Computation M.M. Bonsangue (and J. Kleijn) Fall 2011 Let L be a language. It is clear
More informationFACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z
FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization
More informationArkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 6 Permutation Groups Let S be a nonempty set and M(S be the collection of all mappings from S into S. In this section,
More informationDIFFERENTIABILITY OF COMPLEX FUNCTIONS. Contents
DIFFERENTIABILITY OF COMPLEX FUNCTIONS Contents 1. Limit definition of a derivative 1 2. Holomorphic functions, the Cauchy-Riemann equations 3 3. Differentiability of real functions 5 4. A sufficient condition
More informationk, then n = p2α 1 1 pα k
Powers of Integers An integer n is a perfect square if n = m for some integer m. Taking into account the prime factorization, if m = p α 1 1 pα k k, then n = pα 1 1 p α k k. That is, n is a perfect square
More informationI. GROUPS: BASIC DEFINITIONS AND EXAMPLES
I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called
More informationHandout #1: Mathematical Reasoning
Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or
More informationIRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction
IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible
More informationRend. Istit. Mat. Univ. Trieste Suppl. Vol. XXX, 111{121 (1999) Fuzziness in Chang's Fuzzy Topological Spaces Valentn Gregori and Anna Vidal () Summary. - It is known that fuzziness within the concept
More information1. Prove that the empty set is a subset of every set.
1. Prove that the empty set is a subset of every set. Basic Topology Written by Men-Gen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since
More informationSample Induction Proofs
Math 3 Worksheet: Induction Proofs III, Sample Proofs A.J. Hildebrand Sample Induction Proofs Below are model solutions to some of the practice problems on the induction worksheets. The solutions given
More informationON COMPLETELY CONTINUOUS INTEGRATION OPERATORS OF A VECTOR MEASURE. 1. Introduction
ON COMPLETELY CONTINUOUS INTEGRATION OPERATORS OF A VECTOR MEASURE J.M. CALABUIG, J. RODRÍGUEZ, AND E.A. SÁNCHEZ-PÉREZ Abstract. Let m be a vector measure taking values in a Banach space X. We prove that
More informationOrthogonal Diagonalization of Symmetric Matrices
MATH10212 Linear Algebra Brief lecture notes 57 Gram Schmidt Process enables us to find an orthogonal basis of a subspace. Let u 1,..., u k be a basis of a subspace V of R n. We begin the process of finding
More informationEXTENSIONS OF MAPS IN SPACES WITH PERIODIC HOMEOMORPHISMS
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 78, Number 4, July 1972 EXTENSIONS OF MAPS IN SPACES WITH PERIODIC HOMEOMORPHISMS BY JAN W. JAWOROWSKI Communicated by Victor Klee, November 29, 1971
More informationJUST-IN-TIME SCHEDULING WITH PERIODIC TIME SLOTS. Received December May 12, 2003; revised February 5, 2004
Scientiae Mathematicae Japonicae Online, Vol. 10, (2004), 431 437 431 JUST-IN-TIME SCHEDULING WITH PERIODIC TIME SLOTS Ondřej Čepeka and Shao Chin Sung b Received December May 12, 2003; revised February
More informationMATH 304 Linear Algebra Lecture 18: Rank and nullity of a matrix.
MATH 304 Linear Algebra Lecture 18: Rank and nullity of a matrix. Nullspace Let A = (a ij ) be an m n matrix. Definition. The nullspace of the matrix A, denoted N(A), is the set of all n-dimensional column
More informationRough Semi Prime Ideals and Rough Bi-Ideals in Rings
Int Jr. of Mathematical Sciences & Applications Vol. 4, No.1, January-June 2014 Copyright Mind Reader Publications ISSN No: 2230-9888 www.journalshub.com Rough Semi Prime Ideals and Rough Bi-Ideals in
More informationAssociativity condition for some alternative algebras of degree three
Associativity condition for some alternative algebras of degree three Mirela Stefanescu and Cristina Flaut Abstract In this paper we find an associativity condition for a class of alternative algebras
More informationMA651 Topology. Lecture 6. Separation Axioms.
MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples
More informationON THE COEFFICIENTS OF THE LINKING POLYNOMIAL
ADSS, Volume 3, Number 3, 2013, Pages 45-56 2013 Aditi International ON THE COEFFICIENTS OF THE LINKING POLYNOMIAL KOKO KALAMBAY KAYIBI Abstract Let i j T( M; = tijx y be the Tutte polynomial of the matroid
More information6.3 Conditional Probability and Independence
222 CHAPTER 6. PROBABILITY 6.3 Conditional Probability and Independence Conditional Probability Two cubical dice each have a triangle painted on one side, a circle painted on two sides and a square painted
More informationRow Ideals and Fibers of Morphisms
Michigan Math. J. 57 (2008) Row Ideals and Fibers of Morphisms David Eisenbud & Bernd Ulrich Affectionately dedicated to Mel Hochster, who has been an inspiration to us for many years, on the occasion
More informationFACTORING CERTAIN INFINITE ABELIAN GROUPS BY DISTORTED CYCLIC SUBSETS
International Electronic Journal of Algebra Volume 6 (2009) 95-106 FACTORING CERTAIN INFINITE ABELIAN GROUPS BY DISTORTED CYCLIC SUBSETS Sándor Szabó Received: 11 November 2008; Revised: 13 March 2009
More informationTHE REGULAR OPEN CONTINUOUS IMAGES OF COMPLETE METRIC SPACES
PACIFIC JOURNAL OF MATHEMATICS Vol 23 No 3, 1967 THE REGULAR OPEN CONTINUOUS IMAGES OF COMPLETE METRIC SPACES HOWARD H WICKE This article characterizes the regular T o open continuous images of complete
More informationSHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH
31 Kragujevac J. Math. 25 (2003) 31 49. SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH Kinkar Ch. Das Department of Mathematics, Indian Institute of Technology, Kharagpur 721302, W.B.,
More informationarxiv:0908.3127v2 [math.gt] 6 Sep 2009
MINIMAL SETS OF REIDEMEISTER MOVES arxiv:0908.3127v2 [math.gt] 6 Sep 2009 MICHAEL POLYAK Abstract. It is well known that any two diagrams representing the same oriented link are related by a finite sequence
More informationON SUPERCYCLICITY CRITERIA. Nuha H. Hamada Business Administration College Al Ain University of Science and Technology 5-th st, Abu Dhabi, 112612, UAE
International Journal of Pure and Applied Mathematics Volume 101 No. 3 2015, 401-405 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu doi: http://dx.doi.org/10.12732/ijpam.v101i3.7
More informationMathematical Induction
Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,
More informationQuotient Rings and Field Extensions
Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.
More informationA simple criterion on degree sequences of graphs
Discrete Applied Mathematics 156 (2008) 3513 3517 Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: www.elsevier.com/locate/dam Note A simple criterion on degree
More information1 if 1 x 0 1 if 0 x 1
Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or
More informationFull and Complete Binary Trees
Full and Complete Binary Trees Binary Tree Theorems 1 Here are two important types of binary trees. Note that the definitions, while similar, are logically independent. Definition: a binary tree T is full
More informationFurther Study on Strong Lagrangian Duality Property for Invex Programs via Penalty Functions 1
Further Study on Strong Lagrangian Duality Property for Invex Programs via Penalty Functions 1 J. Zhang Institute of Applied Mathematics, Chongqing University of Posts and Telecommunications, Chongqing
More informationCycles in a Graph Whose Lengths Differ by One or Two
Cycles in a Graph Whose Lengths Differ by One or Two J. A. Bondy 1 and A. Vince 2 1 LABORATOIRE DE MATHÉMATIQUES DISCRÉTES UNIVERSITÉ CLAUDE-BERNARD LYON 1 69622 VILLEURBANNE, FRANCE 2 DEPARTMENT OF MATHEMATICS
More informationTHE SQUARE PARTIAL SUMS OF THE FOURIER TRANSFORM OF RADIAL FUNCTIONS IN THREE DIMENSIONS
Scientiae Mathematicae Japonicae Online, Vol. 5,, 9 9 9 THE SQUARE PARTIAL SUMS OF THE FOURIER TRANSFORM OF RADIAL FUNCTIONS IN THREE DIMENSIONS CHIKAKO HARADA AND EIICHI NAKAI Received May 4, ; revised
More informationP. Jeyanthi and N. Angel Benseera
Opuscula Math. 34, no. 1 (014), 115 1 http://dx.doi.org/10.7494/opmath.014.34.1.115 Opuscula Mathematica A TOTALLY MAGIC CORDIAL LABELING OF ONE-POINT UNION OF n COPIES OF A GRAPH P. Jeyanthi and N. Angel
More informationLINEAR DIFFERENTIAL EQUATIONS IN DISTRIBUTIONS
LINEAR DIFFERENTIAL EQUATIONS IN DISTRIBUTIONS LESLIE D. GATES, JR.1 1. Introduction. The main result of this paper is an extension of the analysis of Laurent Schwartz [l ] concerning the primitive of
More information(a) Write each of p and q as a polynomial in x with coefficients in Z[y, z]. deg(p) = 7 deg(q) = 9
Homework #01, due 1/20/10 = 9.1.2, 9.1.4, 9.1.6, 9.1.8, 9.2.3 Additional problems for study: 9.1.1, 9.1.3, 9.1.5, 9.1.13, 9.2.1, 9.2.2, 9.2.4, 9.2.5, 9.2.6, 9.3.2, 9.3.3 9.1.1 (This problem was not assigned
More informationRECURSIVE ENUMERATION OF PYTHAGOREAN TRIPLES
RECURSIVE ENUMERATION OF PYTHAGOREAN TRIPLES DARRYL MCCULLOUGH AND ELIZABETH WADE In [9], P. W. Wade and W. R. Wade (no relation to the second author gave a recursion formula that produces Pythagorean
More informationThe sum of digits of polynomial values in arithmetic progressions
The sum of digits of polynomial values in arithmetic progressions Thomas Stoll Institut de Mathématiques de Luminy, Université de la Méditerranée, 13288 Marseille Cedex 9, France E-mail: stoll@iml.univ-mrs.fr
More informationAn inequality for the group chromatic number of a graph
An inequality for the group chromatic number of a graph Hong-Jian Lai 1, Xiangwen Li 2 and Gexin Yu 3 1 Department of Mathematics, West Virginia University Morgantown, WV 26505 USA 2 Department of Mathematics
More informationNotes on metric spaces
Notes on metric spaces 1 Introduction The purpose of these notes is to quickly review some of the basic concepts from Real Analysis, Metric Spaces and some related results that will be used in this course.
More informationA note on companion matrices
Linear Algebra and its Applications 372 (2003) 325 33 www.elsevier.com/locate/laa A note on companion matrices Miroslav Fiedler Academy of Sciences of the Czech Republic Institute of Computer Science Pod
More informationTiers, Preference Similarity, and the Limits on Stable Partners
Tiers, Preference Similarity, and the Limits on Stable Partners KANDORI, Michihiro, KOJIMA, Fuhito, and YASUDA, Yosuke February 7, 2010 Preliminary and incomplete. Do not circulate. Abstract We consider
More informationMathematical Induction
Mathematical Induction In logic, we often want to prove that every member of an infinite set has some feature. E.g., we would like to show: N 1 : is a number 1 : has the feature Φ ( x)(n 1 x! 1 x) How
More informationThe Positive Supercyclicity Theorem
E extracta mathematicae Vol. 19, Núm. 1, 145 149 (2004) V Curso Espacios de Banach y Operadores. Laredo, Agosto de 2003. The Positive Supercyclicity Theorem F. León Saavedra Departamento de Matemáticas,
More informationCONTRIBUTIONS TO ZERO SUM PROBLEMS
CONTRIBUTIONS TO ZERO SUM PROBLEMS S. D. ADHIKARI, Y. G. CHEN, J. B. FRIEDLANDER, S. V. KONYAGIN AND F. PAPPALARDI Abstract. A prototype of zero sum theorems, the well known theorem of Erdős, Ginzburg
More informationON FIBER DIAMETERS OF CONTINUOUS MAPS
ON FIBER DIAMETERS OF CONTINUOUS MAPS PETER S. LANDWEBER, EMANUEL A. LAZAR, AND NEEL PATEL Abstract. We present a surprisingly short proof that for any continuous map f : R n R m, if n > m, then there
More informationSYSTEMS OF PYTHAGOREAN TRIPLES. Acknowledgements. I would like to thank Professor Laura Schueller for advising and guiding me
SYSTEMS OF PYTHAGOREAN TRIPLES CHRISTOPHER TOBIN-CAMPBELL Abstract. This paper explores systems of Pythagorean triples. It describes the generating formulas for primitive Pythagorean triples, determines
More informationSection 3.7. Rolle s Theorem and the Mean Value Theorem. Difference Equations to Differential Equations
Difference Equations to Differential Equations Section.7 Rolle s Theorem and the Mean Value Theorem The two theorems which are at the heart of this section draw connections between the instantaneous rate
More informationWHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?
WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly
More informationThe Structure of Galois Algebras
The Structure of Galois Algebras George Szeto Department of Mathematics, Bradley University Peoria, Illinois 61625 { U.S.A. Email: szeto@hilltop.bradley.edu and Lianyong Xue Department of Mathematics,
More information26 Ideals and Quotient Rings
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 26 Ideals and Quotient Rings In this section we develop some theory of rings that parallels the theory of groups discussed
More informationSolutions to Homework 6 Mathematics 503 Foundations of Mathematics Spring 2014
Solutions to Homework 6 Mathematics 503 Foundations of Mathematics Spring 2014 3.4: 1. If m is any integer, then m(m + 1) = m 2 + m is the product of m and its successor. That it to say, m 2 + m is the
More informationPOLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS
POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS RUSS WOODROOFE 1. Unique Factorization Domains Throughout the following, we think of R as sitting inside R[x] as the constant polynomials (of degree 0).
More informationMATH10040 Chapter 2: Prime and relatively prime numbers
MATH10040 Chapter 2: Prime and relatively prime numbers Recall the basic definition: 1. Prime numbers Definition 1.1. Recall that a positive integer is said to be prime if it has precisely two positive
More informationMax-Min Representation of Piecewise Linear Functions
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 43 (2002), No. 1, 297-302. Max-Min Representation of Piecewise Linear Functions Sergei Ovchinnikov Mathematics Department,
More informationAMBIGUOUS CLASSES IN QUADRATIC FIELDS
MATHEMATICS OF COMPUTATION VOLUME, NUMBER 0 JULY 99, PAGES -0 AMBIGUOUS CLASSES IN QUADRATIC FIELDS R. A. MOLLIN Dedicated to the memory ofd. H. Lehmer Abstract. We provide sufficient conditions for the
More informationEvery Positive Integer is the Sum of Four Squares! (and other exciting problems)
Every Positive Integer is the Sum of Four Squares! (and other exciting problems) Sophex University of Texas at Austin October 18th, 00 Matilde N. Lalín 1. Lagrange s Theorem Theorem 1 Every positive integer
More informationFIXED POINT SETS OF FIBER-PRESERVING MAPS
FIXED POINT SETS OF FIBER-PRESERVING MAPS Robert F. Brown Department of Mathematics University of California Los Angeles, CA 90095 e-mail: rfb@math.ucla.edu Christina L. Soderlund Department of Mathematics
More informationI. Pointwise convergence
MATH 40 - NOTES Sequences of functions Pointwise and Uniform Convergence Fall 2005 Previously, we have studied sequences of real numbers. Now we discuss the topic of sequences of real valued functions.
More informationLinear Maps. Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007)
MAT067 University of California, Davis Winter 2007 Linear Maps Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007) As we have discussed in the lecture on What is Linear Algebra? one of
More information88 CHAPTER 2. VECTOR FUNCTIONS. . First, we need to compute T (s). a By definition, r (s) T (s) = 1 a sin s a. sin s a, cos s a
88 CHAPTER. VECTOR FUNCTIONS.4 Curvature.4.1 Definitions and Examples The notion of curvature measures how sharply a curve bends. We would expect the curvature to be 0 for a straight line, to be very small
More informationChapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.
Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize
More informationRIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES
RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES GAUTAM BHARALI AND INDRANIL BISWAS Abstract. In the study of holomorphic maps, the term rigidity refers to certain types of results that give us very specific
More informationit is easy to see that α = a
21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UF. Therefore
More informationA CHARACTERIZATION OF C k (X) FOR X NORMAL AND REALCOMPACT
Bol. Soc. Mat. Mexicana (3) Vol. 12, 2006 A CHARACTERIZATION OF C k (X) FOR X NORMAL AND REALCOMPACT F. MONTALVO, A. A. PULGARÍN AND B. REQUEJO Abstract. We present some internal conditions on a locally
More informationSome Special Artex Spaces Over Bi-monoids
Some Special Artex Spaces Over Bi-monoids K.Muthukumaran (corresponding auther) Assistant Professor PG and Research Department Of Mathematics, Saraswathi Narayanan College, Perungudi Madurai-625022,Tamil
More informationOn the Multiplier of a Lie Algebra
Journal of Lie Theory Volume 13 (003) 1 6 c 003 Heldermann Verlag On the Multiplier of a Lie Algebra Bill Yankosky Communicated by J. D. Lawson Abstract. Under fairly general conditions, we extend the
More informationINCIDENCE-BETWEENNESS GEOMETRY
INCIDENCE-BETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full
More informationAlgebra 3: algorithms in algebra
Algebra 3: algorithms in algebra Hans Sterk 2003-2004 ii Contents 1 Polynomials, Gröbner bases and Buchberger s algorithm 1 1.1 Introduction............................ 1 1.2 Polynomial rings and systems
More information1.5 Greatest Common Factor and Least Common Multiple
1.5 Greatest Common Factor and Least Common Multiple This chapter will conclude with two topics which will be used when working with fractions. Recall that factors of a number are numbers that divide into
More informationPROBLEM SET 6: POLYNOMIALS
PROBLEM SET 6: POLYNOMIALS 1. introduction In this problem set we will consider polynomials with coefficients in K, where K is the real numbers R, the complex numbers C, the rational numbers Q or any other
More informationSMALL SKEW FIELDS CÉDRIC MILLIET
SMALL SKEW FIELDS CÉDRIC MILLIET Abstract A division ring of positive characteristic with countably many pure types is a field Wedderburn showed in 1905 that finite fields are commutative As for infinite
More informationMATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.
MATH10212 Linear Algebra Textbook: D. Poole, Linear Algebra: A Modern Introduction. Thompson, 2006. ISBN 0-534-40596-7. Systems of Linear Equations Definition. An n-dimensional vector is a row or a column
More informationOur Primitive Roots. Chris Lyons
Our Primitive Roots Chris Lyons Abstract When n is not divisible by 2 or 5, the decimal expansion of the number /n is an infinite repetition of some finite sequence of r digits. For instance, when n =
More informationFactoring Cubic Polynomials
Factoring Cubic Polynomials Robert G. Underwood 1. Introduction There are at least two ways in which using the famous Cardano formulas (1545) to factor cubic polynomials present more difficulties than
More information1 Introduction, Notation and Statement of the main results
XX Congreso de Ecuaciones Diferenciales y Aplicaciones X Congreso de Matemática Aplicada Sevilla, 24-28 septiembre 2007 (pp. 1 6) Skew-product maps with base having closed set of periodic points. Juan
More informationDuality of linear conic problems
Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least
More informationON THE EMBEDDING OF BIRKHOFF-WITT RINGS IN QUOTIENT FIELDS
ON THE EMBEDDING OF BIRKHOFF-WITT RINGS IN QUOTIENT FIELDS DOV TAMARI 1. Introduction and general idea. In this note a natural problem arising in connection with so-called Birkhoff-Witt algebras of Lie
More information