Levels of Ultrafilters with Extension Divisibilities

Size: px
Start display at page:

Download "Levels of Ultrafilters with Extension Divisibilities"

Transcription

1 arxiv: v1 [mathgn] 12 Jul 2018 Levels of Ultrafilters with Extension Divisibilities Salahddeen Khalifa Department of Mathematics and Computer Sience University of Missouri- St Louis StLouis, MO USA July 16, 2018 Abstract To worore accurately with elements of the semigroup of the Stone Cech compactification (βn,) of the discrete semigroup of natural numbers N under multiplication We divided these elements into ultrafilters which are on finite levels and ultrafilters which are not on finite levels For the ultrafilters that are on finite levels we prove that any element is irreducible or product of irreducible elements and all elements on higher levels are -divided by some elements on lower levels We characterize ultrafilters that are not on finite levels and the effect of -divisibility on the ultrafilters which are not on finite levels 1 Introduction If we given the discrete semi-group (N,) of the discrete space of natural numbers with multiplication, then (βn,) is a semigroup of the Stone-Cech compactification βn of the discrete space N with operation() that is defined as: For any x,y βn,a xy iff {n N : A/n y} x where A/n = {m N : mn A} The topology on βn has base that contains the basic (clopen) sets that are defined as : for any A N,A = {x βn : A x} For each n N the 1

2 principal ultrafilter is defined by element {n} N = βn N anda = A A for A N βn = 2 c where c = R The collection of upward closed subsets of N is µ = {A N : A = A } where A = {n N : a A,a n} andthecollection of downward closed subsets of N is ν = {A N : A = A } where A = {n N : a A,n a} For every f : N N there is a unique continuous extension function f : βn βn such that for every x βn, f(x) = {A N : f 1 (A) x} If A x, then f(a) f(x) and if B f(x), then f 1 (B) x For x βn,if A x, then x A = {B A : B x} is an ultrafilter on A Let x,y βn Then: y is left-divisible by x, x l y if there is z βn such that y = zx y is right-divisible by x,x r y, if there is z βn such that y = xz y is mid-divisible by x,x m y, if there are z,w βn such that y = zxw y is -divisible by x, x y if for all A N,A x implies A = {n N : a A,a n} y When x = n N, we write n y,(y = nz,z βn) Lemma 11 ([1]Theorem 415)Assume x,y βn and A N Then A xy if and only if there exist B x and an indexed family < C n > n B in y such that n B nc n A Lemma 12 ([3]Lemma 14)The following conditions are equavalent (a) x y (b) x µ y µ (c) y ν x ν Lemma 13 ([4]Lemma 21)Let x βn, A x, and f : N N (a) If f(a) a for all a A, then f(x) x (b) If a f(a) for all a A, then x f(x) In Lemma 1-3, if A x, in order to determine f(x) it is enough to know values of f(a) for a A, ie we will sometimes define the function only on a set in x An element p βn {1} is prime with respect to l, r, m or divisibility if it is divisible only by 1 and itself We call p βn irreducible in X βn if it can not be represented in the form p = xy for x,y X {1} Lemma 14 (a) p βn is prime with respect to l, r and m divisibilities if and only if p is irreducible 2

3 (b) ([4]Lemma 22) p βn is prime with respect to -divisibility if and only if p P (P the set of prime numbers in N) (c) ([2]Lemma73) If p βn and p P, then p is irreducible in βn (d) If p βn is prime with respect to - divisibility Then p is prime with respect to l, r and m divisibilities Proof (a) This follows immediately from definition of prime and irreducible (d)by (a),(b),(c) 2 Ultrafilters on finite levels in βn In this section we consider the set of ultrafilters which are elements in all basic open sets,i = 0,1,2, where L 0 = {1} and L n = {a 1 a 2 a n : a 1,a 2,,a n P}, P the set of prime numbers in N Definition 21 ([4] definition 24)Let P be the set of prime numbers in N, and let L 0 = {1} L 1 = {a : a P} L 2 = {a 1 a 2 : a 1,a 2 P} L n = {a 1 a 2 a n : a 1,a 2,,a n P} Then, the ultrafilter x is called on finite level if it is in exactly one of the follwing sets:,i = 0,1,2, where = {y βn : y} Definition 22 Let A P We denote A n = {a n : a A} and A (n) = {a 1 a 2 a n : all a i Aaremutuallyprimenumbers} Lemma 23 (1) L j = for any i j (2) = P i P i 1 P P (i) for any i 2, and P i,p i 1 P,,P (i) are disjoint (3) has 2 c elements for all i 0 (4) All P i,p i 1 P,, P (i) has 2 c elements (5) Any principal ultrafilter in βn is ultrafilter on finite level ie N 3

4 (6) If A N is finite, then all ultrafilters x A are on finite level Proof (1) Assume L j for some i j, so there exist x βn such that x L j, so,,l j x and L j = x a contradictionthus L j = for any i j (2) To avoid cumbersome notation we prove this in case of i = 3 Ultrafilters inthe3rdlevelcontainsl 3 = {a 1 a 2 a 3 : a 1,a 2,a 3 P} = {8,12,18,20,27,} and we can partition L 3 as: L 3 = {8,27,125,} {12,18,20,28} {30,42,66} = P 3 P 2 P P (3) So L 3 = P 3 P 2 P P (3) = P 3 P 2 P P(3) Since P 3,P 2 P,P (3) are disjoint, then P 3,P 2 P and P (3) are disjointed (3) Since is infinite set and = L i so by([5]theorem 33) has 2 c ultrafilters (4) If we prove this in case of i = 3 All P 3,P 2 P,P (3) are infinite sets Thus P 3,P 2 P and P (3) have 2 c elelments (5) Since for any n N is prime number or product of prime numbers So there exist L n such that n L n and since L n = L n L n, so n L n as principal ultrafilterthus N (6) Let A = {n 1,n 2,,n m } be a finite subset of N For any x A, we have {n 1 n 2,,n m } x, so x = n i for exactly of one of 1 i mthus x is principal ultrafilter, and by (5) x is on finite level Definition 24 (1)([4]Definition 51) We call ultrafilters of the form p k for some p P and k N basic Let B be the set of all basic ultrafilters and let A be the set of all functions α : B N {0} with finite support ( {b B : α(b) 0} is finite) ie α = {(b 1,n 1 )(b 2,n 2 )(b m,n m )}, α(b) = 0 for α / {b 1,b 2,,b m } Let α = {(p 1,n 1 ),(p 2,n 2 ),,(p m,n m )} A, (p i P) Set F α = {(A 1 ) (n 1) (A 2 ) (n 2) (A m ) (nm) : A i p i P,A i = A j if p i = p j A i A j = otherwise} where (A 1 ) (n 1) (A 2 K 2 ) (n 2) (A m ) (nm) = { m 4 n i i=1j=1 a k i i,j : a i,j A i

5 for all i,j and a i,j are distinct} (2)([4]Definition 31) If pow n : N N is defined by pow n (a) = a n then for x N, pow n (x) is generated by sets A n for A x we will denote pow n (x), with x n Example 25 If α = {(p 2,1)}, then F α = {A 2 : A p P} If α = {(p,2)} then F α = {A (2) : A p P} If α = {(p 3,2),(q 2,2)}, then F α = {(A 3 ) (2) (B 2 ) (2) : A p P,B q P,A B = } k Definition26 ([4]Definition54)Ifα = {(p 1,n 1 ),(p 2,n 2 ),,(p m m,n m )} m A,p i P, we denote σ(α) = k i n i i=1 Theorem 27 F α x for some α A if and only if x is n-th level L n (for n N) such that σ(α) = n k Proof ( ) Let α = {(p 1,n 1 ),(p 2,n 2 ),,(p m m,n m )} A k with σ(α) = n and F α x, so (A 1 1 ) (n1) k (A 2 2 ) (n2) (k (A m) m ) (nm) x, and k since (A 1 1 ) (n1) k (A 2 2 ) (n2) k (A m m ) (nm) L n So L n x and x L n ( ) By ([4] Theorem 55) Theorem 28 (a) If x L m and y L n Then xy L m+n (b) If F α x and F β y Then F α+β xy where α+β = {(b,n+n ) : (b,n) α,(b,n ) β} Proof (a) Let x L m and y L n,, then L m x,l n y In (Lemma 1-1) if we put B = L m and for all n L m,c n = L n,then we have L m L n = nl n xy, xy L m L n Thus xy L m+n n L m (b) Let F α x,f β y and α,β A, so x is the m-th level L m and y is the n-th level L n, where σ(α) = m and σ(β) = n, so by (Theorem 27) and (a) xy L m+n where m+n = σ(α+β), and also by ( Theorem 2-7 ) we have F α+β xy Lemma 29 : n = n 5

6 Proof Let x βn,x n then x for some i, so x, n x, and x n Thus n n If x n, then n x, so x for some i and x Thus x n, so n n Therefore n = n Since the irreducible elements are the prime elements with respect to l, r and m -divisibilities, then the notion that any natural number is either a prime number or a product of prime numbers transfer from N to the set of ultrafilters which are on finite levels Theorem 210 Any ultrafilter x βn on finite level (x ) where i 1 is irreducible or product of irreducible elements Proof (1) If x L 1, then by (Lemma 1-4 (c)) x is irreducible (2) If x L 2 : For x L 2, x is product of two prime numbers, so by (Lemma 1-4 (c)) x is product of irreducible elements Let x L 2,x = yz L 2, (L 2 x = yz), then {m N : L 2 /m z} y, and since L 2 /m = {r N : rm L 2 } So we have four cases for values of L 2 /m such as : L 2 /m = {r N : rm L 2 } = 1 when m is in L 2 (1) = L 2 when m = 1 (2) = L 1 when m is in L 1 (3) = when m is otherwise (4) Now : By (1) and (2) we have either y = 1 or z = 1, so x is irreducible And by (3) x is product of two prime elements so by (Lemma 14 (c) ) x is product of irreducible elements (3) If x L 3 : For x L 3, x is product of three prime numbers, so by (Lemma 1-4 (c)) x is product of irreducible elements Let x L 3, x = yz L 3 (L 3 x = yz), then {m N : L 3 /m z} y and sine L 3 /m = {r N : rm L 3 } So we have five cases for values of L 3 /msuch 6

7 as: L 3 /m = {r N : rm L 3 } = 1 when m is in L 3 (1) = L 3 when m = 1 (2) = L 2 when m is in L 1 (3) = L 1 when m is in L 2 (4) = when m is otherwise (5) Now : By (1) and (2) we have either y = 1 or z = 1 Thus, x is irreducible By (3) L 1 y,l 2 z, we have two cases : (a) y is irreducible and z is irreducible Therefore, x is product of irreducible elements (b) y is irreducible, and z is product of irreducible elements Therefore, x is product of irreducible elements Similar to (3), we have by (4) x is product of irreducible elements (4) If we continue in this way and we suppose that any element x, 1 i n 1 is irreducible or product of irreducible elements Then we can prove that for any x L n is irreducible or product of irreducible elements such as : If x L n : For x L n, x is product of n times prime numbers, so by ( Lemma 1-4 (c)) x is product of irreduciblelet x L n, x = yz L n (L n x = yz), then {m N : L n /m z} y, and sine L n /m = {r N : rm L n } So we have n+2 cases for values of L 2 /n such as: L n /m = {r N : mr L n } = 1 when m is in L n (1) = L n when m = 1 (2) = L n 1 when m in L 1 (3) = L n 2 when m is in L 2 (4) = L 2 when m is in L n 2 (n) = L 1 when m is in L n 1 (n+1) = when m is otherwise (n+2) 7

8 Now By (1) and (2) we have either y = 1 or z = 1, so x is irreducible Moreover,in all the other cases we have x is product of irreducible elements Corollary 211 (a) For any n-th level, L n has 2 c irreducible elements (b) For any n-th level, L n there are 2 c ultrafilters in L that are not irreducible ( product of irreducible elements ) Proof (a) Since for any L n N is infinite,so by ( [2] proposition 74 ) there exist infinite set A L n, such that all elements of A are irreducible Also since by ([ 5] Theorem 3-3 ) A has 2 c elements and A L n Thus L n has 2 c irreducible elements (b) Let x and y are distinct elements of L 1 and let p L n 1Since for every disjoint subset A and B of L 1 we have Ap Bp =, then by ( [1] Theorem 811 (5),(3)), xp yp [xp,yp L n by (Theorem 2-8 (a) )] Thus L n has 2 c ultrafilters which are product of irreducible elements Corollary 212 If x L n,n 2 is not irreducible ultrafilter, then there exist at least two ultrafilters x i,x j L j,i,j < n,x = x i x j Proof Let x L n, and x is not irreducible, then by ( Theorem 210 ) x is product of at least two irreducible elements x i,x j,i,j < n,x i, x j L j, L j = L n and x = x i x j L j L j = L n Corollary 213 For any x,i 2 which is not irreducible, there exist at least two ultrafilters x i and x j L j,i,j < n,such that: x i l x, x j r x,and x i m x, x j m x The following theorem shows that the facts that for any m L m there is n L n where n m such that n m, and for any n L n there is m L m such that n m can be transfered to the -divisibility on the ultrafilters that are on finite levels Theorem 214 (a) For every ultrafilter x βn L 0 L 1 L n 1 on finite level, there is an ultrafilter y L n such that y x (b) For any ultrafilter x L m, there exist an ultrafilter y L n,m n such that x y Proof (a)let x βn L 0 L 1 L n 1 is ultrfilter onfinite level and letf : N L 0 L 1 L n 1 N isdefinedbyf(n)bethesmallestfactor 8

9 of nin L n So we have x / L 0 L 1 L n 1 and L 0 L 1 L n 1 / x andwehaven L 0 L 1 L n 1 x,f(n L 0 L 1 L n 1 ) f(x), and since f(n L 0 L 1 L n 1 ) L n, then we have L n f(x), f(x) L n Since for any n N L 0 L 1 L n 1 by definition of the function f we have f(n) n Then by (Lemma 13 (a)) we have f(x) x, f(x) L n (b) Let x βn, x L m, and let f : L m N be defined by f(n) is the smallest multiple of n in L n, so we have L m x,f(l m ) f(x), and since f(l m ) L n then we have L n f(x), f(x) L n Since for any n L m by definition of the function f we have n f(n) Then by (Lemma13 (b)) we have x f(x), f(x) Ln Corollary 215 (a) For any ultrafilter x L n there are ultrfilters x i, i n 1 such that 1 x 1 x n 1 x (b) For any ultrafilter x m L m there exist a sequence < x n : x n L n,n m > such that x m xn Proof (a)let x L n, then by (Theorem 214 (a)) there are ultrafilters x i i n 1 such that 1 x 1 x n 1 x (b)let x m L m then by (Theorem 214 (b)) there exist a sequence < x n : x n L n,n m > such that x m xm+1 xm+2 3 Ultrafiters that are not on finite levels In order to look for the ultrafilters x that are not on finite levels(x /,i = 0,1,),we use the facts that the set of all basic open sets B = {A : A N} is a base for the space βn and {,i = 0,1,} B From these we can find a basic open set A B such that all nonprincipal ultrafilters x A will not be elements in any basic open set,i = 0,1, Lemma 31 (a) There are 2 c ultrafilters x that are not on finite levels: ie x / (b) There are 2 c irreducible ultrafilters x that are not on finite levels (c) 9

10 Proof Let A = {n 0,n 1,n 2 } where n i Any ultrafilter x that is in finite level in A is principal, because, if x for some i and x A, Then x and A x, so A x, but A = {n i },{n i } x so x = {n i } is principal ultrafilter Now, since A is closed and by ([5]Theorem 33 ) any closed subset of βn has finitely many or 2 c elements, so A has 2 c elements Thus A has 2 c nonprincipal ultrafilters that are not on finite levels (b)if we take A as in (a), then by ([2]proposition 74) there is infinite set B such that B A and all elements x B are irreducible (c) by (a) there are 2 c ultrafilters x such that x / for all i = 0,1,2, so βn = In (Lemma 3-1 (a)) for any ultrafilter x βn, x A, we have / x for all i N,so N x, x N and x N Definition 32 I = N The ultrafilters that are belong to I in (Definition (3-2)) are called the ultrafilters that are not on finite levels Lemma 33 (a) An ultrafilter x I if and only if x / for all i = 0,1,2 (b) βn I = Proof (a) ( ) Let x βn,x I, so x N for all i = 0,1,2,, so N x, / x Thus x / for all i = 0,1,2, ( ) Let x / for all i = 0,1,, so / x,n x, so x N for all i = 0,1, Thus x N (b)by ([1]Lemma 317 (c)) we have βn I = βn = N βn (N ) 10

11 = βn (βn ) = Lemma 34 If x I Then (a) x / n (b) x Proof (a) Let x I, then x / n and by (Lemma 2-9) we have x / n (b) Since x, so x,l 0 ( ) x, so x Again L 1 ( ) x, and we have x If we continuous in this we will get i=2 x Thus x i=2 In particular, any union of infinite elements,i = 0,1,2, is element in any ultrafilter x I This fact leads us to prove that the elements in I are -divisible by elements of any finite level,i = 0,1,, as the following theorem shows Theorem 35 (a) For any ultrafilter x I, there exist an ultrafilter y L n such that y x (b) For any ultrafilter x L n there exist an ultrafilter y I such that x y (c) There exist an ultrafilter x I divided by an ultrafilter y I, (y x) Proof (a) Let x βn,x I, so by (Lemma 3-4 (b)) we have x and x Let f : N is defined by f(n) is the smallest factor of n in 11

12 L n, so f( ) L n, and since f( ) f(x), so L n f(x), f(x) L n i=1 Therefore by (Lemma 13 (a)) f(x) x, f(x) L n (b) Let x βn, x L n and let A = {m n,m n+1,} N where m i,i n such that for any n L n has multiple in A Let f : L n N be surjective function and it is defined by f(n) is the smallest multiple of n in A If x L n, so L n x,f(l n ) f(x), and since f(l n ) A, so A f(x), f(x) A [ f(x) I, because x is nonprincipal ultrafilter,so any element of x is infinite subset of N, since f is injective, then also any subset of f(x) is infinite subset of NThus f(x) is nonprincipal ultrafilter, so by definition of f(x) and (Lemma 3-1 (a)) f(x) I]Therefore by (Lemma 13 (b)) x f(x), f(x) I (c)letx βn andleta 1 = {32 n : n = 1,2,},A 2 = {2 n : n = 1,2,}, and x A 1,so A 1 x, and by (Lemma 3-1 (a)) we have x I Let f : A 1 N is defined by f(32 n ) = 2 n, n = 1,2, f(a 1 ) f(x) and since f(a 1 ) A 2, so A 2 f(x), f(x) A2 Then similar to analogous in (c) we have f(x) I Therefore, by (Lemma 13 (a) ) we have f(x) x, f(x) I Corollary 36 For any ultrafilter x I, there exist a sequence < x n : n N > of ultrafilters such that x n L n and x 1 x2 x Proof By (Theorem 3-5 (b)) for any x I there exist an ultrafilter x n L n for any finite level such that x n x,and by (Thmeorem 2-14 (a)) for anyx n L n thereexistanultrafilterx n 1 L n 1 suchthatx n 1 xn Therefore, there exist a sequence < x n : n N > such that x 1 x2 x Theorem 37 (a) If x,y βn and x,y I Then xy I and yx I (b) If x,y βn and x I,y / I Then xy I and yx I Proof (a) If we assume that xy / I,then xy L n for some n NSo by (Theorem 27) we have F α xy for some α A such that σ(α) = n where m k α = {(p 1,n 1 ),(p 2,n 2 ),(p m m,n m )},n = k i n i, F α = {(A 1 ) (n 1) (A 2 ) (n 2) (A m ) (nm) : A i p i P,A i A j = if p i p j } xy i=1 12

13 so (A 1 ) (n 1) (A 2 ) (n 2) (A m ) (nm) xy, and we have {r N : (A 1 ) (n 1) }(A 2 ) (n 2) (A m ) (nm) /r y} x, but (A 1 ) (n 1) (A 2 ) (n 2) (A m ) (nm) /r = {s N : rs (A 1 ) (n 2) (A m ) (nm) } so (A 1 ) (n 1) (A 2 ) (n 2) (A m ) (nm) /r, and {r N : (A 1 ) (n 2) (A m ) (nm) /r y} L j where i,j n such that L j = +j = L n, So y,y for some i n and L j x,x L j for some j n, so we have a contradiction Thus xy I Same analogues for prove yx I (b) Similar to (a) Corollary 38 For any n N there exist x I such that n x Proof Let n N and y I, then by (Theorem 37)we have ny I, and since n ny then n ny,ny I References [1] N Hindman,D Strauss: Algebra in the Stone-Cech compactification,theory and applications 2nd revised and extended, De Gruyter,2012 [2] BSobot, Divisibility in the Stone-Cech compactification, Rep Math Logic 50(2015),53-66 [3] B Sobot, Divisibility orders in the Stone-Cech compactification,mathlogic(2016) [4] BSobot, -divisibility of ultrafilters,mathlogic,submitted [5] R Walker, The Cech-Stone compactification Springer,

Exponential triples. Alessandro Sisto. Mathematical Institute, St Giles, Oxford OX1 3LB, United Kingdom

Exponential triples. Alessandro Sisto. Mathematical Institute, St Giles, Oxford OX1 3LB, United Kingdom Exponential triples Alessandro Sisto Mathematical Institute, 24-29 St Giles, Oxford OX1 3LB, United Kingdom sisto@maths.ox.ac.uk Submitted: Mar 6, 2011; Accepted: Jul 6, 2011; Published: Jul 15, 2011 Mathematics

More information

Prime Properties of the Smallest Ideal of β N

Prime Properties of the Smallest Ideal of β N This paper was published in Semigroup Forum 52 (1996), 357-364. To the best of my knowledge, this is the final version as it was submitted to the publisher. NH Prime Properties of the Smallest Ideal of

More information

CHAPTER 4. βs as a semigroup

CHAPTER 4. βs as a semigroup CHAPTER 4 βs as a semigroup In this chapter, we assume that (S, ) is an arbitrary semigroup, equipped with the discrete topology. As explained in Chapter 3, we will consider S as a (dense ) subset of its

More information

Ultrafilters maximal for finite embeddability

Ultrafilters maximal for finite embeddability 1 16 ISSN 1759-9008 1 Ultrafilters maximal for finite embeddability LORENZO LUPERI BAGLINI Abstract: In this paper we study a notion of preorder that arises in combinatorial number theory, namely the finite

More information

arxiv: v1 [math.gn] 14 Feb 2018

arxiv: v1 [math.gn] 14 Feb 2018 SOME MORE ALGEBRA ON ULTRAFILTERS IN METRIC SPACES IGOR PROTASOV arxiv:1802.05224v1 [math.gn] 14 Feb 2018 Abstract. We continue algebraization of the set of ultrafilters on a metric spaces initiated in

More information

1 Take-home exam and final exam study guide

1 Take-home exam and final exam study guide Math 215 - Introduction to Advanced Mathematics Fall 2013 1 Take-home exam and final exam study guide 1.1 Problems The following are some problems, some of which will appear on the final exam. 1.1.1 Number

More information

ULTRAFILTER AND HINDMAN S THEOREM

ULTRAFILTER AND HINDMAN S THEOREM ULTRAFILTER AND HINDMAN S THEOREM GUANYU ZHOU Abstract. In this paper, we present various results of Ramsey Theory, including Schur s Theorem and Hindman s Theorem. With the focus on the proof of Hindman

More information

THE SEMIGROUP βs APPLICATIONS TO RAMSEY THEORY

THE SEMIGROUP βs APPLICATIONS TO RAMSEY THEORY THE SEMIGROUP βs If S is a discrete space, its Stone-Čech compactification βs can be described as the space of ultrafilters on S with the topology for which the sets of the form A = {p βs : A p}, where

More information

Axioms for Set Theory

Axioms for Set Theory Axioms for Set Theory The following is a subset of the Zermelo-Fraenkel axioms for set theory. In this setting, all objects are sets which are denoted by letters, e.g. x, y, X, Y. Equality is logical identity:

More information

Chapter 8. P-adic numbers. 8.1 Absolute values

Chapter 8. P-adic numbers. 8.1 Absolute values Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.

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

Ultracompanions of subsets of a group

Ultracompanions of subsets of a group Comment.Math.Univ.Carolin. 55,2(2014) 257 265 257 Ultracompanions of subsets of a group I. Protasov, S. Slobodianiuk Abstract. LetGbeagroup, βgbethe Stone-Čech compactification ofgendowed with the structure

More information

#A63 INTEGERS 17 (2017) CONCERNING PARTITION REGULAR MATRICES

#A63 INTEGERS 17 (2017) CONCERNING PARTITION REGULAR MATRICES #A63 INTEGERS 17 (2017) CONCERNING PARTITION REGULAR MATRICES Sourav Kanti Patra 1 Department of Mathematics, Ramakrishna Mission Vidyamandira, Belur Math, Howrah, West Bengal, India souravkantipatra@gmail.com

More information

Math 203A - Solution Set 1

Math 203A - Solution Set 1 Math 203A - Solution Set 1 Problem 1. Show that the Zariski topology on A 2 is not the product of the Zariski topologies on A 1 A 1. Answer: Clearly, the diagonal Z = {(x, y) : x y = 0} A 2 is closed in

More information

4.1 Primary Decompositions

4.1 Primary Decompositions 4.1 Primary Decompositions generalization of factorization of an integer as a product of prime powers. unique factorization of ideals in a large class of rings. In Z, a prime number p gives rise to a prime

More information

NOTES ON DIOPHANTINE APPROXIMATION

NOTES ON DIOPHANTINE APPROXIMATION NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 200 9 p-adic Numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics

More information

We define the multi-step transition function T : S Σ S as follows. 1. For any s S, T (s,λ) = s. 2. For any s S, x Σ and a Σ,

We define the multi-step transition function T : S Σ S as follows. 1. For any s S, T (s,λ) = s. 2. For any s S, x Σ and a Σ, Distinguishability Recall A deterministic finite automaton is a five-tuple M = (S,Σ,T,s 0,F) where S is a finite set of states, Σ is an alphabet the input alphabet, T : S Σ S is the transition function,

More information

PROBLEMS, MATH 214A. Affine and quasi-affine varieties

PROBLEMS, MATH 214A. Affine and quasi-affine varieties PROBLEMS, MATH 214A k is an algebraically closed field Basic notions Affine and quasi-affine varieties 1. Let X A 2 be defined by x 2 + y 2 = 1 and x = 1. Find the ideal I(X). 2. Prove that the subset

More information

arxiv: v1 [math.co] 4 Jan 2019

arxiv: v1 [math.co] 4 Jan 2019 A STUDY ON SOME COMBINATORIAL SETS IN PARTIAL SEMIGROUP ARPITA GHOSH arxiv:1901.01858v1 [math.co] 4 Jan 2019 Abstract. In the partial semigroup framework, this article deals with the close investigation

More information

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers

More information

0 Sets and Induction. Sets

0 Sets and Induction. Sets 0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set

More information

Common idempotents in compact left topological left semirings

Common idempotents in compact left topological left semirings arxiv:1002.1599v1 [math.gn] 8 Feb 2010 Common idempotents in compact left topological left semirings Denis I. Saveliev 24 January 2010, Muscat ICAA A classical result of topological algebra states that

More information

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.

More information

Algebraic function fields

Algebraic function fields Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which

More information

Gowers Ramsey Theorem

Gowers Ramsey Theorem Università di Pisa Corso di Laurea in Matematica Tesi di Laurea Magistrale Gowers Ramsey Theorem Candidato Pietro Porqueddu Relatore Prof. Mauro Di Nasso Controrelatore Prof. Pietro Majer Anno Accademico

More information

CALCULUS JIA-MING (FRANK) LIOU

CALCULUS JIA-MING (FRANK) LIOU CALCULUS JIA-MING (FRANK) LIOU Abstract. Contents. Power Series.. Polynomials and Formal Power Series.2. Radius of Convergence 2.3. Derivative and Antiderivative of Power Series 4.4. Power Series Expansion

More information

A MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ

A MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ A MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ NICOLAS FORD Abstract. The goal of this paper is to present a proof of the Nullstellensatz using tools from a branch of logic called model theory. In

More information

Notes about Filters. Samuel Mimram. December 6, 2012

Notes about Filters. Samuel Mimram. December 6, 2012 Notes about Filters Samuel Mimram December 6, 2012 1 Filters and ultrafilters Definition 1. A filter F on a poset (L, ) is a subset of L which is upwardclosed and downward-directed (= is a filter-base):

More information

Math 203A - Solution Set 1

Math 203A - Solution Set 1 Math 203A - Solution Set 1 Problem 1. Show that the Zariski topology on A 2 is not the product of the Zariski topologies on A 1 A 1. Answer: Clearly, the diagonal Z = {(x, y) : x y = 0} A 2 is closed in

More information

The integers. Chapter 3

The integers. Chapter 3 Chapter 3 The integers Recall that an abelian group is a set A with a special element 0, and operation + such that x +0=x x + y = y + x x +y + z) =x + y)+z every element x has an inverse x + y =0 We also

More information

1 Predicates and Quantifiers

1 Predicates and Quantifiers 1 Predicates and Quantifiers We have seen how to represent properties of objects. For example, B(x) may represent that x is a student at Bryn Mawr College. Here B stands for is a student at Bryn Mawr College

More information

Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations

Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations D. R. Wilkins Academic Year 1996-7 1 Number Systems and Matrix Algebra Integers The whole numbers 0, ±1, ±2, ±3, ±4,...

More information

Ultrafilters and Semigroup Algebras

Ultrafilters and Semigroup Algebras Ultrafilters and Semigroup Algebras Isia T. Dintoe School of Mathematics University of the Witwatersrand (Wits), Johannesburg Supervised by: Prof. Yuliya Zelenyuk 31 August 2015 Submitted in partial fulfilment

More information

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes These notes form a brief summary of what has been covered during the lectures. All the definitions must be memorized and understood. Statements

More information

The Space of Minimal Prime Ideals of C(x) Need not be Basically Disconnected

The Space of Minimal Prime Ideals of C(x) Need not be Basically Disconnected Claremont Colleges Scholarship @ Claremont All HMC Faculty Publications and Research HMC Faculty Scholarship 9-1-1988 The Space of Minimal Prime Ideals of C(x) Need not be Basically Disconnected Alan Dow

More information

Extensions of pure states

Extensions of pure states Extensions of pure M. Anoussis 07/ 2016 1 C algebras 2 3 4 5 C -algebras Definition Let A be a Banach algebra. An involution on A is a map a a on A s.t. (a + b) = a + b (λa) = λa, λ C a = a (ab) = b a

More information

Monochromatic Forests of Finite Subsets of N

Monochromatic Forests of Finite Subsets of N Monochromatic Forests of Finite Subsets of N Tom C. Brown Citation data: T.C. Brown, Monochromatic forests of finite subsets of N, INTEGERS - Elect. J. Combin. Number Theory 0 (2000), A4. Abstract It is

More information

SETS CENTRAL WITH RESPECT TO CERTAIN SUBSEMIGROUPS OF βs d DIBYENDU DE, NEIL HINDMAN, AND DONA STRAUSS

SETS CENTRAL WITH RESPECT TO CERTAIN SUBSEMIGROUPS OF βs d DIBYENDU DE, NEIL HINDMAN, AND DONA STRAUSS Topology Proceedings This paper was published in Topology Proceedings 33 (2009), 55-79. To the best of my knowledge, this is the final copy as it was submitted to the publisher. NH SETS CENTRAL WITH RESPECT

More information

Notas de Aula Grupos Profinitos. Martino Garonzi. Universidade de Brasília. Primeiro semestre 2018

Notas de Aula Grupos Profinitos. Martino Garonzi. Universidade de Brasília. Primeiro semestre 2018 Notas de Aula Grupos Profinitos Martino Garonzi Universidade de Brasília Primeiro semestre 2018 1 Le risposte uccidono le domande. 2 Contents 1 Topology 4 2 Profinite spaces 6 3 Topological groups 10 4

More information

SOME NEW EXAMPLES OF INFINITE IMAGE PARTITION REGULAR MATRICES

SOME NEW EXAMPLES OF INFINITE IMAGE PARTITION REGULAR MATRICES #A5 INTEGERS 9 (29) SOME NEW EXAMPLES OF INFINITE IMAGE PARTITION REGULAR MATRIES Neil Hindman Department of Mathematics, Howard University, Washington, D nhindman@aolcom Dona Strauss Department of Pure

More information

MONOCHROMATIC FORESTS OF FINITE SUBSETS OF N

MONOCHROMATIC FORESTS OF FINITE SUBSETS OF N MONOCHROMATIC FORESTS OF FINITE SUBSETS OF N Tom C. Brown Department of Mathematics and Statistics, Simon Fraser University, Burnaby, BC Canada V5A 1S6 tbrown@sfu.ca Received: 2/3/00, Revised: 2/29/00,

More information

LATTICE AND BOOLEAN ALGEBRA

LATTICE AND BOOLEAN ALGEBRA 2 LATTICE AND BOOLEAN ALGEBRA This chapter presents, lattice and Boolean algebra, which are basis of switching theory. Also presented are some algebraic systems such as groups, rings, and fields. 2.1 ALGEBRA

More information

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the

More information

Chapter 1. Sets and Mappings

Chapter 1. Sets and Mappings Chapter 1. Sets and Mappings 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write

More information

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and CHAPTER I Rings 1.1 Definitions and Examples Definition 1.1.1. A ring R is a set with two binary operations, addition + and multiplication satisfying the following conditions for all a, b, c in R : (i)

More information

Logical Connectives and Quantifiers

Logical Connectives and Quantifiers Chapter 1 Logical Connectives and Quantifiers 1.1 Logical Connectives 1.2 Quantifiers 1.3 Techniques of Proof: I 1.4 Techniques of Proof: II Theorem 1. Let f be a continuous function. If 1 f(x)dx 0, then

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 & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 0146-4124

More information

D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski. Solutions Sheet 1. Classical Varieties

D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski. Solutions Sheet 1. Classical Varieties D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski Solutions Sheet 1 Classical Varieties Let K be an algebraically closed field. All algebraic sets below are defined over K, unless specified otherwise.

More information

Boolean Algebras, Boolean Rings and Stone s Representation Theorem

Boolean Algebras, Boolean Rings and Stone s Representation Theorem Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to

More information

Algebraic Number Theory

Algebraic Number Theory TIFR VSRP Programme Project Report Algebraic Number Theory Milind Hegde Under the guidance of Prof. Sandeep Varma July 4, 2015 A C K N O W L E D G M E N T S I would like to express my thanks to TIFR for

More information

The Smallest Ideal of (βn, )

The Smallest Ideal of (βn, ) Volume 35, 2010 Pages 83 89 http://topology.auburn.edu/tp/ The Smallest Ideal of (βn, ) by Gugu Moche and Gosekwang Moremedi Electronically published on June 8, 2009 Topology Proceedings Web: http://topology.auburn.edu/tp/

More information

Compactifications of Discrete Spaces

Compactifications of Discrete Spaces Int. J. Contemp. Math. Sciences, Vol. 4, 2009, no. 22, 1079-1084 Compactifications of Discrete Spaces U. M. Swamy umswamy@yahoo.com Ch. Santhi Sundar Raj, B. Venkateswarlu and S. Ramesh Department of Mathematics

More information

Topological properties

Topological properties CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological

More information

NEIL HINDMAN, IMRE LEADER, AND DONA STRAUSS

NEIL HINDMAN, IMRE LEADER, AND DONA STRAUSS TRNSCTIONS OF THE MERICN MTHEMTICL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9947(XX)0000-0 This paper was published in Trans mer Math Soc 355 (2003), 1213-1235 To the best of my knowledge, this

More information

P-adic Functions - Part 1

P-adic Functions - Part 1 P-adic Functions - Part 1 Nicolae Ciocan 22.11.2011 1 Locally constant functions Motivation: Another big difference between p-adic analysis and real analysis is the existence of nontrivial locally constant

More information

In N we can do addition, but in order to do subtraction we need to extend N to the integers

In N we can do addition, but in order to do subtraction we need to extend N to the integers Chapter The Real Numbers.. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {, 2, 3, }. In N we can do addition, but in order to do subtraction we need to extend

More information

x 9 or x > 10 Name: Class: Date: 1 How many natural numbers are between 1.5 and 4.5 on the number line?

x 9 or x > 10 Name: Class: Date: 1 How many natural numbers are between 1.5 and 4.5 on the number line? 1 How many natural numbers are between 1.5 and 4.5 on the number line? 2 How many composite numbers are between 7 and 13 on the number line? 3 How many prime numbers are between 7 and 20 on the number

More information

Factorization of integer-valued polynomials with square-free denominator

Factorization of integer-valued polynomials with square-free denominator accepted by Comm. Algebra (2013) Factorization of integer-valued polynomials with square-free denominator Giulio Peruginelli September 9, 2013 Dedicated to Marco Fontana on the occasion of his 65th birthday

More information

Algebraic varieties. Chapter A ne varieties

Algebraic varieties. Chapter A ne varieties Chapter 4 Algebraic varieties 4.1 A ne varieties Let k be a field. A ne n-space A n = A n k = kn. It s coordinate ring is simply the ring R = k[x 1,...,x n ]. Any polynomial can be evaluated at a point

More information

ČECH-COMPLETE MAPS. Yun-Feng Bai and Takuo Miwa Shimane University, Japan

ČECH-COMPLETE MAPS. Yun-Feng Bai and Takuo Miwa Shimane University, Japan GLASNIK MATEMATIČKI Vol. 43(63)(2008), 219 229 ČECH-COMPLETE MAPS Yun-Feng Bai and Takuo Miwa Shimane University, Japan Abstract. We introduce a new notion of Čech-complete map, and investigate some its

More information

Remarks on semi-algebraic functions

Remarks on semi-algebraic functions Remarks on semi-algebraic functions Seiichiro Wakabayashi April 5 2008 the second version on August 30 2010 In this note we shall give some facts and remarks concerning semi-algebraic functions which we

More information

Math 418 Algebraic Geometry Notes

Math 418 Algebraic Geometry Notes Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R

More information

Institutionen för matematik, KTH.

Institutionen för matematik, KTH. Institutionen för matematik, KTH. Contents 7 Affine Varieties 1 7.1 The polynomial ring....................... 1 7.2 Hypersurfaces........................... 1 7.3 Ideals...............................

More information

A GENERAL THEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUTATIVE RING. David F. Anderson and Elizabeth F. Lewis

A GENERAL THEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUTATIVE RING. David F. Anderson and Elizabeth F. Lewis International Electronic Journal of Algebra Volume 20 (2016) 111-135 A GENERAL HEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUAIVE RING David F. Anderson and Elizabeth F. Lewis Received: 28 April 2016 Communicated

More information

1. Subspaces A subset M of Hilbert space H is a subspace of it is closed under the operation of forming linear combinations;i.e.,

1. Subspaces A subset M of Hilbert space H is a subspace of it is closed under the operation of forming linear combinations;i.e., Abstract Hilbert Space Results We have learned a little about the Hilbert spaces L U and and we have at least defined H 1 U and the scale of Hilbert spaces H p U. Now we are going to develop additional

More information

Algebraic structures I

Algebraic structures I MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one

More information

Chapter 1. Sets and Numbers

Chapter 1. Sets and Numbers Chapter 1. Sets and Numbers 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write

More information

STRONGLY PRODUCTIVE ULTRAFILTERS ON SEMIGROUPS. 1. Introduction Let S be a multiplicatively denoted semigroup. If x = (x n ) n ω

STRONGLY PRODUCTIVE ULTRAFILTERS ON SEMIGROUPS. 1. Introduction Let S be a multiplicatively denoted semigroup. If x = (x n ) n ω STRONGLY PRODUCTIVE ULTRAFILTERS ON SEMIGROUPS DAVID J. FERNÁNDEZ BRETÓN AND MARTINO LUPINI Abstract. We prove that if S is a commutative semigroup with well-founded universal semilattice or a solvable

More information

Group, Rings, and Fields Rahul Pandharipande. I. Sets Let S be a set. The Cartesian product S S is the set of ordered pairs of elements of S,

Group, Rings, and Fields Rahul Pandharipande. I. Sets Let S be a set. The Cartesian product S S is the set of ordered pairs of elements of S, Group, Rings, and Fields Rahul Pandharipande I. Sets Let S be a set. The Cartesian product S S is the set of ordered pairs of elements of S, A binary operation φ is a function, S S = {(x, y) x, y S}. φ

More information

arxiv: v1 [math.ds] 22 Jan 2019

arxiv: v1 [math.ds] 22 Jan 2019 A STUDY OF HOLOMORPHIC SEMIGROUPS arxiv:1901.07364v1 [math.ds] 22 Jan 2019 BISHNU HARI SUBEDI Abstract. In this paper, we investigate some characteristic features of holomorphic semigroups. In particular,

More information

arxiv: v2 [math.gn] 21 Jan 2019

arxiv: v2 [math.gn] 21 Jan 2019 EXTREMAL BALLEANS IGOR PROTASOV arxiv:1901.03977v2 [math.gn] 21 Jan 2019 Abstract. A ballean (or coarse space) is a set endowed with a coarse structure. A ballean X is called normal if any two asymptotically

More information

2.3 Exercises. (a) F P(A). (Solution)

2.3 Exercises. (a) F P(A). (Solution) 2.3 Exercises 1. Analyze the logical forms of the following statements. You may use the symbols, /, =,,,,,,, and in your answers, but not,, P,,, {, }, or. (Thus, you must write out the definitions of some

More information

Rings and groups. Ya. Sysak

Rings and groups. Ya. Sysak Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...

More information

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.

More information

Section II.1. Free Abelian Groups

Section II.1. Free Abelian Groups II.1. Free Abelian Groups 1 Section II.1. Free Abelian Groups Note. This section and the next, are independent of the rest of this chapter. The primary use of the results of this chapter is in the proof

More information

Fibers, Surjective Functions, and Quotient Groups

Fibers, Surjective Functions, and Quotient Groups Fibers, Surjective Functions, and Quotient Groups 11/01/06 Radford Let f : X Y be a function. For a subset Z of X the subset f(z) = {f(z) z Z} of Y is the image of Z under f. For a subset W of Y the subset

More information

1 Arithmetic calculations (calculator is not allowed)

1 Arithmetic calculations (calculator is not allowed) 1 ARITHMETIC CALCULATIONS (CALCULATOR IS NOT ALLOWED) 1 Arithmetic calculations (calculator is not allowed) 1.1 Check the result Problem 1.1. Problem 1.2. Problem 1.3. Problem 1.4. 78 5 6 + 24 3 4 99 1

More information

Math 4400, Spring 08, Sample problems Final Exam.

Math 4400, Spring 08, Sample problems Final Exam. Math 4400, Spring 08, Sample problems Final Exam. 1. Groups (1) (a) Let a be an element of a group G. Define the notions of exponent of a and period of a. (b) Suppose a has a finite period. Prove that

More information

Immerse Metric Space Homework

Immerse Metric Space Homework Immerse Metric Space Homework (Exercises -2). In R n, define d(x, y) = x y +... + x n y n. Show that d is a metric that induces the usual topology. Sketch the basis elements when n = 2. Solution: Steps

More information

Quiz 1. Directions: Show all of your work and justify all of your answers.

Quiz 1. Directions: Show all of your work and justify all of your answers. Quiz 1 1. Let p and q be the following statements. p : Maxwell is a mathematics major. q : Maxwell is a chemistry major. (1) a. Write each of the following in symbolic form using logical connectives. i.

More information

A connection between number theory and linear algebra

A connection between number theory and linear algebra A connection between number theory and linear algebra Mark Steinberger Contents 1. Some basics 1 2. Rational canonical form 2 3. Prime factorization in F[x] 4 4. Units and order 5 5. Finite fields 7 6.

More information

Definition: A binary relation R from a set A to a set B is a subset R A B. Example:

Definition: A binary relation R from a set A to a set B is a subset R A B. Example: Chapter 9 1 Binary Relations Definition: A binary relation R from a set A to a set B is a subset R A B. Example: Let A = {0,1,2} and B = {a,b} {(0, a), (0, b), (1,a), (2, b)} is a relation from A to B.

More information

Part IA. Numbers and Sets. Year

Part IA. Numbers and Sets. Year Part IA Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2017 19 Paper 4, Section I 1D (a) Show that for all positive integers z and n, either z 2n 0 (mod 3) or

More information

MATH 409 Advanced Calculus I Lecture 12: Uniform continuity. Exponential functions.

MATH 409 Advanced Calculus I Lecture 12: Uniform continuity. Exponential functions. MATH 409 Advanced Calculus I Lecture 12: Uniform continuity. Exponential functions. Uniform continuity Definition. A function f : E R defined on a set E R is called uniformly continuous on E if for every

More information

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter

More information

Polynomial Rings. i=0. i=0. n+m. i=0. k=0

Polynomial Rings. i=0. i=0. n+m. i=0. k=0 Polynomial Rings 1. Definitions and Basic Properties For convenience, the ring will always be a commutative ring with identity. Basic Properties The polynomial ring R[x] in the indeterminate x with coefficients

More information

In N we can do addition, but in order to do subtraction we need to extend N to the integers

In N we can do addition, but in order to do subtraction we need to extend N to the integers Chapter 1 The Real Numbers 1.1. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {1, 2, 3, }. In N we can do addition, but in order to do subtraction we need

More information

Large subsets of semigroups

Large subsets of semigroups CHAPTER 8 Large subsets of semigroups In the van der Waerden theorem 7.5, we are given a finite colouring ω = A 1 A r of the commutative semigroup (ω, +); the remark 7.7(b) states that (at least) one of

More information

Math 120 HW 9 Solutions

Math 120 HW 9 Solutions Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z

More information

CHAPTER 9. Embedding theorems

CHAPTER 9. Embedding theorems CHAPTER 9 Embedding theorems In this chapter we will describe a general method for attacking embedding problems. We will establish several results but, as the main final result, we state here the following:

More information

Ultraproducts of Finite Groups

Ultraproducts of Finite Groups Ultraproducts of Finite Groups Ben Reid May 11, 010 1 Background 1.1 Ultrafilters Let S be any set, and let P (S) denote the power set of S. We then call ψ P (S) a filter over S if the following conditions

More information

LECTURE 10, MONDAY MARCH 15, 2004

LECTURE 10, MONDAY MARCH 15, 2004 LECTURE 10, MONDAY MARCH 15, 2004 FRANZ LEMMERMEYER 1. Minimal Polynomials Let α and β be algebraic numbers, and let f and g denote their minimal polynomials. Consider the resultant R(X) of the polynomials

More information

Mathematics, Algebra, and Geometry

Mathematics, Algebra, and Geometry Mathematics, Algebra, and Geometry by Satya http://www.thesatya.com/ Contents 1 Algebra 1 1.1 Logarithms............................................ 1. Complex numbers........................................

More information

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9 MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended

More information

38 Irreducibility criteria in rings of polynomials

38 Irreducibility criteria in rings of polynomials 38 Irreducibility criteria in rings of polynomials 38.1 Theorem. Let p(x), q(x) R[x] be polynomials such that p(x) = a 0 + a 1 x +... + a n x n, q(x) = b 0 + b 1 x +... + b m x m and a n, b m 0. If b m

More information

arxiv: v1 [math.gr] 8 Nov 2008

arxiv: v1 [math.gr] 8 Nov 2008 SUBSPACES OF 7 7 SKEW-SYMMETRIC MATRICES RELATED TO THE GROUP G 2 arxiv:0811.1298v1 [math.gr] 8 Nov 2008 ROD GOW Abstract. Let K be a field of characteristic different from 2 and let C be an octonion algebra

More information

Homework #5 Solutions

Homework #5 Solutions Homework #5 Solutions p 83, #16. In order to find a chain a 1 a 2 a n of subgroups of Z 240 with n as large as possible, we start at the top with a n = 1 so that a n = Z 240. In general, given a i we will

More information

A SECOND COURSE IN GENERAL TOPOLOGY

A SECOND COURSE IN GENERAL TOPOLOGY Heikki Junnila, 2007-8/2014 A SECOND COURSE IN GENERAL TOPOLOGY CHAPTER I COMPLETE REGULARITY 1. Definitions and basic properties..... 3 2. Some examples..... 7 Exercises....9 CHAPTER II CONVERGENCE AND

More information

ON DIVISION ALGEBRAS*

ON DIVISION ALGEBRAS* ON DIVISION ALGEBRAS* BY J. H. M. WEDDERBURN 1. The object of this paper is to develop some of the simpler properties of division algebras, that is to say, linear associative algebras in which division

More information

SOLUTIONS TO THE FINAL EXAM

SOLUTIONS TO THE FINAL EXAM SOLUTIONS TO THE FINAL EXAM Short questions 1 point each) Give a brief definition for each of the following six concepts: 1) normal for topological spaces) 2) path connected 3) homeomorphism 4) covering

More information