הצגה ליניארית – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ בוט מוסיף: de, es, fr, it, ka, ko, pl, ru, zh |
מ בוט החלפות: על ידי; |
||
שורה 7:
באופן פורמלי, הצגה היא הומומורפיזם <math>\ G \rightarrow \operatorname{GL}(V)</math>, כאשר G היא החבורה הנתונה, V הוא מרחב וקטורי מעל שדה F, ו- <math>\ \operatorname{GL}(V)</math> היא חבורת ה[[העתקה לינארית|העתקות הלינאריות]] ההפיכות של המרחב. כאשר V הוא מרחב מ[[ממד (אלגברה לינארית)|ממד]] סופי n, אפשר לזהות חבורה זו עם [[חבורת המטריצות ההפיכות]] <math>\ \operatorname{GL}_n(F)</math>. במקרה זה n נקרא '''ממד ההצגה'''.
מהצגה נתונה אפשר ליצור '''הצגות שקולות''', על
כאשר נתונות שתי הצגות, על מרחבים V ו- W, אפשר ליצור מהן הצגה חדשה, על ה[[סכום ישר|סכום הישר]] <math>\ V \oplus W</math>, בדרך של בניית מטריצות בלוקים: <math>\ g \mapsto \left (\begin{array}{cc} \pi_1(g) & 0 \\ 0 & \pi_2(g)\end{array}\right)</math>. הצגה כזו, וכל הצגה שקולה לה, נקראת '''הצגה פריקה'''. הצגה שלא ניתן לפרק (על
במקרים רבים אפשר לבנות מן ההצגות האי-פריקות את כל ההצגות של החבורה.
| |||