ספקטרום של חוג – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ ←סכמה אפינית: תיקון קישור |
←סכמה אפינית: הגהה |
||
שורה 17:
== סכמה אפינית ==
'''[[סכמה אפינית]]''' היא [[מרחב טופולוגי]] [[מרחב מחויג|מחויג מקומית]] המצויד ב[[טופולוגיית זריצקי]] עם [[אלומה (מתמטיקה)|אלומה]] של [[חוג (מבנה אלגברי)|חוגים]]. סכמה אפינית ניתנת להצגה
: <math>\mathcal{O}_X \left( D(f) \right) = R_f</math>
כאשר <math>R_f = S^{-1}R</math> הוא ה[[לוקליזציה (תורת החוגים)|לוקליזציה]] של <math>R</math> במערכת הכפלית <math>S = \{ 1, f, f^2, f^3, ... \}</math>. ה[[אלומה (מתמטיקה)|נבט]] של כל אלומה כזאת <math>\mathcal{O}_{X,x}</math> בכל <math>x \in X</math> היא [[חוג מקומי]] שבו [[אידאל מקסימלי]] יחיד <math>\mathfrak{m}_x</math> שהוא, באופן אינטואיטיבי, אוסף איברי החוג שמתאפסים בנקודה x. למנה <math>k_x = \mathcal{O}_{X,x}/\mathfrak{m}_x</math> קוראים "שדה השארית ב-x".
|