On representations of Cuntz algebras and pure isometries

We prove that every representation of the Cuntz algebra ON on a separable Hilbert space H arises from a pure isometry V whose wandering space H⊖imV has dimension N. We identify the permutative representations in this construction.