Пусть на множестве
задана операция "умножения", обозначенная символом
и представленная таблицей умножения.
В произведении
первый сомножитель указывает строку таблицы, второй множитель – столбец таблицы, а произведение стоит на пересечении строки и столбца, например,
.
Известно также, что эта операция удовлетворяет аксиоме ассоциативности.
Тогда алгебраическая структура
является …