נגזרת (אלגברה)

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה לניווט קפיצה לחיפוש

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

מחוק לייבניץ נובע, באינדוקציה, ש-.

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

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

נגזרת של אלגברות[עריכת קוד מקור | עריכה]

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

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

בניה זו מכלילה את הדוגמה החשובה של אלגברת וייל, שהיא .

גזירה אוניברסלית[עריכת קוד מקור | עריכה]

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

מקורות[עריכת קוד מקור | עריכה]

  • McConnel-Robson, Noncommutative Noetherian Rings, פרק 15.

ראו גם[עריכת קוד מקור | עריכה]