Jump to content

Draft:Idempotent ultrafilter

From Wikipedia, the free encyclopedia

An idempotent ultrafilter on a semigroup S is an ultrafilter which is an idempotent in the semigroup of ultrafilters on S taken with the convolution operation. The existence of an idempotent ultrafilter on any semigroup follows from the Ellis-Numakura lemma and its proof depends on Zorn's lemma.

The notion of an IP set is connected with idempotent ultrafilters.

References

[edit]

Todorcevic, Stevo. "Introduction to Ramsey spaces" Annals of Mathematics Studies 174. (2010): 1-296.