Ergodicity of power series-map on the simplex of group algebra of a finite group

Abstract

A finite group $G$, its group algebra $R[G]$ over the field of real numbers, any power series $p(t)= a_0+a_1t+ a_{2}t^{2}+ ...$, where $ a_i \geq 0$, and $a_0+a_1+ a_{2}+...= 1$, and simplex $$ S= \{x=\sum_{g\in G}x_gg\in R[G]: \sum_{g\in G}x_g=1, x_g\geq 0 {for any}\quad g\in G \}$$ are considered. Ergodicity of the map $p: S\to S$, where $p(x)= a_0+a_1x+ a_{2}x^{2}+ >...$ for $x\in S$, on $S$ is shown. The regularity of this map at a given point $x\in S $ is investigated as well.