Algebraiskt oberoende

Den aktuella versionen av sidan har ännu inte granskats av erfarna bidragsgivare och kan skilja sig väsentligt från versionen som granskades den 13 april 2014; kontroller kräver 3 redigeringar .

Algebraiskt oberoende är ett begrepp inom teorin om fältförlängningar .

Låt en förlängning av fältet . Element kallas algebraiskt oberoende om, för ett godtyckligt icke-identiskt nollpolynom med koefficienter från fältet

.

Annars kallas elementen algebraiskt beroende. En oändlig uppsättning element kallas algebraiskt oberoende om var och en av dess ändliga delmängder är oberoende, och kallas beroende annars. Definitionen av algebraiskt oberoende kan utvidgas till fallet när är en ring och är dess underring .

Algebraiskt oberoende av kända konstanter

Låt konstanterna och vara kända för att vara transcendentala, men det är inte känt om deras uppsättning är algebraiskt oberoende över . [1] Det är inte ens känt om . [2] Nesterenko bevisade 1996 att:

Exempel

En delmängd av fältet av reella tal är inte algebraiskt oberoende av fältet eftersom polynomet är icke-trivialt med rationella koefficienter och .

Se även

Länkar

Anteckningar

  1. Patrick Morandi. Fält- och Galois-teori . - Springer, 1996. - S. 174. - ISBN 978-0-387-94753-2 . Arkiverad 8 oktober 2021 på Wayback Machine
  2. Green, Ben (2008), III.41 Irrationella och transcendentala tal, i Gowers, Timothy, The Princeton Companion to Mathematics , Princeton University Press, sid. 222 
  3. Manin, Yu. I. Introduktion till modern talteori / Yu. I. Manin, A.A. Panchishkin. — För det andra. - 2007. - Vol. 49. - S. 61. - ISBN 978-3-540-20364-3 .
  4. Nesterenko, Yuri V (1996). "Modulära funktioner och transcendensproblem". Comptes rendus de l'Académie des Sciences . 322 (10): 909-914.