אלגברת הטנזורים

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

הגדרהעריכה

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

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

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

אוניברסליותעריכה

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

(כאשר   העתקת ההכלה).

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

מנות אלגברת הטנזוריםעריכה

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

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

דירוגעריכה

אלגברת הטנזורים היא אלגברה מדורגת לפי אורך הטנזורים. מפורשות, המרחבים   (מכפלה k פעמים) הם המרכיבים ההומוגניים, והאלגברה אמנם מדורגת משום שהעתקת הכפל מוגדרת לטווח הנכון:   על ידי מכפלה טנזורית.

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

ראו גםעריכה