Универсальная алгебра (алгебра конкретной сигнатуры) — это множество А, называемое носителем алгебры, снабжённое набором n-арных алгебраических операций на A, называемым сигнатурой алгебры. При этом не предполагается, что n-арные операции на A удовлетворяют каким-то аксиомам — в этом суть «универсальности» алгебры. Если же такие аксиомы имеются, универсальная алгебра называется алгебраической системой. Универсальная алгебра с одной алгебраической операцией называется группоидом.
Литература[]
- П. Кон «Универсальная алгебра», — М.: Мир, 1969, 351 с.
- "Общая алгебра, в 2-х томах (Серия: Справочная математическая библиотека)", В.А. Артамонов и др., под редакцией Л.А. Скорнякова, — М.: Наука, Физматлит, 1990-1991, 592 с. + 480 с.
et:Universaalalgebra pl:Algebra uniwersalna