Universaalalgebra

Mitteformaalne definitsioon

n-aarne (algebraline) tehe hulgal A on funktsioon, mis võtab n elementi hulgast A ja annab ühe elemendi hulgast A.  0-aarne tehe ehk nullaarne tehe on lihtsalt hulga  A element ehk konstant, mida sageli tähistatakse tähega (näiteks a).  1-aarne tehe ehk unaarne tehe on lihtsalt funktsioon hulgast A hulka A, mida sageli tähistab sümbol argumendi ees, näiteks ~x. 2-aarset tehet ehk binaarset tehet tähistatakse sageli sümboliga argumentide vahel (näiteks x * y). Suurema või täpsustamata aarsusega tehet tähistatakse tavaliselt funktsioonisümbolitega ning argumendid pannakse sulgudesse ja eraldatakse komadega, näiteks f(x,y,z) või f(x₁,...,xₙ). Kasutatakse ka universaalset tähistusviisi, mille korral tehte sümbol
järgneb argumentide sümbolitele ja argumendid kirjutatakse järjest, ilma tühikute ja eraldavate märkideta.

Formaalne definitsioon

Universaalalgebra on järjestatud nelik (A, Σ, φ, ψ), kus A on hulk (universaalalgebra kandja), Σ on hulk, φ on kujutus hulgast Σ naturaalarvude hulka (Σ ja φ moodustavad universaalalgebra signatuuri) ning ψ on kujutus hulgast Σ kõikide algebraliste tehete hulka hulgal A, mis seab igale hulga Σ elemendile σ vastavusse tehte, mille aarsus on φ(σ).

Alternatiivne definitsioon

Universaalalgebra A on matemaatiline struktuur, mis koosneb suvalisest hulgast A, mida nimetatakse kandjaks ehk universumiks, ning lõplikust arvust hulgal A defineeritud algebralistest tehetest f(1),...,f(n) (sageli vaadeldakse ka lõpmatu paljude tehetega algebraid). Kui tahetakse välja tuua, millisest kandjast ja millistest tehetest algebra A koosneb, siis kirjutatakse A = <A, f(1),...,f(n)>. Seejuures mõeldakse hulgas A defineeritud algebralise tehte all mis tahes funktsiooni, mis kujutab hulga A mingi otseastme hulka A. Iga i=1, ..., n korral kehtib  f(i) : Aᵃ(i) → A, kus a(i) on kindel täisarv, mida nimetatakse tehte f(i) aarsuseks. Tehet f(i) nimetatakse sel juhul a(i)-aarseks tehteks.  0-aarne tehe on algebra A fikseeritud element (fikseeritud elemente nimetatakse ka konstantideks). Korteeži (a(1), ..., a(n)) nimetatakse selle algebra signatuuriks.

Samasused ja muutkonnad

Kui tehted (signatuur) on kindlaks määratud, saab vaadeldavate universaalalgebrate klassi täiendavalt piirata aksioomide abil, millel universaalalgebrate teoorias peab olema samasuste kuju. Näiteks binaarsete tehete puhul defineeritav assotsiatiivsuse aksioom on esitatav samasusena x * (y * z) = (x * y) * z. Peetakse silmas, et see samasus peab kehtima hulga A mis tahes elementide x, y ja  z korral.
Ühe ja sama signatuuriga universaalalgebrate klasse, mis on määratud ainult samasustega, nimetatakse muutkondadeks.

Universaalalgebrad ja mudelid

Universaalalgebraid võib vaadelda mudelitena, milles seosed puuduvad. Universaalalgebrat võib vaadelda mudeliteooria haruna, milles vaadeldakse ainult tehteid, mitte seoseid, ning milles nende klasse määratletakse ainult samasuste abil.

Universaalalgebrate teooria

Universaalalgebrate teooria uurib kõikide universaalalgebrate või nende suurte klasside ühiseid omadusi.

Algebraliste struktuuride kombinatsioonid teiste struktuuridega

Algebralisi struktuure saab defineerida ka hulkadel, millel on mittealgebralisi struktuure, näiteks topoloogilistel ruumidel. Näiteks topoloogiline rühm on topoloogiline ruum, millel rühma struktuur on defineeritud nii, et korrutamine ja pöördelemendi võtmise tehe on pidevad funktsioonid. Topoloogilisel rühmal on nii topoloogiline kui ka algebraline struktuur. Teised tuntud näited on topoloogilised vektorruumid ja Lie rühmad.

Universaalalgebrate kategooriad

Igale sama signatuuriga universaalalgebrate klassile vastab oma homomorfismimõiste: homomorfism on antud tehetega ühitatav funktsioon. Nõnda saame kategooriad, milles morfismideks on universaalalgebrate homomorfismid. Näiteks rühmade kategoorias on objektideks kõik rühmad ja morfismideks kõik rühmade homomorfismid. Seda kategooriat, mis on konkreetne kategooria, saab vaadelda hulkade kategooriana, millel on täiendav struktuur kategooriateoreetilises mõttes. Samamoodi võib topoloogiliste rühmade kategooriat (milles morfismideks on pidevad rühmade homomorfismid) vaadelda topoloogiliste ruumide kategooriana, millel on täiendav struktuur.