Těleso (algebra): Porovnání verzí
Smazaný obsah Přidaný obsah
Robot: Opravuji 1 zdrojů a označuji 0 zdrojů jako nefunkční #IABot (v2.0beta15) |
pryč nefungující odkaz, vyjasnění vztahu těles, komunitativních těles a nekomutativních těles |
||
Řádek 1:
'''Těleso''' (angl. ''division ring'') je [[algebraická struktura]], na které jsou definovány dvě [[binární operace]]. Je rozšířením [[okruh (algebra)|okruhu]], oproti kterému navíc přináší existenci [[Inverzní prvek|inverzního prvku]] pro obě binární operace (okruh vyžadoval existenci inverzního prvku jen pro operaci +).
Nejčastěji se tělesem rozumí [[komutativní těleso]], ve kterém je operace násobní komutativní, případně takové těleso, u něhož není komutativita násobení podstatná či není známo, zda je násobení komutativní.<ref name="Kuroš">{{Citace monografie
| příjmení =Kuroš
| jméno = Alexandr Gennaďjevič
| odkaz na autora = Alexandr Gennaďjevič Kuroš
| rok = 1977
| titul = Kapitoly z obecné algebry
| kapitola = II. Grupy a okruhy
| vydavatel = [[Academia]]
| místo = Praha
}}</ref> To odpovídá tomu, že nejčastěji uvažovaná tělesa, totiž [[reálná čísla]], [[racionální čísla]] a [[komplexní čísla]], jsou všechna komutativní. Rovněž jsou podle [[Wedderburnova věta|Wedderburnovy věty]] komutativní i všechna [[konečné těleso|konečná tělesa]]. Příkladem [[nekomutativní těleso|nekomutativního tělesa]] je těleso [[kvaternion]]ů.
== Definice tělesa ==
Řádek 19 ⟶ 27:
:<math>a(b+c) = ab + ac</math>
:<math>(b+c)a = ba + ca</math>
'''Nadtěleso''' tělesa <math>\mathcal{F}</math> je takové těleso, že <math>\mathcal{F}</math> je jeho [[podmnožina|podmnožinou]].
| |||