Free objects are significant in a category,which can be constructed via the method of Gröbner-Shirshov bases.We proved that the interpolation operator identity is a Gröbner-Shirshov basis in the free operated algebra.As an application,the free interpolation algebra was constructed.
维普
万方数据