השינוי האחרון נעשה בֹ־16 בפברואר 2012 ב־15:47

שדה סופי

גרסה מ־15:47, 16 בפברואר 2012 מאת עוזי ו. (שיחה | תרומות) (יצירת דף עם התוכן "'''שדה סופי''' הוא - למה כבר אפשר לצפות - שדה סופי, כלומר, שדה שיש בו מספר סופי ...")

(הבדל) → הגרסה הקודמת | הגרסה האחרונה (הבדל) | הגרסה הבאה ← (הבדל)

שדה סופי הוא - למה כבר אפשר לצפות - שדה סופי, כלומר, שדה שיש בו מספר סופי של אברים.

הדוגמא המוכרת ביותר הם השדות מסדר ראשוני, \ \mathbb{Z}_p, אבל יש גם שדות סופיים אחרים.

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

סדרים אפשריים

המאפיין של שדה סופי הוא מספר ראשוני, p. השדה מכיל תת-שדה ראשוני שהוא איזומורפי ל-\ \mathbb{Z}_p. השדה הוא מרחב וקטורי מעל תת-השדה הזה, ומכיוון שיש לו ממד סופי, הוא איזומורפי *בתור מרחב וקטורי* ל-\ mathbb{Z}_p^n (התאור הזה קובע את פעולת החיבור, ולכן גם את המבנה כחבורה חיבורית, אבל לא את פעולת הכפל). מכאן שהגודל של שדה סופי הוא חזקה של ראשוני p.

קיום

לכל חזקת ראשוני \ q = p^n קיים שדה מסדר q.

הוכחה. נתבונן בפולינום \ x^{q}-x מעל השדה הראשוני \ F = \mathbb{Z}_p. יהי K שדה מפצל של הפולינום הזה. נתבונן בתת-הקבוצה \ K_0 = \{a \in K : a^q = a\}. קל לראות שהיא סגורה לכפל; והיא סגורה לחיבור בשל אוטומורפיזם פרובניוס. לכן זהו תת-שדה. יש בו בדיוק q אברים, בגלל צירוף הסיבות הבאות:

  1. מספר השורשים של הפולינום אינו יכול לעבור את המעלה;
  2. הפולינום ספרבילי ולכן אין לו שורשים חוזרים;
  3. הפולינום מתפצל ב-\ K_0 מכיוון שהוא מתפצל ב-K.

כדי לבנות באופן מפורש שדה מסדר \ q=p^n, יש להכיר פולינום אי-פריק \ f \in F[x] ממעלה n. במקרה זה, חוג המנה \ F[x]/F[x]f(x) הוא שדה מכיוון ש-\ F[x]f(x) אידיאל מקסימלי.

יחידות

העובדה שמכל סדר q יש לכל היותר שדה אחד נובעת מיחידות שדה הפיצול (טענה זו אינה בחומר לקורס "מבנים אלגבריים").