Strong law of large numbers for a function of the local times of a transient random walk on groups

This paper presents the strong law of large numbers for a function of the local times of a transient random walk on groups, extending the research of Asymont and Korshunov for random walks on the integer lattice ${\mathbb{Z}}^d$. Under some weaker conditions, we prove that certain function of the local times converges almost surely and in $L^1$ and $L^2$. The proof is mainly based on the subadditive ergodic theorem.