הרחבה נורמלית – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ בוט: מעביר קישורי בינויקי לויקינתונים - d:q2331395 |
←הגדרה: הרחבה |
||
שורה 12:
# לכל [[אוטומורפיזם]] <math>\sigma</math> ב[[חבורת גלואה האבסולוטית]] -<math>\ \operatorname{Gal}(\bar{F}/F)</math>, מתקיים <math>\sigma (K) = K</math>.
# לכל [[שיכון (מתמטיקה)|שיכון]] <math>\sigma</math> של K ב-<math>\bar{F}</math> מעל F, מתקיים <math>\sigma (K) = K</math>.
# מספר האברים ב[[חבורת גלואה]] <math>Gal K/F</math> הוא ה[[דרגה ספרבילית|דרגה הספרבילית]] של K מעל F. קרי, מספר השכונים של K ל <math>\barF</math>המרחיבים את השיכון הסתנדרטי של <math>F</math>.
# חבורת גלואה האבסולוטית של K [[תת-חבורה נורמלית|נורמלית]] בחבורת גלואה האבסולוטית של F.
| |||