שדה פיצול – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
Matanyabot (שיחה | תרומות) מ בוט החלפות: \1ליניארי |
←שדה פיצול של פולינום: הגהה |
||
שורה 1:
ב[[תורת השדות]] ה[[מתמטיקה|מתמטית]], '''שדה פיצול''' של [[פולינום]] <math>\ f</math> מעל ה[[שדה (מבנה אלגברי)|שדה]] <math>\ F</math>, הוא שדה <math>E</math> המרחיב את <math>F</math> בו הפולינום מתפצל לגורמים ליניאריים, בצורה <math>\ f(x)=\lambda(x-a_1)\cdots (x-a_n)</math> כאשר <math>a_1,\dots,a_n\in E</math> ו-<math>\lambda\in F</math>, ושאין לו תת-שדות (אמיתיים) המקיימים את אותה דרישה. לכל פולינום קיים שדה פיצול יחיד, עד-כדי איזומורפיזם.
אינטואיטיבית, פולינום שאפשר לפרק לגורמים ליניאריים אינו "מעניין" - הוא בסך-הכל מהווה דרך להחזיק יחד את קבוצת השורשים שלו. פולינום שיש לו גורמים אי-פריקים שאינם ליניאריים מאפשר לבנות [[שדה הרחבה|הרחבות]] [[טריוויאלי (מתמטיקה)|לא טריוויאליות]] של השדה. במובן זה, פיצול הפולינום לגורמים ליניאריים (בדרך של הרחבת שדה המקדמים) "הורסת" את המידע המעניין בפולינום, ושדה פיצול הוא
המונח "שדה פיצול" משמש, בהשאלה, גם בתחומים אחרים של ה[[אלגברה מופשטת|אלגברה המודרנית]], לציון שדה המרסק את המבנה האריתמטי העדין של אובייקט, ומאפשר ללמוד אותו בכלים גאומטריים. לדוגמה, קיימים שדות פיצול של [[טורוס (תורת החבורות)|טורוס]] ב[[חבורה אלגברית]], של [[הצגה ליניארית|הצגה]] של חבורה סופית, של [[אלגברה פשוטה]], ועוד.
|