1. Introduction
In Ramsey theory Central sets Theorem has its own importance. After
the foundation of both van der Waerden’s and Hindman’s
theorem, an immediate question appears if one can find a joint extension
of both of these theorems. In [F], using the methods of
Topological dynamics, Furstenberg defined the notions of Central Sets
and proved that if N is finitely colored, then one of the color classes
is Central.
Here we mention some notational definitions that we use through out
this article.
Definition 1.1.
Given a set
Let be a sequence
by,
=,
let
An IP ring is a set
of the form
where is a sequence of members
of such that
for each n.
Theorem 1.2.
Let and for each
let be a sequence in .
Let be a subset of Then there exists
sequences in and
in
such that
for all and
for all
and all
Theorem 1.2 is the central sets theorem proved by Furstenberg
in 1981. Later in 1990 V. Bergelson and N. Hindman proved a different
but an equivalent version of the central set theorem.
Theorem 1.3.
Let be a commutative semigroup. Let
and for each , let be
a sequence in . Let be a central subset of . Then there
exist sequences in and
in such that
for all
and
for all
and all
|
|
|
In 2008 D. De, N. Hindman and D. Strauss proved a stronger version
of central sets theorem.
Theorem 1.4.
Let be a commutative semigroup and
let be a central subset of . Then there exist functions
such that
If
and then
and
If ;;
and for each
then
|
|
|
In 2015 D. Phulara generalize the stronger version for commutative
semigroup. The theorem is the following
Theorem 1.5.
Let be a commutative semigroup, let
be an idempotent in and let
be a sequence of members of There exists
such that
If
and then and
Whenever ;;
and for each then
Later in 2021 N. Hindman and K. Pleasant proved the central sets theorem
for adequate partial semigroup. Here we generalize the theorem by
K. Pleasant and N. Hindman in D. Phulara’s way. Apart from that we
generalize the central sets theorem for VIP system in commutative
adequate partial semigroup. Now we briefly discuss VIP system here.
Definition 1.6.
Let be an abelian group. A sequence
in is called a VIP system if there exists some non-negative integer
d (the least such is called the degree of the system) such that
for every pairwise disjoint
we have .
In their paper [HM] generalize this notion for partial semigroup.
They defined the VIP system for partial semigroup in the following
way.
Definition 1.7.
Let be a commutative partial semigroup. Let
be a sequence in
is called a VIP system if there exists some and
a function from to written
, such that
|
|
|
The sequence
is said to generate the VIP system
Later they proved the Central sets theorem for VIP systems of commutative
adequate partial semigroup.
2. ALGEBRAIC BACKGROUND
Here we briefly discuss about the Stone-Čech compactification
of a semigroup . is the collection of all
ultrafilters on and we identify the principal ultrafilters with
the points of For ,
The set forms a basis
for the compact Hausdorff topology on . For more information
about readers are requested to see [HS]. We will
discuss about partial semigroup here.
Definition 2.1.
A partial semigroup is a pair where maps
a subset of to and for all ,
in the sense that if either side is defined, then so is the other
and they are equal.
Definition 2.2.
Let be a partial semigroup.
For
For
For and
is adequate if and only if
for all .
Lemma 2.3.
Let be a partial semigroup , let
and let Then
In particular, if , then .
Proof.
[HM], Lemma
∎
We are specifically interested in adequate partial semigroups as they
lead to an interesting sub semigroup of . This subsemigroup
is itself a compact right topological semigroup and is defined next.
Definition 2.4.
Let be a partial semigroup. Then
Notice that when the partial semigroup is
adequate and for being semigroups .
For be a semigroup,
then
Now we extend this notion for partial operation .
Definition 2.5.
Let be an adequate partial semigroup.
For and
For and .
Lemma 2.6.
2.6. Let be an adequate partial semigroup.
If and
If and , then
Let and Then
if and only if
If then .
Proof.
[HM], Lemma
∎
Lemma 2.7.
Let be an adequate partial semigroup and let
Then the function defined by
is continuous.
Proof.
[HM],Lemma
∎
Lemma 2.8.
Let and let Then
Proof.
[HM], Lemma
∎
Theorem 2.9.
Let be an adequate partial semigroup. Then
is a compact Hausdorff right topological semigroup.
Proof.
[HM], Theorem
∎
Theorem 2.10.
Let and let Then
For an idempotent and then .
Lemma 2.11.
Let let let Then
Definition 2.12.
Let be a partial semigroup and let Then
is syndetic if and only if there is some
such that
Lemma 2.13.
Let be an adequate partial semigroup and let Then
is syndetic if and only if there exists
such that
Definition 2.14.
Theorem 2.15.
Let be an adequate partial semigroup and let
The following statements are equivalent.
For all , is
syndetic.
For all
Proof.
[HM], Theorem
∎
Definition 2.16.
Let be an adequate partial semigroup and let
The set is syndetic in if
and only if
The set is in if and only if
there is some idempotent in such that
A set is a -set if and only
if for all and all
there exists and
such that for all ,
|
*a |
|
Lemma 2.17.
Let be an adequate partial semigroup and let
be There exists
such that for every finite nonempty set there
exists such that
Definition 2.18.
.Let be an adequate partial semigroup and let
be a sequence in Then is adequate if and only if
for each ,
is defined and
for each , there
exists such that
|
|
|
Definition 2.19.
Let be an adequate partial semigroup. Then
|
|
|
3. PHULARA VERSION OF CENTRAL SETS THEOREM FOR ADEQUATE PARTIAL SEMIGROUP
In [M], Jillian McLeod establishes a version of Theorem
1.2 valid for commutative adequate partial semigroups. In
[Pl], Kendra Pleasant and in [G], Arpita Ghosh,
independently but later, prove a version of Theorem 1.4 for
commutative adequate partial semigroups. In [P] Plulara
generalized Central sets theorem for commutative semigroup. In this
paper, we show that Theorem 1.5 remains valid for arbitrary
adequate partial semigroups. To prove that we need the following lemma.
Lemma 3.1.
.Let be an adequate partial semigroup and let
be a -set in . Let let and
let There exists
such that and for all
Proof.
[HP], Lemma
∎
Theorem 3.2.
Let be an adequate partial semigroup and let
be an idempotent in and let
be a sequence of members of . Then there exists functions and
and
such that
1. If , then
and
2. If and ,
and then
|
|
|
Proof.
We assume for each ( If
not, consider , so
) . For each , let
Then and by if
then
∎
Now we use induction hypothesis to prove the statement
Let and . Then statement 1
is vacuously true. Pick and let
Pick , and
such that
Let , ,
( By lemma 3.1)
Now let the statement is true for all with ,
Let
|
|
|
where .
Then is finite and by induction .
Let .
Then so is a -set.
Let .
By lemma 3.1 pick ,and
such that and for all f.
|
|
|
Define , ,.
So (1) is satisfied.
To verify hypothesis (2) assume , then and ,
so
|
|
|
.
Let .
Then , so
therefore
|
|
|
.
Corollary 3.3.
Let be a commutative adequate partial semigroup
and let be an idempotent in and let
be a sequence of members of . Then there exists functions
and
such that
if
and then and
if ;;
and for each then
Proof.
Let and be as guaranteed by previous theorem.
For Let
and let .
∎
Corollary 3.4.
Let be a non trivial commutative adequate
partial semigroup,let be an idempotent in , Let
be a sequence of members of , let and for each
,let be
an adequate sequence in . Then there exists a sequence in
and a sequence in
with for each such that for and
for each with
one has
.
Proof.
We may assume that for each .
Pick and as guarnteed by previous corollary. Choose
\
such that if which we can do
because S is non trivial. For let
|
|
|
Let and .
Let and let
be enumerated in order as so
that then .
Also for each ,
and , so .
∎
Now we will see some combinatorial applications.
Definition 3.5.
Let and let be a matrix with
entries from Then satisfies the first entries
conditions if and only if no row of is
and whenever and then
An element is a first entry
of if and only if there is some row of such that
If satisfies the first entries condition , we say that is
a first entries matrix.
Theorem 3.6.
Let be a commutative adequate partial semigroup and be a
matrix which satisfies the first entries condition. Let
be central subsets of .
Assume that for each first entry of , and for each ,
is a central* set. Then for each
there exists adequate sequence in
such that for every
with , we have where
.
|
|
|
Proof.
We can assume that . First we take .
We can assume that has no repeated rows. In that case
for some such that is a central* set and
is a sequence of members
of , satisfying .
Since we are in the base case, i.e. , by Corollary 3.4
, we have adequate sequences and
in with for
all , such that where .
We choose . So the sequence
is as required.
Now assume and the theorem is true for . Let,
be a matrix which satisfies the first entries
condition, and assume that for every first entry of ,
is a central* set for all . By rearranging rows
of and adding additional rows of if needed, we may assume
that we have some and such
that
|
|
|
So the matrix in block form looks like
|
|
|
where is a matrix with entries .
So by inductive hypothesis we can choose
for the matrix .
Let for each and each ,
|
|
|
Now we have that is a
sequence of members of . So by Corollary3.4
we can choose in
and in
such that for each and
for each and for all
with , then
|
|
|
In particular if then pick
such that . For ,
define . The proof will be done
if we can show that are the
required sequences. So we need to show that for each ,
|
|
|
If , then,
|
|
|
where . Let , then
due to the condition that for each .
Now by induction hypothesis we have,
|
|
|
For the case ,
|
|
|
and the theorem is done.
|
|
|
∎
4. PHULARA VERSION OF CENTRAL SETS THEOREM FOR VIP SYSTEMS IN PARTIAL
SEMIGROUP
Now we concentrate on a special class of finite families of VIP systems
and proceed for further generalization of Central sets Theorem.
Definition 4.1.
Let be commutative adequate partial semigroup.
A finite set
of VIP systems is said to be if there exists a
set a
set of VIP systems
|
|
|
and sets
such that:
For each
generates .
For every there
exists such that for every and
pairwise distinct
with each
|
|
|
( In particular, the sum is defined)
=
for all and all .
Definition 4.2.
Let be a commutative adequate partial semigroup
and let
is said to be if for
every finite subset of and every there
exists a finite set having the property
that if then for some
contains a member of is said to be
if for all and all
Theorem 4.3.
Let be a commutative adequate partial semigroup
and let . If
is an adequate set of VIP systems in , and ,
then the family
|
|
|
is adequately partition regular.
Proof.
[HM], Theorem
∎
Theorem 4.4.
Let be a commutative adequate partial semigroup
and let be a shift invariant ,adequately partition
regular family of finite subsets of S. Let be piecewise
syndetic. Then contains a member of .
Proof.
[HM],Theorem
∎
Theorem 4.5.
Let
be an adequate set of VIP systems and pick , a
set ,
a set of VIP systems
,
and sets
satisfying conditions and
of Definition 3.5. Let
with . For ,
and
with , and , let
.
For , ,
and with , let
.
Then
is an adequate set of VIP systems.
Theorem 4.6.
Let be commutative adequate partial
semigroup and be an idempotent in and
let be a sequence of members
of and
|
|
|
be -many adequate set of VIP system. Then there exists sequences
in and in
such that
for every and for every
such that for
Proof.
Let We assume
for each ( If not, consider
, so ). Let for each ,
let
|
|
|
Then for each , by lemma 2.12.
∎
Let
|
|
|
Then by theorem 4.3 is adequately partition regular
and is trivially shift invariant. Since for each
and , is piecewise syndetic.
So by theorem 4.4 , for some and
such that
|
|
|
for every .
Now the proof is by induction, let and assume that
we have chosen in and
in such that
for , if any, ,
and
for
, if , then
and for each , .
For each
and each , let
By theorem 4.5 , the family,
is an adequate set of VIP systems.
Let
|
|
|
Then by theorem , is adequately partition regular
Let
|
|
|
Then and is piecewise syndetic. So by theorem 3.8,
for some
such that and some
|
|
|
such that
By induction hypothesis trivially holds. To verify
, let and
let . If the condition
holds by assumption. If , then we have
|
|
|
So, let assume , let \,
and let . Then ,
where .
Let and let
. Then
,
and so
. That is
|
|
|
Theorem 4.7.
Let be a commutative adequate partial semigroup
and let be sequence of central
sets where . Suppose that
|
|
|
is an adequate set of VIP systems. Then there exists an IP ring
and an IP system
in such that
where is a sequence of members
of such that for
all and for all ,
where ,
and , .
Proof.
Choose and as
in theorem 4.6. Put .
∎
Theorem 4.8.
Let be a commutative adequate partial semigroup
and let , be central sets. Suppose
that
is an adequate set of VIP systems. Then there exists sequences in
and in
such that for each and such that for
every ,
where F and if , where
each and
then writing for we
have .
Proof.
To prove we will modify the induction hypothesis
of the proof of theorem 3.11 by for ,
, and if ,
where each and
and for
then .
We have to change the set in the proof of theorem 3.11 by
|
|
|
rest of the proof is quite similar to the proof of theorem 3.11 so
we skip that part. Here we speak few words about weak VIP systems.
If be a commutative and cancellative semigroup then can
be embedded in a group this group is called group of quotients.
∎
Definition 4.9.
Let be a commutative cancellative semigroup and
let be the group of quotients of . A sequence
in is called a weak VIP systems if it is a VIP system in
Corollary 4.10.
Let be a commutative cancellative semigroup and
let , be central sets, and let
be a set of weak VIP systems in S. Then there exists sequences in
and in
such that for each and such that for
every and every ,
if , then
,where .
Proof.
Let be the group of quotients of Then, with substraction
in , we have . We claim that
is piecewise syndetic in That is there exists
such that for each , there exists
such that .
Indeed , let and let
be given. Pick and
|
|
|
in such that .
Let . Then Since
is piecewise syndetic,
by and consequently
by
. Since
are central in S, by definition there is some idempotent
such that But then
and thus are central in G. Also, for each ,
is a weak VIP system in and is therefore a VIP system in .
Thus,
is an adequate set of VIP systems in so by theorem3.11, there
exists sequences in G and
in such that
for each and such that for every ,
if , then
In particular, each is in so
is a sequence in S as required.
∎
Here we present the “VIP-Free” version of Theorem 4.6
and a similar proof.
Theorem 4.11.
Let be a commutative adequate partial semigroup
and let be a set, and for each , let be a set.
For each and each , let such
that the family
is shift invariant and adequately partition regular. Let
and suppose
is a function. If is a sequence of central
set then there exists sequences
in and with each
such that
for and such that
if and for each ,
then
|
|
|
Proof.
The proof of Theorem 4.6 is modified. Having choosen
and , replace the adequately partition
regular family constructed in the proof of Theorem
4.6 by and replace the piecewise syndetic
set by
Then one chooses so that
and let
∎