ספקטרום של חוג – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
Matanyabot (שיחה | תרומות)
מ בוט החלפות: אידאל
שורה 20:
'''[[סכמה אפינית]]''' היא [[מרחב טופולוגי]] [[מרחב מחויג|מחויג מקומית]] המצויד ב[[טופולוגיית זריצקי]] עם [[אלומה]] של [[חוג (מבנה אלגברי)|חוגים]]. סכמה אפינית ניתנת להצגה כספטרום של חוג קומוטטיבי עם יחידה <math>R</math>, כלומר: <math>X = \operatorname{Spec}(R)</math> כאשר אלומת המבנה שלו מוגדרת על [[בסיס לטופולוגיה]] של קבוצות פתוחות ראשיות באופן הבא
: <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".