Abstraktná algebra

**Abstraktná algebra** je oblasť matematiky, ktorá študuje algebrické štruktúry ako sú grupy, okruhy, polia, moduly, vektorový priestor a algebry. Väčšina autorov v súčasnosti jednoducho píše *algebra* namiesto *abstraktná algebra*.

Termín *abstraktná algebra* sa dnes vzťahuje na štúdium všetkých algebrických štruktúr na rozdiel od elementárnej algebry zvyčajne vyučovanej v školách, ktorá učí správne pravidlá pre manipulačné vzorce a algebrické výrazy obsahujúce reálne a komplexné čísla a neznáme. Elementárnu algebra možno považovať za neformálny úvod do štruktúr známych ako reálne pole a komutatívna algebra.

Súčasná matematika a matematická fyzika intenzívne používajú abstraktnú algebru; napríklad teoretická fyzika čerpá z Lieových algebier. Oblasti ako algebrická teória čísel, algebrická topológia a algebrická geometria aplikujú algebrické metódy do iných oblastí matematiky. Teória reprezentácií, zjednodušene povedané, berie
'abstrakt' von z 'abstraktnej algebry', študujúc konkrétnu stránku danej štruktúry; pozrite modelová teória.

Dve matematické oblasti študujúce vlastnosti algebrických štruktúr chápaných ako celok sú univerzálna algebra a teória kategórií. Algebrické štruktúry spolu s asociovanými homomorfizmami tvoria kategórie. Teória kategórií je silný formalizmus na štúdium a porovnávanie rôznych algebrických štruktúr.

## Dejiny a príklady
Veľa základných algebrických štruktúr vzniklo najprv neformálne v iných oblastiach matematiky. Axiómy a primitívne operácie boli navrhnuté neskôr, čím sa štruktúra stala časťou abstraktnej algebry. Týmto spôsobom má abstraktná algebra veľa plodných spojení so všetkými ostatnými oblasťami matematiky.

Formálne definície určitých algebrických štruktúr začali vznikať v 19. storočí. Abstraktná algebra vznikla začiatkom 20. storočia pod názvom *moderná algebra*. Jej štúdium bolo súčasťou snahy o vyššiu intelektuálnu prísnosť v matematike. Zo začiatku predpoklady v klasickej algebre, od ktorých celá
matematika (a hlavné časti prírodných vied) závisia, mali podobu axiomatických systémov. Preto oblasti ako teória grúp a teória okruhov zaujali miesto v čistej matematike.

Príklady algebrických štruktúr s jedinou binárnou operáciou sú:
* grupoid,
* kvázigrupa,
* monoid, pologrupa a najdôležitejšia - grupa.

Komplikovanejšie príklady sú:
* okruh a pole
* modul a vektorový priestor
* algebra nad poľom
* asociatívna algebra a Lieova algebra
* sieťová a Boolova algebra
Príklady pozri pod algebrické štruktúry.

## Príklad
Abstraktná algebra podporuje štúdium vlastností a štruktúr, ktoré sa jasne odlišujú od matematických konceptov vo všeobecnosti. Napríklad uvažujme rôzne operácie skladanie funkcií - zloženej funkcie
*f*(*g*(*x*)), a maticové násobenie *AB*. Tieto 2 operácie majú fakticky rovnakú štruktúru. Na dôkaz uvažujte násobenie dvoch štvorcových matíc *AB* jedným stĺpcovým vektorom *x*. To definuje funkciu ekvivalentnú k skladaniu *Ay* s *Bx*: *Ay* = *A*(*Bx*) = (*AB*)*x*. Funkcie pod skladaním a matice pod násobením sú príklady monoidov. Množina *S* a binárna operácia z *S* označená zreťazením tvoria monoid, ak operácia asociuje, (*ab*)*c* = *a*(*bc*), a ak tu existuje *e* z *S*, že platí *ae* = *ea* = *a*.

## Pozri aj
* algebrická štruktúra
* univerzálna algebra
* teória kategórií
* Algebrická geometria

## Referencie (po anglicky)
* 
* 
* 
* 

Monografia zadarmo online:
* Burris, Stanley N., and H.P. Sankappanavar, H. P., 1981. *[http://www.thoralf.uwaterloo.ca/htdocs/ualg.html A Course in Universal Algebra.]* Springer-Verlag. ISBN 3-540-90578-2.

## Referencie