Nonlinear System Theory. An Algebraic Setting