משפט ארטין-שרייר (שדות סדורים)

מתוך ויקיפדיה, האנציקלופדיה החופשית

בתורת השדות, משפט ארטין-שרייר קובע כי שדה הוא ניתן לסידור אם ורק אם איננו סכום של ריבועים בשדה, או בשקילות שהרמה שלו היא אינסוף. המשפט נקרא על שמם של המתמטיקאים אוטו שרייר ואמיל ארטין, והוא מהווה משפט חשוב בתורת השדות הסדורים, ובעל שימושים במספר תחומים קרובים, ביניהם תבניות ריבועיות.

ניסוח[עריכת קוד מקור | עריכה]

נאמר ששדהמאפיין לא 2) הוא ממשי פורמלית אם איננו סכום של מספר סופי של ריבועים בשדה, אחרת נאמר שהוא לא ממשי פורמלית. בשקילות, שדה הוא ממשי פורמלית כאשר הרמה שלו אינסופית.

משפט ארטין-שרייר קובע כי השדה הוא ממשי פורמלית אם ורק אם הוא ניתן לסידור. יותר מכך, לכל איבר בשדה שאיננו סכום ריבועים, קיים סדר בו איבר זה שלילי.

ראו גם[עריכת קוד מקור | עריכה]

שדה סגור ממשית

קישורים חיצוניים[עריכת קוד מקור | עריכה]

ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.