Algebră universală

În matematică, o algebră universală este un ansamblu format dintr-o mulțime de bază și niște operații: $A=(\mathrm{\Omega },{\omega }_1,{\omega }_2,\dots ,{\omega }_n)$. Fiecare operație ${\omega }_j$ este o funcție ${\omega }_k:{\mathrm{\Omega }}^{k_j}\to \mathrm{\Omega }$, unde $k_j$ se numește aritatea (numărul de argumente) operației ${\omega }_j$, iar ${\mathrm{\Omega }}^{k_j}=\underset{k_j}{\underbrace{\mathrm{\Omega }\times \dots \mathrm{\Omega }}}$ este produsul cartezian al mulțimii domeniu de definiție cu ea însăși de $k_j$ ori.

De notat că este permis ca $k_j$ să fie 0. Astfel de „operații”, numite operații nulare sunt de fapt elemente speciale ale mulțimii de bază.

Exemple

• Un grup este o algebră universală cu 3 operații de arități respectiv 2, 0, 1.
  1. Prima operație (binară) este operația specificată ca lege de compoziție a grupului. Notația obișnuită este $a+b$ sau $a\cdot b$ în loc de ${\omega }_1(a,b)$. Trebuie să fie asociativă: $\mathrm{\forall }a,b,c\in \mathrm{\Omega },{\omega }_1({\omega }_1(a,b),c)={\omega }_1(a,{\omega }_1(b,c))$
  2. A doua operație (nulară) marchează elementul neutru. Trebuie să satisfacă proprietatea de element neutru: $\mathrm{\forall }a\in \mathrm{\Omega },{\omega }_1({\omega }_2,a)={\omega }_1(a,{\omega }_2)=a$
  3. A treia operație (unară) produce elementul simetric sau simetrizabil. Trebuie să satisfacă proprietatea de element simetrizabil:$\mathrm{\forall }a\in \mathrm{\Omega },{\omega }_1({\omega }_3(a),a)={\omega }_1(a,{\omega }_3(a))={\omega }_2$

• Un spațiu vectorial peste un corp K poate fi reprezentat printr-o algebră universală având cele trei operații de la grup plus câte o operație unară pentru fiecare element (scalar) al corpului K. Unui scalar $\alpha \in K$ îi va corespunde deci o operație unară ${\omega }_{\alpha }:\mathrm{\Omega }\to \mathrm{\Omega }$, notată de obicei $\alpha \cdot x$ în loc de ${\omega }_{\alpha }(x)$

Subalgebre ale unei algebre universale

O submulțime ${\mathrm{\Omega }}^{\prime }\subseteq \mathrm{\Omega }$ a mulțimii de bază se numește stabilă în raport cu operațiile algebrei universale A dacă pentru fiecare operație ${\omega }_j$, adică pentru fiecare j, are loc $\mathrm{\forall }{x}_1,\dots ,x_{k_j}\in {\mathrm{\Omega }}^{\prime },{\omega }_j(x_1,\dots ,x_{k_j})\in {\mathrm{\Omega }}^{\prime }$.

Orice sumbulțime ${\mathrm{\Omega }}^{\prime }$ a mulțimii de bază, stabilă în raport cu operațiile algebrei, determină o algebră universală ce are ca mulțime de bază acea mulțime și ca operații restricțiile la ${\mathrm{\Omega }}^{\prime }$ ale operațiilor algebrei: $A^{\prime }=({\mathrm{\Omega }}^{\prime },{\omega }_1^{\prime },{\omega }_2^{\prime },\dots ,{\omega }_n^{\prime })$, unde

${\omega }_j^{\prime }:({\mathrm{\Omega }}^{\prime }{)}^{k_j}\to {\mathrm{\Omega }}^{\prime },{\omega }_j^{\prime }(x_1,\dots ,x_{k_j})={\omega }_j(x_1,\dots ,x_{k_j})$.

O astfel de algebră $A^{\prime }$ se numește subalgebră a algebrei A.

Se poate demonstra că o intersecție arbitrară de subalgebre ale unei algebre universale este o subalgebră. (De fapt, orice intersecție de submulțimi ale mulțimii de bază ale algebrei, stabile în raport cu operațiile algebrei, este o submulțime stabilă în raport cu operațiile algebrei.) Altfel spus, subalgebrele unei algebre universale alcătuiesc un sistem de închidere.

Subalgebra generată de o mulțime

O submulțime $M\subseteq \mathrm{\Omega }$ a mulțimii de bază a unei algebre A nu este, în general, o subalgebră. Se poate pune problema care este „cea mai mică” subalgebră a lui A în care mulțimea de bază să includă mulțimea M. Există două construcții posibile, despre care se poate demonstra că duc la același rezultat:

1. Se iau toate mulțimile de bază ale subalgebrelor lui A ce conțin mulțimea M și se construiește intersecția lor.
2. Se notează $M_0=M$, se definește $M_1$ ca fiind $M_0$ la care se adaugă toate valorile ce se pot obține prin aplicarea operațiilor algebrei asupra elementelor lui $M_0$, se construiește asemănător $M_2$ pornind de la $M_1$ ș.a.m.d. În final, mulțimea de bază a subalgebrei va fi $\bigcup _{i=0}^{\mathrm{\infty }}{M}_i$.

Rezultatul oricăreia dintre construcțiile de mai sus se numește subalgebra generată de mulțimea M.

Relații de congruență

O relație binară $\equiv$ definită peste mulțimea $\mathrm{\Omega }$ se numește congruență dacă este o relație de echivalență și în plus satisface proprietatea că, pentru fiecare operație ${\omega }_j$ a algebrei, din compunerea de elemente congruente rezultă elemente congruente:

$\mathrm{\forall }{x}_1,\dots ,x_{k_j},y_1,\dots ,y_{k_j}\in \mathrm{\Omega }$, dacă $x_1\equiv y_1,\dots ,x_{k_j}\equiv y_{k_j}$ atunci ${\omega }_j(x_1,\dots ,x_{k_j})\equiv {\omega }_j(y_1,\dots ,y_{k_j})$

Ca orice relație de echivalență, o relație de congruență partiționează mulțimea $\mathrm{\Omega }$ în clase de echivalență. Pe mulțimea claselor de echivalență ale unei relații de congruență, se poate defini o structură de algebră universală numită algebră cât (de la cât=rezultatul împărțirii): $A^{\prime }=({\mathrm{\Omega }}^{\prime }=\mathrm{\Omega }{|}_{\equiv },{\omega }_1^{\prime },\dots ,{\omega }_n^{\prime })$ definind fiecare operație ${\omega }_j^{\prime }$ prin:

${\omega }_j(\widehat{x_1},\dots ,\widehat{x_{k_j}})=\widehat{{\omega }_j}(x_1,\dots ,x_{k_j})$

unde prin $\hat{x}$ se notează clasa de echivalență din care face parte x. De notat că corectitudinea definiției de mai sus a operațiilor se bazează pe faptul că din condiția de congruență rezultă că clasa lui ${\omega }_j(x_1,\dots ,x_{k_j})$ nu depinde de alegerea lui $x_1,\dots ,x_{k_j}$ în interiorul claselor lor.

Morfisme și izomorfisme

Două algebre universale A și $A^{\prime }$ sunt similare dacă au același număr de operații și operațiile de pe aceeași poziție au aceeași aritate. O funcție $f:\mathrm{\Omega }\to {\mathrm{\Omega }}^{\prime }$ definită între mulțimile de bază a două algebre universale similare este numită morfism dacă pentru fiecare operație funcția comută cu operația respectivă:

$\mathrm{\forall }{x}_1,\dots ,x_{k_j}\in \mathrm{\Omega },f({\omega }_j(x_1,\dots ,x_{k_j})={\omega }^{\prime }(f(x_1),\dots ,f(x_{k_j}))$

Compunerea a două morfisme este întotdeauna un morfism.

Un morfism care este funcție bijectivă se numește izomorfism. Dacă între două algebre universale se poate stabili un izomorfism, ele se numesc izomorfe. Două algebre universale izomorfe sunt de fapt aceeași structură algebrică: orice proprietate este valabilă între elementele primei structuri este valabilă și în cea de-a doua structură.

Morfismele, respectiv izomorfismele, între o algebră universală și ea însăși se numesc endomorfisme, respectiv automorfisme.

Morfisme, subalgebre și congruențe

Fiind dată o congruență într-o algebră universală, funcția ce asociază fiecărui element al mulțimii de bază a algebrei clasa de echivalență a acelui element este un morfism de la algebra inițială la algebra cât.

Imaginea unui morfism ($f(\mathrm{\Omega })=\{f(x):x\in \mathrm{\Omega }\}$) este o subalgebră a algebrei destinație a morfismului.

Pentru orice morfism f, dacă punem $x\equiv y$ dacă $f(x)=f(y)$, obținem o relație de congruență. Funcția care asociază fiecărui $\hat{x}\in \mathrm{\Omega }{|}_{\equiv }$ pe $f(x)$ este un izomorfism între algebra cât și subalgebra imagine a morfismului.

Vezi și

• Algebră peste un corp