Здесь показаны различия между выбранной ревизией и текущей версией данной страницы.
— |
tema:universalnoj_algebry [2009/01/10 03:17] (текущий) morar_11a создано |
||
---|---|---|---|
Строка 1: | Строка 1: | ||
+ | **Универсальная алгебра** (алгебра конкретной сигнатуры) — это множество A, называемое носителем алгебры, снабжённое набором n-арных алгебраических операций на A, называемым сигнатурой алгебры. При этом не предполагается, что n-арные операции на A удовлетворяют каким-то аксиомам — в этом суть «универсальности» алгебры. Если же такие аксиомы имеются, универсальная алгебра называется алгебраической системой. Универсальная алгебра с одной алгебраической операцией называется [[группоидом]]. |