K₀-groups and strongly irreducible decompositions of operator tuples | Synapse