Decomposition theory for $C^*$-algebras Selfadjoint operator algebras (C*-algebras) mathematics