Подумал, а ведь правильно рассказывать задания моноидов образующими и соотношениями самыми первыми, раньше, чем задания групп образующими и соотношениями. Иначе путаются две вещи: а) собственно, задания; б) канонические формы. В противном случае изложение захламляется техническими деталями и появляется ненужная путаница.