Algebrassa monoidin E tekijämagma E/R on monoidi, ja tätä sanotaan E:n tekijämonoidiksi. Tällöin kanoninen surjektion p : E → E / R {\displaystyle p:E\to E/R} on monoidihomomorfismi.[1] lähde?