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

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

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

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

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

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

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

שגיאות פרמטריות בתבנית:טבלה מוסתרת
פרמטרים [ 1, 2, 3 ] לא מופיעים בהגדרת התבנית
פרמטרים [ f</math> (הפולינום <math>h</math> מחלק את <math>f</math> כי הוא מחלק משותף מקסימלי שלו ושל <math>f'</math>) וקיבלנו סתירה לכך ש-<math>f</math> אי-פריק. הדרך היחידה לפתור את הסתירה היא לדרוש שבהכרח <math>h ] לא מופיעים בהגדרת התבנית

הוכחה
נניח שהפולינום <math>f</math> אי-פריק (לא קבוע) ולא ספרבילי, ונסתכל עליו בשדה הפיצול שלו. אזי ל-<math>f</math> יש שורש c מריבוי אלגברי גבוה מ-1 ולכן אפשר לכתוב אותו בצורה <math>f(x)=q(x)(x-c)^2</math>. אזי <math>f'(x)=(x-c)^2q'(x) + 2(x-c)q(x) = (x-c)(2q(x)+q'(x)(x-c))</math> ולכן <math>h = \gcd( f , f')</math> הוא פולינום ש-c מאפס אותו בשדה הפיצול, כלומר או שהוא פולינום ממעלה גדולה מ-0 כך ש- <math>x-c

איבר <math>a</math> באלגברה מעל השדה <math>F</math> נקרא איבר ספרבילי, אם הפולינום המינימלי שלו הוא ספרבילי (לפי ההגדרה השנייה, החזקה יותר). לאיברים בשדה הרחבה הפולינום המינימלי תמיד אי-פריק, ולכן אין הבדל בין שתי ההגדרות לעניין הספרביליות במקרה זה.

תכונות עריכה

כל הרחבת ביניים של הרחבה ספרבילית היא ספרבילית. מאידך, ספרביליות היא טרנזיטיבית: אם <math>K/F</math> ו-<math>E/K</math> הרחבות ספרביליות, אז גם <math>E/F</math> ספרבילית.

כל הרחבה ספרבילית סופית היא פשוטה, כלומר, נוצרת על ידי איבר אחד: <math>\ E=F(\theta)</math> עבור <math>\ \theta\isin E</math> מתאים.