Grupos K₀ e decomposições fortemente irreduzíveis de tuplas de operadores | Synapse