It then proceeds to a discussion of modules, emphasizing a comparison with vector spaces, and presents a thorough discussion of inner product spaces, eigenvalues, eigenvectors, and finite dimensional spectral theory, culminating in the finite dimensional spectral theorem for normal operators.