לדלג לתוכן

יריעה אבלית

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

בגאומטריה אלגברית יריעה אבלית היא חבורה אלגברית קשירה אשר בתור יריעה אלגברית היא יריעה שלמה. זה גורר שהיא גם יריעה פרויקטיבית וגם חבורה קמוטטיבית.[1]

בהקשרים מסוימים מדברים גם על יריעות אבליות לא קשירות. במקרה כזה, נהוג להוסיף את דרישת הקומוטטיביות כדרישה נוספת משום שהיא לא נובעת אוטומטית מדרישת השלמות. הפרויקטיביות, נובעת מהשלמות גם במקרה הלא קשיר.

אם שדה ההגדרה הוא אז קבוצת הנקודות של יריעה אבלית (קשירה) איזומורפית כחבורת לי לטורוס ממד זוגי (פעמיים ממד הירעה האבלית).

רכיב הקשירות של היחידה בחבורת הפיקאר של יריעה אלגברית שלמה וחלקה מהווה יריעה אבלית.

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

למרות שמן יריעות אבליות אינן סוג של יריעות אלגבריות אלא סוג של חבורות אלגבריות.


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


 
 
 
 
 
 
 
פשוטת הקשר
פשוטת הקשר


 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 


קישורים חיצוניים

[עריכת קוד מקור | עריכה]
ויקישיתוף מדיה וקבצים בנושא יריעה אבלית בוויקישיתוף

הערות שוליים

[עריכת קוד מקור | עריכה]
  1. ^ מילן פרק 1.1 עמוד 8
  2. ^ כאן אנו מתייחסים למוסכמה המרחיבה, לפיה אין דרישה שהחבורה תהיה קשירה. עם זאת אנו דורשים שהחבורה תהיה קומוטטיבית, דרישה זו נובעת מהפרויקיטיביות/שלמות עבור חבורות קשירות, אך לא במקרה הכללי.
  3. ^ 1 2 3 כאן אנו מתייחסים למוסכמה המרחיבה, לפיה אין דרישה שהחבורה תהיה קשירה.
  4. ^ למושג "חבורה קלאסית" יש מספר משמעויות מקובלות. כל המשפחות שמופעות בדיאגרמה כאן תחת "חבורה קלאסית" נחשבות לכאלה על פי כל המשמעוית המוקובלות
  5. ^ כאן אנו מתייחסים למוסכמה המרחיבה, לפיה אין דרישה שהחבורה תהיה קשירה. עם זאת, מעל שדה ממציין 0, חבורה אוניפוטנטית היא תמיד קשירהפשוטת קשר), גם אם לא דרשים זאת בהגדרה.
  6. ^ לעיתים מושג זה נקרא "חבורה פשוטה".
  7. ^ כאן אנו משתמשים במוסכמה המצמצמת, שדורשת מחבורה פשוטה להיות חסרת מרכז. המושג ללא דרישה זו נקרא כאן "חבורה כמעט פשוטה".
ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.