Univerzální algebra: Porovnání verzí
Smazaný obsah Přidaný obsah
→Homomorfismus a jádro: stzl |
→Variety algeber: math stzle |
||
Řádek 111:
{{Viz též|Varieta algeber}}
'''Varieta''' je klíčový pojem univerzální algebry, neboť mnoho výsledků se týká právě variet. Varieta je třída algeber popsatelná ''identitami'', neboli soustavou rovností. Například třída všech grup je podtřída třídy všech algeber s příslušnou signaturou <math>( \, (\circ,2), \, (e,0) , \, (^{-1},1) \,\,
:<sub>(Pojem [[Třída (matematika)|třída]] zde znamená prakticky totéž, co ''množina'', ovšem v [[axiomatická teorie množin|axiomatické teorii množin]] je [[Russellova antinomie|nutné]] příliš velké kolekce objektů nepokládat za množiny. Pro pochopení univerzální algebry je rozdíl mezi množinou a třídou nepodstatný.)</sub>
|