Representation theory of the Galilean group to , and applying Hamilton's equations, we obtain the mass-velocity relation . The hypersurface is parametrized by this velocity In . Consider the stabilizer of a point on the orbit, (), where the velocity is . Because of transitivity, we know the unitary irrep contains a nontrivial linear subspace with these energy-momentum eigenvalues. (This subspace only exists in a rigged Hilbert space, because the momentum spectrum is continuous.) The subspace is spanned by , , and . We already know how the subspace of the irrep transforms under all operators but the angular momentum. Note that the rotation subgroup is
Tensor product of modules in its right argument: In the general case, each element of the tensor product of modules gives rise to a left "R"-linear map, to a right "R"-linear map, and to an "R"-bilinear form. Unlike the commutative case, in the general case the tensor product is not an "R"-module, and thus does not support scalar multiplication. Both cases hold for general modules, and become isomorphisms if the modules "E" and "F" are restricted to being finitely generated projective modules (in particular free modules of finite ranks). Thus, an element of a tensor product of modules over a ring "R" maps canonically