פולינום מינימלי – הבדלי גרסאות

הפולינום המינימלי מאפשר להגדיר אינווראנטים חשובים של אלגברות מממד סופי. תהי A [[אלגברה (מבנה אלגברי)|אלגברה]] (אסוציאטיבית, או לכל הפחות [[אלגברה לא אסוציאטיבית]] שהיא [[אלגברה בעלת חזקות אסוציאטיביות|בעלת חזקה אסוציאטיבית בהחלט]]), מממד סופי מעל שדה F. נבחר [[בסיס (אלגברה לינארית)|בסיס]] <math>\ b_1,\dots,b_n</math>, ונתבונן באיבר <math>\ X = x_1 b_1 + \cdots +x_n b_n</math> של האלגברה <math>\ A \otimes_F F(x_1,\dots,x_n)</math> המתקבלת מ[[הרחבת סקלרים]] מ-F לשדה הפונקציות <math>\ F(x_1,\dots,x_n)</math>. במקרה כזה, קיים פולינום מינימלי מתוקן P המאפס את X, והוא נקרא '''הפולינום המינימלי הגנרי''' של A.

לדוגמה, הדרגה של אלגברת המטריצות <math>\ M_m(F)</math> היא m; וזו גם הדרגה של כל [[אלגברה פשוטה]] מממד <math>\ m^2</math> מעל למרכז שלה. במקרה הראשון, העקבה הגנרית מתלכדת עם העקבה הרגילה, והנורמה הגנרית מתלכדת עם ה[[דטרמיננטה]]. בין השימושים הרבים של הפונקציות הללו אפשר למנות את העובדה הבאה: אםנניח ש-<math>\ s_1([a,b])=0</math> ו- <math>\ s_1((a,b,c))=0</math> (כאשר <math>\ [\cdot,\cdot]</math> ו- <math>\ (\cdot,\cdot,\cdot)</math> הם ה[[קומוטטור]] וה[[אסוציאטור]], בהתאמה; הנחות אלה מתקיימות ממילא בכל אלגברה אסוציאטיבית),. ו-אם <math>\ s_1</math> אינה מנוונת (במובן הבא: אם <math>\ s_1(ab)=0</math> לכל b, אז <math>\ a=0</math>), אז A [[אלגברה ספרבילית|ספרבילית]]. (שתי ההנחות הראשונות מתקיימות ממילא לכל אלגברה אסוציאטיבית).