- \forall a, b \in G, a \cdot b \in G
- \forall a, b, c \in G, a(bc) = (ab) c
- \forall a \in G \, \exists e \in G \, \text{:} \, ae = ea = a
- \forall a \in G \, \exists b \in G \, \text{:} \, ab = ba = e and b = a^{-1}
- \forall a, b \in G, ab = ba
If the world is a given physical system (for example a free particle), we have a symmetry group, that is a set of all symmetry transformation(2) of our physical system, and his representation acts in a so called Hilbert space. In this space, following Wigner's theorem(4), the most general representation is a ray (unitary) representation. In order to understand the ray (or projective) representations, we must enunciate the theorem:
For every transformation of symmetry T: \mathcal R \rightarrow \mathcal R between the rays of a Hilbert space \mathcal H and such that conserve the transition probabilities, we can define an operator U on the Hilbert space \mathcal H such that, if |\psi> \in {\mathcal R}_\psi, then U |\psi> \in {\mathcal R}'_\psi, where {\mathcal R}_\psi is the radius of the state |\psi>, {\mathcal R}'_\psi = T {\mathcal R}_\psi, and U uniform and linear < U \psi | U \varphi> = <\psi | \varphi>, \qquad U |\alpha \psi + \beta \varphi> = \alpha U |\psi> + \beta U |\varphi> or with U antiunitario and antilinear: < U \psi | U \varphi> = <\varphi | \psi>, \qquad U |\alpha \psi + \beta \varphi> = \alpha^* U |\psi> + \beta^* U |\varphi> Further, U is uniquely determined except for a phase factor.So a ray representation is the association between an element of the symmetry group G to a set of unitary (or antiunitary) operators which differ only for a phase: in other worlds a ray of operators(3).