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

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

מספר היוצרים המינימלי תמיד חסום מלמטה על ידי ממד קרול. במילים אחרות, אם <math>A</math> חוג מקומי עם אידיאל מקסימלי <math>m</math>, אז מספר היוצרים של <math>m</math> הוא לפחות המימד <math>\operatorname{dim}A</math>, והחוג רגולרי אם אפשר למצוא לאידיאל המקסימלי <math>\operatorname{dim}A</math> יוצרים. מספר היוצרים המינימלי של <math>m</math> שווה ל[[ממד (אלגברה ליניארית)|ממד]] של <math>m/m^2</math> כ[[מרחב וקטורי|מרחב הווקטורי]] מעל שדה השאריות <math>k=A/m</math>.

חוגים מקומיים רגולריים הוגדרו לראשונה על ידי [[וולפגנג קרול]], אך חשיבותם הרבה התגלתה בעבודתו של [[אוסקר זריצקי]] אשר הראה כי מבחינה [[גאומטריה|גאומטרית]], חוגים מקומיים רגולריים מתאימים לנקודות חלקות על [[יריעה אלגברית|יריעות אלגבריות]]: נניח כי <math>Y</math> היא יריעה אלגברית המוכלת ב[[המרחב האפיני|מרחב האפיני]] ה-<math>n</math>-ממדי, ונניח כי <math>Y</math> מוגדרת להיות האפסים המשותפים של ה[[פולינום|פולינומים]] <math>f_1,\cdots,f_m</math>. אם <math>P</math> נקודה ב-<math>Y</math>, אומרים כי <math>Y</math> היא '''לא-סינגולרית''' ב''-''
<math>P</math> אם מתקיים תנאי ה[[יעקוביאן]]: אם <math>M=\partial f_i \partial x_j</math> היא [[מטריצה|מטריצת]] ה[[נגזרת חלקית|נגזרות החלקיות]] של המשוואות המגדירות את היריעה אז [[דרגה (אלגברה ליניארית)|דרגת]] <math>M</math> שווה ל''-''<math>n-dim Y</math>. זריצקי הוכיח כי <math>Y</math> לא סינגולרית בנקודה <math>P</math> אם ורק אם החוג המקומי של <math>Y</math> ב''-''<math>P</math> הוא חוג מקומי רגולרי. בפרט, נובע מכך כי העובדה שנקודה על יריעה היא חלקה תלויה רק ביריעה עצמה ולא בשיכון זה או אחר שלה במרחב האפיני. כמו כן, עובדה זו מרמזת על כך שלחוגים מקומיים רגולריים יש תכונות "טובות" המקלות על עבודה איתם, אך בטרם הוצגו טכניקות מ[[אלגברה הומולוגית]] הוכחו רק תוצאות מעטות בכיוון זה. לאחר ששיטות הומולוגיות הומצאו ב[[שנות ה-50 של המאה ה-20]], Auslander ו-Buchsbaum הוכיחו כי כל חוג מקומי רגולרי הוא [[תחום פריקות יחידה]].

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

אם <math>A</math> הוא חוג רגולרי אז [[חוג הפולינומים]] <math>A[x]</math> וחוג [[טור חזקות פורמלי|טורי החזקות הפורמליים]] <math>A[[x]]</math> גם הם רגולריים.

==דוגמאות==
* כל [[שדה (מבנה אלגברי)|שדה]] הוא חוג מקומי רגולרי. לשדות יש ממד קרול 0, ולמעשה השדות הם בדיוק החוגים המקומיים הרגולרים מממד 0.
* כל [[תחום הערכה דיסקרטית]] הוא חוג מקומי רגולרי מממד 1, וגם להפך - כל חוג מקומי רגולרי מממד 1 הוא תחום הערכה דיסקרטית.
* אם <math>p</math> הוא [[מספר ראשוני]], אז חוג [[השלמים ה-p אדיים]] הוא דוגמה לתחום הערכה דיסקרטית, ולכן חוג מקומי רגולרי, שאינו מכיל אף שדה.
* באופן כללי, אם <math>k</math> הוא שדה ו-<math>X_1,\dots,X_d</math> הם משתנים, אז <math>k[[x_1,\dots,x_d]]</math> הוא חוג מקומי רגולרי מממד קרול <math>d</math>.
* אם <math>\mathbb Z</math> הוא חוג ה[[מספר שלם|מספרים השלמים]] ו-<math>x</math> הוא משתנה אז החוג <math>{{\mathbb Z}[x]}_{(2,x)}</math> (ה[[לוקליזציה (תורת החוגים)|לוקליזציה]] של חוג הפולינומים עם מקדמים שלמים באידיאל זה) הוא דוגמה לחוג מקומי רגולרי מממד 2 שאינו מכיל שדה.

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

[[קטגוריה:תורת החוגים]]
[[קטגוריה:גאומטריה אלגברית]]