חוג השלמים של אייזנשטיין

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

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

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

 טור אייזנשטיין 
סכום החזקות הרביעיות של כל ההופכיים של שלמי אייזנשטיין למעט 0 הוא:

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

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

כאשר E הם שלמי אייזנשטיין ו-G6 הוא טור אייזנשטיין ממשקל 6.

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

הערות שוליים

קטגוריה:מבנים אלגבריים יחידאים