arxiv: v1 [math.co] 4 Jan 2019

Transcription

1 A STUDY ON SOME COMBINATORIAL SETS IN PARTIAL SEMIGROUP ARPITA GHOSH arxiv: v1 [math.co] 4 Jan 2019 Abstract. In the partial semigroup framework, this article deals with the close investigation of the combinatorial sets which play an important role in the study of combinatorics. Also, we study the pullback and push-forward properties of those sets. 1. introduction Central sets in natural numbers are known to have substantial combinatorial structure. For example, any central set contains arbitrary long arithmatic progressions, all finite sums of distinct terms of an infinite sequence, and solutions to all partition regular systems of homogeneous linear equations. It was first introduced by Furstenberg and he proved that Theorem 1.1. Let l N and for each i {1,2,...,l}, and let y i,n n=1 be a sequence in Z. Let C be a central subset of N. Then there exist sequences a n n=1 in N and H n n=1 in P f(n) such that (1) for all n, maxh n < minh n+1 and (2) for all F P f (N) and all i {1,2,...,l}, (a n + y i,t ) C n F t H n. Proof. [3, Proposition 8.21]. This theorem has several combinatorial consequences such as Rado s theorem which deals with the regularity of the system of integral equations. In [1], Vitaly Bergelson and Neil Hindman came with an algebraic characterization of the central subsets of natural numbers in terms of the algebra of βn. Analogously, the notion of a central set has been defined in an arbitrary discrete semigroup S. To introduce the notion central set we recall a brief introduction of the algebraic structure of βs for a discrete semigroup (S, ). We take the points of βs to be the ultrafilters on S, identifying the principal ultrafilters with the points of S and thus pretending that S βs. Given A S let us set, A = {p βs A p}. Then the set {A A S} is a basis for a topology on βs. The operation on S can be extended to the Stone-Čech compactification βs of S so that (βs, ) is a compact right topological semigroup (meaning that for any p βs, the function ρ p : βs βs defined by ρ p (q) = q p is continuous) with S contained in its topological center (meaning that for any x S, the function λ x : βs βs Key words and phrases. Central sets theorem, Partial semigroups, Algebraic structure of Stone-Čech compactification. 1

2 2 ARPITA GHOSH defined by λ x (q) = x q is continuous). Given p,q βs and A S, A p q if and only if {x S x 1 A q} p, where x 1 A = {y S x y A}. A nonempty subset I of a semigroup (T, ) is called a left ideal of T if T I I, a right ideal if I T I, and a two-sided ideal (or simply an ideal) if it is both a left and a right ideal. A minimal left ideal is a left ideal that does not contain any proper left ideal. Similarly, we can define a minimal right ideal. Any compact Hausdorff right topological semigroup (T, ) has a smallest two sided ideal K(T) = {L L is a minimal left ideal of T} = {R R is a minimal right ideal of T} Given a minimal left ideal L and a minimal right ideal R, L R is a group, and in particular, contains an idempotent. An idempotent in K(T) is called a minimal idempotent. If p and q are idempotents in T, we write p q if and only if p q = q p = p. An idempotent is minimal with respect to this relation if and only if it is a member of the smallest ideal. See [8] for an elementary introduction to the algebra of βs and for any unfamiliar details. Now we are in a position to state the the definition of the central set. Definition 1.2. Consider a discrete semigroup S and a subset A of S. Then A is central if and only if there is an idempotent in K(βS) Ā. In [8], the Central Sets Theorem was extended to arbitrary semigroups by allowing the choice of countably many sequences at a time. More extended version of the Central Sets Theorem considering all sequences at one time has been established in [2]. The sets which satisfy the conclusion of the above Central Sets Theorem are the objects that matter. They have several applications in the study of all non-trivial partition regular systems of homogeneous integral equations. Hindman and Strauss understand there importance and named them as C-sets. Also, they found similar kind of algebraic characterizations of C-sets in terms of the algebra of βs and J-sets, which was also introduced by them. We recall the definition of C-set which will be useful later. Definition 1.3. Let (S,+) be a commutative semigroup and let A S and T = S N, the set of sequences in S. The set A is a C-set if and only if there exist functions α : P f (T ) S and H : P f (T ) P f (N) such that (1) if F,G P f (T ) and F G, then maxh(f) < minh(g) and (2) whenever m N,G 1,G 2,...,G m P f (T ),G 1 G 2... G m and for each i {1,2,...,m}, f i G i, one has m i=1 (α(g i)+ t H(G i ) f i(t)) A. In this article, the main object of study is partial semigroups. In [4], the author extended the Central Sets Theorem obtained by taking all possible sequences in commutative adequate partial semigroup. It states as Theorem 1.4. Let (S, ) be a commutative adequate partial semigroup and let C be a central subset of S. Let T S be the set of all adequate sequences in S. There exist functions α : P f (T S ) S and H : P f (T S ) P f (N) such that

3 A STUDY ON SOME COMBINATORIAL SETS IN PARTIAL SEMIGROUP 3 (1) F,G P f (T S ) and F G, then maxh(f) < minh(g) and (2) whenever m N, G 1,G 2,...,G m P f (T S ), G 1 G 2... G m, and for each i {1,2,...,m}, f i G i, one has m i=1 (α(g i) t H(G i ) f i(t)) C. Proof. [4, Theorem 2.4]. In the same article, the author also characterized those sets in any adequate commutative partial semigroups which satisfy the new version of the Central Sets Theorem [4, Theorem 2.4] and introduced the analogous notion of C-set and J-set, namely respectively C-set and J δ -set in adequate partial semigroup as Definition 1.5. Let (S, ) be a commutative adequate partial semigroup and A be a subset of S. Let T S be the set of all adequate sequences in S. a) A is said to be a C-set if and only if there exist functions α : P f (T S ) S and H : P f (T S ) P f (N) such that (1) if F,G P f (T S ) and F G, then maxh(f) < minh(g) and (2) whenever m N, G 1,G 2,...,G m P f (T S ), G 1 G 2... G m and for each i {1,2,...,m}, f i G i, one has m i=1 (α(g i) t H(G i ) f i(t) A. b) A is a J δ -set if and only if whenever F P f (T S ), W P f (S), there exist a σ(w) and H P f (N) such that for each f F, t H f(t) σ(w a) and a t H f(t) A. c) J δ (S) = {p δs : for all A p, A is a J δ -set}. We understand that the role of C-sets in the study of combinatorial aspects of number theory can not be avoided. For a semigroup S, this sets, while defined in purely combinatorial terms, are characterized as members of idempotents in J(S). We study here the similar kind of properties in the context of partial adequate semigroups. Notation 1.6. T S = The set of all adequate sequences in S. 2. Preliminaries In this section, we recall some definitions and results fron partial semigroup context. For more details, the readers are refereed to [8]. We start with the following definition Definition 2.1. (Partial semigroup) A partial semigroup is defined as a pair (G, ) where is an operation defined on a subset X of G G and satisfies the statement that for all x, y, z in G, (x y) z = x (y z) in the sense that if either side is defined, so is the other and they are equal. A partial semigroup is commutative if x y = y x for every (x,y) X. Partial semigroups which arise naturally our minds. Example 2.2. Any semigroup is an obvious example of a partial semigroup. Example 2.3. Let us consider G = P f (N) = {F F N and F is finite} and let X = {(α,β) G G α β = } be the family of all pairs of disjoint sets, and let : X G be the union. It is easy to check that this

4 4 ARPITA GHOSH is a commutative partial semigroup. We shall denote this partial semigroup as (P f (N), ). For a semigroup, it is known that there is a notion of compactification, namely the Stone-Čech compactification, which is a compact right topological semigroup. One can do the same thing for any partial semigroup but that won t be a semigroup. To get a compact topological semigroup out of a partial semigroup we recall the following definitions. Definition 2.4. Let (S, ) be a partial semigroup. (a) For s S, φ S (s) = {t S s t is defined in S}. (b) For H P f (S), σ S (H) = s H φ S(s). (c) (S, ) is adequate if and only if σ S (H) for all H P f (S). (d) δs = x S cl βs(φ S (x)) = H P f (S) cl βs(σ S (H)). So, the partial semigroup (P f (N), ) is adequate. We are specifically interested in adequate partial semigroups as they lead to an interesting subsemigroup δs of βs, the Stone-Čech compactification of S which is itself a compact right topological semigroup. Notice that adequacy of S is exactly what is required to guarantee that δs. If S is, in fact, a semigroup, then δs = βs. Now we recall some of the basic properties of the operation in δs. Definition 2.5. Let (S, ) be a partial semigroup. For s S and A S, s 1 A = {t φ S (s) s t A}. Lemma 2.6. Let (S, ) be a partial semigroup, let A S and let a,b,c S. Then c b 1 (a 1 A) if and only if both b φ S (a) and c (a b) 1 A. In particular, if b φ S (a), then b 1 (a 1 A) = (a b) 1 A. Proof. [6, Lemma 2.3] Definition 2.7. Let (S, ) be an adequate partial semigroup. (a) For a S and q φ S (a), a q = {A S a 1 A q}. (b) For p βs and q δs, p q = {A S {a 1 A q} p}. Lemma 2.8. Let (S, ) be an adequate partial semigroup. (a) If a S and q φ S (a), then a q βs. (b) If p βs and q δs, then p q βs. (c) Let p βs,q δs, and a S. Then φ S (a) p q if and only if φ S (a) p. (d) If p,q δs, then p q δs. Proof. [6, Lemma 2.7]. Lemma 2.9. Let (S, ) be an adequate partial semigroup and let q δs. Then the function ρ q : βs βs defined by ρ q (p) = p q is continuous. Proof. [6, Lemma 2.8]. Lemma Let p βs and let q,r δs. Then p (q r) = (p q) r. Proof. [6, Lemma 2.9]. Definition Let p = p p δs and let A p. Then A = {x A x 1 A p}.

5 A STUDY ON SOME COMBINATORIAL SETS IN PARTIAL SEMIGROUP 5 Given an idempotent p δs and A p, it is immediate that A p. Lemma Let p = p p δs, let A p, and let x A. Then x 1 A p. Proof. [6, Lemma 2.12]. Asaconsequence oftheabove results, we havethat if(s, ) is an adequate partial semigroup, then (δs, ) is a compact right topological semigroup. Being a compact right topological semigroup, δs contains idempotents, left ideals, a smallest two-sided ideal, and minimal idempotents. Thus δs provides a suitable environment for considering the notion of central sets and it defines as Definition Let (S, ) be an adequate partial semigroup. A set C S is central if and only if there is an idempotent p C K(δS). In the Central sets Theorem for semigroup, we have studied that a necessary condition for the central sets along the line of sequences. Here, in the partial semigroup setting we can expect the similar thing for an adequate sequences instead of the normal one. The notion of adequate sequence plays an important role in the study of central sets theorem for the partial semigroups. So, we recall the definition as Definition Let (S, ) be an adequate partial semigroup and let y n n=1 be a sequence in S. Then y n n=1 is adequate if and only if n F y n is defined for each F P f (N) and for every K P f (S), there exists m N such that FP( y n n=m ) σ(k). Definition Let W 1,W 2 P f (S), then define W 1 W 2 = {w 1 w 2 w 1 W 1,w 2 W 2 and w 1 w 2 is defined}. The sets which satisfy the new version of Central Sets Theorem 1.4 in adequate partial semigroup are said to be C-sets. 3. Properties of J δ -sets This section concerns with the close look up on the J δ -sets and comes with some essential properties. We start with two essential lemmas. Lemma 3.1. Let (S, ) be an adequate partial semigroup. Let f be an adequate sequence in S and let H n n=1 be a sequence in P f(n) such that maxh n < minh n+1 for each n N. Define g : N S such that for each n N, g(n) = t H n f(t). Then g is an adequate sequence in S. Proof. To see that g is an adequate sequence, let G P f (N) and let H = n G H n. Then H P f (N). Since f is adequate then t H f(t) is defined. Now n G g(n) = n G t H n f(t) = t H f(t), then n G g(n) is defined. Let K P f (S) be given. Then there exist m N such that FP( f(t) t=m) σ S (K). Now we want to show that for K P f (S), there exists m N such that FP( g(t) t=m) σ S (K). Let N P f ({n N : n m}). Then for each n N, m minh m minh n. Let H = n N H n. Then H P f ({n N : n m}) and hence t H f(t) σ S(K). Now n N g(n) = n N ( t H n f(t)) = t H f(t) σ S(K). Therefore, g is an adequate sequence.

6 6 ARPITA GHOSH Lemma 3.2. Let S be an adequate commutative partial semigroup, let A be a J δ -set in S. Let F P f (T S ), and let H n n=1 be a sequence in P f(n) such that for each n, maxh n < minh n+1. Then for all W P f (S), there exist a σ S (W) and G P f (N) such that for all f F, k G and a k G t H k A. t H k σ S (W a) Proof. For f F, define g f : N S by g f (k) = t H k f(t). By Lemma 3.1, g f is an adequate sequence in S. Now since A is a J δ -set, then for W P f (S) there exist a σ S (W) and G P f (N) such that for each, f F, k G g f(k) σ S (W a) and a k G g f(k) A. These imply k G t H k σ S (W a) and a k G t H k A. Theorem 3.3. Let S be an adequate commutative partial semigroup. Let A be a J δ -set in S, and assume that A = A 1 A 2. Either A 1 is a J δ -set in S or A 2 is a J δ -set in S. Proof. It suffices to show that there exist i {1,2}, for F P f (T S ) and M P f (S) there exist c σ S (M) and H P f (N) such that for each f F, t H f(t) σ S(M c) and c t H f(t) A i. Let F = {f 1,f 2,,f k } and, therefore, F = k. Pick by the Hales-Jewett Theorem ([5] or see [8, Lemma ]) some n N such that whenever the length n words over the alphabet {1,2,,k} are 2-colored, there is a variable word w(v) such that {w(j) : j {1,2,,k}} is monochromatic. By replacing n+2 by n, we can assume that w(v) begins and ends with a constant. LetW bethesetoflength nwordsover {1,2,,k}. For w = b 1 b 2 b n W, each b i {1,2,,k} and define g w : N S by, for l ω = N {0} and i {1,2,,n}, g w (ln + i) = f bi (ln + i). For l ω, let H l = {ln + 1,ln+2,,ln+n}. Now since A is a J δ -set in S, then by Lemma 3.2, for M P f (S) there exist a σ S (M) and G P f (N) such that for all f bi F, k G t H k f bi (t) σ S (M a) and a k G t H k f bi (t) A. These imply a k G t H k g w (t) A σ S (M). Define φ : W {1,2} by φ(w) = 1 if a g w (t) A 1 σ S (M) k Gt H k and φ(w) = 2 otherwise. Pick a variable word v such that {w(j) : j {1,2,,k}} is monochromatic with respect to φ. Without loss of generality, we can assume that φ(w(j)) = 1 for all j {1,2,,k}. Let w(v) = b 1 b 2 b n, b i {1,2,,k} {v} and b 1 and b n are constants which are in {1,2,,k}. Define U w(v) = {j {1,2,,n} b j {1,2,,k}} and V w(v) = {j {1,2,,n} b j = v} Now we define U = w(v) φ(w(j))=1, j {1,2,,k} U w(v)

7 and A STUDY ON SOME COMBINATORIAL SETS IN PARTIAL SEMIGROUP 7 V = w(v) φ(w(j))=1, j {1,2,,k} V w(v). Consider the element a g w(v) (t) A 1 σ(m). k Gt H k Then, using the definition of H k, we obtain a g w (kn+s) A 1 σ(m). k Gkn+s H k Let us consider K = {kn+s s V} k G and c = a f bt (kn+t). k Gt U After rearranging we derive that c bs (kn+s) = a kn+s Kf g w(v) (kn+s) A 1 σ S (M). k Gkn+s H k This implies the result. Theorem 3.4. Let (S, ) be an adequate commutative partial semigroup. Then J δ (S) is a closed two sided ideal of δs. Proof. Let A be a J δ -set in S. By Lemma 3.3 J δ -sets are partition regular and this implies J δ (S) by using [8, Theorem 3.11]. Let p δs \J δ (S), then there exists B p such that B is not a J δ -set, therefore, B J δ (S) =, i.e., J δ (S) is closed. We want to prove that J δ (S) is a two sided ideal of δs, i.e., for all p δs, q J δ (S) imply that p q J δ (S) and q p J δ (S). Let A p q. We want to show that A is a J δ -set. Since A p q, then {a S a 1 A q} p. Pick a S such that a 1 A q. Now q J δ (S), then a 1 A is a J δ -set. Therefore, for F P f (T S ) and W P f (S), there exist b σ S (W a) and H P f (N) such that t H f(t) σ S(W a b) andb t H f(t) a 1 A = {d φ S (a) a d A}. This implies a b t H f(t) A. Now define c = a b. Then for F P f(t S ) and W P f (S), there exist c σ S (W) and H P f (N) such that for each f F, t H f(t) σ S(W c) and c t H f(t) A. Therefore, A p q. Now let A q p. We want to show that A is a J δ -set. LetB = {a S a 1 A p}. SinceA q p, then{a S a 1 A p} q. This implies B q. Now q J δ (S), then B is a J δ -set. Let F P f (T S ) and F = {f 1,f 2,,f k }. Let W 0 P f (S), then there exist b σ S (W 0 ) and H P f (N) such that for each f F, t H f(t) σ S(W 0 b) and b t H f(t) B. Therefore, (b t H f(t)) 1 A p for all f F and this yields (b t H f(t)) 1 A p. Now since p δs, then σ S (W) p f F for all W P f (S). Therefore, σ S (W) (b t H f(t)) 1 A p for all f F

8 8 ARPITA GHOSH W P f (S). So it must be nonempty. Take W = W 0 F 0, where F 0 = {b t H f 1(t),b t H f 2(t),,b t H f k(t)} and pick c σ S (W 0 F 0 ) f F(b f(t)) 1 A. t H Now choose a = b c. Then for each f F, t H f(t) σ S(W 0 a) and a t H f(t) A. This suffices A is a J δ-set. Corollary 3.5. Let (S, ) be an adequate commutative partial semigroup. Let A S. If A is a central set in S, then A is a C-set in S. Proof. Since A is a central set in S, then there is an idempotent p such that p K(δS) Ā. By lemma 3.4, J δ(s) is a two sided ideal of δs. Then K(δS) J δ (S). Therefore, by [4, Theorem 3.4], A is a C-set in S. 4. Construction of J δ -sets This section deals with some technical construction of J δ -sets. We start with some definitions. Let ω denotes the first infinite ordinal and each ordinal is the set of its predecessors. In particular, [0] = and for n N, [n] = {0,1,,n 1}. Definition 4.1. If f is a function and domain(f) = [n] ω, then for all x S, f x = f {(n,x)}. Precisely, it means we extend the domain of f to [n+1] by defining f(n) = x. Definition 4.2. Let T = {f f : [n] S}, i.e., T is aset of functions whose domains are members of ω. For each f T, define B f (T) = {x f x T}. Using these notions in hand we can stated the following Lemma 4.3. Let S be an adequate partial semigroup and let p δs. Then p is an idempotent if and only if for each A p there is a nonempty set T of functions such that (a) For all f T, domain(f) ω and range(f) A. (b) For all f T, B f (T) p. (c) For all f T and all x B f (T), B f x(t) x 1 B f (T). Proof. We claim that p is an idempotent element in δs, i.e., {x S x 1 A p} p. Now there is given A p and T which satisfies the above conditions. Pick f T. Then B f (T) p. Therefore, if we will prove that B f (T) {x S x 1 A p}, thenourclaim will beproved. Letx B f (T), thenf x T. Therefore, by (b) B f x(t) p. Now by (c), B f x(t) x 1 B f (T) x 1 A. Thus x 1 A p, and so p is an idempotent element. Conversely, let p be an idempotent element in δs and let A p. For any B p, let define B = {x B x 1 B p}. Then B p and by [6, Lemma 2.12], for x B, x 1 B p. To prove the result we inductively construct a filtration of T = T n where T n = {f T domain(f) = [n]} and for [n] ω each f T n, define B f = B f (T). Note that T = {0}. Now set B = A. Now let [n] ω and assume that we have defined T k for k n and defined B f for f T k such that

9 A STUDY ON SOME COMBINATORIAL SETS IN PARTIAL SEMIGROUP 9 (a) T k is a set of functions with domain [k] and range contained in A. (b) If f T k and x B f, then B f p and x 1 B f p. (c) If k < n, f T k, and x B f, then B f x = (x 1 B f ). If n = 0, T 0 = { }. Then (a) is trivially true. For (b), B = A p and if x A, then x 1 A p. Again (c) is vacuously true. Now, we will check the hypotheses for T n+1. T n+1 = {f T domain(f) = [n + 1]}. So, for any f T n+1 can be written as f = f [n] x where f(n) = x. So, we can write T n+1 = {f x f T n and x B f }. Now let g T n+1, then we can take g = f x for f T n and x = g(n). Now by (b), for f T n and x B f, x 1 B f p. Let B g = (x 1 B f ). Now let y B g = (x 1 B f ), then y 1 B g p. Therefore, the hypotheses are true for T n+1. Now we are in a position to construct a huge amount of J δ -sets using the set B f (T) and some particular idempotent elements in the algebra δs. Precisely, we have Theorem 4.4. Let (S, ) be an adequate partial semigroup and let A S. If there is an idempotent p Ā J δ(s). Then there is a non-empty set T of functions such that: (i) For all f T, domain(f) ω and range(f) A. (ii) For all f T and all x B f (T), B f x(t) x 1 B f (T). (iii) For all F P f (T), f F B f(t) is a J δ -set. Moreover, there is a downward directed family A F F I of subsets of A such that: a) For all F I and all x A F, there exists G I such that A G x 1 A F. b) For each F P f (I), F F A F is a J δ -set. Proof. Since p is an idempotent element in δs and A p, then by Lemma 4.3, (i) and (ii) are true and for each f F, B f (T) p. Therefore, f F B f(t) p. Now since p J δ (S), then f F B f(t) is a J δ -set. This concludes part (iii). For the existance of a downward directed family we do the following construction. Let I P f (T). For F I, define A F = f F B f(t). For part a), consider G = {f x f F}. Now by Lemma 4.3, for each f F, B f x(t) x 1 B f (T). This implies that A G x 1 A F. Next, for part b), using the previous arguments, we obtain A F is a J δ -set. Given F P f (I), if H = F, then F F A F = A H. Therefore, A H is a J δ -set. and also, we can readily reduce Corollary 4.5. Let (S, ) be a countable adequate partial semigroup and let A S. If there is an idempotent p Ā J δ(s), then there is a decreasing sequence A n n=1 of subsets of A such that: (i) For all n N and all x A n, there exists m N such that A m x 1 A n. (ii) For all n N, A n is a J δ -set. Proof. Let S becountable. ThenT is also countable. Soidentify T as {f n N}. For n N,let A n = n k=1 B f k (T). Theneach A n is aj δ -set. Letx A n.

10 10 ARPITA GHOSH Now pick m N such that {f k x k {1,2,,n}} {f 1,f 2,,f m }. Then A m x 1 A n. 5. On pullback and push forward of combinatorial sets Itisknownthatthecombinatorial setssuchascentral sets, C-sets, J δ -sets, and syndetic sets have an extra importance in the study of combinatorics. In this section, we look around the pullback and push forward of these sets under some maps. We start with recalling a basic fact. Lemma 5.1. Let A and B be semigroups and let f : A B be a surjective homomorphism. If A has a smallest ideal, show that B does as well and that K(B) = f(k(a)). Proof. Let b B and y f(k(a)). Since f is surjective, there exists a A suchthat f(a) = b. Now sincey f(k(a)), then thereexists x K(A) such that f(x) = y. As a x K(A), then b y = f(a) f(x) = f(a x) f(k(a)). Therefore, f(k(a)) is a left ideal in B. Similarly, we can show that it is a right ideal in B. K(A) = {L L is a minimal left ideal of A}. Then, it follows that f(k(a)) = {f(l) L is a minimal left ideal of A}. Let J f(l), where J is an ideal of B. Then f 1 (J) L. But L is minimal left ideal of A, then J = f(l). Therefore, f(l) is minimal left ideal of B. Then f(k(a)) K(B). But K(B) is the smallest ideal, then f(k(a)) = K(B). Lemma 5.2. Let S and T be adequate partial semigroups. Let h : S T be a surjective partial semigroup homomorphism, i.e., h(s) = T. Let h : βs βt be the continuous extension of h. Then h(δs) = δt and h δs is a semigroup homomorphism. Proof. Let p δs and let x T. We need to prove that h(p) δt. Suppose that h(p) / δt = x T φ T(x). Pick A p such that h(a) φ T (x) =. Pick F P f (T) such that x F and y F φ T (y) φ T (x) and G P f (S) such that h(g) = F. Since A p and p δs = a S φ S(a) which implies A a G φ S(a). Let b A a G φ S(a). This implies h(b) h(a) y h(g) φ h(s)(y) = h(a) y F φ Ty h(a) φ T (x), which is a contradiction. Therefore, h(δs) δt. Let q δt. We need to show that q = h(p) for some p δs. Let A = {h 1 (A) A q}. Then for any A 1,A 2 q, then A 1 A 2 q and A 1 A 2. So, h 1 (A 1 A 2 ) = h 1 A 1 h 1 A 2. Therefore, A has finite intersection property. So pick p βs with A p. Then for each A q, h 1 (A) p. So by [8, Lemma 3.30] A h(p) = {A T h 1 (A) p}. Thus q h(p) and hence h(p) = q. Since q δt, then q y T φ T(y). This implies that q φ T (y) for all y T. Now φ T (y) q = h(p) for all y T. This implies h 1 (φ T (y)) p for

11 A STUDY ON SOME COMBINATORIAL SETS IN PARTIAL SEMIGROUP 11 all y T. Put y = y. Then h 1 (φ T (y )) p. Now h 1 (φ T (y )) ={x S h(x) φ T (y )} ={x S h(z) h(x) is defined in T}(for some z S,h(z) = y ) ={x S h(z x) is defined in T} ={x S z x is defined in S} =φ S (z). Therefore, φ S (z) p. Now vary y, and since h 1 (T) = S then φ S (z) p for all z S. Therefore, p δs. Therefore, we get h(δs) = δt. Now let p βs and q δs. Then, h(q) δt. If possible, assume that, h(p q) h(p) h(q). Pick open neighbourhoods of h(p q) and h(p) h(q), namely U and V respectively, where U V =. Now pick A p such that h ρ q (Ā) U and ρ h(q) h(a) V. Now pick x A. Then h(x q) U and h(x) h(q) V. That means λ h(x) ( h(q)) V. Now pick B h(q) such that λ h(x) (B φ T (h(x))) V. Pick C q such that h λ x (C φ S (x)) U and h( C) B φ T (h(x)). Now take y C φ S (x) and then h(x y) U and h(x) h(y) V, which is a contradiction. Theorem 5.3. Let S and T be two adequate commutative partial semigroups, let h : S T be a surjective partial semigroup homomorphism. (a) If A is a J δ -set in S, then h(a) is a J δ -set in T. (b) If A is a J δ -set in T, then h 1 (A) is a J δ -set in S. Proof. (a) Given A is a J δ -set in S. Let F P f (T T ) and W P f (T). Pick k : T S such that h k(x) = x locally (pointwise). Construct G = k(f) = {k f f F} and W S = k(w). Then G P f (T S ) and W S P f (S). Since A is a J δ -set in S, then there exist a σ S (W S ) and H P f (N) such that for each g G, (1) σ S (W S a) and a t Hg(t) g(t) A. t H Choose b = h(a) hσ S (W S ) = σ T (h(w S )) = σ T (h k(w)) = σ T (W). Now from one part of the condition (1), we have h( t H g(t)) h(σ S(W S a)), which implies t H h(g(t)) σ T(h(W S ) h(a)), and, so that t H h k f(t) σ T (W b). This implies t H f(t) σ T(W b) and the other part of the condition (1) gives us that h(a t H g(t)) h(a). Since h is partial semigroup homomorphism, then we get, h(a) t H h(g(t)) h(a) which clearly implies that b t H f(t) h(a). Therefore, h(a) is a J δ-set in T. (b) Let A be a J δ -set in T. Pick F P f (T S ) and W P f (S). and k : T S such that h k(x) = x locally (pointwise). Then construct G = h(f) = {h f f F} and W T = h(w), then G P f (T T ) and W T P f (T). Since A is a J δ -set in T, then there exist a σ T (h(w)) and H P f (N) such that for each g G, (2) t Hg(t) σ T (h(w) a) and a t H g(t) A.

12 12 ARPITA GHOSH Choose b S such that h(b) = a, since h is surjective. Now by the condition (2), wehave t H h f(t) σ T(h(W) h(b)) = h(σ S (W a)) which implies h( t H f(t)) h(σ S(W a)) and so that t H f(t) σ S(W a) and the second part of the condition (2), we have h(b) t H h f(t) A. This gives us that h(b t H f(t)) A, so that b t H f(t)) h 1 (A). Therefore, h 1 (A) is a J δ -set. Theorem 5.4. Let S and T be two adequate commutative partial semigroups, let h : S T be a surjective partial semigroup homomorphism. Let h : βs βt be the continuous extension of h. (a) h(j δ (S)) = J δ (T) (b) If there is an idempotent p Ā J δ(s), then h(a) is a C-set in T. (c) If there is an idempotent p Ā J δ(t), then h 1 (A) is a C-set in S. (d) If A is a central set in S, then h(a) is a central set in T. (e) If A is a central set in T, then h 1 (A) is a central set in S. Proof. (a) Let p J δ (S). We need to show that h(p) J δ (T). Now let A h(p). Then h 1 (A) p. Therefore, h 1 (A) is a J δ -set in S. Now by Lemma 5.3 A = h(h 1 (A)) is a J δ -set in T. Therefore, h(p) J δ (T). Now let q J δ (T). Let A = {h 1 (A) A q}. Then A is a set of subsets of S, and A is closed under finite intersections. Now by lemma 5.3, every member of A is a J δ -set in S. By lemma 3.3 and [8, Theorem 3.11] we can pick p J δ (S) such that A p. Then h(p) = q, and so q h(j δ (S)). (b) Let p Ā J δ(s). Since h δs is a semigroup homomorphism by Lemma5.2 and hence h(p) is an idempotent element in δt. Now sincep Ā, then h(a) h(p), and since p J δ (S), then p δs such that for all B p, B is a J δ -set in S. Therefore, h(p) δt where h(b) h(p) and h(b) is a J δ -set in T by Lemma 5.3. Now let D h(p). We want to show that D is a J δ -set in T. Now for a surjective map h, D = h(h 1 (D)). Since h 1 (D) p, then h 1 (D) is a J δ -set in S and again by Lemma 5.3 D is a J δ -set in T. Therefore, we get an idempotent element in h(a) J δ (T). Then by [4, Theorem 3.4], h(a) is a C-set in T. (c) At first, we want to show that J δ (S) is a closed subset in δs. Since by Lemma 3.3, J δ -sets are partition regular, then by [8, Theorem 3.11] J δ (S). Let p δs \ J δ (S). Then there exists A p where A is not a J δ -set in S. Therefore, Ā J δ (S), which implies that J δ (S) is closed. NowbeingaclosedsubsetofcompactsetδS, J δ (S)iscompactandJ δ (S) h 1 ({p}) isacompactsubsemigroupofδs. Therefore, thereisanidempotent q J δ (S) h 1 ({p}). Since h(q) = p, then h 1 (A) q. Then by [4, Theorem 3.4], h 1 (A) is a C-set in S. (d) Let A be a central set in S, then there is an idempotent p such that p K(δS) Ā. Since h δs is a semigroup homomorphismby Lemma 5.2 and hence h(p)isanidempotentelement andbylemma5.1, h(k(δs)) = K(δT). Therefore, h(p) is contained in K(δT) and h(p) is an idempotent element in h(a) K(δT). (e) Pick an idempotent element p in K(δT) Ā. By Lemma 5.1, pick q K(δS) such that h(q) = p. Now pick a minimal left ideal L of δs such

13 A STUDY ON SOME COMBINATORIAL SETS IN PARTIAL SEMIGROUP 13 that q L. Then L h 1 ({p}) is a compact subsemigroup of δs. So there is an idempotent r L h 1 ({p}). Since h(r) = p, h 1 (A) r. Therefore, r h 1 (A). Thus, h 1 (A) is a central set in S. The notion of č-piecewise syndetic set in adequate partial semigroup is introduced in [9, Definition 3.3]. We study the properties of such sets under a surjective homomorphism and obtain Theorem 5.5. Let h : S T be a partial semigroup homomorphism satisfying the hypotheses of Theorem 5.4. Then (a) If A is č-piecewise syndetic in S, then h(a) is č- piecewise syndetic in T. (b) If A is č-piecewise syndetic in T, then h 1 (A) is č-piecewise syndetic in S. (c) h(k(δs)) = K(δT). Proof. (a)let A be č-piecewise syndetic set in S. Let G P f (T) such that G = h(g) for some G P f (S). We want to show that h(a) is č-piecewise syndetic in T. Let F P f (T). Now pick F P f (S) such that h(f) = F. Now we have x σ S (F) such that (F σ S (G)) x t G t 1 A. We want to show that (F σ T (G )) h(x) t G t 1 h(a). Now since x σ S (F), then h(x) σ T (h(f)) = σ T (F ). So let y (F σ T (G )) h(x), then we can take y = a h(x) = h(b) h(x) = h(b x) where b σ S (G). Therefore,b x (Fcapσ S (G)) x. Since (F σ S (G)) x t G t 1 A, then pick some s G such that b x s 1 A. This implies h(b x) t 1 h(a) for some t T such that h(s) = t. Therefore, y t 1 h(a), i.e., h(a) is č-piecewise syndetic set in T. (b) Let A be č-piecewise syndetic set in T. Now pick G P f (S) such that h(g ) = G. Let F P f (S) be given and h(f ) = F. Then there exists x σ T (F) such that (F σ T (G)) x s G s 1 A. Since h is surjective, then pick y σ S (F ) such that h(y) = x. Now to prove h 1 (A) is č-piecewise syndetic set in S, let z (F σ S (G )) y, then h(z) h(f σ S (G )) h(y). So we can take h(z) = h(a) h(y) where h(a) h(f σ S (G )) = F σ T (G). Therefore, h(z) = h(a y) (F σ T (G)) x. So we can pick s G such that h(z) s 1 A. Now pick t G such that h(t) = s. Therefore, z t 1 h 1 (A). Thus, h 1 (A) is č-piecewise syndetic set in S. (c) Let I be any ideal of δt. Now we want to show that h 1 (I) is an ideal of δs. Let p δs and q h 1 (I). By Lemma 5.2, h δs is semigroup homomorphism, then h(p q) = h(p) h(q) I which implies p q h 1 (I). By the similar argument, we have q p h 1 (I). Thus h 1 (I) is an ideal of δs. Being the smallest ideal of δs, K(δS) h 1 (I). Therefore, we have K(δS) h 1 (K(δT)). Let I be an ideal of δs. We want to show that h(i) is an ideal of δt. First assume that p δt and q h(i). Now by Lemma 5.2, h δs is semigroup homomorphism and h(δs) = δt, then pick r δs and s I such that h(r) = p and h(s) = q. Then p q = h(r) h(s) = h(r s) h(i), since I is an ideal of δs. Similarly, q p h(i). Therefore, h(i) is an ideal of δt and consequently, h(k(βs)) is an ideal of δt. Thus K(δT) h(k(βs)).

14 14 ARPITA GHOSH References [1] V. Bergelson and N. Hindman, Nonmetrizable topological dynamics and Ramsey Theory, Trans. Amer. Math. Soc. 320 (1990), [2] D. De, N. Hindman, and D. Strauss, A new and stronger central sets theorem, Fund. Math. 199 (2008), no. 2, [3] H. Furstenberg, Recurrence in ergodic theory and combinatorial number theory, Princeton University Press, Princeton, [4] A. Ghosh, A generalised central sets theorem in partial semigroups, Semigroup Forum, to appear. [5] A. Hales and R. Jewett, Regularity and positional games, Trans. Amer. Math, Soc. 106(1963), [6] N. Hindman and R. McCutcheon, VIP systems in partial semigroups, Discrete Math. 240 (2001), [7] N. Hindman and D. Strauss, Sets satisfying the Central sets theorem, Semigroup Forum 79 (2009), [8] N. Hindman and D. Strauss, Algebra in the Stone-Čech compactification: theory and applications, second edition, W. de Gruyter and Co., Berlin, [9] J. McLeod, Some notions of size in partial semigroups, Topology Proc. 25 (2000), Summer, (2002). address: arpi.arpi16@gmail.com address: arpitamath18@klyuniv.ac.in Department of Mathematics, University of Kalyani, Kalyani, Nadia West Bengal, India