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

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

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

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

קטגוריה

• קטגוריה - הערך מויקי האנגלית.
• תבנית:כ An Introduction to n-Categories.

הסבר כללי

• תבנית:כ A MERE SET.
• עצם מתמטי - הערך מויקי האנגלית.
• כל השרטוטים במקור זה נמצאים בדף: משתמש:Yoelpiccolo31/Yoelpiccolo31/מתמטיקה/שרטוטים ב- LATEX.

מהי 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 (בעלי ממד אחד), כלומר: אינטרוולים, או במדויק יותר: חיצים המקשרים בין נקודה אחת לרעותה.

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

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

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

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

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

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

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

• נתחיל מהמקרה הפשוט: תבנית:כStrict 2-categoryתבנית:כ - הערך מויקי האנגלית.

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

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

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

מפה (מתמטיקה)

תבנית:אנ.

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

העתקה ליניארית, תבנית:אנ.

איזומורפיזם

איזומורפיזם של גרפים

• מאגר הרצאות טובות מאוניברסיטת תבנית:כWarwick.
• איזומורפיזם של גרפים - הערך מויקי האנגלית.

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

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

קריטריון איזנשטיין

• קריטריון אייזנשטיין, מתוך וולפרם מתמטיקה.
• קריטריון אייזנשטיין - הערך מויקי האנגלית.

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

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

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

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

הקריטריון

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

$Q\left(x\right)=a_n\cdot x^n+a_{n-1}\cdot x^{n-1}+\cdots +a_1\cdot x+a_0$ .

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

• $p$ מחלק כל $a_i$ , כך ש: $i\ne n$ , או, למעשה: $i<n$ .תבנית:שמשמעות הדבר היא, שעל $p$ לחלק את כל מקדמי הפולינום, מלבד המקדם של החזקה הגבוהה ביותר בו (או, במילים פשוטות: מלבד המקדם של סדר הפולינום).תבנית:שתבנית:ש
• $p$ לא מחלק את $a_n$ (כלומר, אינו מחלק את מקדם החזקה הגבוהה ביותר של הפולינום, או בפשטות: אינו מחלק את המקדם של סדר הפולינום).תבנית:שתבנית:ש
• $p^2$ לא מחלק את $a_0$ .

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

דוגמאות

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

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

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

$𝑄\left(x\right)\mathit{=}3{𝑥}^4\mathit{+}15{𝑥}^2\mathit{+}10$ .

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

• יחלק, ללא שארית, את שני המקדמים הלא מובילים שלו,תבנית:שדהיינו: אנו צריכים למצוא מספר ראשוני, כך שיחלק הן את $15$ והן את $10$ - ללא שארית.תבנית:שתבנית:שהמספר הראשוני היחיד, אשר עונה לדרישה הזו, הוא: $p=5$ .תבנית:שתבנית:שכלומר, מצאנו מספר ראשוני $p$ , אשר עונה על הדרישה הראשונה (מתוך שלוש). תבנית:בוצע

• לא מחלק את מקדם האיבר המוביל ללא שארית:תבנית:שתבנית:ש$\frac{3}{p}=\frac{3}{5}=0𝐦𝐨𝐝\mathrm{𝟓}$ .תבנית:שתבנית:שכלומר, לאחר החילוק נותרה שארית. תבנית:בוצע

• ריבוע המספר הראשוני, $p^2=5^2=25$ , אינו מחלק את מקדם האיבר האחרון, $10$ , ללא שארית:תבנית:שתבנית:ש$\frac{10}{p^2}=\frac{10}{25}=0𝐦𝐨𝐝\mathrm{𝟐}\mathrm{𝟓}$ .תבנית:שתבנית:שכלומר, לאחר החילוק נותרה שארית. תבנית:בוצע

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

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

דוגמה:

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

${𝐻}_1\mathit{=}{𝑥}^2\mathit{+}𝑥\mathit{+}2$ , אשר מקדם ה- $𝑥$ שלו שווה $1$ ; לפיכך, מקדם זה אינו ניתן לחלוקה על ידי אף מספר ראשוני ($1$ איננו מספר ראשוני, רק מספרים השווים או הגדולים מ- $2$).תבנית:ש(תזכורת: על פי הקריטריון, על המספר הראשוני לחלק, ללא שארית, את שני המקדמים הלא מובילים שלו).תבנית:שמכאן נסיק, שלא ניתן להחיל על הפולינום ${𝐻}_1$ את קריטריון אייזנשטיין.תבנית:שאבל, נוכל לעשות זאת באמצעות החלפת כל ה- $𝑥$ ים בפולינום ${𝐻}_1$ ב- $𝑥\mathit{+}3$ - לקבלת פולינום חדש: ${𝐻}_2\mathit{=}{𝑥}^2\mathit{+}7𝑥\mathit{+}14$ .

${𝐻}_1\mathit{=}{𝑥}^2\mathit{+}𝑥\mathit{+}2\underset{\text{in (x+3) , and we get: }}{\overset{\text{we replace all the (x)}}{\to }}{𝐻}_2\mathit{=}{𝑥}^2\mathit{+}7𝑥\mathit{+}14$

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

עצם העובדה שאנו מקבלים פולינום אי פריק לאחר ביצוע ההחלפה (${𝐻}_2$) - מעיד על כך שגם הפולינום המקורי, ${𝐻}_1$ - הנו בלתי פריק.תבנית:שמסקנה זו נכונה, מאחר שההחלפה שביצענו מהווה אוטומורפיזם של החוג $𝐐\left[𝑥\right]$ (למה?תבנית:הבהרה).

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

תבנית:אנ.

משפט דיריכלה

משפט דיריכלה, תבנית:אנ.

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

תבנית:אנ.

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

תבנית:אנ.

אלגוריתם אוקלידס

תבנית:אנ.

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

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

קונבולוציה

קונבולוציה, תבנית:אנ.

יריעה

יריעה, תבנית:אנ.

המשפט הקטן של פרמה

המשפט הקטן של פרמה, תבנית:אנ.

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

הומומורפיזם פרובניוס, תבנית:אנ.

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

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

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

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

שדה פיצול

שדה פיצול, תבנית:אנ.

הרחבת שדות

הרחבת שדות, תבנית:אנ.

נילפוטנטיות

איבר נילפוטנטי, תבנית:אנ.

מושגים אחרים

תבנית:אנ.