אלגברה מופשטת על כוס קפה/רשימת מושגים1

רשימת מושגים חיוניים, והסבר של כל אחד מהם עריכה

עבור כל אחד מהמושגים הבאים, יובא:

  • הסבר אינטואיטיבי.
  • דוגמה או דוגמאות להמחשה.
  • במידת הצורך: הוכחת המשפט.

תבנית:אלגברה מופשטת

קטגוריה עריכה

הסבר כללי עריכה

מהי n-category ?

n-category הנו סוג של מבנה אלגברי, המורכב מ:

  • עצמים (אובייקטים) (ככל הנראה אבני הבסיס[דרושה הבהרה]


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


- חבורת האוטומורפיזמים שלו[דרושה הבהרה]


.

  • מורפיזמים בין עצמים (אובייקטים)- פעולות שונות שניתן לבצע בין אובייקטים שונים, והקשר בין אובייקטים אלו.
  • מורפיזמים בין שני מורפיזמים ("2-morphisms")- פעולות שונות שניתן לבצע בין שני מבנים שונים, המכונים "מורפיזמים"- והקשר בין שני מבנים אלו.
  • מורפיזמים בין n-morphisms - פעולות שונות שניתן לבצע בין n מבנים שונים, המכונים "מורפיזמים"- והקשר בין n מבנים אלו.

כל שלב מהווה "קופסה שחורה" של הסעיף הקודם, ומורכב מאברי הסעיף הקודם.

  • 0-category הנו קבוצה.
  • 1-category הנה קטגוריה. בקטגוריה מורפיזמים בקטגוריה עשויים להיות זהים זה לזה או שונים זה מזה. אין מושג המכונה: "מורפיזמים איזומורפיים".

ב- 2-category לא ניתן לדבר אודות 2-morphisms איזומורפיים. לשם כך, אנו צריכים לדעת פרטים אודות 3-category , וכן הלאה.

מושגים שונים של n-Category

על מנת להסביר את המושג של n-categories , נוח להשתמש באיורים.

  • אנו מתייחסים לאובייקטים כ- 0-dimensional (בעלי ממד אפס), כלומר: נקודות.
  • אנו מתייחסים למורפיזמים כ- 1-dimensional (בעלי ממד אחד), כלומר: אינטרוולים, או במדויק יותר: חיצים המקשרים בין נקודה אחת לרעותה.

באיור הבא, אנו מצרפים שתי העתקות שונות יחדיו- ליצירת העתקה חדשה:

 
הרכבה של שני מורפיזמים
(במקרה זה - צירוף שתי העתקות,
המתבצעות על ידי שתי פונקציות:   ו-  )








 
דיאגרמה קומוטטיבית 2










להסביר: isomorphism for equality, עבור n-categories, כאשר n הנו מספר גדול באופן שרירותי (גדול כרצוננו)[דרושה הבהרה]


.

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

כמו כן, נסקור מספר מושגים של n-category , בדגש על n-category "חלשות".

n-morphism מהווה יחס שקילות ("equivalence")[1] אם הוא הפיך (" invertible"), בעוד ש j-morphism עבור j<n מהווה יחס שקילות, אם הוא הפיך עד j + 1)-morphism) המהווה יחס שקילות.

תבנית:אלגברה מופשטת

דיאגרמה (תורת הקטגוריות) עריכה

דיאגרמה (תורת הקטגוריות), (אנ').

הערה: לא כל דיאגרמה היא קומוטטיבית, כפי שמצוין בערך העברי.

מפה (מתמטיקה) עריכה

(אנ').

העתקה ליניארית עריכה

העתקה ליניארית, (אנ').

מורפיזם עריכה

הומומורפיזם עריכה

איזומורפיזם עריכה

איזומורפיזם של גרפים עריכה

אוטומורפיזם עריכה

משוואת "החלום של פרשמן" עריכה

הערך: "החלום של פרשמן (מתמטיקה)" ("Freshman's dream") (אנ').

קריטריון איזנשטיין עריכה

מה זה? למה צריך את זה? ובמה זה עוזר לנו/מקדם אותנו? עריכה

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

פולינום אי פריק הנו פולינום אשר לא ניתן לכתבו כמכפלה של שני פולינומים כלשהם, שאינם קבועים, והם בעלי מקדמים רציונליים.

קריטריון זה אינו בר השמה עבור כל הפולינומים

הקריטריון עריכה

נניח שברשותנו הפולינום הבא, בעל מקדמים שהם מספרים שלמים:

  .


אם קיים מספר ראשוני   , המקיים את שלושת התנאים הבאים:


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

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

  •   לא מחלק את   .


אזי הפולינום   הנו אי פריק מעל שדה המספרים הרציונליים.

דוגמאות עריכה

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

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

נתון לנו הפולינום הבא:

  .

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


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

    המספר הראשוני היחיד, אשר עונה לדרישה הזו, הוא:   .

    כלומר, מצאנו מספר ראשוני   , אשר עונה על הדרישה הראשונה (מתוך שלוש).   בוצע


  • לא מחלק את מקדם האיבר המוביל ללא שארית:

      .

    כלומר, לאחר החילוק נותרה שארית.   בוצע


  • ריבוע המספר הראשוני,   , אינו מחלק את מקדם האיבר האחרון,   , ללא שארית:

      .

    כלומר, לאחר החילוק נותרה שארית.   בוצע


  • החלת קריטריון אייזנשטיין באופן עקיף (לאחר טרנספורמציה (העתקה)):

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

דוגמה:

נתון לנו הפולינום הבא:

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


 


כעת, קריטריון אייזנשטיין מתקיים, עבור:   .

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


).

קריטריון האי פריקות של קון עריכה

(אנ').

משפט דיריכלה עריכה

משפט דיריכלה, (אנ').

משפט השאריות הסיני עריכה

(אנ').

המכנה המשותף המקסימלי ((Greatest common divisor (GCD) עריכה

(אנ').

אלגוריתם אוקלידס עריכה

(אנ').

נוסחת ההיפוך של מביוס עריכה

נוסחת ההיפוך של מביוס, (אנ').

קונבולוציה עריכה

קונבולוציה, (אנ').

יריעה עריכה

יריעה, (אנ').

המשפט הקטן של פרמה עריכה

המשפט הקטן של פרמה, (אנ').

הומומורפיזם פרובניוס עריכה

הומומורפיזם פרובניוס, (אנ').

האוטומורפיזם של פרובניוס עריכה

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

תמורה (פרמוטציה) עריכה

תמורה (מתמטיקה), (אנ').

שדה פיצול עריכה

שדה פיצול, (אנ').

הרחבת שדות עריכה

הרחבת שדות, (אנ').

נילפוטנטיות עריכה

איבר נילפוטנטי, (אנ').

מושגים אחרים עריכה

(אנ').

  1. ^ יחס שקילות, יחס שקילות - ויקי העברית.