ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
Various notions of large sets in groups and semigroups naturally arise in dynamics and combinatorial number theory. Most familiar are those of syndetic, thick (or replete), and piecewise syndetic sets. (In $\mathbb Z$, syndetic sets are those with bounded gaps, thick sets contain arbitrarily long intervals, and piecewise syndetic sets are the intersections of syndetic sets with thick ones.) It is hard to say which is more interesting, these sets themselves or the interplay between them. Thus, piecewise syndetic sets in $\mathbb N$ are partition regular, contain arbitrarily long arithmetic progressions, and are characterized in terms of ultrafilters on $\mathbb N$ containing them; the difference set of a syndetic set in a countable Abelian group almost (up to a set of upper Banach density zero) contains a set open in the Bohr topology; the quotient set of any piecewise syndetic set in any semigroup contains the quotient set of a syndetic set, and so on. Large sets find numerous applications to dynamics, Ramsey theory, the ultrafilter semigroup on $\mathbb N$, the Bohr compactification, and so on. Quite recently, Evgenii Reznichenko and the author have found yet another application of large sets. Namely, we introduced special large sets in groups, which we called fat sets, and applied them to construct a discrete set with precisely one limit point in any countable nondiscrete topological group in which the identity element has nonrapid filter of neighborhoods; using this technique, we proved, in particular, the nonexistence of a countable nondiscrete extremally disconnected group in~ZFC. Fat sets and their relationship to other large sets in groups will be discussed. Special emphasis will be placed on the construction of discrete sets with one limit point (by using fat sets) and its consequences, including the nonexistence in ZFC of a countable nondiscrete extremally disconnected group; other extremal properties of topological groups will also be touched upon. A fundamentally different construction of discrete sets in Boolean groups will also be presented; in the countable case, it yields a closed discrete basis. Finally, various kinds of filters and ultrafilters on $\omega$ will be considered in relation to countable extremally disconnected groups. In particular, analyzing the topology of free Boolean topological groups of filter spaces and using certain facts concerning the extremal disconnectedness of such groups, we will show that if a filter has any of the well-known selectivity-type properties (that is, properties equivalent to being selective for ultrafilters), then this filter is an ultrafilter.