סכמה אפינית – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
Matanyabot (שיחה | תרומות)
מ בוט החלפות: אידאל
שורה 3:
באופן הבא
: <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".
 
סכמה אפינית היא מקרה פרטי של [[סכמה (מתמטיקה)|סכמה]]. כל סכמה היא "הדבקה" של סכמות אפיניות פתוחות, ואפשר לומר שמקומית כל סכמה היא סכמה אפינית, כלומר לכל נקודה קיימת סביבה פתוחה שלה שהיא סכמה אפינית. סכמות הן אובייקט המחקר העיקרי ב[[גאומטריה אלגברית]], לצד [[יריעה אלגברית|יריעות אלגבריות]].