 A subgroup of an amenable group is amenable

Every subgroup of an amenable group is amenable. One proof restricts an invariant mean after extending bounded functions from the subgroup to the whole group along a set of coset representatives. Consequently, a group containing a nonamenable subgroup is nonamenable.