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

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

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

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

{{אלגברה מופשטת}}

=== קטגוריה ===

* [https://en.wikipedia.org/wiki/Category_(mathematics) קטגוריה - הערך מויקי האנגלית].
* [https://arxiv.org/pdf/q-alg/9705009.pdf{{כ}} An Introduction to n-Categories].

==== הסבר כללי ====
* [https://books.google.co.il/books?id=GSi6BQAAQBAJ&pg=PA7&lpg=PA7&dq=mere+set+mathematics+definition&source=bl&ots=TMR7eFRxz7&sig=D5nTAOcARcWRonOK4-dd704TO4U&hl=iw&sa=X&ved=2ahUKEwjw_tLgq4HdAhUPdxoKHTjNBrEQ6AEwBHoECAYQAQ#v=onepage&q=mere%20set&f=false{{כ}} A MERE SET].
* [https://en.wikipedia.org/wiki/Mathematical_object עצם מתמטי - הערך מויקי האנגלית].
* [https://he.wikipedia.org/wiki/%D7%9E%D7%A9%D7%AA%D7%9E%D7%A9:Yoelpiccolo31/%D7%9E%D7%AA%D7%9E%D7%98%D7%99%D7%A7%D7%94/%D7%90%D7%9C%D7%92%D7%91%D7%A8%D7%94_%D7%90%D7%91%D7%A1%D7%98%D7%A8%D7%A7%D7%98%D7%99%D7%AA?veaction=editsource כל השרטוטים במקור זה נמצאים בדף: משתמש: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 (בעלי ממד אחד), כלומר: '''אינטרוולים''', או במדויק יותר: '''חיצים המקשרים בין נקודה אחת לרעותה'''.

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

[[קובץ:Composition of morphisms1.jpg|250px|ממוזער|ימין|<center>הרכבה של שני מורפיזמים{{ש}}(במקרה זה - צירוף שתי העתקות,{{ש}}המתבצעות על ידי שתי פונקציות: <math>f</math> ו- <math>g</math>)</center>]]

{{ש}}{{ש}}{{ש}}{{ש}}{{ש}}{{ש}}{{ש}}

[[קובץ:Commutative Diagram 2.jpg|ממוזער|ימין|<center>דיאגרמה קומוטטיבית 2</center>]]

{{ש}}{{ש}}{{ש}}{{ש}}{{ש}}{{ש}}{{ש}}{{ש}}{{ש}}

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

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

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

n-morphism מהווה יחס שקילות ("''equivalence''"){{הערה|[[יחס שקילות]], [https://en.wikipedia.org/wiki/Equivalence_relation יחס שקילות - ויקי העברית].}} אם הוא הפיך ("'' invertible''"), בעוד ש j-morphism עבור j<n מהווה יחס שקילות, אם הוא הפיך עד j + 1)-morphism) המהווה יחס שקילות.

* נתחיל מהמקרה הפשוט: [https://en.wikipedia.org/wiki/Strict_2-category {{כ}}Strict 2-category{{כ}} - הערך מויקי האנגלית].

{{אלגברה מופשטת|מוגבל=כן}}

[[קטגוריה:אלגברה מופשטת]]

=== דיאגרמה (תורת הקטגוריות) ===
[[דיאגרמה (תורת הקטגוריות)]], {{אנ|Commutative diagram}}.

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

=== מפה (מתמטיקה) ===
{{אנ|Map (mathematics)}}.

=== העתקה ליניארית ===
[[העתקה ליניארית]], {{אנ|Linear map}}.

=== מורפיזם ===

=== הומומורפיזם ===

=== איזומורפיזם ===

==== איזומורפיזם של גרפים ====
* [https://homepages.warwick.ac.uk/~masgar/Teach/2005_428/ מאגר הרצאות טובות מאוניברסיטת {{כ}}Warwick].
* [https://en.wikipedia.org/wiki/Graph_isomorphism איזומורפיזם של גרפים - הערך מויקי האנגלית].

=== אוטומורפיזם ===

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

=== קריטריון איזנשטיין ===
* [http://mathworld.wolfram.com/EisensteinsIrreducibilityCriterion.html קריטריון אייזנשטיין, מתוך וולפרם מתמטיקה]. 
* [https://en.wikipedia.org/wiki/Eisenstein%27s_criterion קריטריון אייזנשטיין - הערך מויקי האנגלית].

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

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

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

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

<math>Q\left (x  \right )=a_{n}\cdot x^{n}+a_{n-1}\cdot x^{n-1}+\cdots +a_{1}\cdot x+a_{0}</math> .


'''אם''' קיים מספר ראשוני <math>p</math> , המקיים את שלושת התנאים הבאים:


* <math>p</math> מחלק כל <math>a_{i}</math> , כך ש: <math>i\neq n</math> , או, למעשה: <math>i< n</math> .{{ש}}משמעות הדבר היא, שעל <math>p</math> לחלק את כל מקדמי הפולינום, מלבד המקדם של החזקה הגבוהה ביותר בו (או, במילים פשוטות: מלבד המקדם של סדר הפולינום).{{ש}}{{ש}}
* <math>p</math> לא מחלק את <math>a_{n}</math> (כלומר, אינו מחלק את מקדם החזקה הגבוהה ביותר של הפולינום, או בפשטות: אינו מחלק את המקדם של סדר הפולינום).{{ש}}{{ש}}
* <math>p^{2}</math> לא מחלק את <math>a_{0}</math> .


אזי הפולינום <math>\mathit{Q}</math> הנו אי פריק מעל שדה המספרים הרציונליים.

==== דוגמאות ==== 

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

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

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

<math>\mathit{Q\left (x  \right )=3x^{4}+15x^{2}+10}</math> .

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


* יחלק, '''ללא שארית''', את '''שני''' המקדמים הלא מובילים שלו,{{ש}}דהיינו: אנו צריכים למצוא מספר ראשוני, כך שיחלק הן את <math>15</math> והן את <math>10</math> - '''ללא שארית'''.{{ש}}{{ש}}המספר הראשוני היחיד, אשר עונה לדרישה הזו, הוא: <math>p=5</math> .{{ש}}{{ש}}כלומר, מצאנו מספר ראשוני <math>p</math> , אשר עונה על הדרישה הראשונה (מתוך שלוש). {{בוצע}}


* '''לא מחלק''' את מקדם האיבר המוביל '''ללא שארית''':{{ש}}{{ש}}<math>\frac{3}{p}=\frac{3}{5}=0\text{ }\mathbf{mod}\text{ } \mathbf{5}</math> .{{ש}}{{ש}}כלומר, לאחר החילוק נותרה שארית. {{בוצע}}


* ריבוע המספר הראשוני, <math>p^{2}=5^{2}=25</math> , '''אינו''' מחלק את מקדם האיבר האחרון, <math>10</math> , '''ללא שארית''':{{ש}}{{ש}}<math>\frac{10}{p^{2}}=\frac{10}{25}=0\text{ }\mathbf{mod}\text{ }\mathbf{25}</math> .{{ש}}{{ש}}כלומר, לאחר החילוק נותרה שארית. {{בוצע}}



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

לעתים קרובות, קריטריון אייזנשטיין אינו מתאים עבור כל מספר ראשוני <math>p</math> . אולם, הוא '''כן''' עשוי להתאים עבור מספר ראשוני כלשהו, באם נבצע החלפה (או, ליתר דיוק, העתקה) של הפולינום המקורי, כך שנציב בו <math>x+a</math> במקום כל <math>x</math> אשר קיים בו. '''כך יתקבל פולינום חדש, אשר ניתן להחיל עליו את קריטריון אייזנשטיין''' (כלומר, הפולינום לאחר ביצוע ההעתקה הנו אי פריק).{{ש}}כמו כן, העובדה שהפולינום החדש, לאחר ההעתקה, הנו אי פריק- מאפשרת לנו להסיק, שהפולינום המקורי אף הוא '''אי פריק'''.  

'''דוגמה''':

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

<math>\mathit{H_{1}=x^{2}+x+2}</math> , אשר מקדם ה- <math>\mathit{x}</math> שלו שווה <math>\mathit{1}</math> ; לפיכך, מקדם זה '''אינו ניתן לחלוקה על ידי אף מספר ראשוני''' (<math>\mathit{1}</math> איננו מספר ראשוני, רק מספרים השווים או הגדולים מ- <math>\mathit{2}</math>).{{ש}}(תזכורת: על פי הקריטריון, על המספר הראשוני לחלק, '''ללא שארית''', את '''שני''' המקדמים הלא מובילים שלו).{{ש}}מכאן נסיק, שלא ניתן להחיל על הפולינום <math>\mathit{H_{1}}</math> את קריטריון אייזנשטיין.{{ש}}אבל, נוכל לעשות זאת באמצעות החלפת כל ה- <math>\mathit{x}</math> ים בפולינום <math>\mathit{H_{1}}</math> ב- <math>\mathit{x+3}</math> - לקבלת פולינום חדש: <math>\mathit{H_{2}=x^{2}+7x+14}</math> .


<math>\mathit{H_{1}=x^{2}+x+2}\text{ }\xrightarrow[\text{in (x+3) , and we get: }]{\text{we replace all the (x)}} \mathit{H_{2}=x^{2}+7x+14}</math>


כעת, קריטריון אייזנשטיין '''מתקיים''', עבור: <math>p=7</math> .

עצם העובדה שאנו מקבלים פולינום אי פריק לאחר ביצוע ההחלפה (<math>\mathit{H_{2}}</math>) - מעיד על כך שגם הפולינום המקורי, <math>\mathit{H_{1}}</math> - הנו בלתי פריק.{{ש}}מסקנה זו נכונה, מאחר שההחלפה שביצענו מהווה [[אוטומורפיזם]] של החוג <math>\mathbf{Q}\left [\mathit{x}  \right ]</math> (למה?{{הבהרה}}).

=== קריטריון האי פריקות של קון ===
{{אנ|Cohn's irreducibility criterion}}.

=== משפט דיריכלה ===
[[משפט דיריכלה]], {{אנ|Dirichlet's theorem on arithmetic progressions}}.

=== משפט השאריות הסיני ===
{{אנ|Chinese remainder theorem}}.

=== המכנה המשותף המקסימלי ((Greatest common divisor (GCD) ===
{{אנ|Greatest common divisor}}.

=== אלגוריתם אוקלידס ===
{{אנ|Euclidean algorithm}}.

=== נוסחת ההיפוך של מביוס ===
[[נוסחת ההיפוך של מביוס]], {{אנ|Möbius inversion formula}}.

=== קונבולוציה ===
[[קונבולוציה]], {{אנ|Convolution}}.

=== יריעה ===
[[יריעה]], {{אנ|Manifold}}.

=== המשפט הקטן של פרמה ===
[[המשפט הקטן של פרמה]], {{אנ|Fermat's little theorem}}.

=== הומומורפיזם פרובניוס ===
[[הומומורפיזם פרובניוס]], {{אנ|Frobenius endomorphism}}. 

=== האוטומורפיזם של פרובניוס ===
[http://www-users.math.umn.edu/~garrett/coding/Overheads/23_proofs.pdf הוכחת משפטים הקשורים לפרובניוס, '''כולל האוטומורפיזם של פרובניוס'''].

=== תמורה (פרמוטציה) ===
[[תמורה (מתמטיקה)]], {{אנ|Permutation}}.

=== שדה פיצול ===
[[שדה פיצול]], {{אנ|Splitting field}}.

=== הרחבת שדות ===
[[הרחבת שדות]], {{אנ|Field extension}}.

=== נילפוטנטיות ===
[[איבר נילפוטנטי]], {{אנ|Nilpotent}}.

=== מושגים אחרים ===
{{אנ|Five lemma}}.