טורוס אלגברי

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

חזקה של החבורה הכיפלית נקראת טורוס מתפצל.

מעל שדה מושלם ניתן למיין טורוסים על ידי פעולות של חבורת גלואה האבסולוטית של שדה ההגדרה על סריגים.

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

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

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

לקריאה נוספת

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

הערות שוליים

קטגוריה:גאומטריה אלגברית
קטגוריה:תורת החבורות