Abstraktní algebra: Porovnání verzí

Smazaný obsah Přidaný obsah
Luckas-bot (diskuse | příspěvky)
m r2.7.1) (robot přidal: ms:Algebra abstrak
Řádek 94:
== Univerzální algebra ==
 
Mezi disciplínami, které studují jednotlivé struktury (např. [[teorie grup]]) zaujímá zvláštní postavení [[univerzální algebra]], jejíž výsledky lze aplikovat na širokou skupinu struktur. Dokážeme-li v ní, že něco platí pro každou [[varieta algeber|varietu]], pak to platí pro všechny grupy, všechny svazy, všechny lineární prostory apod. ([[Varieta_algeber#Okruhy a tělesa|nikoli]] však pro tělesa) a není nutné to dokazovat pro každou algebraickou strukturu zvlášť). Příkladem takových matematických výsledků jsou [[Věty o izomorfismu|věty o izomorfismu]] nebo exitenceexistence [[Volná algebra|volných algeber]].
 
Výsledky univerzální algebry lze zobecnit ještě dále v [[Teorie kategorií|teorii kategorií]], ovšem ta již není odvětvím algebry, neboť zkoumá algebraické i jiné struktury.