Начало см. здесь.

Курош А.Г.  Лекции по общей алгебре.

Издание второе, М.: Наука, 1973, cc. 52 — .

Определение изоморфизма групп у А. И. Кострикина см. здесь. О важном для нас с точки зрения теории музыки примере изоморфизма двух групп см. у Ф. Клейна здесь. У А. Г. Куроша этот пример приведен ниже.

Определение группоидов см. здесь.