הרחבה ספרבילית

באלגברה מופשטת, הרחבה ספרבילית היא הרחבה של שדות שהפולינום המינימלי של כל איבר בה הוא ספרבילי, כלומר כל שורשיו בשדה הפיצול שונים זה מזה. להרחבות ספרביליות חשיבות רבה בתורת גלואה: כל הרחבת גלואה היא ספרבילית, ולכל שדה יש סגור ספרבילי, שהוא ההרחבה האלגברית הספרבילית הגדולה ביותר של השדה.

לספרביליות יש משמעות אלגברית גם מחוץ לתורת השדות - ראו אלגברה ספרבילית.

ספרביליות של פולינומים

פולינום אי-פריק ${\displaystyle \ f(x)}$ הוא ספרבילי אם כל שורשיו בשדה הפיצול שלו שונים זה מזה. עבור פולינומים שאינם אי פריקים נמצאות בספרות שתי הגדרות שונות - לפעמים פולינום נקרא ספרבילי אם הגורמים האי-פריקים שלו הם ספריביליים, ולפעמים דורשים בנוסף שהגורמים האי-פריקים יהיו שונים זה מזה. למשל, ${\displaystyle \ x^{n}}$ הוא ספרבילי לפי ההגדרה הראשונה, אבל לא לפי השנייה.

פולינום ${\displaystyle \ f(x)}$ אינו ספרבילי (לפי ההגדרה החלשה) אם ורק אם יש לו גורם משותף לא טריוויאלי עם הנגזרת הפורמלית שלו, ${\displaystyle \ f'(x)}$. מתכונה זו נובע שכל פולינום אי פריק מעל שדה ממאפיין אפס הוא ספרבילי, ולכן גם כל הרחבה של שדה ממאפיין 0 היא ספרבילית. מכאן שמושג הספרביליות הוא בעל משמעות רק עבור שדות עם מאפיין שונה מאפס.

הדוגמה הטיפוסית לפולינום אי-פריק שאינו ספרבילי היא פולינום מהצורה ${\displaystyle \ x^{p}-a}$, כאשר p הוא המאפיין של השדה. באופן כללי יותר, כל פולינום ${\displaystyle \ f(x)=g(x^{p})}$ אינו ספרבילי. את הספרביליות אפשר לזהות לפי הנגזרת (האבסטרקטית) של הפולינום: פולינום אי-פריק הוא ספרבילי אם ורק אם הנגזרת שלו אינה אפס.

הוכחה

נניח שהפולינום ${\displaystyle f}$ אי-פריק (לא קבוע) ולא ספרבילי, ונסתכל עליו בשדה הפיצול שלו. אזי ל-${\displaystyle f}$ יש שורש c מריבוי אלגברי גבוה מ-1 ולכן אפשר לכתוב אותו בצורה ${\displaystyle f(x)=q(x)(x-c)^{2}}$. אזי ${\displaystyle f'(x)=(x-c)^{2}q'(x)+2(x-c)q(x)=(x-c)(2q(x)+q'(x)(x-c))}$ ולכן ${\displaystyle h=\gcd(f,f')}$ הוא פולינום ש-c מאפס אותו בשדה הפיצול, כלומר או שהוא פולינום ממעלה גדולה מ-0 כך ש- ${\displaystyle x-c|h}$ או שהוא פולינום האפס. נניח בשלילה שהוא פולינום ממעלה חיובית, אבל מאחר שאת ה-gcd אפשר לחשב באמצעות חילוק אוקלידי הוא מוגדר בשדה הבסיס F, כלומר ${\displaystyle h\in F[x]}$. אבל ${\displaystyle h|f}$ (הפולינום ${\displaystyle h}$ מחלק את ${\displaystyle f}$ כי הוא מחלק משותף מקסימלי שלו ושל ${\displaystyle f'}$) וקיבלנו סתירה לכך ש-${\displaystyle f}$ אי-פריק. הדרך היחידה לפתור את הסתירה היא לדרוש שבהכרח ${\displaystyle h=\gcd(f,f')=0}$ (האפשרות של פולינום קבוע ממעלה 0 השונה מ-0 תיתן סתירה, כי ${\displaystyle \gcd(f,f')=1}$ מביא לסתירה כי בשדה הפיצול ${\displaystyle 0=h(c)\neq 1(c)=1}$. אבל ${\displaystyle \gcd(f,f')=0}$ אפשרי רק אם ${\displaystyle f'=0}$. התנאי האחרון אפשרי רק כאשר המאפיין של השדה הוא p (מספר ראשוני) ו-${\displaystyle f(x)=g(x^{p})}$, ואז אכן ${\displaystyle f'(x)={\frac {d}{dx}}g(x^{p})=g'(x^{p})\cdot p\cdot x^{p-1}\equiv 0{\pmod {p}}}$. בכיוון השני, אם ${\displaystyle f'=0}$ אז ניתן לראות שהפולינום הוא מהצורה ${\displaystyle f(x)=g(x^{p})}$ בשדה ממאפיין p. יהי ${\displaystyle c}$ שורש בשדה פיצול של ${\displaystyle f}$, אזי ${\displaystyle f(c)=g(c^{p})=0}$ ובפרט ${\displaystyle x^{p}-c^{p}|g(x^{p})}$ ולכן ${\displaystyle x^{p}-c^{p}|f(x)}$. אבל ${\displaystyle x^{p}-c^{p}\equiv (x-c)^{p}{\pmod {p}}}$ ולכן השורש c הוא מריבוי אלגברי גדול מ-1, ומכאן שלא כל שורשיו של ${\displaystyle f}$ שונים זה מזה. כלומר, הפולינום לא ספרבילי. מש"ל

איבר ${\displaystyle a}$ באלגברה מעל השדה ${\displaystyle F}$ נקרא איבר ספרבילי, אם הפולינום המינימלי שלו הוא ספרבילי (לפי ההגדרה השנייה, החזקה יותר). לאיברים בשדה הרחבה הפולינום המינימלי תמיד אי-פריק, ולכן אין הבדל בין שתי ההגדרות לעניין הספרביליות במקרה זה.

תכונות

כל הרחבת ביניים של הרחבה ספרבילית היא ספרבילית. מאידך, ספרביליות היא טרנזיטיבית: אם ${\displaystyle K/F}$ ו-${\displaystyle E/K}$ הרחבות ספרביליות, אז גם ${\displaystyle E/F}$ ספרבילית.

כל הרחבה ספרבילית סופית היא פשוטה, כלומר, נוצרת על ידי איבר אחד: ${\displaystyle \ E=F(\theta )}$ עבור ${\displaystyle \ \theta \in E}$ מתאים.

ראו גם

• אלגברה ספרבילית

קישורים חיצוניים

• הרחבה ספרבילית, באתר MathWorld (באנגלית)

עץ מיון של הרחבות שדות

הרחבת שדות הרחבת שדות                         הרחבה נוצרת סופית הרחבה נוצרת סופית     הרחבה אלגברית הרחבה אלגברית                                         הרחבה פשוטה הרחבה פשוטה הרחבה סופית הרחבה סופית הרחבה ספרבילית הרחבה ספרבילית הרחבה נורמלית הרחבה נורמלית הרחבה ציקלוטומית הרחבה ציקלוטומית הרחבה לא ספרבילית לחלוטין הרחבה לא ספרבילית לחלוטין                         הרחבה סופית פשוטה הרחבה סופית פשוטה   הרחבת גלואה הרחבת גלואה                               הרחבה סופית ספרבילית הרחבה סופית ספרבילית הרחבה פתירה הרחבה פתירה                           הרחבה אבלית הרחבה אבלית                             הרחבה רדיקלית: ${\displaystyle K\langle {\sqrt[{n}]{a}}\rangle /K}$ הרחבה רדיקלית: ${\displaystyle K\langle {\sqrt[{n}]{a}}\rangle /K}$   הרחבה ציקלית הרחבה ציקלית                             הרחבה ציקלוטומית סופית: ${\displaystyle K\langle {\sqrt[{n}]{1}}\rangle /K}$ הרחבה ציקלוטומית סופית: ${\displaystyle K\langle {\sqrt[{n}]{1}}\rangle /K}$ ראו גם: עץ מיון של שדות