פתיחת התפריט הראשי

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

נניח כי לB יש מבנה של A-אלגברה על ידי ההעתקה f. בהינתן 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.
  ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.