העתקה חלקה פורמלית

מתוך ויקיפדיה, האנציקלופדיה החופשית

במתמטיקה, ובמיוחד באלגברה קומוטטיבית ובגאומטריה אלגברית, הומומורפיזם בין שני חוגים קומוטטיביים נקרא חלק פורמליתצרפתית Formellement lisse) אם הוא מקיים את תנאי ההרמה האינפיניטסימלית הבא:

ההעתקה מגדירה מבנה של A-אלגברה על B. התנאי הוא שלכל A-אלגברה קומוטטיבית C ואידיאל נילפוטנטי , כל העתקה של A-אלגבראות ניתן להרים להעתקה של A-אלגבראות . אם ההרמה היא יחידה לכל זוג כזה, ההעתקה נקראת אטל פורמלית. כל העתקה חלקה היא חלקה פורמלית וההפך נכון להעתקות מוצגות סופית.

העתקות חלקות פורמלית הוגדרו ונחקרו לראשונה על ידי אלכסנדר גרותנדיק בספרו EGA, בכרך הרביעי. בין היתר הוכיח גרותנדיק כי העתקה חלקה פורמלית בין חוגים נתריים היא בהכרח שטוחה[1]

לקריאה נוספת[עריכת קוד מקור | עריכה]

* Grothendieck, Alexandre; Dieudonné, Jean (1964). "Éléments de géométrie algébrique (rédigés avec la collaboration de Jean Dieudonné) : IV. Étude locale des schémas et des morphismes de schémas, Première partie". Publications Mathématiques de l'IHÉS 20: 5–259.

הערות שוליים[עריכת קוד מקור | עריכה]

  1. ^ EGA 0.IV, Theoreme 19.7.I.
ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.