חוגים – מבוא קצת יותר פורמלי

הגדרות בסיסיות אחרי פוסט המבוא שלי על חוגים, אני רוצה לתת פוסט קצת יותר פורמלי וקונקרטי, ועם קצת פחות נפנופי ידיים ויותר דוגמאות קונקרטיות. נתחיל מההגדרה הבסיסית: חוג (Ring) מורכב מקבוצה \(R\) ושתי פעולות בינאריות מעליה שאני מסמן ב-\(+\) וב-\(\cdot\) (את הכפל אני לרוב לא מסמן בכלל, כלומר במקום \(a\cdot b\) אני כותב \(ab\)). אנחנו …

בואו נמיין חבורות!

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

משפט ארבעת הריבועים של לגראנז'

אני רוצה לדבר על אחת מהתוצאות הנחמדות ביותר (לטעמי) בתורת המספרים האלמנטרית – משפט ארבעת הריבועים של לגראנז'. בפשטות, המשפט אומר שאפשר להציג כל מספר טבעי בתור סכום של ארבעה ריבועים של מספרים טבעיים (כש-0 נחשב למספר טבעי). הנה דוגמאות עבור המספרים הטבעיים מ-1 עד 7: $latex 1=1^{2}+0^{2}+0^{2}+0^{2}$ $latex 2=1^{2}+1^{2}+0^{2}+0^{2}$ $latex 3=1^{2}+1^{2}+1^{2}+0^{2}$ $latex 4=2^{2}+0^{2}+0^{2}+0^{2}$ $latex …