חוג רגולרי פון-נוימן

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

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

אידמפוטנטים 

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

לכל אידמפוטנט  בחוג רגולרי , גם  הוא רגולרי.

תכונות 

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

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

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

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

חוג קומוטטיבי הוא רגולרי פון-נוימן אם ורק אם כל המודולים הפשוטים שלו הם אינג'קטיביים (Kaplansky, 1956), אם ורק אם הוא ראשוני למחצה ובעל ממד קרול 1.

מושגים קרובים 

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

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

חוגים רגולריים למחצה 

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

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

מקורות 

 von Neumann regular rings, Goodearl, 1979, 1991.
 Rings and Things, Carl Faith, Chap. 4.

קישורים חיצוניים
 

תורת החוגים