dla każdych zachodzi
nazywa się półgrupą.
Grupa Algebrę w której działanie jest łączne, a ponadto dla każdego
nazywa się grupą.
Krata Krata to algebra w której a ponadto dla każdych 1. 2.3.4.
Podalgebra Podalgebrą algebry z działaniami nazywa się niepusty zbiór taki, że dla każdego działania obcięcie jest działaniem w
Kongruencje Relację równoważności w algebrze nazywa się kongruencją jeśli dla każdego i dla każdych
Algebra ilorazowa
Mając kongruencję w algebrze można skonstruować algebrę tego samego typu co Niech będzie zbiorem ilorazowym. Definiujemy oraz wzorem
dla -argumentowego działania z tak zdefiniowanymi działaniami zazywamy algebrą ilorazową. Działania są dobrze określone, tzn. nie zależą od wyboru reprezentantów
Homomorfizm algebr Homomorfizmem algebr i ze zbiorem symboli nazywa się funkcję taką, że dla każdego i dla każdych
Zobacz też algebra
Przypisy
Bibliografia Burris, Stanley N., and H.P. Sankappanavar, H.P., 1981. A Course in Universal Algebra. Springer-Verlag. . (monografia dostępna w sieci)
Linki zewnętrzne Elementy algebry uniwersalnej [dostęp 2023-06-01]. General algebra , Encyclopedia of Mathematics, encyclopediaofmath.org, [dostęp 2025-10-22].