Amenable, transitive and faithful actions of groups acting on trees (Q486737)

For a countable group \(G\) acting on a set \(X\), the action is called amenable if there exists a sequence \((C_n)\) of non-empty finite subsets of \(X\) such that \[ \frac{|C_n \bigtriangleup x C_n|} {|C_n|} \rightarrow 0 \] for all \(x\in G\). A group is called amenable, if the left translation action on \(G\) on itself is amenable. Every action of an amenable group is amenable. It is known that if the action \(G \curvearrowright X\) is free the converse is true. But the converse (for faithful actions) does not hold generally. For example, the free group generated by two generators which is not amenable admits a faithful, transitive, and amenable action. In [\textit{Y. Glasner} and \textit{N. Monod}, Bull. Lond. Math. Soc. 39, No. 1, 138--150 (2007; Zbl 1207.43002)], the class \(\mathcal{A}\) consisting of all countable groups admitting a faithful, transitive, and amenable action was introduced. The present paper proves that if the initial groups admit an amenable and almost free action with infinite orbits then the HNN-extensions and amalgamated free products also belong to \(\mathcal{A}\). Also in the last section of the paper, this result is applied to groups acting on trees.