שינויים
* 29.4.2021 - בשעה 18:00
* 20.5.2021 - בשעה 18:00
* העליתי לכם תרגול השלמה ותרגיל בית המתאים לו. בתרגול הבא נעבור על הנושא בזריזות, לכן מומלץ לקרוא את התרגול ולעבור עליו לפני.
===בוחן 1===
בעמודי הקורס מהשנים הקודמות תוכלו למצוא מערכי תרגול ותרגילי בית נוספים. רוב התרגילים שהיו בתרגילים שלכם חופפים לכאלו שהיו בשנים הקודמות, אך יש מעט הבדלים. מבחינת בחנים, הבחנים של תשע"ח ושל תשע"ט שניהם מכסים את החומר שהגענו אליו. הבוחן של תשע"ז מתייחס גם לנושאים שפחות התעסקנו בהם. השאלות שכן בחומר הן שאלה 1 ושאלה 2ב' שאפשר לפתור בלי סעיף א' (וניסוח אלטרנטיבי לסעיף א': הוכיחו שבחוג <math>F[x]/\langle x^2\rangle</math> יש אידאל מקסימלי יחיד).
בהצלחה!
הבוחן השני יתקיים ביום חמישי, 20.5, בשעה 18:00 אם זה יתאפשר. החומר לבוחן: כל החומר עד תחומי שלמות לסוגיהם (כולל). כלומר: עד הרצאה 10 כולל ועד תרגול 7 כולל. אתם יכולים לתרגל את החומר מתרגילי הבית, לעבור על חוברת הקורס של פרופ' וישנה (יש בה הרבה תרגילים בכל הנושאים), ולהסתכל במבחנים משנים קודמות על השאלות בנושאים הרלוונטיים.
===בוחן 2 השני===
[[מדיה:88212quiz2b 2021B.pdf|טופס הבוחן]], ו[[מדיה:88212quiz2b 2021B-sol.pdf|פתרונו]].
המועד הנוסף לבוחן 2 הוא יום חמישי, 3.6, בשעה 18:00. החומר לבוחן: כל הנושאים שלמדנו בתורת החוגים, וההתחלה של נושא מודולים (כולל: הגדרות בסיסיות, משפטי האיזומורפיזם, מודולים פשוטים, מודולים ציקליים, מודולים נוצרים סופית, מודולים חופשיים). הנושא של מאפס ושל פיתול שלמדתם בהרצאה אינו בחומר לבוחן.
*[[מדיה:88212exe08 2021B.pdf|תרגיל 8]], [[מדיה:88212exe08 2021B sol.pdf|פתרון תרגיל 8]] יש טעות בשאלה 1ג - הכוונה הייתה לפולינום <math>2ix^5+17</math> ולא <math>2ix^5+71</math>. אבל אפשר להראות ששניהם אי-פריקים לפי אייזנשטיין; את אי-הפריקות של <math>2ix^5+17</math> מראים בפתרון המצורף, ואת אי-הפריקות של <math>2ix^5+71</math> אפשר להראות לפי קריטריון אייזנשטיין עם <math>p=71</math> (שימו לב שזהו באמת איבר ראשוני ב-<math>\mathbb{Z}[i]</math> לפי המיון מתרגיל 7. אחרת, היינו צריכים לפרק גם אותו למכפלה של שני איברים ראשוניים, ואז להשתמש באייזנשטיין עם אחד מהם)
*[[מדיה:88212exe09 2021B.pdf|תרגיל 9]], [[מדיה:88212exe09 2021B sol.pdf|פתרון תרגיל 9]]
*[[מדיה:88212exe10 2021B.pdf|תרגיל 10]], [[מדיה:88212exe10 2021B sol.pdf|פתרון תרגיל 10]]*[[מדיה:88212exe11 2021B.pdf|תרגיל 11]], [[מדיה:88212exe11 2021B sol.pdf|פתרון תרגיל 11]] (בשאלה 9ב, זו אכן הוכחה אם מוסיפים את ההנחה <math>L\subseteq M</math>. אם אין את ההנחה הזו, זו הפרכה)*[[מדיה:88212exe12 2021B.pdf|תרגיל 12]], [[מדיה:88212exe12 2021B sol.pdf|פתרון תרגיל 12]]הדרכה לשאלה 5: זו שאלה די טכנית, אז מספיק שתבדקו את אחד הערכים של <math>D</math> לצורך העניין. כדי למצוא את הפירוק, אפשר ללכת בשתי דרכים. האחת -- לנסות לפרק את האיבר המתאים (למשל <math>2</math> ב-<math>\mathcal{O}_{11}</math>), כי כל פירוק שלו הוא אוטומטית פירוק של האידאל. אחר כך לבדוק האם הגורמים ראשוניים, ואם לא - לנסות לפרק את האידאלים שלהם. אבל דרך קצת יותר ישירה: אנחנו יודעים ש-<math>P</math> מופיע בפירוק של אידאל <math>I</math> אם ורק אם <math>I\subseteq P</math>. ממשפט ההתאמה, אנחנו יודעים שכל אידאל כזה מתאים לאידאל מקסימלי של חוג המנה <math>\mathcal{O}_D/I</math>. אז אפשר לחשב את חוג המנה, למצוא את האידאלים המקסימליים שלו, וכך לחזור לאידאלים המקסימליים שמכילים את <math>I</math>.
==קבצי הרצאות==
*[[מדיה:88212_5781_Lecture18.pdf|הרצאה 18, 31.5.2021]]
*[[מדיה:88212_5781_Lecture19.pdf|הרצאה 19, 2.6.2021]]
*[[מדיה:88212_5781_Lecture20.pdf|הרצאה 20, 7.6.2021]]
*[[מדיה:88212_5781_Lecture21.pdf|הרצאה 21, 9.6.2021]]
*[[מדיה:88212_5781_Lecture22.pdf|הרצאה 22, 14.6.2021]]
*[[מדיה:88212_5781_Lecture23.pdf|הרצאה 23, 16.6.2021]]
*[[מדיה:88212_5781_Lecture24.pdf|הרצאה 24, 21.6.2021]]
*[[מדיה:88212_5781_Lecture25.pdf|הרצאה 25, 28.6.2021]]
*[[מדיה:88212_5781_Lecture26.pdf|הרצאה 26, 30.6.2021]]
==קבצי תרגולים==
*[[מדיה:8821202 lesson10 board 310521.pdf|תרגול 10, 31.5.2021]]
תיקון לטעות קטנה שאמרתי בתרגול: אם <math>R</math> תחום ראשי ו-<math>M</math> מודול נוצר סופית מעל <math>R</math>, הגדרנו אפימורפיזם <math>\pi:R^n\to M</math> (כאשר <math>x_1,\dots,x_n</math> יוצרים של <math>M</math>). טענתי ש-<math>\ker\pi</math> נוצר סופית. הסיבה לכך היא שהוא תת-מודול של <math>R^n</math>, ולפי הטענה מתחילת החלק הזה הוא בהכרח חופשי בעצמו ונוצר על ידי לכל היותר <math>n</math> איברים.
*[[מדיה:8821202 lesson11 board 070621.pdf|תרגול 11, 7.6.2021]], ולהלן [[מדיה:88212 modules over pid.pdf|מודולים מעל תחום ראשי - הסיפור הכמעט מלא]] עם הוכחות לחלק מהטענות שטענתי בתרגול. לשאלות / הערות / בקשות לגביו, מוזמנים לשלוח מייל.
*[[מדיה:8821202 lesson12 board 140621.pdf|תרגול 12, 14.6.2021]]
*[[מדיה:8821202 lesson13 board 210621.pdf|תרגול 13, 21.6.2021]]
בתרגול מופיעה הטענה שכל אידאל בתחום דדקינד נוצר על ידי לכל היותר שני איברים. הנה ניסוח קצת יותר טוב של תחילת ההוכחה: יהי <math>0\neq I\vartriangleleft R</math> אידאל לא אפסי, ויהי <math>0\neq a\in I</math>. נתבונן בפירוק <math>\left\langle a\right\rangle=P_1^{f_1}\cdots P_r^{f_r}</math> של <math>\left\langle a\right\rangle</math> לאידאלים ראשוניים, כאשר <math>f_i>0</math>. כיוון ש-<math>\left\langle a\right\rangle\subseteq I</math>, מתקיים <math>I\mid\left\langle a\right\rangle</math>, ולכן הפירוק של <math>I</math> למכפלת אידאלים ראשוניים הוא מהצורה <math>I=P_1^{e_1}\cdots P_r^{e_r}</math> כאשר <math>0\leq e_i\leq f_i</math> לכל <math>i</math>. עכשיו אפשר להמשיך כמו בתרגול: נבחר את האיבר <math>b</math> כמו שמצוין שם; האידאל <math>\left\langle a\right\rangle\subseteq\left\langle a,b\right\rangle</math>, ולכן גם הגורמים הראשוניים שלו הם <math>P_1,\dots,P_r</math>, ומראים שהחזקות הן <math>e_1,\dots,e_r</math> בהתאמה לפי הנימוק מהתרגול.
*[[מדיה:8821202 lesson14 board 280621.pdf|תרגול 14, 28.6.2021]]
==תשובות לשאלות מהתרגול==
