The Algebraic Theory of Modular Systems