Algebrická štruktúra: Rozdiel medzi revíziami

Smazaný obsah Přidaný obsah

V textu

Verzia z 16:47, 4. február 2018

V matematike, presnejšie v abstraktnej algebre, je algebrická štruktúra (iné názvy: algebra, algebrický systém, staršie algebraická štruktúra, algebraický systém) označenie pre množinu (nazývaná tiež nosná množina) spolu s jednou alebo viacerými operáciami definovanými na tejto množine, splňujúce nejakú sadu axiómov.^[1]

Algebrická štruktúra na množine A je teda daná dvoma množinami (môže sa definovať ako dvojica týchto množín):

množinou A, ktorú nazývame oborom algebrickej štruktúry alebo poľom algebrickej štruktúry. Podľa toho, či je konečná alebo nekonečná, nazýva sa algebraická štruktúra konečnou alebo nekonečnou.
Množinou operácií na množine A (aj táto množina môže byť nekonečná).

Príklady algebraických štruktúr zahŕňajú grupy, okruhy, pole, či zväzy. Zložitejšie štruktúry môžu byť definované predstavením viacerých operácií, rôznymi nosnými množinami, alebo zamieňaním definujúcich axióm. Príkladom komplexnejšej algebraickej štruktúry je vektorový priestor.

Vlastnosti špecifických algebraických štruktúr sa študujú v abstraktnej algebre. Všeobecná teória algebraických štruktúr bola formalizovaná odborom univerzálna algebra.

Úvod

Sčítanie a násobenie na číslach sú prototypickým príkladom operácií, ktoré kombinujú dva prvky z množiny na vyprodukovanie tretieho. Tieto operácie spĺňajú niektoré z algebraických vlastností (viď vlastnosti binárnych operácií). Napríklad a + (b + c) = (a + b) + c a a(bc) = (ab)c sú obe príkladom asociativity operácií sčítania, resp. násobenia. Ďalej a + b = b + a, a ab = ba sú príkladmi komutativity. Mnoho systémov študovaných matematikou má nad sebou definované operácie, ktoré majú niektoré (nie zákonite všetky) z takýchto vlastností.

Matematici množiny spolu s operáciami, ktoré spĺňajú niektoré takéto vlastnosti pomenovávajú a študujú ich ako algebraické štrutúry. Keď pre nejaký nový problém je možné ukázať, že spĺňa vlastnosti niektorej algebraickej štruktúry, všetka práca, ktorá bola v tejto kategórii urobená, môže byť aplikovaná aj na nový problém.

Vo všeobecnosti môžu algebraické štruktúry obsahovať ľubovoľný počet množín a operácií z rôznou aritou, tu sa však budeme zameriavať na algebraické štruktúry s binárnymi operáciami nad jednou množinou.

Druhy/príklady

Nasledujúce príklady rozhodne nie sú úplným výčtom algebraických štruktúr, ale sú mienené ako reprezentatívny zoznam a zahŕňajú najčastejšie štruktúry.

Grupoidné štruktúry

Štruktúry s jednou množinou a jednou operáciou.

Nech $G$ je množina a $\circ$ je binárna operácia na množine $G$ .

Grupoid je usporiadaná dvojica $(G,\circ )$ .
Pologrupa (alebo asociatívny grupoid) je grupoid, v ktorom je operácia $\circ$ asociatívna.
Monoid je pologrupa s neutrálnym prvkom $e\in G$
Grupa je monoid, v ktorom má každý prvok inverziu.

Vyššie uvedené štruktúry sa nazývajú komutatívne ak operácia $\circ$ je komutatívna.

Okruhové štruktúry

Štruktúry s jednou množinou a dvoma operáciami.

Nech $R$ je množina a $+$ a $\cdot$ sú binárne operácie na množine $R$ .

Okruh je trojica $(R,+,\cdot )$ $(R,+,\cdot )$ , kde $(R,+)$ $(R,+)$ je komutatívna grupa (tzv. Abelovská grupa), $(R,\cdot )$ $(R,\cdot )$ je monoid a pre všetky $a,b,c\in R$ $a,b,c\in R$ platí
- $a\cdot (b+c)=(a\cdot b)+(a\cdot c)$ (ľavá distributivita) a
- $(b+c)\cdot a=(b\cdot a)+(c\cdot a)$ (pravá distributivita).
Komutatívny okruh je taký okruh, že monoid $(R,\cdot )$ je komutatívny komutatívny.
Triviálny okruh je okruh $(\{0\},+,\cdot )$ kde $0$ je neutrálnym prvkom operácie $+$ .
Obor integrity je taký netriviálny komutatívny okruh, že pre všetky $a,b\in R$ platí: $a,b\not =0\Rightarrow a\cdot b\not =0$ (t.j. práve keď $(R*,\cdot )$ je grupoid).

Externé odkazy

FILIT – zdroj, z ktorého pôvodne čerpal tento článok.

Tento článok týkajúci sa matematiky je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš.

↑ P.M. Cohn. (1981) Universal Algebra, Springer, p. 41.

[1] P.M. Cohn. (1981) Universal Algebra, Springer, p. 41.

[1]

@@ Riadok 24: / Riadok 24: @@
 Nech <math>G</math> je množina a <math>\circ</math> je binárna operácia na množine <math>G</math>.
-*[[Grupoid]] je usporiadaná dvojica <math>(G,\circ)</math>.
+*'''[[Grupoid]]''' je usporiadaná dvojica <math>(G,\circ)</math>.
-*[[Asociatívny grupoid|Pologrupa]] (alebo asociatívny grupoid) je grupoid, v ktorom je operácia <math>\circ</math> [[Asociatívnosť|asociatívna]].
+*'''[[Asociatívny grupoid|Pologrupa]]''' (alebo asociatívny grupoid) je grupoid, v ktorom je operácia <math>\circ</math> [[Asociatívnosť|asociatívna]].
-*[[Monoid]] je pologrupa s [[Neutrálny prvok|neutrálnym prvkom]] <math>e\in G</math>
+*'''[[Monoid]]''' je pologrupa s [[Neutrálny prvok|neutrálnym prvkom]] <math>e\in G</math>
-*[[Grupa (matematika)|Grupa]] je monoid, v ktorom má každý prvok [[Inverzný prvok|inverziu]].
+*'''[[Grupa (matematika)|Grupa]]''' je monoid, v ktorom má každý prvok [[Inverzný prvok|inverziu]].
 Vyššie uvedené štruktúry sa nazývajú komutatívne ak operácia <math>\circ</math> je [[Komutatívnosť|komutatívna]].
@@ Riadok 34: / Riadok 34: @@
 Štruktúry s jednou množinou a dvoma operáciami.
-Nech <math>R</math> je množina a <math>+</math> a <math>.</math> sú binárne operácie na množine <math>R</math>.
+Nech <math>R</math> je množina a <math>+</math> a <math>\cdot</math> sú binárne operácie na množine <math>R</math>.
-*[[Okruh (algebra)|Okruh]] je trojica <math>(R,+,.)</math>, kde <math>(R,+)</math> je komutatívna grupa (tzv. [[Abelovská grupa]]), <math>(R,.)</math> je [[Monoid|monoid]] a pre všetky <math>a,b,c \in R</math> platí
+*'''[[Okruh (algebra)|Okruh]]''' je trojica <math>(R,+,\cdot)</math>, kde <math>(R,+)</math> je komutatívna grupa (tzv. [[Abelovská grupa]]), <math>(R,\cdot)</math> je [[Monoid|monoid]] a pre všetky <math>a,b,c \in R</math> platí
-**<math>a . (b + c) = (a . b) + (a . c)</math> (ľavá [[Distributívnosť|distributivita]]) a
+**<math>a \cdot (b + c) = (a \cdot b) + (a \cdot c)</math> (ľavá [[Distributívnosť|distributivita]]) a
-**<math>(b + c) . a = (b . a) + (c . a)</math> (pravá [[Distributívnosť|distributivita]]).
+**<math>(b + c) \cdot a = (b \cdot a) + (c \cdot a)</math> (pravá [[Distributívnosť|distributivita]]).
+*'''Komutatívny okruh''' je taký okruh, že [[monoid]] <math>(R,\cdot)</math> je komutatívny komutatívny.
+*'''Triviálny okruh''' je okruh <math>(\{0\},+,\cdot)</math> kde <math>0</math> je [[Neutrálny prvok|neutrálnym prvkom]] operácie <math>+</math>.
+*'''[[Obor integrity|Obor integrity]]''' je taký netriviálny komutatívny okruh, že pre všetky <math>a,b \in R</math> platí: <math>a,b \not= 0 \Rightarrow a \cdot b \not=0</math> (t.j. práve keď <math>(R*,\cdot)</math> je grupoid).
 == Externé odkazy ==