# Amenable Groups and Amenable Banach Algebras

## Amenable Groups

Definition: Let $G$ be a group. An Invariant Mean of $\ell^{\infty}(G)$ is a positive linear functional $\mu : \ell^(G) \to \mathbf{R}$ with the following properties:a) $\mu (1) = 1$.b) If for each $h \in G$, $T_h : \ell^{\infty} (G) \to \ell^{\infty}$ denotes the left translation operator defined for each $m \in \ell^{\infty}(G)$ by $T_h(m) \in \ell^{\infty}$ being defined for all $g \in G$ by $[T_h(m)](g) = m(h^{-1}g)$, then we have the property that $\mu (T_h(m)) = \mu(m)$.A group $G$ is said to be an Amenable Group if there exists an invariant mean $\mu$ on $\ell^{\infty} (G)$. |

*For each $h \in G$, the left translation operator $T_h : \ell^{\infty} (G) \to \ell^{\infty}(G)$ takes each $m \in \ell^{\infty}(G)$ and left translates it $T_h(m) \in \ell^{\infty}(G)$ via the formula defined for all $g \in G$ by $[T_h(m)](g) = m(h^{-1}g)$. Note that $m(g) = [T_h(m)](hg)$ for all $g \in G$.*

## Amenable Banach Algebras

Definition: Let $A$ be a Banach algebra with unit and let $X$ be a Banach $A$-bimodule. The First Cohomology Group of $A$ and $X$ is denoted $H^1(A, X)$ and is defined to be the quotient space $Z^1(A, X) / B^1(A, X)$. |

*Here, $Z^1(A, X)$ denotes the space of all bounded $X$-derivations, which we have already proven is a subspace of $\mathrm{BL}(A, X)$, and, $B^1(A, X)$ denotes the space of all inner bounded $X$-derivations, which we have already proven is a subspace of $Z^1(A, X)$.*

Let $A$ be a Banach algebra with unit. Let $X$ be a Banach $A$-bimodule. Let $X^*$ denote the dual space of $X$, and regard it as a Banach $A$-bimodule as follows. For all $a \in A$ and $f \in X^*$ define the multiplication $af$ to be the functional $af : X \to \mathbf{F}$ defined for all $x \in X$ by:

(1)Similarly, for all $a \in A$ and $f \in X^*$ define the multiplication $fa$ to be the functional $fa : X \to \mathbf{F}$ defined for all $x \in X$ by:

(2)Definition: Let $A$ be a Banach algebra with unit. Then $A$ is said to be Amenable if $H^1(A, X^*) = \{ 0 \}$ for all Banach $A$-bimodules $X$ (where each $X^*$ is regarded as a Banach $A$-bimodule as above). |

*Equivalently, $A$ is amenable if whenever $X$ is a Banach $A$-bimodule we have that every bounded $X^*$-derivation is an inner bounded $X^*$-derivation.*

Proposition 1: Let $A$ be amenable. If $\sigma$ is a multiplicative linear functional on $A$ then there exists an $F \in A^{**} \setminus \{ 0 \}$ such that $F(\sigma) = 1$ and $F(fa) = \sigma(a) F(f)$ for all $a \in A$ and for all $f \in A^*$. |

*Recall that if $X$ and $Y$ are normed spaces and $T : X \to Y$ then the adjoint of $T$ is the mapping $T^* : Y^* \to X^*$ defined for all $f \in Y^*$ by $T(f) = f \circ T$ and furthermore, $\| T \| = \| T^* \|$.*

**Proof:**Let $A^*$ be a Banach $A$-bimodule with multiplicative defined as follows. Define the**left module multiplication**for all $a \in A$ and all $f \in A^*$ by:

- Define the
**right module multiplication**for all $a \in A$ and all $f \in A^*$ by $fa$ being the function defined for all $b \in A$ by $(fa)(b) = f(ab)$.

- First it is important to note that $af, fa \in A^*$ for all $a \in A$ and all $f \in A^*$. To see why, fix $a \in A$ and fix $f \in A^*$. Then for all $b \in A$ we have that:

- (Where $\| \sigma (a) \| \leq \| \sigma \| \| a \|$ since $\sigma$ is a multiplicative linear funtional, and every multiplicative linear functional is bounded). And:

- Now, since $\sigma$ is a multiplicative linear functional we have that $\sigma \in A^*$. So by the definition of left module multiplication, for every $a \in A$ we have that $a \sigma = \sigma (a) \sigma$. And by the definition of right module multiplication, for every $a \in A$ we have that $\sigma a$ is the function defined for all $b \in A$ by $(\sigma a)(b) = \sigma (ab) = \sigma (a) \sigma (b)$, i.e., $\sigma a = \sigma (a) \sigma$. Thus, for all $a \in A$:

- Thus $A(\mathbb{C} \sigma)= (\mathbb{C} \sigma)A \in \mathbb{C} \sigma$, showing that $\mathbb{C} \sigma$ is an $A$-bimodule. And further, since $A^*$ is a Banach $A$-bimodule, from above we see that $\mathbb{C} \sigma$ is a $A$-bimodule that is a closed (since $\mathbb{C} \sigma$ is finite-dimensional) submodule of $A^*$. Let $X = A^* / \mathbb{C} \sigma$. Let $q : A^* \to X$ be the quotient mapping.

- Let $q^*: X^* \to A^{**}$ be the adjoint mapping.

- Let $v \in A^{**}$ be such that $v(\sigma) = 1$. Let $\delta$ be the inner bounded $A^{**}$-derivation defined for all $a \in A$ by: