Gelfand-Naimark representation theorem
The Gelfand-Naimark representation theorem is as follows:
Theorem 1.1
Every -algebra is isometrically isomorphic to a norm closed *-subalgebra of an algebra of bounded operators on some Hilbert space
. In particular, every finite dimensional -algebra is isomorphic to a direct sum of matrix algebras.