Algebraic Foundations of Cooperative Design in Decentralized Multi-Agent Systems: From Divisibility Lemmas to Emergent Computation