מספר פיתגורס
באריתמטיקה של שדות, מספר פיתגורס של שדה שווה למספר הריבועים הנחוץ להצגת כל סכום של ריבועים בשדה. מקובל לסמן את מספר פיתגורס של השדה F ב-p(F). כתכונות אריתמטיות רבות אחרות, מספר פיתגורס של שדות עשוי להיות קשה לחישוב. הערך של מספר פיתגורס הוא 1 אם ורק אם כל סכום של ריבועים הוא ריבוע, כלומר השדה הוא שדה פיתגורי.
מספר פיתגורס של שדות שאינם סדורים
אפשר לסדר שדה אם ורק אם 1- אינו סכום של ריבועים. אם השדה F אינו ניתן לסידור, הגובה שלו הוא מספר הריבועים הנחוץ להצגת 1-. ידוע שהגובה, s(F), הוא תמיד חזקה של 2. עבור שדות שאינם ניתנים לסידור, . מספר פיתגורס של שדה טורי לורן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \mathbb{C}((t))} הוא 2.
שדות מקומיים ושדות גלובליים
מספר פיתגורס של שדה המספרים הרציונליים הוא 4 (זהו משפט ארבעת הריבועים של לגרנז', בצירוף העובדה ש-7 אינו ניתן להצגה כסכום של שלושה ריבועים). בכל שדה מקומי, ובכל שדה מספרים שאינו ניתן לסידור, מתקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ p(F) = \operatorname{min}(s(F)+1,4)} . בשדה מספרים K הניתן לסידור, מספר פיתגורס הוא 3 אם לכל ראשוני דיאדי הממד של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ K_P} מעל שדה המספרים ה-2-אדיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \mathbb{Q}_2} זוגי, ו-4 אחרת.
הרחבות סופיות
אם K/F הרחבה סופית של שדות ניתנים לסידור, אז הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ 2 \leq p(K) \leq [K:F]\,p(F)} .
שדות פונקציות
ההתנהגות של מספר פיתגורס עם המעבר לשדה פונקציות אינה ברורה. לא ידוע אפילו האם סופי לכל שדה K שמספר פיתגורס שלו סופי.
חישוב מספר פיתגורס של שדה הפונקציות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ {\mathbb{R}}(x_1,\dots,x_n)} קשור בבעיה ה-17 של הילברט. ידוע שהמספר הזה אינו עולה על הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ 2^n} ; זה נכון לכל שדה שדרגת הטרנסצנדנטיות שלו מעל שדה סגור ממשית (כגון שדה הממשיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \mathbb{R}} ) היא n. ידוע ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ p(\mathbb{R}(x))=2} (ואפילו הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \tilde{p}(\mathbb{R})=2} , ראו להלן), ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ p(\mathbb{R}(x_1,x_2))=4} . עבור n>2 ידוע רק ש-.
בדומה לזה, ידוע ש- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ p({\mathbb{Q}}(x_1,\dots,x_n)) \leq 2^{n+1}} לכל n>=2 (Jansen). עבור n=1 ידוע ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ p({\mathbb{Q}}(x)) = 5} (Pourchet, 1971). באופן כללי יותר, לכל שדה מספרים ניתן לסידור K מתקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ p(K(x)) \geq p(K)+1} ; ולכל שדה מספרים K שאינו ניתן לסידור, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ p(K(x)) \geq s(K)+1} . עבור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ F={\mathbb{Q}}_{\operatorname{pyth}}} , הסגור הפיתגורי של שדה המספרים הרציונליים, .
מסמנים ב-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \tilde{p}(F)} את הסופרימום של מספרי פיתגורס של ההרחבות הטרנסצנדנטיות מדרגה 1 של F. ידוע ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \tilde{p}(F) = s(F)+1} אם F אינו ניתן לסידור; הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \tilde{p}(\mathbb{Q}) \in \{5,6\}} (Pop, 1971); הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \tilde{p}(\mathbb{R}((t)))=3} .
