1: \begin{abstract}

2: Mathematical core of quantum mechanics is the theory of unitary representations

3: of symmetries of physical systems.

4: We argue that quantum behavior is a natural result of extraction of %objective

5: ``observable'' information about systems containing

6: ``unobservable'' elements in their descriptions. Since our aim is

7: physics where the choice between finite and infinite descriptions

8: can not have any empirical consequences, we consider the problem

9: in the finite background. Besides, there are many indications from

10: observations --- from the lepton mixing data, for example --- that

11: finite groups underly phenomena in particle physics at the deep

12: level. The ``finite'' approach allows to reduce any quantum

13: dynamics to the simple permutation dynamics and, thus, to express

14: quantum observables in terms of permutation invariants of symmetry

15: groups and their integer characteristics such as sizes of

16: conjugate classes, sizes of group orbits, class coefficients, and

17: dimensions of representations. Our study has been accompanied by

18: computations with finite groups, their representations and

19: invariants. We have used both our \Clang implementation of

20: algorithms for working with groups and computer algebra system

21: \GAP.

22: \end{abstract}