Těleso (algebra)
Z Multimediaexpo.cz
Těleso (angl. division ring) je algebraická struktura, na které jsou definovány dvě binární operace. Je rozšířením okruhu, oproti kterému navíc přináší existenci 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ásobení komutativní, případně takové těleso, u něhož není komutativita násobení podstatná či není známo, zda je násobení komutativní.[1] 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 Wedderburnovy věty komutativní i všechna konečná tělesa. Příkladem nekomutativního tělesa je těleso kvaternionů.
Obsah |
Definice tělesa
Trojici \((\mathcal{F},+,\cdot)\), kde \(\mathcal{F}\) je množina a + (sčítání) a \(\cdot\) (násobení) jsou binární operace, nazveme tělesem, je-li \((\mathcal{F}, +, \cdot)\) okruh a platí-li navíc
- pro každé \(x \in \mathcal{F} \setminus \{ 0 \}\) existuje \(y \in \mathcal{F}\) takové, že \(x \cdot y = y \cdot x = 1\), což značíme \(y = x^{-1}\).
Alternativní definice tělesa zní následovně: těleso je množina F s aspoň dvěma prvky 0,1 a s následujícími operacemi:
- sčítání, přičemž (F,+,-,0) je Abelova grupa (+ je komutativní),
- násobení, přičemž \((F\setminus\{0\},\cdot,^{-1},1)\) je grupa,
a navíc platí distributivní zákony mezi sčítáním a násobením, tj.
- \(a(b+c) = ab + ac\)
- \((b+c)a = ba + ca\)
Nadtěleso tělesa \(\mathcal{F}\) je takové těleso, že \(\mathcal{F}\) je jeho podmnožinou.
Příklady těles
- Množina racionálních čísel \(\mathbb{Q}\)
- Množina reálných čísel \(\mathbb{R}\) a její největší algebraické komutativní nadtěleso, množina komplexních čísel \(\mathbb{C}\)
- Kvaterniony, nekomutativní těleso, největší algebraické nadtěleso množiny reálných čísel \(\mathbb{R}\)
- Těleso (reálných) racionálních funkcí \(\mathbb{R}(x)\)
- Množina zbytkových tříd \(\mathbb{Z}_p\) pro každé prvočíslo \(p\).
- Galoisova tělesa \(\operatorname{GF}(p^n)\)
Související články
Externí odkazy
Reference
- ↑ KUROŠ, Alexandr Gennaďjevič. Kapitoly z obecné algebry. Praha : Academia, 1977. Kapitola II. Grupy a okruhy.
| Náklady na energie a provoz naší encyklopedie prudce vzrostly. Potřebujeme vaši podporu... Kolik ?? To je na Vás. Náš FIO účet — 2500575897 / 2010 |
|---|
| Informace o článku.
Článek je převzat z Wikipedie, otevřené encyklopedie, do které přispívají dobrovolníci z celého světa. |