במתמטיקה, ובמיוחד בגאומטריה אלגברית, משטח אלגברי (באנגלית: Algebraic Surface) הוא יריעה אלגברית מממד 2. במקרה שהיריעה חסרת נקודות סינגולריות, והשדה שהמשטח המוגדר מעליו הוא שדה המספרים המרוכבים מקבלים יריעה מרוכבת מממד 2, או יריעה חלקה מממד 4 מעל שדה המספרים הממשיים.
קישורים חיצוניים
עץ מיון של יריעות אלגבריות
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
מקרא
|
|
|
מסלול שיורד למטה מצביע על כך שהמחלקה התחתונה היא חלק מהמחלקה העליונה.
|
|
מחלקה המהווה חיתוך של המחלקות שמכילות אותה ומופיעות בתרשים.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- ^ בהקשרים מסויימים דורשים מיריעה - גורנשטיין להיות נורמלית ו/או כהן-מקולי. כאן אנו לא דורשים אף אחת מתכונות אלה.
- ^ בהקשרים מסויימים דורשים מיריעה קוואזי- גורנשטיין להיות נורמלית, כאן אנו לא דורשים זאת.
- ^ 1 2 3 כאן אנו מתייחסים להגדרה המכילה שלא דורשת חלקות או שלמות אלא רק תכונות -גורנשטיין.
- ^ 1 2 3 שמות התואר "אלגברית"/אלגברי מושמטים בדרך כלל משם המחלקה.
- ^ העץ מכיל בעיקר מחלקות של סכמות ללא גרסה יחסית מובהקת.
- ^ ככלל בגאומטריה אלגברית עיקר העיסוק בהעתקות בין סכמות מתרכז בסכמות מיוצגות סופית.
- ^ העץ מכיל את המחלקות הרחבות של העתקות בין סכמות, שכוללת את כל ההעתקות המיוצגות סופית.
|