The Spectral Theorem for Unitary Operators Based on the S-Spectrum

The quaternionic spectral theorem has already been considered in the literature, see e.g. 22], 32], 33], however, except for the finite dimensional case in which the notion of spectrum is associated to an eigenvalue problem, see 21], it is not specified which notion of spectrum underlies the theorem.