שדות - תכונות בסיסיות: הבדלים בין גרסאות בדף

מתוך Math-Wiki
אין תקציר עריכה
שורה 1: שורה 1:
== הרחבות של שדות ==
== הרחבות של שדות ==


שורה 49: שורה 48:


'''תרגיל:''' תהי <math>L/F</math> הרחבת שדות, <math>a_1,\ldots,a_n\in L</math> אלגבריים מעל <math>F</math> ו-<math>F\subseteq K\subseteq L</math>. הוכיחו כי הקומפוזיטום של <math>F[a_1,\ldots,a_n]</math> ו-<math>K</math> הוא <math>K[a_1,\ldots,a_n]</math>.
'''תרגיל:''' תהי <math>L/F</math> הרחבת שדות, <math>a_1,\ldots,a_n\in L</math> אלגבריים מעל <math>F</math> ו-<math>F\subseteq K\subseteq L</math>. הוכיחו כי הקומפוזיטום של <math>F[a_1,\ldots,a_n]</math> ו-<math>K</math> הוא <math>K[a_1,\ldots,a_n]</math>.
== איברים אלגבריים - מבט מעמיק ==
'''טענת עזר:''' תהי <math>K/F</math> הרחבת שדות ו-<math>a,b\in K</math> אלגבריים. אזי <math>F[a,b]/F</math> הרחבה אלגברית.
'''הוכחה:''' לפי טענה מקודם מספיק להראות ש-<math>[F[a,b]:F]<\infty</math>. מתקיים <math>[F[a,b]:F]=[F[a,b]:F[a]]\cdot [F[a]:F]</math> ולכן מספיק להראות סופיות של כל אחד מהגורמים במכפלה. לפי אותה טענה <math>[F[a]:F]<\infty</math> כי <math>a</math> אלגברי מעל <math>F</math>. בנוסף, <math>b</math> אלגברי מעל <math>F</math> ולכן גם מעל <math>F[a]</math>. כעת, אותה טענה גם אומרת כי <math>[F[a,b]:F[a]]<\infty</math> ולכן גמרנו.
'''מסקנה:''' אם <math>K/F</math> הרחבת שדות ו-<math>a,b\in F</math> אלגבריים מעל <math>F</math>, אז גם <math>ab,a+b</math> אלגבריים מעל <math>F</math>.
'''תרגיל:''' בהנחות של המסקנה, אם <math>a\neq 0</math> אז גם <math>a^{-1}</math> אלגברי.
'''מסקנה:''' תהי <math>K/F</math> הרחבת שדות. נסמן ב-<math>A</math> את כל האיברים ב-<math>K</math> שאלגבריים מעל <math>F</math>. אזי <math>A</math> שדה. למעשה, <math>A</math> הוא תת השדה הגדול ביותר של <math>K</math> שאלגברי מעל <math>F</math>.

גרסה מ־15:52, 24 בנובמבר 2011

הרחבות של שדות

הגדרה: יהיה [math]\displaystyle{ F }[/math] שדה. הרחבה של [math]\displaystyle{ F }[/math] היא כינוי לכל שדה [math]\displaystyle{ K }[/math] המכיל את [math]\displaystyle{ F }[/math]. לרוב כותבים גם [math]\displaystyle{ K/F }[/math]. באופן טבעי [math]\displaystyle{ K }[/math] הוא מרחב וקטורי מעל [math]\displaystyle{ F }[/math]. המימד של [math]\displaystyle{ K }[/math] מעל [math]\displaystyle{ F }[/math] יסומן ב-[math]\displaystyle{ [K:F] }[/math] (הוא אינו חייב להיות סופי).

דוגמא: [math]\displaystyle{ \mathbb{C}/\mathbb{R} }[/math] היא הרחבת שדות ממימד סופי. [math]\displaystyle{ \mathbb{R}/\mathbb{Q} }[/math] היא הרחבת שדות ממימד אינסופי.

טענה: יהיו [math]\displaystyle{ F\subseteq K\subseteq L }[/math] שדות. אזי [math]\displaystyle{ [L:F]=[L:K]\cdot[K:F] }[/math].

הרעיון של ההוכחה: אם [math]\displaystyle{ A }[/math] הוא בסיס ל-[math]\displaystyle{ L }[/math] כמרחב וקטורי מעל [math]\displaystyle{ K }[/math] ו-[math]\displaystyle{ B }[/math] הוא בסיס ל-[math]\displaystyle{ K }[/math] כמרחב וקטורי מעל [math]\displaystyle{ F }[/math] אז הקבוצה [math]\displaystyle{ \{ab~|~a\in A, b\in B\} }[/math] היא בסיס ל-[math]\displaystyle{ L }[/math] כמרחב וקטורי מעל [math]\displaystyle{ F }[/math] והיא בעלת [math]\displaystyle{ [L:K][K:F] }[/math] איברים (זה לא טריוויאלי).

תכונה: אם [math]\displaystyle{ F }[/math] שדה אז כל חיתוך של תתי שדות של [math]\displaystyle{ F }[/math] הוא גם שדה.

הגדרה: נניח ש-[math]\displaystyle{ L }[/math] שדה ו-[math]\displaystyle{ F,K }[/math] תת שדות של [math]\displaystyle{ L }[/math]. הקומפוזיטום של [math]\displaystyle{ F,K }[/math] הוא תת השדה הקטן ביותר המכיל את [math]\displaystyle{ F,K }[/math]. הוא יסומן ב-[math]\displaystyle{ FK }[/math].

איברים אלגבריים וטרנסצנדנטים

הגדרה: תהי [math]\displaystyle{ K/F }[/math] הרחבת שדות ו-[math]\displaystyle{ a\in K }[/math]. האיבר [math]\displaystyle{ a }[/math] נקרא אלגברי מעל [math]\displaystyle{ F }[/math] אם קיים פולינום [math]\displaystyle{ f(x)\neq 0 }[/math] כך ש-[math]\displaystyle{ f(a)=0 }[/math]. אם לא קיים פולינום כזה, [math]\displaystyle{ a }[/math] נקרא טרנסצנדנטי מעל [math]\displaystyle{ F }[/math].

דוגמא: [math]\displaystyle{ \sqrt{2} }[/math] הוא אלגברי מעל [math]\displaystyle{ \mathbb{Q} }[/math] כי הוא מאפס את [math]\displaystyle{ x^2-2\in\mathbb{Q} }[/math]. לעומת זאת, ניתן להוכיח כי המספרים [math]\displaystyle{ e,\pi }[/math] הם טרנסצנדנטיים מעל [math]\displaystyle{ \mathbb{Q} }[/math].

הערה: לא קשה להראות כי כמות המספרים המרוכבים האלגבריים מעל [math]\displaystyle{ \mathbb{Q} }[/math] היא בת מנייה. לכן, בהכרח קיימים ב-[math]\displaystyle{ \mathbb{C} }[/math] (וגם ב-[math]\displaystyle{ \mathbb{R} }[/math]) איברים טרנסצנדנטיים. (זו הוכחה לא קונסטרוקטיבית לכך שקיימים מספרים טרנצנדנטיים).

דוגמא: יהיה [math]\displaystyle{ F }[/math] שדה ויהי [math]\displaystyle{ F(t) }[/math] שדה השברים של [math]\displaystyle{ F[t] }[/math]. קל לבדוק כי [math]\displaystyle{ t }[/math] טרנסצנדנטי מעל [math]\displaystyle{ F }[/math]. למעשה, כל איבר ב-[math]\displaystyle{ F(t)\setminus F }[/math] הוא טרנסצנדנטי.

הערה: אם [math]\displaystyle{ F\subseteq K\subseteq L }[/math] שדות ו-[math]\displaystyle{ a\in L }[/math] אלגברי מעל [math]\displaystyle{ F }[/math] אז הוא גם אלגברי מעל [math]\displaystyle{ K }[/math]. (נובע ישירות ע"י שימוש בהגדרה מכך ש-[math]\displaystyle{ F[x]\subseteq K[x] }[/math].)

הגדרה: הרחבת שדות [math]\displaystyle{ K/F }[/math] נקראת אלגברית אם כל איבר ב-[math]\displaystyle{ K }[/math] אלגברי מעל [math]\displaystyle{ F }[/math].

סימון: תהי [math]\displaystyle{ K/F }[/math] הרחבת שדות ו-[math]\displaystyle{ a\in K }[/math]. מסמנים [math]\displaystyle{ F[a]=\{f(a)~|~f\in F[x]\} }[/math].

טענה: תהי [math]\displaystyle{ K/F }[/math] הרחבת שדות ו-[math]\displaystyle{ a\in K }[/math]. אזי [math]\displaystyle{ a }[/math] אלגברי מעל [math]\displaystyle{ F }[/math] אם ורק אם המימד של [math]\displaystyle{ F[a] }[/math] כמרחב וקטורי מעל [math]\displaystyle{ F }[/math] סופי. במקרה זה [math]\displaystyle{ F[a] }[/math] שדה.

הוכחה: כוון אחד: נניח ש-[math]\displaystyle{ \dim_FF[a]=n\lt \infty }[/math]. אזי הקבוצה [math]\displaystyle{ \{1,a,a^2,\ldots,a^n\} }[/math] היא בגודל [math]\displaystyle{ n+1 }[/math] ולכן תלויה לינארית מעל [math]\displaystyle{ F }[/math]. לכן קיימים [math]\displaystyle{ \alpha_0,\alpha_1,\ldots,\alpha_n\in F }[/math], לא כולם 0, כך ש-[math]\displaystyle{ \alpha_0+\alpha_1a+\ldots+\alpha_na^n=0 }[/math]. אם נגדיר [math]\displaystyle{ f(x)=\alpha_0+\alpha_1x+\ldots+\alpha_nx^n\in F[x] }[/math] אז [math]\displaystyle{ f(x)\neq 0 }[/math] ובעצם הראינו [math]\displaystyle{ f(a)=0 }[/math]. לכן [math]\displaystyle{ a }[/math] אלגברי מעל [math]\displaystyle{ F }[/math].

כוון שני: נניח שקיים [math]\displaystyle{ f(x)\neq 0 }[/math] כך ש-[math]\displaystyle{ f(a)=0 }[/math]. נסמן [math]\displaystyle{ n=\deg f }[/math]. מספיק להראות ש-[math]\displaystyle{ \{1,a,a^2,\ldots,a^{n-1}\} }[/math] קבוצה פורשת (מעל [math]\displaystyle{ F }[/math]) ל-[math]\displaystyle{ F[a] }[/math]. יהי [math]\displaystyle{ b\in F[a] }[/math] אזי [math]\displaystyle{ b=g(a) }[/math] עבור [math]\displaystyle{ g(x)\in F[x] }[/math] כלשהו. קיימים פולינומים [math]\displaystyle{ q(x),r(x)\in F[x] }[/math] כך ש-[math]\displaystyle{ g(x)=q(x)f(x)+r(x) }[/math] וגם [math]\displaystyle{ \deg r\lt \deg f=n }[/math]. אזי [math]\displaystyle{ g(a)=q(a)f(a)+r(a)=r(a) }[/math] ו-[math]\displaystyle{ r(a)\in\mathrm{span}\{1,a,\ldots,a^{n-1}\} }[/math] כי [math]\displaystyle{ \deg r\lt n }[/math].

כדי לראות שבמקרה זה [math]\displaystyle{ F[a] }[/math] שדה, נשים לב ש-[math]\displaystyle{ F[a] }[/math] הוא תחום שלמות ממימד סופי מעל [math]\displaystyle{ F }[/math] ולכן סיימנו הודות לתרגיל הבא:

תרגיל: יהי [math]\displaystyle{ R }[/math] תחום שלמות ו-[math]\displaystyle{ F\subseteq R }[/math] שדה כך ש-[math]\displaystyle{ \dim_FR\lt \infty }[/math]. אזי [math]\displaystyle{ R }[/math] שדה. [רמז: לכל [math]\displaystyle{ r\in R }[/math] ההעתקה [math]\displaystyle{ x\mapsto rx }[/math] היא העתקה לינארית חד חד ערכית (מדוע?).]

מסקנה: אם [math]\displaystyle{ K/F }[/math] הרחבת שדות ממעלה סופית (כלומר [math]\displaystyle{ [K:F]\lt \infty }[/math] היא הרחבה אלגברית.

תרגילים - כדי לראות שהבנתם עד עכשיו

תרגיל: תהי [math]\displaystyle{ L/F }[/math] הרחבת שדות ו-[math]\displaystyle{ a_1,\ldots,a_n\in L }[/math] אלגבריים מעל [math]\displaystyle{ F }[/math]. הראו כי [math]\displaystyle{ F[a_1,\ldots,a_n] }[/math] שדה. הראו כי זה תת השדה הקטן ביותר המכיל את [math]\displaystyle{ F }[/math] ואת [math]\displaystyle{ a_1,\ldots,a_n }[/math]. (הערה: [math]\displaystyle{ F[a_1,\ldots,a_n] }[/math] מוגדר באופן אינדוקטיבי ע"י [math]\displaystyle{ F[a_1,\ldots,a_n]=F[a_1,\ldots,a_{n-1}][a_n] }[/math]. קיימות גם הגדרות שקולות אחרות.)

תרגיל: תהי [math]\displaystyle{ L/F }[/math] הרחבת שדות, [math]\displaystyle{ a_1,\ldots,a_n\in L }[/math] אלגבריים מעל [math]\displaystyle{ F }[/math] ו-[math]\displaystyle{ F\subseteq K\subseteq L }[/math]. הוכיחו כי הקומפוזיטום של [math]\displaystyle{ F[a_1,\ldots,a_n] }[/math] ו-[math]\displaystyle{ K }[/math] הוא [math]\displaystyle{ K[a_1,\ldots,a_n] }[/math].

איברים אלגבריים - מבט מעמיק

טענת עזר: תהי [math]\displaystyle{ K/F }[/math] הרחבת שדות ו-[math]\displaystyle{ a,b\in K }[/math] אלגבריים. אזי [math]\displaystyle{ F[a,b]/F }[/math] הרחבה אלגברית.

הוכחה: לפי טענה מקודם מספיק להראות ש-[math]\displaystyle{ [F[a,b]:F]\lt \infty }[/math]. מתקיים [math]\displaystyle{ [F[a,b]:F]=[F[a,b]:F[a]]\cdot [F[a]:F] }[/math] ולכן מספיק להראות סופיות של כל אחד מהגורמים במכפלה. לפי אותה טענה [math]\displaystyle{ [F[a]:F]\lt \infty }[/math] כי [math]\displaystyle{ a }[/math] אלגברי מעל [math]\displaystyle{ F }[/math]. בנוסף, [math]\displaystyle{ b }[/math] אלגברי מעל [math]\displaystyle{ F }[/math] ולכן גם מעל [math]\displaystyle{ F[a] }[/math]. כעת, אותה טענה גם אומרת כי [math]\displaystyle{ [F[a,b]:F[a]]\lt \infty }[/math] ולכן גמרנו.

מסקנה: אם [math]\displaystyle{ K/F }[/math] הרחבת שדות ו-[math]\displaystyle{ a,b\in F }[/math] אלגבריים מעל [math]\displaystyle{ F }[/math], אז גם [math]\displaystyle{ ab,a+b }[/math] אלגבריים מעל [math]\displaystyle{ F }[/math].

תרגיל: בהנחות של המסקנה, אם [math]\displaystyle{ a\neq 0 }[/math] אז גם [math]\displaystyle{ a^{-1} }[/math] אלגברי.

מסקנה: תהי [math]\displaystyle{ K/F }[/math] הרחבת שדות. נסמן ב-[math]\displaystyle{ A }[/math] את כל האיברים ב-[math]\displaystyle{ K }[/math] שאלגבריים מעל [math]\displaystyle{ F }[/math]. אזי [math]\displaystyle{ A }[/math] שדה. למעשה, [math]\displaystyle{ A }[/math] הוא תת השדה הגדול ביותר של [math]\displaystyle{ K }[/math] שאלגברי מעל [math]\displaystyle{ F }[/math].