כל מה שרצית לדעת על חוג מקומי רגולרי:
במתמטיקה, ובמיוחד באלגברה קומוטטיבית ובגאומטריה אלגברית, חוג מקומי רגולרי הוא חוג מקומי נתרי בעל התכונה שמספר היוצרים המינימלי של האידיאל המקסימלי שלו שווה לממד קרול שלו.
כל חוג מקומי רגולרי הוא תחום פריקות יחידה.
מספר היוצרים המינימלי תמיד חסום מלמטה על ידי ממד קרול.
במילים אחרות, אם A {\displaystyle A} חוג מקומי עם אידיאל מקסימלי m {\displaystyle m} , אז מספר היוצרים של m {\displaystyle m} הוא לפחות המימד dim A {\displaystyle \operatorname {dim} A} , והחוג רגולרי אם אפשר למצוא לאידיאל המקסימלי dim A {\displaystyle \ \operatorname {dim} A} יוצרים.
מספר היוצרים המינימלי של m {\displaystyle m} שווה לממד של m / m 2 {\displaystyle m/m^{2}} כמרחב הווקטורי מעל שדה השאריות k = A / m {\displaystyle k=A/m} .
חוגים מקומיים רגולרים הוגדרו לראשונה על ידי וולפגנג קרול, אך חשיבותם הרבה התגלתה בעבודתו של אוסקר זריצקי אשר הראה כי מבחינה גאומטרית, חוגים מקומיים רגולרים מתאימים לנקודות חלקות על יריעות אלגבריות: נניח כי Y {\displaystyle Y} היא יריעה אלגברית המוכלת במרחב האפיני ה- n {\displaystyle n} -ממדי, ונניח כי Y {\displaystyle Y} מוגדרת להיות האפסים המשותפים של הפולינומים f 1 , ⋯ , f m {\displaystyle f_{1},\cdots ,f_{m}} .
אם P {\displaystyle P} נקודה ב Y {\displaystyle Y} , אומרים כי Y {\displaystyle Y} היא לא-סינגולרית ב- P {\displaystyle P} אם מתקיים תנאי היעקוביאן: אם M = (∂fi/∂xj) היא מטריצת הנגזרות החלקיות של המשוואות המגדירות את היריעה אז דרגת M {\displaystyle M} שווה ל- n − d i m Y {\displaystyle n-dimY} .
זריצקי הוכיח כי Y {\displaystyle Y} לא סינגולרית בנקודה P {\displaystyle P} אם ורק אם החוג המקומי של Y {\displaystyle Y} ב- P {\displaystyle P} הוא חוג מקומי רגולרי.
בפרט, נובע מכך כי העובדה שנקודה על יריעה היא חלקה תלויה רק ביריעה עצמה ולא בשיכון זה או אחר שלה במרחב האפיני.
כמו כן, עובדה זו מרמזת על כך שלחוגים מקומיים רגולרים יש תכונות "טובות" המקלות על עבודה איתם, אך בטרם הוצגו טכניקות מאלגברה הומולוגית הוכחו רק תוצאות מעטות בכיוון זה.
לאחר ששיטות הומולוגיות הומצאו בשנות ה-50 של המאה ה-20, Auslander ו-Buchsbaum הוכיחו כי כל חוג מקומי רגולרי הוא תחום פריקות יחידה.
תכונה נוספת הנובעת מאינטואיציה גאומטרית היא שביצוע לוקליזציה לחוג מקומי רגולרי צריכה לתת חוג מקומי רגולרי.
דוגמה לאינטרפרטציה גאומטרית של תכונה זו היא שאם משטח אלגברי מכיל עקום אלגברי, ואם העקום הוא חלק, אז סמוך לעקום גם המשטח הוא חלק.
גם תוצאה זו נשארה בלתי פתורה עד להצגתן של שיטות הומולוגיות.
ז'אן-פייר סר גילה אפיון הומולוגי של חוגים מקומיים רגולרים: חוג מקומי נתרי A {\displaystyle A} הוא רגולרי אם ורק אם יש לו ממד גלובלי סופי.
קל להראות כי התכונה של להיות בעל ממד גלובלי סופי נשמרת תחת לוקליזציה, ולפיכך לוקליזציה של חוג מקומי רגולרי באידיאל ראשוני היא שוב חוג מקומי רגולרי.
כמו כן, תכונה זו מאפשרת להגדיר את המושג חוג רגולרי עבור חוגים שאינם בהכרח מקומיים: חוג A {\displaystyle A} נקרא רגולרי אם הלוקליזציה שלו בכל אחד מהאידיאלים הראשוניים שלו נותנת חוגים מקומיים רגולרים.
תכונה זו שקולה לכך של- A {\displaystyle A} ממד גלובלי סופי.
אם A {\displaystyle A} הוא חוג רגולרי אז חוג הפולינומים A [ x ] {\displaystyle \,A[x]} וחוג טורי החזקות הפורמלים A [ [ x ] ] {\displaystyle \,A[[x]]} גם הם רגולרים.