6
$\begingroup$

Hello,

Let $G$ be an infinite finitely generated discrete group. I call an infinite set $S$ irregular iff for every $g\in G$, $g\neq 1$, we have that $S\cap gS$ is finite. For example $\{z^3|z\in\mathbb{Z}\}$ is irregular in $\mathbb{Z}$. Now my easy to state question: Does every free ultrafilter on $G$ contain at least one irregular subset?

The following is true and might probably be useful: $G$ acts freely on the space of all ultrafilters (the Stone-Cech compactification of $G$ as a discrete space).

free ultrafilters: http://en.wikipedia.org/wiki/Ultrafilter

$\endgroup$
3
  • $\begingroup$ In the definition of irregular, I guess you want $g$ to be non-identity? $\endgroup$ Nov 17, 2012 at 11:31
  • $\begingroup$ To save people searching through the wikipedia article: free = non-principal. $\endgroup$
    – HJRW
    Nov 17, 2012 at 12:03
  • $\begingroup$ @Joel: Yeah, I'll correct that, thx. $\endgroup$ Nov 17, 2012 at 14:05

1 Answer 1

5
$\begingroup$

No, a free ultrafilter on the additive group of integers need not contain an irregular set. The Galvin-Glazer proof of Hindman's theorem (which is nowadays the standard proof of that theorem) begins by showing the existence of idempotent ultrafilters $U$ on $\mathbb N$. I won't bother to define "idempotent" here, since what I need is not the definition but the following consequence of it. If $X$ is any set in $U$, then there is an infinite set $\{x_0<x_1<\dots\}$ of positive integers such that any finite sum of distinct $x_i$'s is in $X$. In particular, the intersection of $X$ and $x_0+X$ contains $x_0+x_i$ for all $i>0$, and therefore $X$ is not irregular.

$\endgroup$
2
  • $\begingroup$ Thx for the answer, but are you sure this argument carries over to the group Z? Does Elli-Numakura really give an idempotent besides the trivial one around 0? Im a layman in this field, so plz dont blame me if this is a stupid question. ;) $\endgroup$ Nov 18, 2012 at 18:32
  • 1
    $\begingroup$ Any idempotent ultrafilter on $\mathbb N$ generates (by closing it under supersets) an idempotent ultrafilter on $\mathbb Z$. More generally, the canonical embedding $\beta\mathbb N\to\beta\mathbb Z$ is a homomorphism of semigroups. $\endgroup$ Nov 19, 2012 at 1:37

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.