Многочлен Гильберта
Многочле́н Ги́льберта градуированного модуля , многочлен, выражающий при больших натуральных размерности однородных слагаемых модуля как функцию от . Более точно, справедлива теорема, доказанная по существу Д. Гильбертом. Пусть – кольцо многочленов над полем , градуированное так, что являются однородными элементами степени , и пусть – градуированный -модуль конечного типа; тогда существует такой многочлен с рациональными коэффициентами, что для достаточно больших . Этот многочлен называется многочленом Гильберта.
Наибольший интерес представляет интерпретация многочлена Гильберта градуированного кольца , являющегося факторкольцом кольца по однородному идеалу ; в этом случае многочлен Гильберта доставляет проективные инварианты проективного многообразия , определяемого идеалом . В частности, степень многочлена совпадает с размерностью многообразия , а называется арифметическим родом многообразия . Через многочлен Гильберта выражается также степень вложения . Многочленом Гильберта кольца называют также многочлен Гильберта проективного многообразия относительно вложения . Если – обратимый пучок, соответствующий этому вложению, тодля достаточно больших .