1: \begin{abstract}

2: Universality of quantum mechanics --- its applicability to physical systems of quite

3: different nature and scales --- indicates that quantum behavior can be a manifestation 

4: of general mathematical properties of systems containing indistinguishable, i.e. lying

5: on the same orbit of some symmetry group, elements. 

6: In this paper we demonstrate, that quantum behavior arises naturally in systems 

7: with finite number of elements connected by nontrivial symmetry groups.

8: The ``finite'' approach allows to see the peculiarities of quantum description more distinctly

9: without need for concepts like ``wave function collapse'', ``Everett's multiverses'' etc.

10: In particular, under the finiteness assumption any quantum dynamics is reduced to 

11: the simple permutation dynamics.

12: The advantage of the finite quantum models is that they can be studied constructively

13: by means of computer algebra and computational group theory methods.

14: \end{abstract}