The set \mathfrak{T} of translation operators \hat T(\mathbf x) for all \mathbf x, with the operation of multiplication defined as the result of successive translations (i.e.
The translation group acting on the Hilbert space of position eigenstates is isomorphic to the group of vector additions in the Euclidean space.