Ergodic theorems for group actions

Ergodic theorems are statements of the form “time averages over large intervals tend to space average”. We show how to formalize this statement in case of multidimensional “time”, that is, in case of group action on the space. It turns out that this formalization is different depending on the properties of the group.