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

תוכן שנמחק תוכן שנוסף
Matanyabot (שיחה | תרומות)
מ בוט החלפות: \1מאחר ש
מ בוט: החלפת טקסט אוטומטית (-\[\[(.+)\|\1\]\] +\1)
שורה 16:
* [[כדור (טופולוגיה)|כדור היחידה הסגור]] <math>\,\{a \in F:\nu(a)\geq 0\}</math>, שהוא [[קומפקטיות|קבוצה קומפקטית]], מהווה תת-חוג של השדה, הנקרא '''חוג השלמים''' <math>\,\mathcal{O}</math>. [[שדה שברים|שדה השברים]] של <math>\,\mathcal{O}</math> הוא ''F'' עצמו.
* חבורת ה[[איבר הפיך|איברים ההפיכים]] בחוג השלמים <math>\,\mathcal{O}^{\times}</math> שווה ל[[ספירה (גאומטריה)|ספירת]] היחידה <math>\,\{a \in F: \nu(a)=0\}</math>.
* חוג השלמים הוא [[חוג מקומי]], שהאידאל המקסימלי שלו <math>\,\mathfrak{m}</math> שווה לכדור היחידה הפתוח <math>\,\{a\in F:\nu(a)>0\}</math>. זהו [[אידאל ראשי|אידאל ראשי]], ואם <math>\ \pi</math> יוצר שלו, אז כל איבר שונה מאפס בשדה אפשר לכתוב, באופן יחיד, כמכפלה <math>\ \pi^n u</math> כאשר u הפיך בחוג השלמים. היוצר מקיים את התכונה <math>\ \nu(\pi)=1</math>.
* חוג המנה <math>\, \bar{F}=\mathcal{O}/\mathfrak{m}</math> הוא [[שדה סופי|שדה סופי]] (מאחר שהוא קומפקטי ו[[טופולוגיה דיסקרטית|דיסקרטי]]), הנקרא '''שדה השאריות'''.
* כל כדור אפשר לפרק כאיחוד של <math>\ q=|\bar{F}|</math> כדורים מרדיוס קטן יותר; לפיכך, השדה הוא [[מרחב טופולוגי]] [[מרחב לא קשיר לחלוטין|לא קשיר לחלוטין]].