שאלה (מצטער על הבורות): מה ההגדרה של חבורה חיבורית ותת חבורה חיבורית? תודה וחג שמח!!!
:כזכור, החוג הוא מבנה הכולל קבוצה ('תשתית') ושני סמלי פונקציה, 'חבור' ו'כפל', כך שלגבי פעולת החבור מדובר בחבורה אבלית [ולגבי הכפל מדובר במונואיד (אם בלי יחידה, אגודה) ה'מודבק' בעזרת פלוג על החבור]. חבורה זו נקראת 'החבורה החבורית' של אותו חוג. בהתאמה, תת-קבוצה של התשתית, או של 'קבוצת החוג' (יש בעיה לומר 'תת קבוצה של חוג' כי החוג איננו קבוצה) המהווה תת-חבורה לגבי החבור של החבורה החבורית של החוג, תקרא תת-חבורה חבורית.