מונואיד (מבנה אלגברי) – הבדלי גרסאות

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