Quantum mechanics and permutation invariants of finite groups

We study quantum behavior from a constructive 'finite' point of view, since the introduction of continuum or other actual infinities into physics poses serious conceptual and technical difficulties without any need for these concepts in physics as an empirical science. Taking this approach, we can show that the quantum-mechanical problems can be formulated in the invariant subspaces of permutation representations of finite groups, while the quantum interferences occur as phenomena that are observable in these subspaces. The scalar products in the invariant subspaces (which are needed for formulating the Born rule – the main postulate of quantum mechanics that links mathematical description with experiment) are linear combinations of independent bilinear invariant forms of the permutation representation. A complete set of such forms for any permutation group can be easily calculated by a simple algorithm. Slightly more sophisticated algorithms are required for expressing quantum observables in terms of these forms.