Nadtěleso: Porovnání verzí

Smazaný obsah Přidaný obsah
Řádek 2:
 
== Formální definice ==
Nechť ''T'' je [[těleso (algebra)|těleso]]. Pak pokud je ''K'' taková [[podmnožina]] [[nosič (algebra)|nosiče]] ''T'', která je [[uzávěr (matematika)|uzavřená]] s ohledem na tělesové operace a inverze v ''T'', pak je ''K'' spolu s [[restrikce zobrazení|restrikcí]] těchto operací '''podtěleso''' ''T'' a naopak ''T'' je '''nadtěleso''' ''K''. Taková situace bývá značena ''T''/''K'' a slovy popisována: „''T'' nad ''K'' (je tělesové rozšíření)“.
 
== Vlastnosti ==