חוג (מבנה אלגברי)

מתוך ויקיפדיה, האנציקלופדיה החופשית

יש לך הודעות חדשות (השווה לגרסה הקודמת).

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

תורת החוגים, העוסקת במבנה של חוגים שונים, היא מן התחומים המרכזיים באלגברה.

[עריכה] הגדרה

הקבוצה $\ R$ וצמד הפעולות הבינאריות $\ +:R\times R \mapsto R$ ו- $\ \cdot:R\times R \mapsto R$ ( שיקראו חיבור וכפל בהתאמה) יקראו חוג אם הן מקיימות את האקסיומות הבאות $\ \forall x,y,z \in R$ :

החיבור הוא חילופי: $\ x+y = y+x$ .
החיבור והכפל הם אסוציאטיביים : $\ (x+y)+z = x+(y+z)$ ו- $\ (x\cdot y)\cdot z = x\cdot (y\cdot z)$ .
קיים $\ 0\in R$ כך ש: $\ x+0 = 0+x = x$ . איבר זה נקרא איבר האפס (או: 'האיבר האדיש לחיבור').
לכל $\ x\in R$ קיים איבר $\ (-x) \in R$ אשר מקיים: $\ x+(-x)=0$ . זהו האיבר הנגדי של $\ x$ .
קיים $\ 1\in R$ כך ש: $\ x\cdot 1 = 1\cdot x = x$ עבור כל $\ x\neq 0$ . איבר זה נקרא איבר היחידה (או: 'האיבר האדיש לכפל').
החיבור והכפל מקיימים את חוק הפילוג: $\ x\cdot (y+z) = x\cdot y+x\cdot z$ .

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

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

[עריכה] תכונות

[עריכה] תת חוג

תת קבוצה של חוג $\ S\subset R$ שהיא חוג בפני עצמה עבור אותן פעולות של החוג ואותם קבועים 0 ו- 1, תקרא תת חוג של החוג $\ R$ . למשל, חוג המספרים השלמים הוא תת-חוג של של שדה המספרים הרציונליים. אפשר להגדיר גם תת חוג-בלי-יחידה, שממנו אין דורשים להכיל איבר יחידה. לדוגמה, אוסף המספרים הזוגיים הוא תת חוג-בלי-יחידה של חוג המספרים השלמים.