Monotileable Amenable Groups: An Application

Amal Mohammed Ahmed Gaweash^1,2, Hayat Yousuf Ismail Bakur^3,4, Mariam Almahdi Mohammed Mulla^4,5

¹Department of Mathematics, University of Taif, Ta'if, Makkah, KSA.
²University of Aldalling, Sudan.
³Department of Mathematics, University of Jazan, Jazan, KSA.
⁴University of Kordofan, El-Obeid, North Kordofan, Sudan.
⁵Department of Mathematics, University of Hafr Al-Batin, Hafar Al-Batin, KSA.

DOI: 10.4236/oalib.1107012                

Abstract

We study actions of countable discrete groups which are Monotileable amenable groups in the sense that there exists a mean on X which is invariant under the action of G. Assuming that G is nonamenable, we obtain structural results for the stabilizer subgroups of amenable actions which allow us to relate the first l²-Betti number of G with that of the stabilizer subgroups.

Keywords

Varieties of Groups, Abelian Groups, Multiplication, Amenable Groups, Lie Group, Følner Sequence

1. Introduction

In this paper, it has been conjectured on the basis of current knowledge that the class of Monotileable amenable groups consists precisely of all groups G which do not possess a subgroup isomorphic to the free group on two generators. In this paper, we will not settle this conjecture. However, this work is motivated by a desire to give an algebraic description of the class of all amenable groups. In an attempt to determine which varieties of groups consist entirely of amenable groups, the notion of a uniformly amenable group is introduced. We derive results indicating the relationships between varieties and uniformly amenable groups. An action of a discrete group G on a set X is said to be amenable if there exists a finitely additive probability measure: $\mathcal{P}\left(X\right)\to \left[0,1\right]$, henceforth called a mean, defined on the power set of X, which is invariant under the action of G [1] [2].

1.1. Varieties of Groups

We present here some of the ideas and results necessary in the sequel. Further information can be obtained by consulting [3].

Let X {x_i: i is a positive integer} be an alphabet. Let X_m be the free group of rank n generated by $\left\{x_i:1\le i\le n\right\}$ and let $X_{\infty }$ be the free group generated by X. If $w\in X_n$, we will often write $w\left(x_1,\cdots ,x_n\right)$ to denote w.

If G is any group and al, as $a_1,a_2,\cdots ,a_n\in G$, then by $w\left(a_1,a_2,\cdots ,a_n\right)$ for $w\in X_n$. We mean $\alpha \left(w\right)$ where a is the unique homomorphism from $X_n$ into G with

$\alpha \left(x_i\right)a_i$ for $1\le i\le n$.

A word $w\left(x_1,x_2,\cdots ,x_n\right)$ is called an identical relation or a law for a group G if and only if $w\left(a_1,a_2,\cdots ,a_n\right)=1$ for every $a_1,a_2,\cdots ,a_n$ in G. A law is called trivial if it is satisfied by all groups and this happens if and only if $w=1$.

A variety of groups is the class of all groups satisfying each law in a given set of laws. If $L\subseteq X_{\infty }$ then we denote by $V\left(L\right)$ the variety of all groups for which the words in L are laws.

We mention few examples of varieties. The class of all abelian groups is obviously $V\left(x_1^{-1}{x}_2^{-1}{x}_1{x}_2\right)$. For any positive integer t the class of all solvable groups of derived length ≤ t form variety, the variety $V\left(x^m\right)$ is called the Burnside variety of exponent m. The class of all groups is variety we will denote by $\mathcal{O}$. A reduced free group in variety is group with a set of generators S such that any map from S into group in V can be extended to homomorphism.

For any cardinal number h, V contains reduced free group with h generators. For every natural number n, $F_n\left(V\right)$ will denote reduced free group with n generators. A reduced free group with countably infinite set of generators will be denoted by $F_{\infty }\left(V\right)$ [1] [3].

The Cartesian product of $\left\{A_{\lambda }|\lambda \in \text{Λ}\right\}$ of groups will be denoted by $C_{\lambda }{\text{Π}}_{\lambda \in \text{Λ}}{A}_{\lambda }$ and the direct product will be denoted by ${\Pi }_{\lambda \in \Lambda }{A}_{\lambda }$. The direct product of a countably infinite number of groups isomorphic to a group G will be denoted by $\Pi G$.

Let V be a variety of groups. A set of groups $\mathfrak{D}\subseteq V$ is said to discriminate V if and only if for every finite set of words W in $X_{\infty }$ which are not laws for V there exists $G\in \mathfrak{D}$ and elements $g_1,g_2,\cdots ,g_n\in G$ such that

$w\left(g_1,g_2,\cdots ,g_n\right)\ne 1$

for any $w\in W$. (n is some integer for which $W\subseteq X_n$.) Put another way any finite set of nonlaws for V can be simultaneously falsified.

The set of all varieties of groups is partially ordered under inclusion. It is a complete lattice where $U\wedge V=U\cap V$. The variety generated by u class of groups $\mathcal{C}$ is denoted by $V\left(\mathcal{C}\right)$ and defined by $V\left(\mathcal{C}\right){\cap }_{V\supseteq \mathcal{C}}V$.

Multiplication can be defined on varieties where UV is the variety of all extensions of groups in U by groups in V [2] [3].

1.2. Lemma

Let V be a variety of groups and let $\mathfrak{D}$ be a set of groups contained in V. Let M be a full structure whose individuals include all elements of all groups in $\mathfrak{D}$ all elements of $X_{\infty }$ and all natural numbers. Let ${}^{\ast }M$ be an enlargement of M. Then $\mathfrak{D}$ discriminates V if and only if $F_{\infty }\left(V\right)$ is isomorphic to a subgroup of a group $D\in D^{*}$.

Proof. Suppose $\mathfrak{D}$ discriminates V.

If W is a finite set of nonlaws for V and $W\subseteq X_n$ then there exists $D\in \mathfrak{D}$ and $d_1,d_2,\cdots ,d_n\in D$ such that $w\left(d_1,d_2,\cdots ,d_n\right)\ne 1$ for any $w\in W$.

Now let $Y\subseteq X_{\infty }$ consist of all nonlaws for V. Let E be a *-finite subset of ${}^{\ast }Y$ such that $Y\subseteq E$ and let e ${}^{\ast }N-N$ be chosen so that $E\subseteq X_{\infty }$.

Since every element of Y is a nonlaw for V so is every element of E. We get:

There exists $D\in D^{*}$ and $d_1,d_2,\cdots ,d_w\in D$ such that

$e\left(d_1,d_2,\cdots ,d_w\right)\ne 1$

for every $e\in E$. In particular the only relations on the elements $d_i$ are identities for V and so the group they generate is free reduced on an infinite set of generators and so $F_{\infty }\left(V\right)$ is certainly isomorphic to a subgroup of D.

On the other hand suppose $\mathfrak{D}$ does not discriminate V. Then there is a finite set W of nonlaws for V which cannot be simultaneously falsified in any $D\in \mathfrak{D}$. Suppose $W\subseteq X_n$. We have:

If $D\in \mathfrak{D}$ and $d_1,d_2,\cdots ,d_n\in D$ then there exists $w\in W$ with

$w\left(d_1,d_2,\cdots ,d_n\right)=1.$

So, if $D\in {}^{\ast }\mathfrak{D}$ and $d_1,d_2,\cdots ,d_n\in D$ then there exists $w\in W$ with

$w\left(d_1,d_2,\cdots ,d_n\right)=1.$

That is, every n element in any group in ${}^{\ast }\mathfrak{D}$ satisfies a relation which is not a law for V. So $F_{\infty }\left(V\right)$ is not isomorphic to a subgroup of D for any $D\in {}^{\ast }\mathfrak{D}$ and the proof is complete [3].

2. How to Build Amenable Groups

$A\Delta B=\left(A\backslash B\right)\cup \left(B\backslash A\right)$. Groups are assumed countable and discrete.

2.1. Definition

(Fϕlner, 1955) A group Γ is amenable if and only if there exists a Fϕlner sequence, i.e. a sequence of finite sets ${\left\{F_n\right\}}_{n\ge 1}$ such that for all [4] $\gamma \in \Gamma$, ${\lim }_{n\to \infty }\frac{\left|F_n\gamma \text{Δ}{F}_n\right|}{\left|F_n\right|}=0$.

2.2. Example

Here are a few basic examples:

• A finite group is amenable, take $F_n=\Gamma$ for all n. Then $F_n\gamma =F_n$ and $\frac{\left|F_n\gamma \text{Δ}{F}_n\right|}{\left|F_n\right|}=0$.

• A direct union of finite groups is amenable $\Gamma ={\oplus }_{n\in \mathbb{N}}{G}_i$. An element $\gamma \in \Gamma$ is a sequence ${\gamma }_i\in G_i$, so that for some $n_0$ (depending on $\gamma$ ), $\forall n\ge n_0$, ${\gamma }_n=e{G}_i$. Take $F_n={\oplus }_{i=0}^n{G}_i$, then for any $\gamma \in \Gamma ,F_n\gamma =F_n$ for n large enough. So $\frac{\left|F_n\gamma \text{Δ}{F}_n\right|}{\left|F_n\right|}=0$ for n large enough.

• $\mathbb{Z}$ is amenable. Take $F_n=\left[1,n\right]$. Without loss of generality, one can comp-ute only $\gamma >0$. Then

$\frac{\left|F_n\gamma \text{Δ}{F}_n\right|}{\left|F_n\right|}=\frac{1}{n}\left|\left[1,\gamma \right]\cup \left[n+1,n+\gamma \right]\right|=2\left|\gamma \right|/n\to 0$.

When the graph is finitely generated by a set for S between ${\delta }_s{F}_n=\left\{\text{edgesbetween}{F}_n\text{and}{F}_n^c\text{:}=\text{Γ}/F_n\right\}$. A first useful lemma that reduces some computation is [1] [4].

2.3. Lemma

Assume Γ is finitely generated. A sequence $\left\{F_n\right\}$ is Fϕlner if and only if ${\lim }_{n\to \infty }\frac{\left|\partial F_n\right|}{\left|F_n\right|}$.

The proof is left as an exercise. An isoperimetric profile for the group is an increasing function $\mathcal{F}:R_{>0}\to R_{>0}$ such that $\exists C>0$ so that for any finite set $F,\mathcal{F}\left(\left|F\right|\right)\le \left|\partial F\right|$. Amenable groups are groups with sub linear $\mathcal{F}$.

In L. Saloff-Coste’s lectures it was shown that growth of balls which is ≥ $C^{\prime }{n}^d$ implies $\mathcal{F}\left(x\right)=x^{\left(d-2\right)/d}$ works. However, putting $d=\infty$ is a risky business: there are groups which are amenable but have growth faster than any polynomial (e.g. $BS\left(1,2\right)$ from C. Pittet’s lecture). It’s an easy exercise to show $\mathcal{F}\left(x\right)=x^{\left(d-1\right)/d}$ is optimal for ${\mathbb{Z}}^d$ [2].

Actually one can easily show that groups with “slow” volume growth are amenable. Recall a group is of sub exponential growth if ${\beta }_s\left(n\right):=\left|B\left(n\right)\right|={\text{e}}^{f\left(n\right)}$ for some (increasing) function $f:\mathbb{N}\to {ℝ}_{>0}$ satisfying ${\lim }_{n\to \infty }\frac{f\left(n\right)}{n}=0$.

2.4. Proposition

Let Γ be a [finitely generated] group of sub exponential growth, then Γ is amenable.

Proof: The number of edges in $\partial B_n$ is at most the number of vertices in the sphere of radius $n+1$ times the maximal degree of a vertex, $\left|S\right|$.

$\frac{\left|\partial B_n\right|}{\left|B_n\right|}\le \left|S\right|\frac{\left|\partial B_{n+1}\right|-\left|B_n\right|}{\left|B_n\right|}=\left|S\right|\left({\text{e}}^{f\left(n+1\right)-f\left(n\right)}-1\right).$

The claim is that there is some sequence of integers ${\left\{n_k\right\}}_{k\ge 0}$ so that $f\left(n_k+1\right)-f\left(n_k\right)$ tends to 0. If this is the case, then $F_k=B_{nk}$ would be a Fϕlner sequence. So assume there are no such sequences, or, in other words that $\exists ϵ>0$ such that $\forall n>0$, $f\left(n+1\right)-f\left(n\right)>ϵ$. This implies that

$f\left(k\right)=f\left(0\right)+{\displaystyle {\sum }_{i=1}^k}\left(f\left(t\right)-f\left(i-1\right)\right)>kϵ$.

This a contradiction with ${\lim }_{n\to \infty }\frac{f\left(n\right)}{n}=0$. Hence the desired subsequence exists and Γ is amenable.

Note that it is highly non-trivial to see whether the sequence of all balls works. This turns out to be true in nilpotent groups. It is open in a group of intermediate growth.

The converse of proposition 1.4 is not true: $BS\left(1,2\right)$ is amenable but has exponential growth.

Proposition 1.4 gives many groups without too much effort. The next theorem is useful to build groups out of known amenable groups [4].

2.5. Theorem

(“The closure properties” 3)

Let Γ, N and ${\left\{{\Gamma }_i\right\}}_{i\ge 0}$ be amenable groups.

1) If H is a subgroup⁴ of Γ then H is amenable “Subgroup”.

2) If H is an extension N by Γ ( $1\to N\to H\to \Gamma \to 1$ ) is an exact sequence) then H is amenable “Extension”.

3) If $N\Delta \Gamma$ then $H=\Gamma /N$ is amenable “Quotient”.

4) If H is a direct limit of the ${\Gamma }_i\ge 0$ then H is amenable “Direct limit”.

It’s perfectly possible to prove these properties from the current definition of amenability. It turns out to be much easier to use the most convenient of the many equivalent definition of amenability to do this. But before moving to these considerations, it’s nice to wander a bit [3].

2.6. Definition

A group is called elementarily amenable (short notation: EA) if it is obtained by (many) applications of the closure properties 1)-4) starting from the following class of groups: finite groups and Z. F Day asked whether “amenable” = EA (“Day’s conjecture”). Here are two important facts about EA groups [3] [5].

3. Assumption

Since H denotes a Lie group, the ideas here are important even in the special case where H is discrete [5].

3.1. Definition [4]

A group Γ is amenable is there exists a state $\mu$ on $l^{\infty }\left(\Gamma \right)$ which is invariant under the left translation action: for all $s\in \Gamma$ and $f\in l^{\infty }\left(\Gamma \right)$, $\mu \left(s:f\right)=\mu \left(f\right)$.

Hence we can construct further examples from finite and abelian groups.

3.2. Example

Suppose Γ is finitely generated by $S=\left\{s_1,\cdots ,s_d\right\}$. One can then consider the Cayley graph of Γ where vertices are group elements and edges connecting two group elements imply they differ by one of the generators in S. We place a metric on this graph by letting $d\left(s,t\right)$ by counting the “word length” of $s^{-1}t$. A property of interest is how $\left|B\left(e,r\right)\right|$, the ball centered at the identity element of radius r, varies with r; that is, the growth rate of the group [5].

It turns out that groups with sub exponential growth are always amenable.

3.3. Example

$\Gamma ={\mathbb{F}}_2$ is non-amenable: let $a,b\in {\mathbb{F}}_2$ be the two generators then let $A^{+}$ is the set of all words starting with a. $A^{-1}$ is the set of all words starting with $a^{-1}$, and we define $B^{\pm }$ similarly. Lastly, we set $C=\left\{1,b,b^2,\cdots \right\}$. We note that we can decompose ${\mathbb{F}}_2$ in the three following ways:

$\begin{array}{c}{\mathbb{F}}_2=A^{+}\bigsqcup A^{-1}\bigsqcup \left(B^{+}/C\right)\bigsqcup \left(B^{-}\cup C\right)\\ =A^{+}\bigsqcup a{A}^{-1}\\ =b^{-1}\left(B^{+}/C\right)\bigsqcup \left(B^{+}\cup C\right):\end{array}$

If we had a state $\mu$ on $l^{\infty }\left(\Gamma \right)$ which was invariant under left translation then we would obtain:

$\begin{array}{c}1=\mu \left(1\right)=\mu \left(\chi A^{+}+\chi A^{-}+\chi B^{+}/C+\chi B^{-}\bigsqcup C\right)\\ =\mu \left(\chi A^{+}\right)+\mu \left(\chi A^{-}\right)+\mu \left(\chi B^{+}/C\right)+\mu \left(\chi B^{-}/C\right)\\ =\mu \left(\chi A^{+}\right)+a\cdot \chi A^{-}+\mu \left(b^{-1}\cdot \chi B^{+}/C\right)+\mu \left(\chi B^{-}\bigsqcup C\right)\\ =\mu \left(\chi A^{+}\right)+a\chi A^{-}+\mu \left(\chi b^{-1}{B}^{+}/C\right)+\chi B^{-}\bigsqcup C\\ =\mu \left(1\right)+\mu \left(1\right)=2\mu \left(1\right),\end{array}$

a contradiction [3] [5].

Our goal is to prove the following theorem:

3.4. Theorem [5]

For Γ+ a discrete group, the following are equivalent:

1) Γ is amenable;

2) Γ has an approximate invariant mean;

3) Γ satisfies the Fϕlner condition;

4) The trivial representation ${\tau }_0$ is weakly contained in the regular representation $\lambda$ (i.e., there exist unit vectors ${\xi }_i\in l^2\left(\Gamma \right)$ ) such that ${\Vert {\lambda }_s\left({\xi }_i\right)-{\xi }_i\Vert }_2\to 0$ for all $s\in \text{Γ}$ ),

5) There exists a net (φ) of finitely supported positive definite functions on Γ, with ${\phi }_i\left(e\right)=1$ for each i, such that ${\phi }_i\to 1$ point wise;

6) $C^{*}\left(\text{Γ}\right)=C_{\lambda }^{*}\left(\text{Γ}\right)$ ;

7) $C_{\lambda }^{*}\left(\text{Γ}\right)$ has a character (i.e., one-dimensional representation);

8) for any finite subset $E\subset \Gamma$, we have

$\Vert \frac{1}{E}{\displaystyle {\sum }_{s\in E}{\lambda }_s}\Vert =1.$ (1)

The main obstacle to proving this theorem is that we don’t understand what most of it is saying. Consequently we’ll parse the theorem as we go (rather than drowning the reader in definitions). The plan is to prove the cycle (1 2 3 4 5 6 7) and then (4 8). We shall additionally prove (4) ⟹ (6) in case the reader finds condition (5) distasteful [4].

3.5. Definition [4]

For a discrete group Γ, let Prob(Γ) be the space of all probability measures on Γ:

$\text{Prob}\left(\Gamma \right):=\left\{\mu \in {\iota }^1\left(\Gamma \right):\mu \ge 0\text{and}{\displaystyle {\sum }_{t\in \text{Γ}}\mu \left(t\right)}=1\right\}$. (2)

Then we say Γ has an approximate invariant mean if for any finite subset $E\subset \Gamma$ and $\epsilon >0$, there exists $\mu \in \text{Prob}\left(\Gamma \right)$ such that

$\underset{s\in E}{\max }{\Vert s\cdot \mu -\mu \Vert }_1<\epsilon$ (3)

Proof of (1) ⟹ (2). Let μ be an invariant mean on $l^{\infty }\left(\Gamma \right)$. We claim there is a net $\left({\mu }_i\right)\subset \text{Prob}\left(\Gamma \right)$ which converges to μ weak^* as elements of $l^{\infty }{\left(\Gamma \right)}^{*}$. Suppose not, then $\mu \notin {\overline{\text{Prob}\left(\Gamma \right)}}^{{\omega }^{*}}$ and since Prob(Γ) is convex the Hahn-Banach separation theorem implies there is some $f\in l^{\infty }\left(\Gamma \right)$ and $t<s\in ℝ$ such that

$Re\left[v\left(f\right)\right]<t<s<Re\left[\mu \left(f\right)\right],$

for all $v\in \text{Prob}\left(\Gamma \right)$. Upon replacing f with $\frac{f^{+}+\bar{f}}{2}$ we obtain $v\left(f\right)<t<s<\mu \left(f\right)$. Then replacing f with $f+{\Vert f\Vert }_{\infty }$ ensures that $f\ge 0$. Consequently $\sup \left\{v\left(f\right):v\in \text{Prob}\left(\Gamma \right)\right\}={\Vert f\Vert }_{\infty }$ and yet

${\Vert f\Vert }_{\infty }=\sup \left\{v\left(f\right):v\in \text{Prob}\left(\Gamma \right)\right\}\le t<s<\mu \left(f\right)\le {\Vert f\Vert }_{\infty },$ (4)

a contradiction.

Hence we can find a net $\left({\mu }_i\right)$ in Prob(Γ) which converges to μ in the weak^* topology. Thus for each $s\in \Gamma$ and $f\in l^{\infty }\left(\Gamma \right)$ we know $s\cdot {\mu }_i\left(f\right)-{\mu }_i\left(f\right)\to s\cdot \mu \left(f\right)-\mu \left(f\right)=\mu \left(f\right)-\mu \left(f\right)=0$. But since the ${\mu }_i\in l^1\left(\Gamma \right)$, this is equivalent to saying they converge weakly to zero in $l^1\left(\Gamma \right)$. Thus for any finite $E\subset \Gamma$, the weak closure of the convex subset ${\oplus }_{s\in E}\left\{s\cdot \mu -\mu :\mu \in \text{Prob}\left(\Gamma \right)\right\}$ contains 0. As a convex set, the weak and norm closures coincide by the Hahn-Banach theorem. Hence given $\epsilon >0$ we can find $v\in \text{Prob}\left(\Gamma \right)$ such that

${\displaystyle {\sum }_{s\in E}{\Vert s\cdot v-v-0\Vert }_1}<\epsilon .$ (5)

Hence we have an approximate invariant mean [3].

3.6. Definition [5]

We say Γ satisfies the Fϕlner condition if for any finite $E\subset \Gamma$ and $\epsilon >0$, there exists a finite subset $E\subset \Gamma$ such that

${\max }_{s\in E}\frac{\left|sF\Delta F\right|}{\left|F\right|}<\epsilon .$ (6)

That is, the action of E does not move F around “too much.” Furthermore, a sequence of finite sets $F_n\in \Gamma$ such that

$\frac{\left|s{F}_n\Delta F_n\right|}{\left|F_n\right|}\to 0$ (7)

is called a Fϕlner sequence.

Proof of (2) ⟹ (3). Fix a finite subset $E\subset \Gamma$ and $\epsilon >0$. Since we have an approximate invariant mean we can find $\mu \in \text{Prob}\left(\Gamma \right)$ such that

${\displaystyle {\sum }_{s\in E}{\Vert s\cdot \mu -\mu \Vert }_1}<\epsilon .$ (8)

Given a positive function $f\in l^1\left(\text{Γ}\right)$ and $r\ge 0$, we define a set $F\left(f;r\right):=\left\{t\in \Gamma :f\left(t\right)>r\right\}$. Now, note that for a pair of positive functions $f,h\in l^1\left(\Gamma \right)$ and $t\in \Gamma$, $\left|{\chi }_{F\left(f,r\right)}\left(t\right)-{\chi }_{F\left(h;r\right)}\left(t\right)\right|=1$ if and only if r lies between the numbers $f\left(t\right)$ and $h\left(t\right)$. Furthermore, if f and h are bounded above by 1 then it follows that

$\left|f\left(t\right)-h\left(t\right)\right|={\displaystyle {\int }_0^1\left|{\chi }_{F\left(f,r\right)}\left(t\right)-{\chi }_{F\left(h;r\right)}\left(t\right)\right|\text{d}r}$ (9)

We apply this to $\mu$ and $s\cdot \mu$ to get

$\begin{array}{c}{\Vert s\cdot \mu -\mu \Vert }_1=\underset{t\in \Gamma }{{\displaystyle \sum }}\left|s\cdot \mu \left(t\right)-\mu \left(t\right)\right|=\underset{t\in \Gamma }{{\displaystyle \sum }}{\displaystyle {\int }_0^1\left|{\chi }_{F\left(s\cdot \mu ,r\right)}\left(t\right)-{\chi }_{F\left(\mu ,r\right)}\left(t\right)\right|\text{d}r}\\ ={\displaystyle {\int }_0^1{\displaystyle {\sum }_{t\in \Gamma }\left|{\chi }_{F\left(s\cdot \mu ,r\right)}\left(t\right)-{\chi }_{F\left(\mu ,r\right)}\left(t\right)\right|\text{d}r}}={\displaystyle {\int }_0^1\left|sF\left(\mu ,r\right)\Delta F\left(\mu ,r\right)\right|\text{d}r}\end{array}$ (10)

Also, we have

$\begin{array}{c}{\displaystyle {\int }_0^1\left|F\left(\mu ,r\right)\right|\text{d}r}={\displaystyle {\int }_0^1{\displaystyle {\sum }_{t\in \Gamma }\left|{\chi }_{F\left(\mu ,r\right)}\left(t\right)\right|\text{d}r}}={\displaystyle {\sum }_{t\in \Gamma }{\displaystyle {\int }_0^1\left|{\chi }_{F\left(\mu ,r\right)}\left(t\right)\right|\text{d}r}}\\ ={\displaystyle {\sum }_{t\in \Gamma }{\displaystyle {\int }_0^{\mu \left(t\right)}1\text{d}r}}={\displaystyle {\sum }_{t\in \Gamma }\mu \left(t\right)}=1\end{array}$ (11)

Thus

$ϵ{\displaystyle {\int }_0^1\left|F\left(\mu ,r\right)\right|\text{d}r}=ϵ>{\displaystyle {\sum }_{s\in E}{\Vert s\cdot \mu \left(t\right)-\mu \left(t\right)\Vert }_1}={\displaystyle {\int }_0^1{\displaystyle {\sum }_{s\in E}\left|sF\left(\mu ,r\right)\Delta F\left(\mu ,r\right)\right|\text{d}r}}$ (12)

So for some r we must have

$\underset{s\in E}{{\displaystyle \sum }}\left|sF\left(\mu ,r\right)\Delta F\left(\mu ,r\right)\right|<ϵ\left|F\left(\mu ,r\right)\right|.$

Letting $F:=F\left(\mu ,r\right)$ we are done.

For the next implication we will ignore the first version of the statement and instead focus on the later, equivalent condition. We only need to understand the left regular representation. This is a homomorphism $\lambda :\text{Γ}\to u\left(l^2\left(\text{Γ}\right)\right)$ where the image of $s\in \Gamma$ is denoted ${\lambda }_s$ and for $f\in l^2\left(\Gamma \right)\left({\lambda }_{s}f\right)\left(t\right)=f\left(s^{-1}t\right)$.

Proof of (3) ⇒ (4). From the Fϕlner condition build a Fϕlner sequence ( $F_i$ ) (by letting $ϵ=1,\frac{1}{2},\frac{1}{3},\cdots$ ) set ${\xi }_i:={\left|F_i\right|}^{-1/2}\chi F_i$. Then $\xi \in l^2\left(\Gamma \right)$ are unit vectors and

$\begin{array}{l}{\Vert {\lambda }_s\left({\xi }_i\right)-{\xi }_i\Vert }_2^2={\displaystyle {\sum }_{t\in \Gamma }{\left|{\lambda }_s\left({\xi }_i\right)\left(t\right)-{\xi }_i\left(t\right)\right|}^2}\\ ={\displaystyle {\sum }_{t\in \Gamma }{\left|\frac{1}{{\left|F_i\right|}^{1/2}}\chi F_i\left(s^{-1}t\right)-\frac{1}{{\left|F_i\right|}^{1/2}}\chi F_i\left(t\right)\right|}^2}\\ =\frac{1}{\left|F_i\right|}{\displaystyle {\sum }_{t\in \Gamma }{\left|{\chi }_{s{F}_i}\left(t\right)-{\chi }_{F_i}\left(t\right)\right|}^2}=\frac{\left|s{F}_i\text{Δ}{F}_i\right|}{\left|F_i\right|}\to 0.\end{array}$ (13)

3.7. Definition [6]

A function $\phi :\text{Γ}\to ℂ$ is called positive definite if the matrix

${\left[\phi \left(s^{-1}t\right)\right]}_{s,t\in F}\in M_{\left|F\right|\times \left|F\right|}\left(ℂ\right),$

is positive for every finite set $F\subset \Gamma$.

Proof (4) ⟹ (5). For a unit vector $\xi \in l^2\left(\Gamma \right)$, define $\phi (s):={\langle {\lambda }_s\xi ,\xi \rangle }_{l^2\left(\Gamma \right)}$. Then we claim that φ is positive definite. Indeed,

$\left[\phi \left(s^{-1}t\right)\right]=\left[\langle {\lambda }_{s^{-1}t}\xi ,\xi \rangle \right]=\left[\langle {\lambda }_s^{*}{\lambda }_t\xi ,\xi \rangle \right]=\left[\langle {\lambda }_t\xi ,{\lambda }_s\xi \rangle \right],$ (14)

Let $n=\left|F\right|,F=\left\{t_1,\cdots ,t_n\right\}$, and fix $v=\left(z_1,\cdots ,z_n\right)\in {ℂ}^n$. It suffices to show:

$\begin{array}{c}\left[\langle {\lambda }_t\xi ,{\lambda }_s\xi \rangle \right]v=\left[\begin{array}{ccc}\langle {\lambda }_{t_1}\xi ,{\lambda }_{t_1}\xi \rangle & \cdots & \langle {\lambda }_{t_n}\xi ,{\lambda }_{t_1}\xi \rangle \\ ⋮& \ddots & ⋮\\ \langle {\lambda }_{t_1}\xi ,{\lambda }_{t_n}\xi \rangle & \cdots & \langle {\lambda }_{t_n}\xi ,{\lambda }_{t_n}\xi \rangle \end{array}\right]\left(\begin{array}{c}{z}_1\\ ⋮\\ z_n\end{array}\right)\\ =\left(\begin{array}{c}\langle {\lambda }_{t_1}\xi ,{\lambda }_{t_1}\xi \rangle z_1+\cdots +\langle {\lambda }_{t_n}\xi ,{\lambda }_{t_1}\xi \rangle z_n\\ ⋮\\ \langle z_1{\lambda }_{t_1}\xi ,{\lambda }_{t_n}\xi \rangle +\cdots +\langle {\lambda }_{t_n}\xi ,{\lambda }_{t_1}\xi \rangle z_n\end{array}\right)\\ =\left(\begin{array}{c}\langle {\lambda }_{t_1}\xi ,{\lambda }_{t_1}\xi \rangle z_1+\cdots +\langle z_n{\lambda }_{t_n}\xi ,{\lambda }_{t_1}\xi \rangle \\ ⋮\\ \langle z_1{\lambda }_{t_1}\xi ,{\lambda }_{t_1}\xi \rangle +\cdots +\langle z_n{\lambda }_{t_n}\xi ,{\lambda }_{t_1}\xi \rangle \end{array}\right)\\ =\left(\begin{array}{c}{\displaystyle {\sum }_{i=1}^n\langle z_i{\lambda }_{t_i}\xi ,{\lambda }_{t_1}\xi \rangle }\\ ⋮\\ {\displaystyle {\sum }_{i=1}^n\langle z_i{\lambda }_{t_i}\xi ,{\lambda }_{t_1}\xi \rangle }\end{array}\right)\end{array}$ (15)

and so

$\begin{array}{c}\langle \left[{\lambda }_t\xi ,{\lambda }_s\xi \right]v,v\rangle =\left(\begin{array}{c}{\displaystyle {\sum }_{i=1}^n\langle z_i{\lambda }_{t_i}\xi ,{\lambda }_{t_1}\xi \rangle }\\ ⋮\\ {\displaystyle {\sum }_{i=1}^n\langle z_i{\lambda }_{t_i}\xi ,{\lambda }_{t_1}\xi \rangle }\end{array}\right)\cdot \left(\begin{array}{c}{z}_1\\ ⋮\\ z_n\end{array}\right)\\ ={\displaystyle {\sum }_{j=1}^n{\displaystyle {\sum }_{i=1}^n\langle z_i{\lambda }_{t_i}\xi ,{\lambda }_{t_j}\xi \rangle {\bar{z}}_j}}={\displaystyle {\sum }_{j=1}^n{\displaystyle {\sum }_{i=1}^n\langle z_i{\lambda }_{t_i}\xi ,{\lambda }_{t_j}\xi \rangle }}\\ =\langle {\displaystyle {\sum }_{i=1}^n{z}_i{\lambda }_{t_i}\xi }{\displaystyle {\sum }_{j=1}^n{z}_i{\lambda }_{t_j}\xi }\rangle ={\Vert {\displaystyle {\sum }_{i=1}^n{z}_i{\lambda }_{t_i}\xi }\Vert }^2\ge 0\end{array}$ (16)

Hence $\phi$ is positive definite. So letting $\left({\xi }_i\right)$ be the unit vectors from condition (4) and setting ${\phi }_i\left(s\right):=\langle {\lambda }_s{\xi }_i,{\xi }_i\rangle$ we know ${\phi }_i\left(e\right)=1$ and from our above work that these functions are positive definite. From condition (4) we also know that they converge pointwise to 1. In order to make them finitely supported we need merely replace the ${\xi }_i$ with finitely supported elements.

Starting with a discrete group Γ we can consider the group algebra $ℂ\left[\Gamma \right]=\left\{{\displaystyle {\sum }_{i=1}^n{\alpha }_i\cdot t_i}:n\in \mathbb{N},{\alpha }_t\in ℂ,t_i\in \Gamma \right\}$ with addition and multiplication defined in the obvious ways and an involution defined by

${\left({\displaystyle {\sum }_{i=1}^n{\alpha }_i\cdot t_i}\right)}^{*}={\displaystyle {\sum }_{i=1}^n{\bar{\alpha }}_i\cdot t_i^{-1}}$. (17)

We want to extend this into a C^*-algebra, but there are multiple norms we use. On the one hand we can extend the left regular representation λ to a *-representation of $ℂ\left[\Gamma \right]$ on $l^2\left(\Gamma \right)$, still denoted by λ, by

$\lambda {\left({\displaystyle {\sum }_{i=1}^n{\alpha }_i\cdot t_i}\right)}^{*}={\displaystyle {\sum }_{i=1}^n{\alpha }_i\cdot {\lambda }_{t_i}B}\in \left(l^2\left(\Gamma \right)\right)$. (18)

The reduced C^*-algebra is then what we obtain by taking the closure of $\lambda \left(ℂ\left[\Gamma \right]\right)$ with respect to ${\Vert .\Vert }_{\in \left(l^2\left(\Gamma \right)\right)}$, we denote it by $C_{\lambda }^{*}\left(\Gamma \right)$. On the other hand, the left regular representation $\lambda :\Gamma \to u\left(l^2\left(\Gamma \right)\right)$ is merely one representation of our group. Hence we can consider the norm

${\Vert x\Vert }_u=\sup \left\{{\Vert \pi \left(x\right)\Vert }_{B\left(H\right)}:\pi :\Gamma \to u\left(\mathcal{H}\right)\text{is}\text{a}\ast \text{-representation}\right\}.$

This easily satisfies the C^*-identity. The full (or universal) C^*-algebra of Γ is the closure of $ℂ\left[\Gamma \right]$ with respect to ${\Vert .\Vert }_u$ and is denoted $C^{*}\left(\Gamma \right)$ [2].

Thus assuming (5) we’ll need to show that these two C^*-algebras coincide. But we first note that since $\Vert \lambda \left(x\right)\Vert \le {\Vert x\Vert }_u$ for $x\in ℂ\left[\Gamma \right]$, $\lambda$ extends to $C^{*}\left(\Gamma \right)$. It is clear that this is onto $C_{\lambda }^{*}\left(\Gamma \right)$ [7].

3.8. Definition [6]

Let $\phi :\Gamma \to ℂ$ be a function. The associated multiplier $m_{\phi }:ℂ\left[\Gamma \right]\to ℂ\left[\Gamma \right]$ is defined by

$m_{\phi }\left({\displaystyle {\sum }_{t\in \Gamma }{\alpha }_t\cdot t}\right):={\displaystyle {\sum }_{t\in \Gamma }\phi \left(t\right){\alpha }_t\cdot t}$. (19)

We also define ${\tilde{m}}_{\phi }:\lambda \left(ℂ\left[\Gamma \right]\right)\to \lambda \left(ℂ\left[\Gamma \right]\right)$ by

${\tilde{m}}_{\phi }\left(\lambda \left({\displaystyle {\sum }_{t\in \Gamma }{\alpha }_t\cdot t}\right)\right)={\tilde{m}}_{\phi }\left({\displaystyle {\sum }_{t\in \Gamma }{\alpha }_t{\lambda }_t}\right)={\displaystyle {\sum }_{t\in \Gamma }\phi \left(t\right){\alpha }_t{\lambda }_t}$. (20)

3.9. Lemma

Suppose $\phi$ is finitely supported, positive definite, and $\phi \left(e\right)=1$. Then $m_{\phi }$ extends to a continuous map on $C^{*}\left(\Gamma \right)$ and ${\tilde{m}}_{\phi }$ extends to a continuous map on $C_{\lambda }^{*}\left(\Gamma \right)$. both with norm one.

Proof. First consider the case when $\phi ={\delta }_e$ (i.e. $\phi \left(t\right)=1$ if $t=e$ and $\phi \left(t\right)=0$ otherwise). Let $\tau \left(x\right)={\langle \lambda \left(x\right){\delta }_e,{\delta }_e\rangle }_{l^2\left(\Gamma \right)}$ for $x\in C^{*}\left(\Gamma \right)$, then τ is a tracial state. For $x\in ℂ\left[\Gamma \right]$ we compute:

${\Vert m_{\phi }\left(x\right)\Vert }_u={\Vert \tau \left(x\right)\cdot e\Vert }_u=\left|\tau \left(x\right)\right|{\Vert e\Vert }_u=\left|\tau \left(x\right)\right|\le {\Vert x\Vert }_u$. (21)

Hence we can extend $m_{\phi }$ to $C^{*}\left(\Gamma \right)$ with norm one.

Let $\tilde{\tau }\left(T\right)={\langle T{\delta }_e,{\delta }_e\rangle }_{l^2\left(\Gamma \right)}$ for $T\in B\left(C^{*}\left(\Gamma \right)\right)$, then $\tilde{\tau }$ is a tracial state. For $x\in ℂ\left[\Gamma \right]$ we compute:

$\Vert {\tilde{m}}_{\phi }\left(\lambda \left(x\right)\right)\Vert =\Vert \tilde{\tau }\left(\lambda \left(x\right)\right){\lambda }_e\Vert =\left|\tilde{\tau }\left(\lambda \left(x\right)\right)\right|\Vert {\lambda }_e\Vert =\left|\tilde{\tau }\left(\lambda \left(x\right)\right)\right|\le \Vert \lambda x\Vert$. (22)

so that ${\tilde{m}}_{\phi }$ extends to $C_{\lambda }^{*}\left(\Gamma \right)$ with norm one.

Next consider the case $\phi ={\delta }_t$ for $t\in \Gamma$. Since

$\begin{array}{c}{\Vert m_{\phi }\left(x\right)\Vert }_u={\Vert \langle \lambda \left(x\right){\delta }_e,{\delta }_t\rangle \cdot t\Vert }_u={\Vert \langle \lambda \left(x\right){\delta }_e,\lambda {\delta }_t\rangle \cdot t\Vert }_u\\ ={\Vert \langle {\lambda }_{t^{-1}}\lambda \left(x\right){\delta }_e,{\delta }_e\rangle \cdot t\Vert }_u={\Vert \tau \left(t^{-1}x\right)\cdot t\Vert }_u\\ =\left|\tau \left(t^{-1}x\right)\right|{\Vert t\Vert }_u\le {\Vert t^{-1}x\Vert }_u\le {\Vert x\Vert }_u,\end{array}$ (23)

we see that $m_{\phi }$ again extends to $C^{*}\left(\Gamma \right)$ with norm one. A similar computation for ${\tilde{m}}_{\phi }$ involving $\tilde{\tau }$ yields an extension in the reduced C^*-algebra case as well.

Thus for a finitely supported $\phi$ we can write $\phi ={\displaystyle {\sum }_{t\in \Gamma }\phi \left(t\right){\delta }_t}$ and so $m_{\phi }={\displaystyle {\sum }_{t\in \Gamma }\phi \left(t\right)m_{{\delta }_t}}$. Extending each of the finitely many $m_{{\delta }_t}$ yields an extension for $m_{\phi }$. But since $\phi$ is positive definite, $m_{\phi }$ is positive and hence attains its norm at the identity: $\Vert m_{\phi }\Vert =\Vert m_{\phi }\left(e\right)\Vert =\left|\phi \left(e\right)\right|=1$. A similar argument applies in the reduced C^*-algebra case.

Proof of (5) ⟹ (6). By our previous comments, we know $\lambda :C^{*}\left(\Gamma \right)\to C_{\lambda }^{*}\left(\Gamma \right)$ is onto and hence it remains to show λ is injective.

Let $\left({\phi }_i\right)$ be the net in condition (5). By the above lemma, we can define multipliers $m_{{\phi }_i}$ and ${\tilde{m}}_{{\phi }_i}$ on $C^{*}\left(\Gamma \right)$ and $C_{\lambda }^{*}\left(\Gamma \right)$ respectively, each with norm one. We note that $\lambda \circ m_{{\phi }_i}={\tilde{m}}_{{\phi }_i}\circ \lambda$ on $C^{*}\left(\Gamma \right)$ since both functions are continuous and agree on the dense subspace $ℂ\left[\Gamma \right]$. Now, since ${\phi }_i\to 1$ pointwise on Γ, $m_{{\phi }_i}\left(x\right)\to x$ for $x\in ℂ\left[\Gamma \right]$. Since the norms of the $m_{{\phi }_i}$ are uniformly bounded by one and $ℂ\left[\Gamma \right]$ is dense in $C^{*}\left(\Gamma \right)$, this limit holds for $x\in C^{*}\left(\Gamma \right)$ as well.

Now, suppose $x\in C^{*}\left(\Gamma \right)$ and $\lambda \left(x\right)=0$. Then

$\lambda \left(m_{{\phi }_i}\left(x\right)\right)={\tilde{m}}_{{\phi }_i}\left(\lambda \left(x\right)\right)=0$, (24)

for every i. But since ${\phi }_i$ is finitely supported we know $m_{{\phi }_i}\left(x\right)\in ℂ\left[\Gamma \right]$ and hence $\lambda \left(m_{{\phi }_i}\left(x\right)\right)=0$ implies $m_{{\phi }_i}\left(x\right)=0$. Hence $x={\lim }_i{m}_{{\phi }_i}\left(x\right)=0$ and so $\lambda$ is injective.

Proof of (6) ⟹ (7). $C^{*}\left(\Gamma \right)$ always has a one-dimensional representation since the trivial representation $ℂ\left[\Gamma \right]\ni {\displaystyle {\sum }_t{\alpha }_t\cdot t}\mapsto {\displaystyle {\sum }_t{\alpha }_t}\in ℂ$ is always subordinate to ${\Vert .\Vert }_u$. Hence $C_{\lambda }^{*}\left(\Gamma \right)=C^{*}\left(\Gamma \right)$ has a character.

We require a lemma:

4. Definition [6]

Suppose H acts continuously on a locally convex topological vector space $\mathcal{V}$. Every H-invariant, compact, convex subset of $\mathcal{V}$ is called a compact, convex H-space.

4.1. Definition

H is amenable if and only if H has a fixed point in every nonempty, compact, convex H-space. This is just one of many different equivalent definetions of amenability. The equivalence of these diverse definitions is a testament to the fact that this notion is very fundamental [6].

4.2. Remarks

1) All locally convex topological vector spaces are assumed to be Hausdorff.

2) In most applications, the locally convex space V is the dual of a separable Banach space, with the weak^* topology [6].

In this situation, every compact, convex subset C is second countable, and is therefore metrizability. With these thoughts in mind, we feel free to assume metrizability when it eliminates technical difficulties in our proofs. In fact, we could restrict to these spaces in the definition of amenability, because it turns out that this modified definition results in exactly the same class of groups.

3) The choice of the term “amenable” seems to have been motivated by two considerations:

a) The word “amenable” can be pronounced “a-MEAN-able,” and we will see that a group is amenable if and only if it admits certain types of means.

b) One definition of “amenable” from the Oxford American Dictionary is capable of being acted on a particular way. “In other words, in colloquial English, something is \amenable” if it is easy to work with. Classical analysis has averaging theorems and other techniques that were developed for the study of functions on the group Rn. Many of these methods can be generalized to all amenable groups, so amenable groups are easy to work with [6].

5. Examples of Amenable Groups

1) Abelian groups are amenable.

2) Compact groups are amenable.

3) Solvable groups are amenable, because the class of amenable groups is closed under extensions.

4) Closed subgroups of amenable groups are amenable.

On the other hand, however, it is important to realize that not all groups are amenable. In particular, we will see that:

a) nonabelian free groups are not amenable, and

b) $SL\left(2;R\right)$ is not amenable.

We begin by showing that Z is amenable [8].

5.1. Proposition

Cyclic groups are amenable.

Proof. Assume $H=\langle T\rangle$ is cyclic. Given a nonempty, compact, convex

H-space C, choose some $c_0\in C$. For $n\in \mathbb{N}$, let

$c_n=\frac{1}{n+1}{\displaystyle {\sum }_{k=0}^n{T}^k\left(c\right)}$ (25)

Since C is compact, the sequence $\left\{c_n\right\}$ must have an accumulation point.

$c\in C$. It is not difficult to see that c is fixed by. Since T generates H, this means that c is a fixed point for H.

5.2. Corollary

(Kakutani-Markov Fixed Point Theorem). Every abelian group is amenable.

Proof. Let us assume $H=\langle g,h\rangle$ is a 2-generated abelian group. [5] If C is any nonempty, compact, convex H-space, then Proposition 2.1 implies that the set $C^g$ of fixed points of g is nonempty. It is easy to see that $C^g$ is compact and convex, and, because H is abelian, that $C^g$ is invariant under h. Hence, $C^g$ is a nonempty, compact, convex $\langle h\rangle$ -space. Therefore, Pro-position2.1 implies that h has a fixed point c in $C^g$. Now c is fixed by g, and c is fixed by h, so c is fixed by $\langle g,h\rangle =H$ [8].

Compact groups are also easy to work with.

5.3. Proposition

Compact groups are amenable.

Proof. Assume H is compact, and let μ be a Haar measure on H. Given a nonempty, compact, convex H-space C, choose some $c_0\in C$. Since μ is a probability measure, we may let probability measure, we may let

$c={\displaystyle {\int }_{H}h\left(c_0\right)\text{d}\mu \left(h\right)}\in C.$ (26)

The H-invariance of μ implies that c is a fixed point for H).

It is easy to show that amenable extensions of amenable groups are amenable here, Let $1\to N\to G\to Q\to 1$ be an extension of (discrete) groups, where N and Q are amenable [9].

6. Invariant Probability Measures

6.1. Definitions

Let X be a complete metric space.

1) A measure μ on X is a probability measure if $\mu \left(X\right)=1$. A probability measure is a measure with total measure one, $\mu \left(X\right)=1$. A probability space is a measure space with a probability measure. For measure spaces that are also topological spaces various compatibility conditions can be placed for the measure and the topology.

2) Prob(X) denotes the space of all probability measures on X. Any measure on X is also a measure on the one-point compact fication X⁺ of X, so, if X is locally compact, then the Riesz Representation Theorem tells us that every finite measure on X can be thought of as a linear functional on the Banach space $C\left(X^{+}\right)$ of continuous functions on X⁺. This implies that Prob(X) is a subset of the closed unit ball in the dual space $C{\left(X^{+}\right)}^{*}$, and therefore has a weak^* topology. If X is compact, then the Banach-Alaoglu Theorem (B7.4) tells us that Prob(X) is compact [9].

6.2. Example

If a group H acts continuously on a compact, metrizable space X, then Prob(X) is a compact, convex H-space [9].

6.3. Remark

Recall that a compact, Hausdorff space is metrizable if and only if it is second countable, so requiring a compact, separable, Hausdorff space to be metrizable is not a strong restriction [9].

6.4. Proposition (1⇔3)

H is amenable if and only if for every continuous action of H on a compact, metrizable space X, there is an H-invariant probability measure μ on X.

Proof. (⟹)If H acts on X, and X is compact, then Prob(X) is a nonempty, compact, convex H-space. So H has a fixed point in Prob(X); this fixed point is the desired H-invariant measure. (⇐) Suppose C is a nonempty, compact, convex H-space. By replacing C with the closure of the convex hull of a single H-orbit, we may assume C is separable; then C is metrizable. Since H is amenable, this implies there is an H-invariant probability measure μ on C. Since C is convex and compact, the center of mass

$p={\displaystyle {\int }_{c}c\text{d}\mu \left(c\right)}$ (27)

belongs to C. Since μ is H-invariant, a simple calculation shows that p is H-invariant [9].

7. Invariant Means

7.1. Definition

Suppose $\mathcal{V}$ is some linear subspace of ${\mathcal{L}}^{\infty }\left(H\right)$, and assume $\mathcal{V}$ contains the constant function $1_H$ that takes the value 1 at every point of H. A mean on $\mathcal{V}$ is a linear functional $\lambda$ on $\mathcal{V}$, such that ${}^{\ast }\lambda \left(1_H\right)=1$, and ${}^{\ast }\lambda$ is positive, i.e., $\lambda \left(f\right)\ge 0$ whenever $f\ge 0$.

7.2. Remark

Any mean is a continuous linear functional; indeed, $\Vert \lambda \Vert =1$.

It is easy to construct means.

7.3. Example

If $\varphi$ is any unit vector in ${\mathcal{L}}^1\left(H\right)$, and $\mu$ is the left Haar measure on H, then defining

$\lambda \left(f\right)={\displaystyle {\int }_{H}f\left(\varphi \right)\text{d}\mu }$ (28)

produces a mean (on any subspace of ${\mathcal{L}}^{\infty }\left(H\right)$ that contains $1_H$ ). Means constructed in this way are (weakly) dense in the set of all means. Compact groups are the only ones with invariant probability measures, but invariant means exist more generally [10].

Acknowledgements

We would like to thank the all library staff for the references that we use. We are also grateful to the professors who provided us with useful information in the author of this paper.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1]	Wehrfritz, B.A.F. (1969) In_nite Linear Groups. Springer, Berlin.
[2]	Luxemburg, W.A.J. (1969) Applications of Model Theory to Algebra, Analysis, and Probability. Holt, Rinehart and Winston, New York.
[3]	Neumnn, H. (1967) Varieties of Groups, Springer-Verlag, New York. https://doi.org/10.1007/978-3-642-88599-0
[4]	Arveson, W. (1976) An Invitation to C*-Algebras. Springer, New York.
[5]	Bekka, B., de la Harpe, P. and Valette, A. (2008) Kazhdan’s Property (T). Cambridge U. Press, Cambridge.
[6]	Dy, M.M. (1957) Amenable Semigroups. Illinois Journal of Mathematics, 1, 509-544. https://doi.org/10.1215/ijm/1255380675
[7]	Jean-Marie Normand Service de Physique Theorique, CEA/DSM/SPhT CNRS/ SPM/URA 2306 CEA/Saclay, F-91191 Gif-sur-Yvette Cedex, France.
[8]	Greenleaf, F.P. (1969) Invariant Means on Topological Groups. Van Nostrand, New York.
[9]	Fclnr, E. (1955) On Groups with Full Banach Mean Values. Mathematica Scandinavica, 3, 243-254. https://doi.org/10.7146/math.scand.a-10442
[10]	Brown, N.P. and Ozawa, N. (2008) C*-Algebras and Finite-Dimensional Approximations. Graduate Studies in Mathematics, 88. https://doi.org/10.1090/gsm/088