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