An Algebraic Characterization of the Optimum of Regularized Kernel Methods