Těleso (algebra): Porovnání verzí
m Bot: Odstranění 19 odkazů interwiki, které jsou nyní dostupné na Wikidatech (d:q650741) |
Bez shrnutí editace |
||
Řádek 1: | Řá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 +). |
'''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 +). |
||
'''Komutativní těleso''' (angl. ''field'') je takové těleso, že navíc obě operace jsou komutativní. V tělese se předpokládá komutativita pouze sčítání. Zatímco jak v angličtině, tak ve slovenštině mají pro komutativní tělesa vlastní název, v češtině se často komutativní tělesa označují pro jednoduchost jen jako komutativní tělesa, případně jako pole. |
'''Komutativní těleso''' (angl. ''field'') je takové těleso, že navíc obě operace jsou komutativní. V tělese ([[okruh (algebra)|okruhu]]) se předpokládá komutativita pouze sčítání. Zatímco jak v angličtině, tak ve slovenštině mají pro komutativní tělesa vlastní název, v češtině se často komutativní tělesa označují pro jednoduchost jen jako komutativní tělesa, případně jako pole. |
||
== Definice tělesa == |
== Definice tělesa == |
Verze z 8. 6. 2013, 14:33
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 +).
Komutativní těleso (angl. field) je takové těleso, že navíc obě operace jsou komutativní. V tělese (okruhu) se předpokládá komutativita pouze sčítání. Zatímco jak v angličtině, tak ve slovenštině mají pro komutativní tělesa vlastní název, v češtině se často komutativní tělesa označují pro jednoduchost jen jako komutativní tělesa, případně jako pole.
Definice tělesa
Trojici , kde je množina a + (sčítání) a (násobení) jsou binární operace, nazveme tělesem, je-li okruh a platí-li navíc
- pro každé existuje tak , že , což značíme .
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ž je grupa,
a navíc platí distributivní zákony mezi sčítáním a násobením, tj.
V komutativním tělese navíc požadujeme, aby i multiplikativní grupa byla komutativní, tj. .
Nadtěleso tělesa je takové těleso, že je jeho podmnožinou.
Příklady těles
- Množina racionálních čísel
- Množina reálných čísel a její největší algebraické komutativní nadtěleso, množina komplexních čísel
- Kvaterniony, nekomutativní těleso, největší algebraické nadtěleso množiny reálných čísel
- Těleso (reálných) racionálních funkcí
- Množina zbytkových tříd pro každé prvočíslo .
- Galoisova tělesa