Відкрити головне меню

Універсальна алгебра (універсальна алгебра заданої сигнатури) — це множина, що називається носієм алгебри, з набором n-арних алгебраїчних операцій, що називаються сигнатурою алгебри. При цьому вважається що для n-арних операцій не задані ніякі аксіоми, які вони повинні задовільняти. Розглядаються тільки загальні властивості, що обумовлені сигнатурою.

Якщо ж для операцій деякої універсальної алгебри задано аксіоми, які повинні задовільняти її операції, то «універсальність» втрачається і вона перетворюється на алгебраїчну структуру.

Універсальна алгебра з однією алгебраїчною операцією називається магмою (чи групоїдом).

ЛітератураРедагувати