We will explain some theorems about classifying the appearance of invariant subvarieties in dynamical systems and more generally $\sigma$-varieties or difference equations. Our main result connects this problem to the classification of finite simple groups.