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

לכל שדה יש סגור אלגברי, שהוא יחיד עד כדי [[איזומורפיזם (מתמטיקה)|איזומורפיזם]]. לכן אפשר לדבר על 'הסגור האלגברי', ב[[הא הידיעה]]. הסגור האלגברי שווה לשדה עצמו רק כאשר השדה כבר סגור אלגברית. כל [[שדה סגור אלגברית]] המכיל את F, מכיל גם את הסגור האלגברי של F. כאשר F שדה אינסופי הסגור האלגברי של שדה F הוא בעל אותה [[עוצמה (מתמטיקה)|עוצמה]] כמו של F. לדוגמה, הסגור האלגברי של [[שדה המספרים הרציונליים]] הוא [[שדה המספרים האלגבריים]], והסגור האלגברי של [[שדה המספרים הממשיים]] הוא [[שדה המספרים המרוכבים]]. לפי משפט של [[אמיל ארטין|ארטין]] ו- Schreier מ-1927, ה[[ממד (אלגברה לינארית)|ממד]] של הסגור האלגברי מעל השדה הוא 1, 2, או אינסוף.