סגור אלגברי של שדה סופי

ערך זה דורש ידע מוקדם. אם אתם מתקשים להבין את הערך מומלץ לעיין ב:

שדה סופי סגור אלגברי

במתמטיקה שדות שהם סגור אלגברי של שדה סופי משחקים תפקיד חשוב בהבנת שדות ממאפיין חיובי ובגאומטריה אלגברית אריתמטית. סגורים אלגבריים של שדות סופיים מאותו המאפיין הם איזומורפיים. לכן די לחקור את הסגור האלגברי של השדה הסופי ${\mathbb{𝔽}}_p$ עבור כל $p$ ראשוני. שדה זה (שהוא יחיד עד כדי איזומרפיזם לא קאנוני) מסומן ב- ${\overline{\mathbb{𝔽}}}_p$. אם $q=p^n$ אז אפשר לסמן את אותו השדה גם ב -${\overline{\mathbb{𝔽}}}_q$. כמו כן, לפעמים מסמנים שדה זה ב- $GF(p^{\mathrm{\infty }})$ באנלוגיה עם הסימון $GF(p^n)$ עבור שדות סופיים (נקראים גם שדות גלואה)

בנייה

ככול סגור אלגברי, ניתן לבנות את ${\overline{\mathbb{𝔽}}}_p$ באמצעות הבנייה הכללית של סגור אלגברי. אולם בנייה זו איננה מפורשת ומשתמשת באקסיומת הבחירה. אולם, במקרה זה ישנן בניות מפורשות יותר שלא משתמשות באקסיומת הבחירה. לדוגמה, ניתן לבחור שיכון של ${\mathbb{𝔽}}_{p^{n!}}$ לתוך ${\mathbb{𝔽}}_{p^{(n+1)!}}$ לכול $n$ ואז להגדיר את ${\overline{\mathbb{𝔽}}}_p$ בתור איחוד עולה: $${\overline{\mathbb{𝔽}}}_p:=\bigcup _{n=1}^{\mathrm{\infty }}{\mathbb{𝔽}}_{p^{n!}}.$$ גם בנייה זו דורשת איסוף בחירות, הן השיכונים הנ"ל והן הבנייה עצמה של השדה הסופי ${\mathbb{𝔽}}_{p^{n!}}$ דורשת בחירה מסוימת, אולם לא קשה לבצע בחירות אלה באופן אחיד (אם כי שרירותי למדי) גם ללא שימוש באקסיומת הבחירה.

את הסידרה $n!$ אפשר להחליף בכל סידרה של מספרים טבעיים כך שכל איבר בסידרה מחלק את האיבר העוקב לו, וכך שכל מספר טבעי מחלק את אחד מאברי הסדרה.

תכונות

השדה ${\overline{\mathbb{𝔽}}}_p$ הוא שדה סגור אלגברית ממאפיין $p$. ככזה הוא שקול סדר ראשון לכל שדה סגור אלגברית ממאפיין $p$. יתר על כן, השדה ${\overline{\mathbb{𝔽}}}_p$ הוא הקטן ביותר בין השדות הסגורים אלגברית ממאפיין $p$. זאת במובן שעבור כל שדה $F$ סגור אלגברית ממאפיין $p$ קיים שיכון מ ${\overline{\mathbb{𝔽}}}_p$ ל-$F$. שיכון זה אינו קאנוני, אך תמונתו מוגדרת באופן יחיד.

חבורת האוטומורפיזמים של ${\overline{\mathbb{𝔽}}}_p$ היא חבורת גלואה האבסולוטית של ${\mathbb{𝔽}}_p$. זו איזומרפית לחבורה $\widehat{\mathbb{\mathbb{Z}}}$ - ההשלמה הפרו-סופית של $\mathbb{\mathbb{Z}}$.

תתי השדות של ${\overline{\mathbb{𝔽}}}_p$ הם בדיוק ההרחבות האלגבריות של ${\mathbb{𝔽}}_p$. בפרט הן כולן הרחבות גאלוה של ${\mathbb{𝔽}}_p$ וכולם שדות מושלמים. הם כולם גם איחודים של שדות סופיים.

שימושים

דוגמה טיפוסית לשדה סגור אלגברית ממאפין $p$

כיוון ש - ${\overline{\mathbb{𝔽}}}_p$ שקול סדר ראשון לכל שדה סגור אלגברית ממאפין $p$, כל טענה מסדר ראשון שמוכיחים בשבילו תקפה עבור כל שדה סגור אלגברית ממאפין $p$.

מאידך, ${\overline{\mathbb{𝔽}}}_p$ פשוט יותר משאר השדות האלה, למשל כיוון שהוא איחוד של שדות סופיים. זה מאפשר להוכיח טענות מסוימות עבורו ביותר קלות, ולהסיק אותם לשדות אחרים. לעיתים ניתן להרחיב הסקה זו לשדות שאינם סגורים אלגברית ואף שדות ממאפינים אחרים, לעיתים ניתן להרחיב שיטה זו אף לטענות שאינן מסדר ראשון.

דוגמה קלאסית לשימוש בשיטה זו היא משפט אקס-גרותנדיק.

כאמצעי לחקר שדות סופיים

באופן כללי, אחת הדרכים המקובלות לחקור שאלות ואובייקטים מעל שדה $k$ היא לחקור את אותם האבייקטים מעל הסגור האלגברי שלו (למעשה יש צורך בסגור הספרבילי, אך לשדות מושלמים זה אותו הדבר) ביחד עם פעולת חבורת גלואה עליהם. במקרה שהשדה k הוא ${\overline{\mathbb{𝔽}}}_p$ שיטה זו הופכת ליעילה אף יותר משתי סיבות:

• חבורת גלואה נוצרת על יד אוטומורפיזם אחד (בתור חבורה פרו-סופית). אוטומורפיזם זה נקרא אוטומורפיזם פרובניוס והוא מהווה העלאה בחזקת $p$.
• אוטומורפיזם פרובניוס הוא פולינום מהשדה לעצמו - זאת אומרת שניתן להביע אותו בעזרת פעולות השדה ויש לו משמעות עבור כל אלגברה מעל השדה.

היתרון השני שימושי במיוחד בגאומטריה אלגברית. הוא מאפשר להגדיר את הפרובניוס הגאומטרי. עבור כל יריעה $X$ המוגדרת מעל ${\mathbb{𝔽}}_p$ ניתן להגדיר יריעה $X_{{\overline{\mathbb{𝔽}}}_p}$ המוגדרת על ידי אותן המשוואות, אך מעל ${\overline{\mathbb{𝔽}}}_p$. הפרובניוס הגאומטרי הוא אנדומרפיזם של $X_{{\overline{\mathbb{𝔽}}}_p}$. עבור יריעה אפינית ניתן להגדיר אנדומרפיזם זה על ידי העלאה בחזקת $p$ את כל אחת מהקואורדינטות המתארות את הנקודה. קל להרחיב הגדרה זו להגדרה כללית.

בניה זאת יחודית להרחבה ${\overline{\mathbb{𝔽}}}_p/{\mathbb{𝔽}}_p$ ואין לה אנלוגיה להרחבה כללית $\overline{k}/k$. זאת בשונה מהפרובניוס האריתמטי שגם הוא פועל על היריעה $X_{{\overline{\mathbb{𝔽}}}_p}$, אך הוא אינו מורפיזם המוגדר מעל השדה ${\overline{\mathbb{𝔽}}}_p$ אלא רק מורפיזם המוגדר מעל ${\mathbb{𝔽}}_p$.

בשונה מהפרובניוס האריתמטי, הפרובניוס הגאמטרי אינו אוטומורפיזם. עם זאת, הוא פועל כאוטומורפיזם על קבוצת הנקודות $X({\overline{\mathbb{𝔽}}}_p)$.

ניתן להשתמש בפרבניוס הגאומטרי על מנת לחקור את קבוצת הנקודות $X({\mathbb{𝔽}}_p)$ באופן הבא: קבוצה זו היא קבוצת נקודות השבת של הפרובניוס הגאומטרי. רעיון זה עומד בבסיסן של השערות וייל (והוכחתן) ושל נוסחת גרותנדיק-ליפשיץ. ניתן להתאים רעיון זה לכל שדה סופי על ידי החלפת אנדומורפיזם פרבניוס בחזקה שלו (שגם נקראת לעיתים אנדומורפיזם פרבניוס).

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

• https://planetmath.org/algebraicclosureofafinitefield

הערות שוליים

תרשים מערכות מספרים ואובייקטים קשורים

מקרא   שדה.   חוג קמוטטיבי עם יחידה.   חוג עם חילוק.   מבנה כללי יותר.   קבוצה סופית   קבוצה בת מניה   קבוצה מעוצמת הרצף   מחלקה הגדולה מכדי להיות קבוצה שיכון העתקה על   איזומורפיזם לא קאנוני. העתקה שקיימת רק בחלק מהמקרים (בהתאם לבחירה של שדה המספרים $K$). ללא העתקות אלה וללא האיזומורפיזמים הלא קאנוניים, הדיאגרמה היא קומוטטיבית.             אלגברות קיילי-דיקסון אלגברות קיילי-דיקסון           מבנים ארכימדיים   $\mathbb{𝕆}$ $\mathbb{𝕆}$               $\mathbb{ℍ}$ $\mathbb{ℍ}$ מבנים אדליים ו - p-אדיים הסגור האלגברי של שדה המספרים הסוריאליסטיים הסגור האלגברי של שדה המספרים הסוריאליסטיים                                                                                                                                              $\overline{\mathbb{ℂ}(t)}$ $\overline{\mathbb{ℂ}(t)}$   $(t)$$\mathbb{ℂ}$ $(t)$$\mathbb{ℂ}$   $[t]$$\mathbb{ℂ}$ $[t]$$\mathbb{ℂ}$   $\mathbb{ℂ}$ $\mathbb{ℂ}$       ${\mathbb{ℂ}}_p$ ${\mathbb{ℂ}}_p$              מבנים ממאפיין חיובי              $\hat{\overline{{\mathbb{𝔽}}_p((t))}}$ $\hat{\overline{{\mathbb{𝔽}}_p((t))}}$                                                                         $\overline{\mathbb{\mathbb{Q}}(t)}$ $\overline{\mathbb{\mathbb{Q}}(t)}$   $(t)$$\overline{\mathbb{\mathbb{Q}}}$ $(t)$$\overline{\mathbb{\mathbb{Q}}}$     $[t]$$\overline{\mathbb{\mathbb{Q}}}$ $[t]$$\overline{\mathbb{\mathbb{Q}}}$     $\overline{\mathbb{\mathbb{Q}}}$ $\overline{\mathbb{\mathbb{Q}}}$             $\stackrel{‾}{{\mathbb{\mathbb{Q}}}_p}$ $\stackrel{‾}{{\mathbb{\mathbb{Q}}}_p}$                               $\overline{{\mathbb{𝔽}}_p(t)}$ $\overline{{\mathbb{𝔽}}_p(t)}$     $\overline{{\mathbb{𝔽}}_p((t))}$ $\overline{{\mathbb{𝔽}}_p((t))}$                                                       $\overline{\mathbb{\mathbb{Z}}}$ $\overline{\mathbb{\mathbb{Z}}}$                 ${\overline{\mathbb{𝔽}}}_p$ ${\overline{\mathbb{𝔽}}}_p$       $(t)$${\overline{\mathbb{𝔽}}}_p$ $(t)$${\overline{\mathbb{𝔽}}}_p$   $((t))$${\overline{\mathbb{𝔽}}}_p$ $((t))$${\overline{\mathbb{𝔽}}}_p$                                                               $K$ $K$     ${}_K$$\mathbb{𝔸}$ ${}_K$$\mathbb{𝔸}$   ${}_{\nu }$$K$$:=$$F$ ${}_{\nu }$$K$$:=$$F$   $L$ $L$                                               שדה מקומי ממאפיין חיובי $((t))$${\mathbb{𝔽}}_q$ שדה מקומי ממאפיין חיובי $((t))$${\mathbb{𝔽}}_q$                   ${{𝒪}}_K$ ${{𝒪}}_K$       $\widehat{{{𝒪}}_K}$ $\widehat{{{𝒪}}_K}$   ${{𝒪}}_F$ ${{𝒪}}_F$   ${{𝒪}}_F/{{𝒫}}_F$$=$ ${\mathbb{𝔽}}_q$ ${{𝒪}}_F/{{𝒫}}_F$$=$ ${\mathbb{𝔽}}_q$     $(t)$${\mathbb{𝔽}}_q$ $(t)$${\mathbb{𝔽}}_q$   שדה המספרים הסוריאליסטיים שדה המספרים הסוריאליסטיים                                       ${}_{real}$$\overline{\mathbb{ℝ}(t)}$ ${}_{real}$$\overline{\mathbb{ℝ}(t)}$   $(t)$$\mathbb{ℝ}$ $(t)$$\mathbb{ℝ}$   $[t]$$\mathbb{ℝ}$ $[t]$$\mathbb{ℝ}$   $\mathbb{ℝ}$ $\mathbb{ℝ}$                                                                                                                 $(t)$$\mathbb{\mathbb{Q}}$ $(t)$$\mathbb{\mathbb{Q}}$   $[t]$$\mathbb{\mathbb{Q}}$ $[t]$$\mathbb{\mathbb{Q}}$     $\mathbb{\mathbb{Q}}$ $\mathbb{\mathbb{Q}}$     ${}_{\mathbb{\mathbb{Q}}}$$\mathbb{𝔸}$ ${}_{\mathbb{\mathbb{Q}}}$$\mathbb{𝔸}$   ${\mathbb{\mathbb{Q}}}_p$ ${\mathbb{\mathbb{Q}}}_p$       $(t)$${\mathbb{𝔽}}_p$ $(t)$${\mathbb{𝔽}}_p$     $((t))$${\mathbb{𝔽}}_p$ $((t))$${\mathbb{𝔽}}_p$                                                                               $[t]$$\mathbb{\mathbb{Z}}$ $[t]$$\mathbb{\mathbb{Z}}$     $\mathbb{\mathbb{Z}}$ $\mathbb{\mathbb{Z}}$     $\widehat{\mathbb{\mathbb{Z}}}$ $\widehat{\mathbb{\mathbb{Z}}}$   ${\mathbb{\mathbb{Z}}}_p$ ${\mathbb{\mathbb{Z}}}_p$     ${\mathbb{𝔽}}_p$ ${\mathbb{𝔽}}_p$   $[t]$${\mathbb{𝔽}}_p$ $[t]$${\mathbb{𝔽}}_p$     $[[t]]$${\mathbb{𝔽}}_p$ $[[t]]$${\mathbb{𝔽}}_p$                           מספרים סודרים מספרים סודרים             $[t]$$\mathbb{\mathbb{N}}$ $[t]$$\mathbb{\mathbb{N}}$     $\mathbb{\mathbb{N}}$ $\mathbb{\mathbb{N}}$             $\mathbb{\mathbb{Z}}{|}_n$ $\mathbb{\mathbb{Z}}{|}_n$

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

סגור אלגברי של שדה סופי41735023