תוצאות החיפוש

מונויד בראוור שייך למשפחה של '''אלגברות דיאגרמה''', שהן מבנים אלגבריים שהפעולות שלהם מוגדרות באמצעות דיאגרמות וציורים. אם ב דוגמאות נוספות שאפשר לשייך לאותה משפחה הן [[אלגברת טמפרלי-לייב|אלגברות טמפרלי-לייב]] (Temperley-Lieb) ו[[אלגברת בירמן-מורקמי-ונזל]] (Birman–Muraka ...

...אלו חשיבות גאומטרית, מפני שהן חלקות פורמלית (formally smooth) בקטגוריה של אלגברות לא קומוטטיביות: כל הרחבה שלהן באידיאל נילפוטנטי מתפצלת. המושג הוגדר על ידי ...תפצלת'' אם קיים חתך (section) של <math>A</math> לתוך <math>C</math>, הסוגר דיאגרמה קומוטטיבית עם ההטלה של <math>C</math> מודולו <math>I</math>, כאשר מזהים את ...

...) <math>\hat{f} :T(V) \rightarrow A</math> כך שה[[דיאגרמה (תורת הקטגוריות)|דיאגרמה]] הבאה מתחלפת: ...ואף [[חוג עם זהויות|זהויות]] (כמו [[פעולה קומוטטיבית|קומוטטיביות]]) ולקבל אלגברות ידועות אחרות. דוגמאות מפורשות לאלגברות כאלה הן [[האלגברה הסימטרית]] (בה מוס ...

...> כך ש-<math>U(g) \circ \phi = f</math>, כלומר ה[[דיאגרמה (תורת הקטגוריות)|דיאגרמה]] הבאה מתחלפת: ...גברי)|חוגים]] בעזרת מכפלתם. [[מכפלה טנזורית#אוניברסליות|מכפלה טנזורית]] של אלגברות (מעל שדה) היא האלגברה הכללית ביותר המהווה תמונה של [[חוג (מבנה אלגברי)#בניו ...

...כרון נוח שמאפשר לזכור את המכפלות של אוקטוניוני היחידה נתון בדיאגרמה שלהלן. דיאגרמה זו בעלת 7 נקודות ו-7 קווים (המעגל בין i, j ו-ij נחשב כקו) נקראת מישור פאנו. ...נים. למעשה, כל תת-אלגברה של <math>\mathbb{O}</math> היא אחת מ[[אלגברת הרכב|אלגברות ההרכב]] <math>\mathbb{R}</math>, <math>\mathbb{C}</math>, או <math>\mathbb{ ...

...מממד זוגי <math>n</math> היא [[מכפלה טנזורית]] של <math>\frac{n}{2}</math> אלגברות קווטרניונים. מפורשות, אם <math>q=\langle a_1,...,a_n \rangle</math> אז <mat ...ויחיד <math>f:C(v,q) \rightarrow A</math>, כך שה[[דיאגרמה (תורת הקטגוריות)|דיאגרמה]] הבאה קומוטטיבית: ...