הצגת המקור של הדף "חוג בזו"

ב[[תורת החוגים]], '''חוג בזו''' הוא [[חוג (מבנה אלגברי)|חוג]] [[חוג קומוטטיבי|קומוטטיבי]] <math>R</math> המקיים את "תכונת בזו": כל [[אידיאל (תורת החוגים)|אידיאל]] נוצר סופית הוא [[אידיאל ראשי]]. למעשה די להניח את התכונה עבור שני איברים (המקרה הסופי הכללי נובע באינדוקציה): לכל שני איברים <math>a,b</math> בחוג, קיים איבר <math>d</math> כך ש- <math>Ra + Rb = Rd</math>. 

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

== תכונות קרובות ==

פולינום מעל חוג קומוטטיבי <math>R</math>, שהוא מחלק אפס בחוג הפולינומים, הוא בעל '''תכולה מאפסת''' אם אפשר לפרק אותו כמכפלה <math>cf</math> כאשר <math>c</math> סקלר שהוא מחלק אפס, ו-<math>f</math> רגולרי. חוג קומוטטיבי מקיים את '''תכונת EM''' אם לכל פולינום מחלק אפס מעליו יש תכולה מאפסת. לחוג יש '''תכונת Armendariz''' אם מהשוויון <math>fg=0</math>, כאשר <math>f,g</math> פולינומים מעל החוג, נובע שכל מכפלות המקדמים הן אפס. כל חוג בזו הוא בעל תכונת EM, וכל חוג בעל תכונת EM הוא Armendariz.

== חוגים לא קומוטטיביים ==

תכונת בזו ניתנת להכללה לחוגים לא קומוטטיביים. ההכללה המיידית היא לחוגים שבהם כל אידיאל שמאלי (או ימני) נוצר סופית הוא ראשי. '''חוג הרמיט ימני''' הוא חוג שמעליו כל מטריצה <math>1 \times 2</math> דומה למטריצה מהצורה <math>(d\ 0)</math> (כלומר, יש מטריצה הפיכה <math>2 \times 2</math> המעבירה את הווקטור הנתון לצורה זו). בדומה אפשר להגדיר חוג הרמיט שמאלי. חוג הרמיט ימני ושמאלי נקרא '''חוג הרמיט'''. מעל חוג הרמיט שמאלי, כל מטריצה דומה ל[[מטריצה משולשית]]. הרמיטיות ימנית עוברת לחוגי מטריצות. תחום (חוג ללא מחלקי אפס) הוא חוג הרמיט אם ורק אם כל אידיאל שמאלי או ימני נוצר סופית הוא ראשי, וגם כל חיתוך של אידיאלים ראשיים (ימניים או שמאליים) הוא ראשי. חוג קומוטטיבי הוא הרמיט אם ורק אם הוא חוג בזו.

== מקורות ==
* Irving Kaplansky, ''Elementary Divisors and Modules'', Proc. AMS, 1949.

==קישורים חיצוניים==
* {{MathWorld}}

[[קטגוריה:טיפוסי חוגים|בזו]]