שדה פיצול – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
(ח)
ברוקולי (שיחה | תרומות)
שורה 13:
כל שדה פיצול הוא [[הרחבת גלואה]] של שדה הבסיס.
 
== שדה פיצול של [[אלגברה פשוטה|אלגברה פשוטה מרכזית]] ==
 
אם A [[אלגברה פשוטה]] מממד סופי מעל ה[[מרכז (תורת החוגים)|מרכז]] שלה, F, אז לפי [[משפט ודרברן-ארטין]], היא איזומורפית ל[[אלגברת מטריצות|אלגברה של מטריצות]] מעל [[חוג עם חילוק|אלגברת חילוק]] D, שמרכזה F. אומרים שהאלגברה מפוצלת, אם D=F. שדה הרחבה K/F הוא '''שדה פיצול''', אם ה[[מכפלה טנזורית|מכפלה הטנזורית]] <math>\ A \otimes_F K</math> (שגם היא תמיד אלגברה פשוטה) היא אלגברת מטריצות (מעל K). כאן אין דרישה של מינימליות. לדוגמא, ה[[סגור אלגברי|סגור האלגברי]] של F הוא שדה פיצול לכל אלגברה פשוטה מרכזית מעל F.