Abstraktní algebra: Porovnání verzí
Smazaný obsah Přidaný obsah
m r2.7.1) (robot přidal: ms:Algebra abstrak |
m →Univerzální algebra: typo |
||
Řá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
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.
|