Algebra uniwersalna

Algebra uniwersalna^[1] – dział matematyki zajmujący się badaniem ogólnych struktur algebraicznych, nazywany również w niektórych publikacjach algebrą ogólną^[2]. Algebra uniwersalna wraz z teorią kategorii stanowią matematyczne podstawy teorii specyfikacji algebraicznych. Podstawowym pojęciem algebry uniwersalnej jest pojęcie algebry (nazywanej często algebrą uniwersalną; wtedy cały dział nazywa się algebrą ogólną^[3]), zbioru A wyposażonego w pewien zbiór ${\displaystyle \Omega }$ operacji n-arnych nazywany sygnaturą. Każda struktura algebraiczna (grupoid, półgrupa, grupa, pierścień, ciało itd.) jest pewną algebrą.

Niech ${\textstyle D=\operatorname {{\bigcup }\!\!\!{\cdot }\,} _{i=0}^{n}D_{i}}$ będzie rozłączną sumą zbiorów. Elementy zbioru ${\displaystyle D}$ nazywamy symbolami i interpretujemy jako symbole działań, przy czym ${\displaystyle d_{k}\in D_{k}}$ są symbolami działań ${\displaystyle k}$-argumentowych. Algebrą nazwiemy zbiór ${\displaystyle A}$ wraz z przyporządkowaniem każdemu symbolowi ${\displaystyle d_{k}\in D_{k}}$ ${\displaystyle k}$-argumentowego działania ${\displaystyle \phi _{k}\colon A^{k}\to A.}$ Bardzo często wygodnie jest utożsamiać symbole ${\displaystyle d_{k}}$ z działaniami ${\displaystyle \phi _{k}.}$

Algebrę można zdefiniować także w następujący sposób. Parę ${\displaystyle {\mathcal {F}}=(F,\mu ),}$ gdzie ${\displaystyle F}$ jest zbiorem, a ${\displaystyle \mu \colon F\to \mathbb {N} }$ nazywa się typem algebry. Parę ${\displaystyle {\mathcal {A}}=(A,F_{A})}$ nazywa się algebrą typu ${\displaystyle {\mathcal {F}}}$ jeśli zbiory ${\displaystyle F_{A}}$ i ${\displaystyle F}$ są równoliczne i każdemu ${\displaystyle f\in F}$ odpowiada ${\displaystyle f_{A}\in F_{A}}$ taki, że ${\displaystyle f_{A}\colon A^{\mu (f)}\to A.}$ Element ${\displaystyle f_{A}}$ nazywa się działaniem lub operacją ${\displaystyle \mu (f)}$-argumentową.

Podalgebrą algebry ${\displaystyle A}$ z działaniami ${\displaystyle F_{A}}$ nazywa się niepusty zbiór ${\displaystyle B\subseteq A}$ taki, że dla każdego działania ${\displaystyle \phi \in F_{A}}$ obcięcie ${\displaystyle \phi |_{B}}$ jest działaniem w ${\displaystyle B.}$

Relację równoważności ${\displaystyle \equiv }$ w algebrze ${\displaystyle A}$ nazywa się kongruencją jeśli dla każdego ${\displaystyle d_{k}\in D_{k}}$ i dla każdych ${\displaystyle x_{1},\dots ,x_{k},y_{1},\dots ,y_{k}\in A}$

${\displaystyle x_{1}\equiv y_{1}\wedge x_{2}\equiv y_{2}\wedge \ldots \wedge x_{k}\equiv y_{k}\Rightarrow d_{k}(x_{1},x_{2},\dots ,x_{k})\equiv d_{k}(y_{1},y_{2},\dots ,y_{k}).}$

Mając kongruencję ${\displaystyle \equiv }$ w algebrze ${\displaystyle A}$ można skonstruować algebrę tego samego typu co ${\displaystyle A.}$ Niech ${\displaystyle A/_{\equiv }}$ będzie zbiorem ilorazowym. Definiujemy ${\displaystyle B:=A/_{\equiv }}$ oraz ${\displaystyle \phi _{\equiv }\colon B^{k}\to B}$ wzorem

${\displaystyle \phi _{\equiv }([x_{1}],[x_{2}],\dots ,[x_{k}]):=[\phi (x_{1},x_{2},\dots ,x_{k})]}$

dla ${\displaystyle k}$-argumentowego działania ${\displaystyle \phi .}$ ${\displaystyle B}$ z tak zdefiniowanymi działaniami zazywamy algebrą ilorazową. Działania ${\displaystyle \phi _{\equiv }}$ są dobrze określone, tzn. nie zależą od wyboru reprezentantów ${\displaystyle x_{1},\dots ,x_{k}.}$

Homomorfizmem algebr ${\displaystyle A}$ i ${\displaystyle B}$ ze zbiorem symboli ${\textstyle D=\operatorname {{\bigcup }\!\!\!{\cdot }\,} _{i=0}^{n}D_{i}}$ nazywa się funkcję ${\displaystyle \phi \colon A\to B}$ taką, że dla każdego ${\displaystyle d_{k}\in D_{k}}$ i dla każdych ${\displaystyle x_{1},x_{2},\dots ,x_{k}\in A}$

${\displaystyle \phi (d_{k}(x_{1},x_{2},\dots ,x_{k}))=d_{k}(\phi (x_{1}),\phi (x_{2}),\dots ,\phi (x_{k})).}$

• algebra

• Burris, Stanley N., and H.P. Sankappanavar, H.P., 1981. A Course in Universal Algebra. Springer-Verlag. ISBN 3-540-90578-2. (monografia dostępna w sieci)
• А.Г. Курош: Общая алгебра. Лекции 1969-1970 учебного года. Wyd. 1. Наука, 1974. Brak numerów stron w książce
• Л. А. Скорняков: Элементы общей алгебры. Wyd. 1. Наука, 1983. Brak numerów stron w książce

• Elementy algebry uniwersalnej
• Eric W.E.W. Weisstein Eric W.E.W., Universal Algebra, [w:] MathWorld, Wolfram Research  (ang.). [dostęp 2023-06-01].