Abstract
We establish several variations on Kolchin’s differential primitive element theorem, and conjecture a generalization of Pogudin’s primitive element theorem. These results are then applied to improve the bounds for the effective Differential Lüroth theorem.
J. Freitag—Thanks Dave Marker, Omar León Sanchez, and Gabriela Jeronimo for useful conversations related to this work. JF was partially supported by NSF MSPRF 1204510.
W. Li—Partially supported by a National Key Basic Research Project of China (2011CB302400) and by grants from NSFC (60821002, 11301519) and thanks the University of California, Berkeley for providing a good research environment during her appointment as a Visiting Scholar.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bouscaren, E.: Proof of the Geometric Mordell-Lang Conjecture. In: Hrushovski’s, E. (ed.) Model Theory and Algebraic Geometry. Lecture Notes in Mathematics, vol. 1696, pp. 177–196. Springer, Heidelberg (1998)
Brestovski, M.: Algebraic independence of solutions of differential equations of the second order. Pac. J. Math. 140(1), 1–19 (1989)
D’Alfonso, L., Jeronimo, G., Solernó, P.: Effective differential lüroth’s theorem. J. Algebra 406, 1–19 (2014)
Freitag, J., Scanlon, T.: Strong minimality and the j-function. J. Eur. Math. Soc. (2015). Accepted
Gao, X.-S., Li, W., Yuan, C.-M.: Intersection theory in differential algebraic geometry: generic intersections and the differential chow form. Trans. Am. Math. Soc. 365(9), 4575–4632 (2013)
Gao, X.-S., Tao, X.: Lüroth theorem in differential fields. J. Syst. Sci. Complex. 15(4), 376–383 (2002)
Kolchin, E.R.: Extensions of differential fields, I. Ann. Math. 43, 724–729 (1942)
Kolchin, E.R.: Extensions of differential fields, II. Ann. Math. 45(2), 358–361 (1944)
Kolchin, E.R.: Extensions of differential fields, III. Bull. Am. Math. Soc. 53(4), 397–401 (1947)
Li, W., Li, Y.: Computation of differential chow forms for ordinary prime differential ideals. Adv. Appl. Math. 72, 77–112 (2015). doi:10.1016/j.aam.2015.09.004
Marker, D., Messmer, M., Pillay, A.: Model Theory of Fields. A.K. Peters/CRC Press (2005)
Gleb, A.: The primitive element theorem for differential fields with zero derivation on the ground field. J. Pure Appl. Algebra 219(9), 4035–4041 (2015)
Pong, W.Y.: On a result of rosenlicht. Commun. Algebra 30(12), 5933–5939 (2002)
Ritt, J.F.: Differential Equations from the Algebraic Standpoint, vol. 14. American Mathematical Soc., New York (1932)
Ritt, J.F.: Differential Algebra. Dover Publications, New York (1950)
Rosenlicht, M.: The nonminimality of the differential closure. Pac. J. Math. 52, 529–537 (1974)
Seidenberg, A.: Some basic theorems in differential algebra (characteristic \(p\), arbitrary). Trans. Amer. Math. Soc. 73, 174–190 (1952)
Seidenberg, A.: Abstract differential algebra and the analytic case. Proc. Am. Math. Soc. 9(1), 159–164 (1958)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Freitag, J., Li, W. (2016). Simple Differential Field Extensions and Effective Bounds. In: Kotsireas, I., Rump, S., Yap, C. (eds) Mathematical Aspects of Computer and Information Sciences. MACIS 2015. Lecture Notes in Computer Science(), vol 9582. Springer, Cham. https://doi.org/10.1007/978-3-319-32859-1_29
Download citation
DOI: https://doi.org/10.1007/978-3-319-32859-1_29
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-32858-4
Online ISBN: 978-3-319-32859-1
eBook Packages: Computer ScienceComputer Science (R0)