משפט ארטין-שרייר (שדות סדורים) – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
שדדשכ (שיחה | תרומות)
מ שדדשכ העביר את הדף משפט ארטין-שרייר ל־משפט ארטין-שרייר (שדות סדורים): יש עוד אחד
אין מקורות
שורה 1:
{{מקורות}}
ב[[תורת השדות]], '''משפט ארטין-שרייר''' קובע כי [[שדה (מבנה אלגברי)|שדה]] הוא [[שדה סדור|ניתן לסידור]] [[אם ורק אם]] <math>-1</math> איננו סכום של ריבועים בשדה, או בשקילות שה[[רמה של שדה|רמה]] שלו היא אינסוף. המשפט נקרא על שמם של ה[[מתמטיקאי|מתמטיקאים]]ם [[אוטו שרייר]] ו[[אמיל ארטין]], והוא מהווה משפט חשוב בתורת השדות הסדורים, ובעל שימושים במספר תחומים קרובים, ביניהם [[תבנית ריבועית|תבניות ריבועיות]].
 
==ניסוח==
שורה 5 ⟵ 6:
 
'''משפט ארטין-שרייר''' קובע כי השדה הוא ממשי פורמלית [[אם ורק אם]] הוא ניתן לסידור. יותר מכך, לכל איבר בשדה שאיננו סכום ריבועים, קיים סדר בו איבר זה שלילי.
 
 
{{קצרמר|מתמטיקה}}