EN
A finite spin system invariant under a symmetry group G is a very illustrative example of a finite group action on mappings f: X → Y (X is a set of spin carriers, Y contains spin projections for a given spin number s). Orbits and stabilizers are used as additional indices of the symmetry adapted basis. Their mathematical nature does not decrease a dimension of a given eigenproblem, but they label states in a systematic way. It allows construction of general formulas for vectors of symmetry adapted basis and matrix elements of operators commuting with the action of G in the space of states. The special role is played by double cosets, since they label nonequivalent (from the symmetry point of view) matrix elements ãx|H|yã for an operator H between Ising configurations |x〉,|y〉. Considerations presented in this paper should be followed by a detailed discussion of different symmetry groups (e.g.) cyclic or dihedral ones) and optimal implementation of algorithms. The paradigmatic example, i.e. a finite spin system, can be useful in investigations of magnetic macromolecules like Fe_6 or Mn_{12} acetate.