Levels of Ultrafilters with Extension Divisibilities
|
|
- Dylan Short
- 5 years ago
- Views:
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, 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 informationPrime 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 informationCHAPTER 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 informationUltrafilters 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 informationarxiv: 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 information1 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 informationULTRAFILTER 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 informationTHE 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 informationAxioms 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 informationChapter 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 informationCourse 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 informationUltracompanions 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 Sourav Kanti Patra 1 Department of Mathematics, Ramakrishna Mission Vidyamandira, Belur Math, Howrah, West Bengal, India souravkantipatra@gmail.com
More informationMath 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 information4.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 informationNOTES 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 informationWe 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 informationPROBLEMS, 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 informationarxiv: 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
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 information0 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 informationCommon 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 informationSUMMARY 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 informationAlgebraic 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 informationGowers 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 informationCALCULUS 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 informationA 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 informationNotes 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 informationMath 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 informationThe 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 information1 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 informationMathematics 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 informationUltrafilters 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 informationFoundations 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 informationThe 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 informationExtensions 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 informationMonochromatic 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 informationSETS 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 informationNotas 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 informationSOME 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 informationMONOCHROMATIC 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 informationLATTICE 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 informationCHAPTER 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 informationChapter 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 informationCHAPTER 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 informationLogical 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 informationTopology 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 informationD-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 informationBoolean 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 informationAlgebraic 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 informationThe 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 informationCompactifications 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 informationTopological 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 informationNEIL 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 informationP-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 informationIn 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 informationx 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 informationFactorization 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 informationAlgebraic 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
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 informationRemarks 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 informationMath 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 informationInstitutionen 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 informationA 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 information1. 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 informationAlgebraic 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 informationChapter 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 informationSTRONGLY 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 informationGroup, 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 informationarxiv: 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 informationarxiv: 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 information2.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 informationRings 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 informationReal 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 informationSection 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 informationFibers, 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 information1 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 informationMath 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 informationImmerse 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 informationQuiz 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 informationA 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 informationDefinition: 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 informationPart 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 informationMATH 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 informationChapter 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 informationPolynomial 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 informationIn 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 informationLarge 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 informationMath 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 informationCHAPTER 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 informationUltraproducts 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 informationLECTURE 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 informationMathematics, Algebra, and Geometry
Mathematics, Algebra, and Geometry by Satya http://www.thesatya.com/ Contents 1 Algebra 1 1.1 Logarithms............................................ 1. Complex numbers........................................
More informationMAT 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 information38 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 informationarxiv: 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 informationHomework #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 informationA 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 informationON 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 informationSOLUTIONS 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