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

במתמטיקה, שדה $F$ הוא סגור אלגברית אם לכל פולינום לא קבוע עם מקדמים מ-$F$ קיים שורש ב-$F$.

דוגמאות

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

הסגור האלגברי של שדה סופי ממאפיין $p$ הוא האיחוד של כל השדות הסופיים מאותו מאפיין. לשדה המתקבל קוראים לפעמים $GF(p^{\infty })$.

הגדרות שקולות

שדה $F$ הוא סגור אלגברית אם ורק אם הוא מקיים את אחת התכונות השקולות הבאות:

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

חשיבות גאומטרית

בגאומטריה אלגברית, כאשר חוקרים מערכות משוואות מנקודת מבט גאומטרית, עובדים תמיד מעל שדה סגור אלגברית; גישה זו מסירה את ההפרעות האריתמטיות (שנובעות מאי-קיום שורשים לפולינומים או למערכות של פולינומים), ומותירה רק את האופי הגאומטרי שלהם. לדוגמה, כאשר עוסקים במספרים רציונליים, הקו הישר $y=x$ אינו נחתך עם המעגל $x^{2}+y^{2}=1$ (משום שנקודות החיתוך $x=y=\pm {\frac {\sqrt {2}}{2}}$ אינן רציונליות). שתי נקודות החיתוך מופיעות כאשר עוברים לסגור האלגברי.

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

• שדה סגור אלגברית, באתר MathWorld (באנגלית)