הצגה ליניארית – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מ הטמעת תבנית:בקרת זהויות בערכים (תג)
שורה 16:
 
== הקרקטר של הצגה מממד סופי ==
אם <math>\pi : G \rightarrow \operatorname{GL}_n(F)</math> היא הצגה ממימד סופי, אז הפונקציה <math>\chi(g) = \operatorname{tr}(\pi(g))</math> המוגדרת לפי חישוב ה[[עקבה (אלגברה ליניארית)|עקבה]] של המטריצות המתקבלות מן ההצגה, היא ה[[קרקטר (תורת ההצגות)|'''קרקטר''']] (character) של ההצגה (בדרך כלל הקרקטר הזה אינו [[קרקטר (מתמטיקה)|קרקטר כפלי]]). העקבה אינה משתנה בהצמדה, ולכן להצגות שקולות יש אותה עקבה. הקרקטר של '''הצגה חד-ממדית''' שווה להצגה עצמה.
 
בחבורה סופית (ובאופן כללי יותר, גם ב[[חבורה קומפקטית]]), גם ההפך נכון: מן הקרקטר של הצגה, אפשר לשחזר את ההצגה כולה ([[עד כדי (מתמטיקה)|עד כדי]] שקילות).