View source for हिल्बर्ट श्रृंखला और हिल्बर्ट बहुपद

{{Short description|Tool in mathematical dimension theory}}
क्रमविनिमेय बीजगणित में, '''हिल्बर्ट फलन, हिल्बर्ट बहुपद,''' और  श्रेणीबद्ध क्रमविनिमेय बीजगणित की '''हिल्बर्ट श्रृंखला'''  क्षेत्र पर सूक्ष्म रूप से उत्पन्न तीन रूप से संबंधित धारणाएं हैं जो बीजगणित के समरूप घटकों के आयाम के वृद्धि को मापती हैं।

इन धारणाओं को निस्यंदक (फिल्टर) किए गए बीजगणितों तक बढ़ाया जाता है, और इन बीजगणितों पर वर्गीकृत या निस्यंदक किए गए [[मॉड्यूल (गणित)|गुणांक]] के साथ-साथ प्रक्षेपीय योजनाओं पर सुसंगत शीफ के लिए भी बढ़ाया गया है।

जिन विशिष्ट स्थितियों में इन धारणाओं का उपयोग किया जाता है, वे निम्नलिखित हैं:
* बहुभिन्नरूपी बहुपद वलय के समरूप अनुकूल (वलय थ्योरी) द्वारा भागफल, कुल मात्रा द्वारा वर्गीकृत।
* बहुभिन्नरूपी बहुपद वलय के आदर्श द्वारा भागफल, कुल मात्रा द्वारा निस्यंदक किया गया।
* अपने [[अधिकतम आदर्श|उच्चतम अनुकूल]] क्षमता द्वारा  स्थानीय वलय का निस्पंदन करता है। इस स्थिति में हिल्बर्ट बहुपद को हिल्बर्ट-सैमुअल बहुपद कहा जाता है।

बीजगणित या गुणांक की [[डेविड हिल्बर्ट]] श्रृंखला श्रेणीबद्ध वेक्टर स्पेस की हिल्बर्ट-पोंकेयर श्रृंखला की विशेष स्थिति होती है।

संगणनात्मक [[बीजगणितीय ज्यामिति]] में हिल्बर्ट बहुपद और हिल्बर्ट श्रृंखला महत्वपूर्ण हैं, क्योंकि वे स्पष्ट बहुपद समीकरणों द्वारा परिभाषित आयाम और बीजगणितीय विविधता की डिग्री की गणना के लिए सबसे आसान ज्ञात विधि होती हैं। इसके अतिरिक्त, वे बीजगणितीय बहुरूपताों के श्रेणीयों के लिए उपयोगी आविष्कार प्रदान करते हैं क्योंकि  समतल  श्रेणी <math>\pi:X \to S</math> में किसी भी बंद बिंदु पर  ही हिल्बर्ट बहुपद होते है <math>s \in S</math>. इसका उपयोग [[हिल्बर्ट योजना]] और [[उद्धरण योजना]] के निर्माण में किया जाता है।

== परिभाषाएं और मुख्य गुण ==

एक क्षेत्र K पर सूक्ष्म रूप से उत्पन्न क्रम विनिमय बीजगणित S पर विचार करें, जो सकारात्मक डिग्री के तत्वों द्वारा अंतिम रूप से उत्पन्न होता है। इस का मतलब है कि
:<math>S = \bigoplus_{i \ge 0} S_i </math>
ओर वो <math>S_0=K</math>.

हिल्बर्ट फलन
:<math>HF_S : n\longmapsto \dim_K S_n</math>
{{math|''K''}}-सदिश स्थल {{math|''S''<sub>''n''</sub>}} के आयाम के लिए पूर्णांक {{math|''n''}} को मानचित्र करता है। हिल्बर्ट श्रृंखला, जिसे श्रेणीबद्ध  सदिश समष्टि स्थान की अधिक सामान्य सेटिंग में हिल्बर्ट-पोंकेयर श्रृंखला कहा जाता है, [[औपचारिक श्रृंखला]] होती है
:<math>HS_S(t)=\sum_{n=0}^{\infty} HF_S(n)t^n.</math>
यदि {{math|''S''}} सकारात्मक डिग्री के द्वारा {{math|''h''}} सदृश तत्वों द्वारा उत्पन्न होता है <math>d_1, \ldots, d_h</math>, तो हिल्बर्ट श्रृंखला का योग  परिमेय भिन्न होता है
:<math>HS_S(t)=\frac{Q(t)}{\prod_{i=1}^h \left (1-t^{d_i} \right )},</math>
जहाँ ''Q'' पूर्णांक गुणांकों वाला बहुपद है।

यदि {{math|''S''}} डिग्री 1 के तत्वों द्वारा उत्पन्न होता है तो हिल्बर्ट श्रृंखला के योग को फिर से लिखा जा सकता है
:<math>HS_S(t)=\frac{P(t)}{(1-t)^\delta},</math>
जहाँ {{math|''P''}} पूर्णांक गुणांक वाला बहुपद है, और <math>\delta</math> {{mvar|S}}  का [[क्रुल आयाम]] होता है। इस स्थिति में इस तर्कसंगत अंश का श्रृंखला विस्तार होता है
:<math>HS_S(t)=P(t) \left(1+\delta t+\cdots +\binom{n+\delta-1}{\delta-1} t^n+\cdots\right)</math>
जहाँ
:<math>\binom{n+\delta-1}{\delta-1} = \frac{(n+\delta-1)(n+\delta-2)\cdots (n+1)}{(\delta-1)!}</math> के लिए [[द्विपद गुणांक]] है <math>n>-\delta,</math> और 0 अन्यथा है।

यदि
:<math>P(t)=\sum_{i=0}^d a_it^i,</math>
का गुणांक <math>t^n</math> में <math>HS_S(t)</math> इस प्रकार है
:<math>HF_S(n)= \sum_{i=0}^d a_i \binom{n -i+\delta-1}{\delta-1}.</math>
के लिए <math>n\ge i-\delta+1,</math> इस योग में सूचकांक {{mvar|i}} का पद {{mvar|n}} डिग्री का  बहुपद है <math>\delta-1</math> प्रमुख गुणांक के साथ <math>a_i/(\delta-1)!.</math> यह दर्शाता है कि  अद्वितीय बहुपद सम्मलित है <math>HP_S(n)</math> तर्कसंगत गुणांक के साथ जो के बराबर होता है <math>HF_S(n)</math> बहुत पर्याप्त ''n'' के लिए। यह बहुपद हिल्बर्ट बहुपद है, और इसका रूप है
:<math>HP_S(n)= \frac{P(1)}{(\delta-1)!}n^{\delta-1} + \text{ terms of lower degree in } n. </math>
कम से कम {{math|''n''<sub>0</sub>}} ऐसा है कि <math>HP_S(n)=HF_S(n)</math> के लिए {{math|''n'' ≥ ''n''<sub>0</sub>}} के लिए हिल्बर्ट नियमितता कहलाती है। डिग्री से कम हो सकता है <math>\deg P-\delta+1</math>.

हिल्बर्ट बहुपद  [[संख्यात्मक बहुपद]] है, क्योंकि आयाम पूर्णांक हैं, किन्तु बहुपद में लगभग कभी भी पूर्णांक गुणांक नहीं होते हैं {{harv|Schenck|2003|pp=41}}.

इन सभी परिभाषाओं को {{math|''S''}} पर सूक्ष्म रूप से उत्पन्न [[ वर्गीकृत मॉड्यूल | श्रेणीकृत गुणांक]] तक बढ़ाया जा सकता है, एकमात्र अंतर के साथ {{math|''t<sup>m</sup>''}} हिल्बर्ट श्रृंखला में दिखाई देता है, जहाँ {{math|''m''}}  गुणांक के  जनित्र की न्यूनतम डिग्री होती है, जो नकारात्मक हो सकती है।

'''हिल्बर्ट फलन''', '''हिल्बर्ट श्रृंखला''' और निस्यंदक किए गए बीजगणित के '''हिल्बर्ट बहुपद''' संबद्ध श्रेणीबद्ध बीजगणित के होते हैं।

{{math|'''P'''<sup>''n''</sup>}} में प्रक्षेपीय बहुरूपता  {{math|''V''}} के हिल्बर्ट बहुपद को {{math|''V''}}  के समरूप समन्वय वलय के हिल्बर्ट बहुपद के रूप में परिभाषित किया गया है।

== वर्गीकृत बीजगणित और बहुपद के वलय ==

समरूप आदर्शों द्वारा बहुपद वलय और उनके भागफल विशिष्ट श्रेणीबद्ध बीजगणित हैं। इसके विपरीत यदि {{math|''S''}} वर्गीकृत बीजगणित है जो क्षेत्र {{math|''K''}} द्वारा {{math|''n''}} समरूप तत्व {{math|''g''<sub>1</sub>, ..., ''g''<sub>''n''</sub>}}  डिग्री 1 द्वारा उत्पन्न होता है, फिर मानचित्र जो {{math|''X''<sub>''i''</sub>}}को  {{mvar|''g''<sub>''i''</sub>}} पर भेजता है, श्रेणीबद्ध वलय के समरूपता को परिभाषित करता है <math>R_n=K[X_1,\ldots, X_n]</math> पर {{math|''S''}}. इसका [[कर्नेल (बीजगणित)]]  समरूप आदर्श {{math|''I''}} होते है और यह बीच में वर्गीकृत बीजगणित के  समरूपता को परिभाषित करता है <math>R_n/I</math> और {{math|''S''}}.

इस प्रकार, डिग्री 1 के तत्वों द्वारा उत्पन्न वर्गीकृत बीजगणित समरूप आदर्शों द्वारा बहुपद के वलय के भागफल,  समरूपता तक बिल्कुल होता हैं। इसलिए, इस लेख का शेष भाग आदर्शों द्वारा बहुपद वलयों के भागफल तक ही सीमित रहेगा।

== हिल्बर्ट श्रृंखला के गुण ==

=== योज्यता ===
हिल्बर्ट श्रृंखला और हिल्बर्ट बहुपद अपेक्षाकृत त्रुटिहीन अनुक्रमों के लिए योगात्मक होता हैं। अधिक त्रुटिहीन, यदि
:<math>0 \;\rightarrow\; A\;\rightarrow\; B\;\rightarrow\; C \;\rightarrow\; 0</math>
वर्गीकृत या निस्यंदक किए गए गुणांक का  त्रुटिहीन क्रम होता है, जो हमारे पास है
:<math>HS_B=HS_A+HS_C</math> और
:<math>HP_B=HP_A+HP_C.</math>
यह सदिश समष्टि स्थान के आयाम के लिए उसी संपत्ति से तुरंत अनुसरण करता है।

एक गैर-शून्य भाजक द्वारा भागफल

होने देना {{math|''A''}}  वर्गीकृत बीजगणित हो और {{math|''f''}} डिग्री का  समरूप तत्व {{math|''d''}} में {{math|''A''}} जो [[शून्य भाजक]] नहीं है। तो हमारे पास हैं
:<math>HS_{A/(f)}(t)=(1-t^d)\,HS_A(t)\,.</math>
यह त्रुटिहीन क्रम पर योगात्मकता से अनुसरण करता है
:<math>0 \;\rightarrow\; A^{[d]}\; \xrightarrow{f}\; A \;\rightarrow\; A/f\rightarrow\; 0\,,</math>
जहां  {{math|''f''}}  अंकित वाला चिह्न है {{math|''f''}} द्वारा गुणा है, और <math>A^{[d]}</math> श्रेणीबद्ध गुणांक है जो जो  {{math|''A''}} प्राप्त किया जाता है  डिग्रियों को स्थानांतरित करके {{math|''d''}}, जिससे गुणा किया जा सके {{math|''f''}} की डिग्री 0 है। इसका तात्पर्य है कि <math>HS_{A^{[d]}}(t)=t^d\,HS_A(t)\,.</math>

=== एक बहुपद वलय की हिल्बर्ट श्रृंखला और हिल्बर्ट बहुपद ===

बहुपद वलय की हिल्बर्ट श्रृंखला <math>R_n=K[x_1, \ldots, x_n]</math> में <math>n</math> अनिश्चित होता है
:<math>HS_{R_n}(t) = \frac{1}{(1-t)^{n}}\,.</math>
यह इस प्रकार है कि हिल्बर्ट बहुपद है
: <math> HP_{R_n}(k) = {{k+n-1}\choose{n-1}} = \frac{(k+1)\cdots(k+n-1)}{(n-1)!}\,.</math>
प्रमाण है कि हिल्बर्ट श्रृंखला में यह सरल रूप है,   गैर शून्य विभाजक द्वारा भागफल के लिए पिछले सूत्र को पुनरावर्ती रूप से लागू करके प्राप्त किया जाता है <math>x_n</math>) और उस पर टिप्पणी करना <math>HS_K(t)=1\,.</math>

=== हिल्बर्ट श्रृंखला का आकार और आयाम ===

डिग्री 1 के समरूप तत्वों द्वारा उत्पन्न  वर्गीकृत बीजगणित {{math|''A''}} में क्रुल आयाम शून्य है यदि उच्चतम समरूप आदर्श, जो कि डिग्री 1 के समरूप तत्वों द्वारा उत्पन्न आदर्श है, नीलपोटेंट आदर्श होता है। इसका तात्पर्य है कि {{math|''A''}} का {{math|''K''}}-सदिश  के रूप में आयाम परिमित है और {{math|''A''}} की हिल्बर्ट श्रृंखला  बहुपद  {{math|''P''(''t'')}} है जैसे कि {{math|''P''(1)}} {{math|''K''}}-सदिश स्थान के रूप में A के आयाम के बराबर है।

यदि A का क्रुल आयाम धनात्मक है, तो डिग्री  का  समरूप तत्व  {{math|''f''}}  है जो शून्य विभाजक नहीं है (वास्तव में डिग्री  के लगभग सभी तत्वों में यह गुण होता है)। {{math|''A''/''(f)''}} का क्रुल आयाम है {{math|''A''}} A माइनस वन का क्रुल आयाम होता है।

हिल्बर्ट श्रृंखला की योगात्मकता यह दर्शाती है <math>HS_{A/(f)}(t)=(1-t)\,HS_A(t)</math>. A के क्रुल आयाम के बराबर इसे कई बार दोहराते हुए, हमें अंततः आयाम ''0'' का  बीजगणित मिलता है जिसकी हिल्बर्ट श्रृंखला  बहुपद ''P(t)'' है। इससे पता चलता है कि ''A'' की हिल्बर्ट श्रृंखला होती है।
:<math>HS_A(t)=\frac{P(t)}{(1-t)^d}</math>
जहां बहुपद {{math|''P''(''t'')}} ऐसा प्रकार है कि {{math|''P''(1) ≠ 0}} और {{math|''d''}} , {{math|''A''}} का क्रुल आयाम है।

हिल्बर्ट श्रृंखला के लिए यह सूत्र दर्शाता है कि हिल्बर्ट बहुपद की डिग्री {{math|''d''}} है, और इसका प्रमुख गुणांक है <math>\frac{P(1)}{d!}</math>.

== प्रक्षेपी बहुरूपता की डिग्री और बेज़ाउट की प्रमेय ==

हिल्बर्ट श्रृंखला हमें हिल्बर्ट श्रृंखला के अंश के 1 पर मान के रूप में  बीजगणितीय विविधता की डिग्री की गणना करने की अनुमति देती है। यह बेज़ाउट के प्रमेय का अपेक्षाकृत सरल प्रमाण भी प्रदान करता है।

प्रक्षेपी बीजगणितीय सेट और हिल्बर्ट श्रृंखला की डिग्री के बीच संबंध दिखाने के लिए,  प्रक्षेपी बीजगणितीय सेट V पर विचार करें,  जिसे  [[सजातीय आदर्श|समरूप आदर्श]] के शून्य के सेट के रूप में परिभाषित किया गया है। <math>I\subset k[x_0, x_1, \ldots, x_n]</math>, जहाँ {{mvar|k}}  क्षेत्र है, और मान लेते है <math> R=k[x_0, \ldots, x_n]/I</math> बीजगणितीय सेट पर नियमित फलनों का वलय हो जाता है।

इस खंड में, किसी को बीजगणितीय सेटों की इरेड्यूसबिलिटी की आवश्यकता नहीं है और न ही आदर्शों की प्रधानता की। इसके अतिरिक्त, जैसा कि हिल्बर्ट श्रृंखला को गुणांक के क्षेत्र का विस्तार करके नहीं बदला जाता है, क्षेत्र {{mvar|k}} को, व्यापकता की हानि के बिना, बीजगणितीय रूप से संवृत होना माना जाता है।

{{mvar|V}}  का आयाम {{mvar|d}},  {{mvar|R}} क्रुल आयाम माइनस  के बराबर है, और {{mvar|V}} की डिग्री प्रतिच्छेदन के बिंदुओं की संख्या है, जिसे बहुगुणों के साथ गिना जाता है,  <math>d</math> [[सामान्य स्थिति]] में हाइपरप्लेन। इसका तात्पर्य  है {{mvar|R}},  [[नियमित अनुक्रम]] का <math>h_0, \ldots, h_{d}</math> का {{math|''d'' + 1}} डिग्री  के समरूप बहुपद होते है।  नियमित अनुक्रम की परिभाषा का तात्पर्य त्रुटिहीन अनुक्रमों के अस्तित्व से है
:<math>0 \longrightarrow \left(R/\langle h_0,\ldots, h_{k-1}\rangle \right)^{[1]} \stackrel{h_k}{\longrightarrow} R/\langle h_1,\ldots, h_{k-1}\rangle \longrightarrow R/\langle h_1,\ldots, h_k \rangle \longrightarrow 0,</math>
के लिए <math>k=0, \ldots, d.</math> इसका अर्थ यह है कि
:<math>HS_{R/\langle h_0, \ldots, h_{d-1}\rangle}(t) = (1-t)^d\,HS_R(t)=\frac{P(t)}{1-t},</math>
जहाँ <math> P(t)</math>, {{mvar|R}} की हिल्बर्ट श्रेणी का अंश है।

वलय <math>R_1=R/\langle h_0, \ldots, h_{d-1}\rangle</math> क्रुल आयाम  है, और  प्रक्षेपीय बीजगणितीय सेट के नियमित फलन का वलय है <math>V_0</math> आयाम 0 जिसमें सीमित संख्या में बिंदु होते हैं, जो कई बिंदु हो सकते हैं। जैसा <math>h_d</math> नियमित अनुक्रम से संबंधित है, इनमें से कोई भी बिंदु समीकरण के हाइपरप्लेन से संबंधित नहीं है  <math>h_d=0.</math> इस हाइपरप्लेन का पूरक  [[affine अंतरिक्ष|एफ़िन स्थान]] है जिसमें सम्मलित किया है <math>V_0.</math> यह बनाता है <math>V_0</math>  सजातीय [[Affine बीजगणितीय सेट|बीजगणितीय]] समुच्चय, जिसमें है <math>R_0 = R_1/\langle h_d-1\rangle</math> इसके नियमित कार्यों की वलय के रूप में। रैखिक बहुपद <math>h_d-1</math> में शून्य भाजक नहीं है <math>R_1,</math> और इस प्रकार  त्रुटिहीन अनुक्रम होता है
:<math>0 \longrightarrow R_1 \stackrel{h_d-1}{\longrightarrow} R_1 \longrightarrow R_0 \longrightarrow 0,</math>
जिसका तात्पर्य है
:<math>HS_{R_0}(t) = (1-t)HS_{R_1}(t) = P(t).</math>
यहां हम निस्यंदक्ड बीजगणित की हिल्बर्ट श्रृंखला का उपयोग कर रहे हैं, और तथ्य यह है कि श्रेणीबद्ध बीजगणित की हिल्बर्ट श्रृंखला भी निस्यंदक्ड बीजगणित के रूप में इसकी हिल्बर्ट श्रृंखला है।

इस प्रकार <math>R_0</math>  [[आर्टिनियन रिंग|आर्टिनियन वलय]] है, जो आयाम ''P(1)'' का k-सदिश समष्टि होता है, और जॉर्डन-होल्डर प्रमेय का उपयोग यह प्रमाणित करने के लिए किया जा सकता है कि ''P(1)'' बीजगणितीय सेट ''V'' की डिग्री है। वास्तव में,  बिंदु की बहुलता  रचना श्रृंखला में संबंधित उच्चतम आदर्श की घटनाओं की संख्या होती है।

बेज़ाउट के प्रमेय को सिद्ध करने के लिए, इसी तरह आगे बढ़ सकते हैं। यदि <math>f</math> डिग्री का  समरूप बहुपद है <math>\delta</math>, जो शून्य भाजक नहीं है {{mvar|R}}, त्रुटिहीन अनुक्रम
:<math>0 \longrightarrow R^{[\delta]} \stackrel{f}{\longrightarrow} R \longrightarrow R/\langle f\rangle \longrightarrow 0,</math>
पता चलता है कि
:<math>HS_{R/\langle f \rangle}(t)= \left (1-t^\delta \right )HS_R(t).</math>
अंशों को देखते हुए यह बेज़ाउट के प्रमेय के निम्नलिखित सामान्यीकरण को सिद्ध करता है:

: '''प्रमेय''' - यदि {{mvar|f}} डिग्री का  समरूप बहुपद है <math>\delta</math>, जो {{mvar|R}} शून्य भाजक नहीं है,  तो हाइपरसफेस के साथ  {{mvar|V}} के प्रतिच्छेदन की डिग्री द्वारा परिभाषित <math>f</math> की ''V'' की डिग्री का गुणनफल है  <math>\delta</math>।
अधिक ज्यामितीय रूप में, इसे इस प्रकार दोहराया जा सकता है:

: '''प्रमेय''' - यदि डिग्री की  प्रक्षेपीय  ऊनविम पृष्ठ {{mvar|d}} में डिग्री के बीजगणितीय सेट का कोई [[अलघुकरणीय घटक]] नहीं होता है {{mvar|δ}}, तो उनके प्रतिच्छेदन की डिग्री है {{mvar|dδ}} है।

सामान्य बेज़ाउट के प्रमेय को आसानी से  हाइपरसफेस से प्रारंभ करके, और इसे {{math|''n'' − 1}} अन्य प्रतिच्छेद के साथ करके आसानी से निकाला जा सकता है।

==  [[पूरा चौराहा|पुर्ण प्रतिच्छेदन]] ==
एक अनुमानित बीजगणितीय सेट  पूर्ण चौराहे है यदि इसका परिभाषित आदर्श नियमित अनुक्रम द्वारा उत्पन्न होता है। इस स्थिति में, हिल्बर्ट श्रृंखला के लिए  सरल स्पष्ट सूत्र है।

मान लेते है <math>f_1, \ldots, f_k</math> {{math|''k''}} में समरूप बहुपद <math>R=K[x_1, \ldots, x_n]</math>, संबंधित डिग्री के <math>\delta_1, \ldots, \delta_k.</math> सेटिंग <math>R_i=R/\langle f_1, \ldots, f_i\rangle,</math>  में निम्नलिखित त्रुटिहीन क्रम होते हैं
:<math>0 \;\rightarrow\; R_{i-1}^{[\delta_i]}\; \xrightarrow{f_i}\; R_{i-1} \;\rightarrow\; R_i\; \rightarrow\; 0\,.</math>
हिल्बर्ट श्रृंखला की योज्यता का तात्पर्य इस प्रकार है
:<math>HS_{R_i}(t)=(1-t^{\delta_i})HS_{R_{i-1}}(t)\,.</math>
एक साधारण प्रत्यावर्तन देता है
:<math>HS_{R_k}(t)=\frac{(1-t^{\delta_1})\cdots (1-t^{\delta_k})}{(1-t)^n}= \frac{(1+t+\cdots+t^{\delta_1})\cdots (1+t+\cdots+t^{\delta_k})}{(1-t)^{n-k}}\,.</math>
इससे पता चलता है कि ''k'' बहुपदों के  नियमित अनुक्रम द्वारा परिभाषित पूर्ण प्रतिच्छेदन {{math|''k''}} बहुपद का कोडिमेंशन होता है और इसकी डिग्री अनुक्रम में बहुपदों की डिग्री का गुणनफल होता है।

== मुक्त संकल्पों से सम्बन्ध ==
एक श्रेणीबद्ध नियमित वलय {{math|''R''}} के प्रत्येक वर्गीकृत गुणांक {{math|''M''}}  हिल्बर्ट के सिज़ीजी प्रमेय के कारण  वर्गीकृत मुक्त वियोजन होता है, जिसका अर्थ है कि जिसमे त्रुटिहीन अनुक्रम सम्मलित है
:<math> 0 \to L_k \to \cdots \to L_1 \to M \to 0,</math>
जहां <math>L_i</math> मुक्त गुणांक वर्गीकृत हैं, और चिह्न डिग्री शून्य के रैखिक मानचित्र हैं।

हिल्बर्ट श्रृंखला की योगात्मकता का तात्पर्य है
:<math>HS_M(t) =\sum_{i=1}^k (-1)^{i-1}HS_{L_i}(t).</math>
यदि <math>R=k[x_1, \ldots, x_n]</math>  बहुपद वलय है, और यदि कोई आधार तत्वों की डिग्री जानता है <math>L_i,</math> तो पूर्ववर्ती वर्गों के सूत्र परिणाम की अनुमति देते हैं <math>HS_M(t)</math> से <math>HS_R(t) = 1/(1-t)^n.</math> वास्तव में, इन सूत्रों का अर्थ है कि, यदि  श्रेणीबद्ध मुक्त गुणांक {{math|''L''}} का आधार है {{math|''h''}} डिग्री के समरूप तत्व <math>\delta_1, \ldots, \delta_h,</math> तो इसकी हिल्बर्ट श्रृंखला होती है
:<math>HS_L(t) = \frac{t^{\delta_1}+\cdots +t^{\delta_h}}{(1-t)^n}.</math>
हिल्बर्ट श्रृंखला की गणना के लिए इन सूत्रों को  विधि के रूप में देखा जा सकता है। यह संभवतः ही कभी स्थिति है, जैसा कि ज्ञात एल्गोरिदम के साथ, हिल्बर्ट श्रृंखला की गणना और  मुक्त संकल्प की गणना उसी ग्रोबनेर आधार से प्रारंभ होती है, जिससे हिल्बर्ट श्रृंखला सीधे संगणनात्मक  के साथ गणना की जा सकती है जो उच्चतर नहीं होते है और इससे मुक्त संकल्प की गणना की  होती  है।

== यह भी देखें ==
* [[कास्टेलनुओवो-ममफोर्ड नियमितता]]
* [[हिल्बर्ट योजना]]
* [[उद्धरण योजना]]










== Citations ==
{{Reflist}}

== References ==
{{refbegin}}
* {{cite book | last=Harris | first=Joe | author-link=Joe Harris (mathematician)| title = Algebraic Geometry, A First Course | year=1992| publisher=[[Springer Science+Business Media|Springer Science]] | url=https://www.springer.com/gp/book/9780387977164 | isbn=978-0-387-97716-4}}
* {{Citation| last=Eisenbud | first=David | author-link=David Eisenbud | year=1995 | title=Commutative algebra. With a view toward algebraic geometry | volume=150 | series=Graduate Texts in Mathematics | place=New York | publisher=Springer-Verlag |mr=1322960 | isbn=0-387-94268-8 | doi=10.1007/978-1-4612-5350-1}}.
* {{Citation| last=Schenck | first=Hal |author-link=Hal Schenck| title=Computational Algebraic Geometry | publisher=[[Cambridge University Press]] | location=[[Cambridge]] | isbn=978-0-521-53650-9 |mr=011360 | year=2003| citeseerx=10.1.1.57.7472 }}
* {{Citation| last=Stanley | first=Richard | author-link=Richard P. Stanley | year=1978 | title=Hilbert functions of graded algebras | periodical=[[Advances in Mathematics]] | volume=28 | issue=1 | pages=57–83 | mr=0485835| doi=10.1016/0001-8708(78)90045-2 | doi-access=free }}.
{{refend}}

[[Category:Harv and Sfn no-target errors]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors|Short description/doc]]
[[Category:Short description with empty Wikidata description]]
[[Category:Template documentation pages|Short description/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]