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

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

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

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