Algebraická nezávislost

Aktuální verze stránky ještě nebyla zkontrolována zkušenými přispěvateli a může se výrazně lišit od verze recenzované 13. dubna 2014; kontroly vyžadují 3 úpravy .

Algebraická nezávislost je pojetí teorie rozšíření pole .

Nechte nějaké rozšíření pole . Prvky se nazývají algebraicky nezávislé, pokud pro libovolný neidenticky nulový polynom s koeficienty z pole

.

Jinak se prvky nazývají algebraicky závislé. Nekonečná množina prvků se nazývá algebraicky nezávislá, pokud je každá její konečná podmnožina nezávislá, a jinak se nazývá závislá. Definice algebraické nezávislosti může být rozšířena na případ, kdy je kruh a je jeho podkruhem .

Algebraická nezávislost známých konstant

Nechť je známo, že konstanty a jsou transcendentální, ale není známo, zda je jejich množina algebraicky nezávislá na . [1] Není ani známo, zda . [2] Nesterenko v roce 1996 dokázal, že:

Příklad

Podmnožina oboru reálných čísel není na poli algebraicky nezávislá, protože polynom je netriviální s racionálními koeficienty a .

Viz také

Odkazy

Poznámky

  1. Patrick Morandi. Teorie pole a Galois . - Springer, 1996. - S. 174. - ISBN 978-0-387-94753-2 . Archivováno 8. října 2021 na Wayback Machine
  2. Green, Ben (2008), III.41 Iracionální a transcendentální čísla, in Gowers, Timothy, The Princeton Companion to Mathematics , Princeton University Press, s. 222 
  3. Manin, Yu. I. Úvod do moderní teorie čísel / Yu. I. Manin, A. A. Panchishkin. - Druhý. - 2007. - Sv. 49. - S. 61. - ISBN 978-3-540-20364-3 .
  4. Nesterenko, Jurij V (1996). „Modulární funkce a problémy transcendence“. Comptes rendus de l'Académie des Sciences . 322 (10): 909-914.