הצגת המקור של הדף "שדה טורי החזקות הפורמליים"

במתמטיקה, '''שדה טורי החזקות הפורמליים''' (נקרא גם '''השדה של טורי לורן''') מעל [[שדה (מבנה אלגברי)|שדה]] <math>F</math> הוא אוסף טורי החזקות הפורמליים מהצורה <math>\sum _{i=-N}^{\infty}{a_i x^i} </math>, עבור n כלשהו, כאשר המקדמים <math>a_i</math> שייכים ל-<math>F</math>. את שדה טורי החזקות הפורמליים מסמנים ב-<math>F(\!(x)\!)</math>. הוא מכיל את כל הפולינומים, ואף את [[שדה הפונקציות הרציונליות]] <math>F(x)</math>. שדה טורי החזקות הפורמליים מאפשר לחקור [[טור טיילור|טורי חזקות]] שמופיעים באנליזה, או [[פונקציה יוצרת|כאלו שמופיעים בקומבינטוריקה]], בכלים אלגבריים.

על שדה טורי החזקות הפורמליים מוגדרת הערכה, <math>\nu(f) = \min\{i | a_i\neq 0\}</math> (כאשר <math>f</math> טור מהצורה לעיל). זוהי [[הערכה בדידה]] <math>\nu {:} F(\!(f)\!) \rightarrow \mathbb{Z}</math>, והשדה [[שדה שלם|שלם]] ביחס אליה. חוג השלמים של ההערכה הוא '''חוג טורי טיילור''' <math>F[[x]]</math> הכולל את הסכומים הפורמליים לעיל עם <math>N\geq 0</math>. אידיאל ההערכה, שהוא האידיאל המקסימלי היחיד, כולל את הסכומים הפורמליים עם <math>N>0</math>. לכן '''שדה השאריות''' הוא <math>F</math>.

== משפטי מבנה ==
כאמור, <math>F(\!(x)\!)</math> שלם ביחס להערכה הבדידה הטבעית שלו. '''משפט המבנה''' עבור שדות שלמים עם הערכה בדידה קובע שכל שדה עם הערכה בדידה, שהוא שלם ביחס אליה, וכך שהמאפיין של שדה השאריות שווה למאפיין של השדה עצמו, הוא שדה טורי חזקות פורמליים מעל תת-שדה F. 

אם <math>u</math> בעל הערכה 1, אז אפשר להציב את <math>u</math> במקום <math>x</math> בכל טור חזקות. באופן הזה, <math>u</math> מגדיר אוטומורפיזם <math>f(x) \mapsto f(u)</math>. ב-1944 הוכיח Schilling שאוטומורפיזמים אלו מהווים את [[חבורת גלואה]] של <math>F(\!(x)\!)/F</math> במלואה.

ה[[תורה מסדר ראשון]] של שדות טורי החזקות הפורמליים במאפיין אפס, ידועה מאז שנות ה-60 (Ax-Kochen, Ershov). על התורה במאפיין p אין יודעים אפילו אם היא בת-חישוב (decidable). 

==קישורים חיצוניים==
* {{MathWorld}}

[[קטגוריה:תורת השדות]]