Skip to main content
2 of 6
deleted 26 characters in body; deleted 4 characters in body; deleted 1 characters in body
user avatar
user avatar

(another) equivalent of amenability?

Let $G$ be a finitely generated group. Does the following condition imply the amenability of $G$: there is a function $\mu:\mathcal{P}(G) \to [0,1]$ such that:

  • $\mu(G) = 1$, $\mu(A \cup B) \leq \mu(A) + \mu(B)$,
  • $\mu(A \cdot g) = \mu(A)$ for all $g$ in $G$,
  • if $\{A_n : n <\infty\}$ is pairwise disjoint, then $\inf_n \mu(A_n) = 0$.

    A group distinguishing this condition from amenability cannot contain $F_2$. I am aware of the relationship to the (now solved) Maharam problem.

    I am not asking for an answer so much as whether (and where) this question has been studied.

  • Justin Moore
    • 3.5k
    • 31
    • 33