אז מה זה בעצם חוג?

סדרת הפוסטים שלי על אלגברה מופשטת התחילה עם המון פוסטים על חבורות. עכשיו סיימנו את הנושא הזה, פחות או יותר, ואנחנו עוברים אל הנושא המתבקש הבא: חוגים. אבל מה זה חוג? באופן שבו מלמדים את זה על פי רוב, חוג הוא "חבורה שהוסיפו לה עוד משהו". זו לא דרך התבוננות רעה; בפרט, היא מאפשרת לקחת …

משוואת פל

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

האלגוריתם האוקלידי וחוגים אוקלידיים

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

תורת המספרים האלגברית על קצה המזלג, חלק ד' – השיבה אל חוג השלמים

בפוסט הקודם הוכחתי שבכל חוג דדקינד קיים פירוק יחיד ברמת האידאלים. זה התקשר למה שדיברתי עליו קודם לכן בכך שכל חוג שלמים $latex \mathcal{O}_{K}$ של שדה מספרים $latex K$ הוא חוג דדקינד – טענה שטרם הוכחתי. בפוסט הזה אני רוצה להוכיח אותה, אבל קודם לכן אני רוצה לומר משהו על אחד מהדברים שמבדילים חוגי שלמים …

תורת המספרים האלגברית על קצה המזלג, חלק ג' – שובו של הפירוק היחיד

בפוסט הקודם הצגתי את הפתרון של דדקינד (שהלך בעקבות קומר) לבעיה של אי-פריקות יחידה בחוגי שלמים. הרעיון היה לעבור מדיבור על אברי החוג לדיבור על אידאלים של החוג – כשאידאל הייתה קבוצה של אברי החוג שסגורה לחיבור ו"בולעת" כפל באיבר כלשהו מהחוג. פורמלית, אם $latex R$ הוא חוג אז $latex I$ הוא אידאל אם לכל …

תורת המספרים האלגברית על קצה המזלג, חלק ב' – מתקפת האידאלים

בפוסט הקודם על תורת המספרים האלגברית תיארתי את "שדה המשחק" שלנו – שדה מספרים $latex K$ (הרחבה אלגברית סופית של $latex \mathbb{Q}$) וחוג השלמים שלו $latex \mathcal{O}_{K}$ (אוסף השלמים האלגבריים ב-$latex K$ – מספרים שמאפסים פולינום מתוקן במקדמים שלמים). חוגי שלמים צצים באופן טבעי בתורת המספרים – אמרתי שפתרון משוואת פל $latex x^{2}-dy^{2}=1$ שקול למציאת …

תורת המספרים האלגברית על קצה המזלג, חלק א' – מה זה חוג שלמים?

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

אז מה הקטע עם המשפט האחרון של פרמה?

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