חוג עם חילוק

במתמטיקה, חוג עם חילוק הוא חוג (אסוציאטיבי) עם יחידה, שבו כל איבר שונה מאפס הוא הפיך. חוג קומוטטיבי (לא טריוויאלי) עם חילוק אינו אלא שדה. הדוגמה הראשונה והמוכרת ביותר לחוג עם חילוק שאינו שדה היא אלגברת הקווטרניונים של המילטון.

חוגים עם חילוק מופיעים באופן טבעי באלגברה (האסוציאטיבית) בזכות הלמה של שור: חוג האנדומורפיזמים של מודול פשוט הוא חוג עם חילוק. תוצאה זו היא המפתח לתורת המבנה של ארטין-ודרברן, המוכיחה בין השאר שכל חוג ארטיני פשוט הוא חוג של מטריצות מעל חוג עם חילוק (משפט ודרברן-ארטין).

בחקירת המבנה של חוגים עם חילוק, נקודת המוצא היא העובדה שהמרכז של חוג עם חילוק הוא שדה, ולכן החוג מהווה אלגברה מעל המרכז שלו. חוגים עם חילוק בעלי ממד סופי מעל המרכז, שהוא שדה, נלמדים יחד עם שאר האלגברות הפשוטות המרכזיות מעל אותו שדה. אחד הכלים המרכזיים לחקירת אלגברות חילוק מעל שדה נתון הוא חבורת בראוור של השדה.

גם בתאוריה של אלגברות לא אסוציאטיביות, המיון של אלגברות עם חילוק תופס מקום יסודי בתורת המבנה של כל מחלקה חשובה. תיאור מלא של אלגברות עם חילוק מממד סופי ידוע עבור אלגברות אלטרנטיביות, אלגברות ז'ורדן ואלגברות ריבועיות.

הקשר למחלקות אחרות של חוגיםעריכה

בחוג עם חילוק אין אידיאלים חד-צדדיים, ולכן כל חוג כזה הוא פשוט (ולכן פרימיטיבי, ולכן ראשוני). ישנם חוגים פשוטים שאינם חוגים עם חילוק (החוגים  , כאשר   חוג עם חילוק, הם פשוטים, אבל יש בהם מחלקי אפס). כל תת-חוג של חוג עם חילוק הוא תחום, ולכן חוג ראשוני. במקרה הקומוטטיבי, כל תחום שלמות מוכל בשדה. טענה זו אינה נכונה במקרה הלא-קומוטטיבי: ישנם תחומים לא-קומוטטיביים, שאינם ניתנים לשיכון בחוג עם חילוק (Malcev, 1938). כל חוג פרימיטיבי צפוף בחוג האנדומורפיזמים של מודול מעל חוג עם חילוק (זהו משפט הצפיפות של ג'ייקובסון). לפי משפט Cartan-Brauer-Hua, אין לחוג עם חילוק תת-חוגים הנשמרים תחת הצמדה (פרט לחוג עצמו, ולתת-החוגים המוכלים במרכז שלו).

מנקודת מבט נאיבית אפשר לראות בחוגים עם חילוק הכללה של שדות למקרה הלא קומוטטיבי, שהרי כל חוג קומוטטיבי עם חילוק הוא שדה. ואכן, חוג עם חילוק נקרא גם "שדה מעוות" (skew field) או אפילו סתם "שדה" (עם זאת, יש מחלקות טבעיות אחרות של חוגים לא קומוטטיביים שחיתוכן עם מחלקת החוגים הקומוטטיביים הם בדיוק שדות). לכל חוג קומוטטיבי (עם יחידה) יש חוגי מנה שהם שדות, ובאופן אנלוגי לזה, לכל חוג יש חוגי מנה פשוטים, אבל לאו דווקא מנות עם חילוק. לחוג אידיאלים חופשיים למחצה יש "שדה אוניברסלי", שהוא חוג מנה, עם חילוק, שיש הצבה (specialization; הצבה היא הטלה מתת-חוג מקומי שהגרעין שלה הוא האידיאל המקסימלי שלו) ממנו לכל מנה אחרת עם חילוק. מאחר שהאלגברה החופשית הקומוטטיבית היא חוג פולינומים, ניתן לראות באלגברה זו אנלוג לא-קומוטטיבי לשדה הפונקציות הרציונליות. עם זאת, לא כל איבר באלגברת החילוק הגנרית הוא מהצורה  , והצורה הכללית של איברים באלגברה הגנרית היא מסובכת בהרבה (רק לחוגים המקיימים את תנאי אורה יש שיכון בחוג חילוק, שבו כל איבר הוא מנה של איברים מן החוג המקורי).

לפי משפט גלפנד-מזור, אלגברות בנך מרוכבת שהיא אלגברת חילוק איזומורפית (איזומורפיזם איזומטרי) ל-  עצמו.

דוגמאותעריכה

אלגברה ליניארית מעל חוגים עם חילוקעריכה

חוגים עם חילוק קרובים לשדות במידה כזו שאפשר לפתח מעליהם חלקים גדולים של האלגברה הליניארית, לרבות המושגים מרחב וקטורי, מטריצה והעתקה ליניארית. כל המודולים מעל חוג עם חילוק הם חופשיים, ויש להם דרגה מוגדרת היטב (בדומה לממד של מרחבים וקטוריים). יוצא דופן חשוב הוא הדטרמיננטה - לא קיימת העתקה כפלית מן המטריצות מעל חוג עם חילוק אל החוג עצמו (אבל ראו דטרמיננטת דודונה). מטריצה בגודל   נקראת "מלאה" אם אי אפשר לפרק אותה למכפלה   שבה מספר העמודות ב-  קטן מ- . מעל חוג עם חילוק מטריצה היא מלאה אם ורק אם היא הפיכה (אבל מעל תחומי שלמות שאינם שדות ייתכן שמטריצה תהיה מלאה אף על פי שאינה הפיכה אפילו מעל שדה השברים).

חוגים עם חילוק בגאומטריה לא-קומוטטיביתעריכה

האובייקט המרכזי שנחקר בגאומטריה פרויקטיבית לא-קומוטטיבית הוא סכמות פרויקטיביות לא-קומוטטיביות, המוגדות באמצעות תחומים מדורגים, נותריים, בעלי ממד גלפנד-קירילוב סופי (ותכונות רגולריות נוספות). בדומה למתרחש בגאומטריה אלגברית קומוטטיבית, מועיל למיין יריעות עד כדי שקילות בירציונלית. לשם כך נחוץ 'שדה פונקציות' לא קומוטטיבי, שהוא חוג עם חילוק המתקבל באופן הבא: כאשר הופכים את אוסף האיברים ההומוגניים (השונים מאפס), מתקבל חוג חדש ורחב יותר, המדורג על ידי  , והמרכיב הומוגני שלו מדרגה אפס הוא חוג עם חילוק - זהו שדה הפונקציות הרציונליות הלא-קומוטטיבי של היריעה, המגדיר את מחלקת השקילות הבירציונלית שלה.

חוגים לא אסוציאטיביים עם חילוקעריכה

סעיף זה מטפל באלגברות לא אסוציאטיביות. חוג עם חילוק הוא חוג שבו כל אופרטור כפל מימין או משמאל הוא הפיך (כאופרטור), כלומר, לכל משוואה   או   (עם   שונה מאפס) יש פתרון יחיד. כמו במקרה האסוציאטיבי, המרכז[1] הוא שדה, וכל חוג עם חילוק הוא אלגברה (מעל המרכז שלו). בניגוד למקרה האסוציאטיבי, לחוג עם חילוק שאינו אסוציאטיבי לא מוכרח להיות איבר יחידה (באלגברת חילוק מממד סופי שהיא בעלת חזקה אסוציאטיבית בהחלט, יש איבר יחידה). כל חוג עם חילוק הוא פשוט. אם   אלגברה מממד סופי, אז היא אלגברה עם חילוק אם ורק אם אין לה מחלקי אפס; לכן, בממד סופי, אם כל אופרטורי הכפל משמאל הפיכים, אז   חוג עם חילוק.

בחוג עם חילוק (עם יחידה) כל האיברים הפיכים מימין ומשמאל. איבר   הוא הפיך אם יש   כך ש- . ההנחה ש-  הפיך אינה שקולה לכך שאופרטורי הכפל מימין או משמאל ב-  יהיו הפיכים. עם זאת, באלגברה אלטרנטיבית התכונות כן שקולות זו לזו, ואלגברה אלטרנטיבית שבה כל האיברים הפיכים היא אלגברה עם חילוק.

חוג עם חילוק סופי שהוא בעל חזקה אסוציאטיבית בהחלט, ממאפיין שונה מ-2, הוא שדה (זוהי הכללה של המשפט הקטן של ודרברן).

מעל הממשייםעריכה

תשומת לב מיוחדת הוקדשה לאלגברות חילוק מממד סופי מעל הממשיים, משום שחבורת האוטומורפיזמים של אלגברה כזו היא חבורת ליאלגברת לי הצמודה לה היא אלגברת הנגזרות של האלגברה המקורית).

באופן כללי הממד של אלגברה עם חילוק מממד סופי מעל שדה נתון אינו חסום (יש אלגברות חילוק מעל הרציונליים מכל ממד ריבועי). מעל הממשיים, לעומת זאת, המצב שונה בתכלית. פרובניוס הוכיח ב-1878 שיש רק שלוש אלגברות אסוציאטיביות עם חילוק בעלות ממד סופי מעל הממשיים: הממשיים עצמם, המרוכבים ואלגברת הקווטרניונים של המילטון. מקס צורן הראה ב-1931 שיש רק ארבע אלגברות אלטרנטיביות עם חילוק בעלות ממד סופי מעל הממשיים: שלוש האלגברות האסוציאטיביות, ואלגברת האוקטוניונים  ; כל אלה הן אלגברות קיילי-דיקסון[2] . לבסוף הוכיח היינץ הופף, בעזרת שיטות מתחום הטופולוגיה האלגברית, שהממדים המותרים לאלגברת חילוק (לא אסוציאטיבית) מעל הממשיים הם אך ורק 1,2,4,8 (השווה למשפט גלפנד-מזור ולמשפט Bott-Milnor).

בעיות פתוחות מרכזיותעריכה

אלגברות חילוק מממד אינסופיעריכה

  • בעיית קורוש לחוגים עם חילוק: האם חוג חילוק נוצר סופית (כאלגברה מעל המרכז) ואלגברי מוכרח להיות סוף-ממדי? (לפי 'הטריק של עמיצור', התשובה שלילית מעל שדה שאינו בן-מנייה.)
  • בעיית לטישב: האם חוג חילוק נוצר סופית כאלגברה מעל המרכז מוכרח להיות סוף-ממדי? (זוהי 'החלשה' של בעיית קורוש.)
  • בעיית Kolchin: האם תת-חבורה של   (כאשר   חוג עם חילוק) שכל אבריה יוניפוטנטיים (בעלי סדר כפלי סופי) צמודה לתת-חבורה של חבורת המטריצות המשולשות עליונות אשר האלכסון שלהם הוא 1? (הבעיה מיוחסת לבוריס פלוטקין ולקפלנסקי; נפתרה למאפיין אפס או למאפיין חיובי גדול דיו על ידי מוצ'יזוקי, ולמאפיין 2 על ידי Derakhsan.)
  • האם דרגת הטרנסצנדנטיות המקסימלית של תת-שדה של   (כאשר   חוג עם חילוק) שווה לדרגת הטרנסצנדנטיות המקסימלית של תת-שדה של   עצמו?[3]
  • בעיית ליכטמן: אם   חוג חילוק שאיננו שדה, האם החבורה הכפלית שלו מוכרחה להכיל תת-חבורה חופשית (לא אבלית)? (הוכח למחלקות שונות של חוגים עם חילוק, אך ללא פתרון מלא. עבור חוגים ממד סופי מעל המרכז, ההשערה נובעת מהאלטרנטיבה של טיטס; הוכח עבור חוגים שמרכזם לא בן-מנייה על ידי Chiba. הוכח עבור חוגי שברים של הרחבות Ore על ידי בל וגונצ'לבז.)
  • בעיית מקר-לימנוב: אם   אלגברת חילוק נוצרת סופית ואינסוף-ממדית מעל המרכז, האם   מוכרחה להכיל תת-אלגברה חופשית (לא קומוטטיבית)?

אלגברות חילוק מממד סופי[4]עריכה

  • בעיית הציקליות: האם כל אלגברת חילוק מדרגה   היא ציקלית?
  • האם כל אלגברת חילוק מאקספוננט (כלומר, סדר בחבורת בראוור) ראשוני היא מכפלה משולבת?
  • האם כל אלגברת חילוק שקולה (בחבורת בראוור) למכפלה טנזורית של אלגברות ציקליות מדרגות שמחלקות את האקספוננט שלה? (התשובה חיובית בכמה מקרים, ובפרט כאשר שדה הבסיס מכיל שורש פרימיטיבי  -י של היחידה, כאשר   הוא דרגת האלגברה.)
  • השערת עמיצור: אם שתי אלגברות חילוק בעלות אותה דרגה ויוצרות את אותה תת-חבורה של חבורת בראוור, אז שדות הפיצול הגנריים שלהן איזומורפיים.

מקורותעריכה

קישורים חיצונייםעריכה

הערות שולייםעריכה

  1. ^ בחוג לא אסוציאטיבי   המרכז כולל את האיברים   המקיימים  .
  2. ^ הוכחה של משפט צורן: Angel Oneto, Alternative Real Division Algebras of Finite Dimension, Divulgaciones Matematicas Vol. 10 No. 2(2002), pp. 161--169,
  3. ^ Amitsur and Small, POLYNOMIALS OVER DIVISION RINGS, Isr. J . Math. 31 (1978)
  4. ^ Auel, Brussel, Garibaldi, Vishne, OPEN PROBLEMS ON CENTRAL SIMPLE ALGEBRAS, Transformation Groups 16 (1), 219-264 (2011).