Abstract
In this paper we introduce a method of characteristic sets with respect to several term orderings for inversive difference polynomials. Using this technique, we prove the existence and obtain a method of computation of multivariate dimension polynomials of finitely generated inversive difference field extensions. We also find new invariants of such extensions that are not carried by univariate dimension polynomials.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Dönch, C.: Standard Bases in Finitely Generated Difference-Skew-Differential Modules and Their Application to Dimension Polynomials. Ph.D. Dissertation, 102 pp. Research Institute for Symbolic Computation, Linz, Austria 4564/Thesis.pdf (2012), http://www.risc.jku.at/publications/download/risc
Einstein, A.: The Meaning of Relativity. Appendix II (Generalization of gravitation theory), 4th edn., pp. 133–165. Princeton (1953)
Kolchin, E.R.: The notion of dimension in the theory of algebraic differential equations. Bull. Amer. Math. Soc. 70, 570–573 (1964)
Johnson, J.L.: Kähler differentials and differential algebra. Ann. of Math. 89(2), 92–98 (1969)
Johnson, J.L.: A notion on Krull dimension for differential rings. Comment. Math. Helv. 44, 207–216 (1969)
Johnson, J.L.: Kähler differentials and differential algebra in arbitrary characteristic. Trans. Amer. Math. Soc. 192, 201–208 (1974)
Kolchin, E.R.: Some problems in differential algebra. Proc. Int’l Congress of Mathematicians (Moscow - 1966), Moscow, 269–276 (1968)
Kolchin, E.R.: Differential Algebra and Algebraic Groups. Academic Press, New York (1973)
Kondrateva, M.V., Levin, A.B., Mikhalev, A.V., Pankratev, E.V.: Differential and Difference Dimension Polynomials. Kluwer Acad. Publ., Dordrecht (1999)
Levin, A.B.: Characteristic Polynomials of Filtered Difference Modules and Difference Field Extensions. Russian Math. Surveys 33(3), 165–166 (1978)
Levin, A.B.: Characteristic Polynomials of Inversive Difference Modules and Some Properties of Inversive Difference Dimension. Russian Math. Surveys 35(1), 217–218 (1980)
Levin, A.B.: Reduced Groebner bases, free difference-differential modules and difference-differential dimension polynomials. J. Symb. Comput. 30, 357–382 (2000)
Levin, A.B.: Gröbner bases with respect to several orderings and multivariable dimension polynomials. J. Symb. Comput. 42(5), 561–578 (2007)
Levin, A.B.: Computation of the Strength of Systems of Difference Equations via Generalized Gröbner Bases. Grobner Bases in Symbolic Analysis, Walter de Gruyter, 43–73 (2007)
Levin, A.B.: Difference Algebra, p. 522. Springer, New York (2008)
Levin, A.B.: Multivariate Difference-Differential Dimension Polynomials and New Invariants of Difference-Differential Field Extensions. In: Proc. of the 38th International Symposium on Symbolic and Algebraic Computation (ISSAC 2013), pp. 267–274 (2013)
Levin, A.B., Mikhalev, A.V.: Type and Dimension of Finitely Generated G-algebras. Contemporary Mathematics 184, 275–280 (1995)
Mikhalev, A.V., Pankratev, E.V.: Differential dimension polynomial of a system of differential equations. Algebra. Collection of papers. Moscow State Univ. Press, 57–67 (1980)
Mikhalev, A.V., Pankratev, E.V.: Computer Algebra. Calculations in Differential and Difference Algebra. Moscow State Univ. Press (1989)
Zhou, M., Winkler, F.: Computing difference-differential dimension polynomials by relative Gröbner bases in difference-differential modules. J. Symb. Comput. 43(10), 726–745 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Levin, A. (2014). Multivariate Dimension Polynomials of Inversive Difference Field Extensions. In: Barkatou, M., Cluzeau, T., Regensburger, G., Rosenkranz, M. (eds) Algebraic and Algorithmic Aspects of Differential and Integral Operators. AADIOS 2012. Lecture Notes in Computer Science, vol 8372. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-54479-8_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-54479-8_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-54478-1
Online ISBN: 978-3-642-54479-8
eBook Packages: Computer ScienceComputer Science (R0)