Invariant means, coset correct means and the Hahn-Banach Theorem

Abstract

We show that, in ZF set theory, the existence of "coset correct means" on all groups is equivalent to the Hahn-Banach Theorem, as well as to the existence of invariant means on abelian groups.

arXiv comment5 pages, comments welcome!