Abstract
The theory of using a polynomial to create an algebraic field extension is well-defined in mathematical literature and the technique is commonly used in symbolic computation. Even when extensions are not over a field, monics polynomials are often used to extend rings (e.g., the Gaussian Integers can be formed as ℤ[x]/x 2+1). As long as only algebraic integers are introduced (i.e., the extension is monic), the computational methods are straightforward and the algorithms and supporting theory are known.
The intent of this paper is to develop the theory and algorithms necessary to understand and accommodate the use of non-monic extensions in a symbolic computing system. None of the computer algebra systems currently in operation allow such extensions. It will be shown, however, that these restrictions place an unnecessary bound on user capabilities since non-monic extension algorithms can be implemented practically and efficiently.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Aho, A. V.; Hopcroft, J. E.; and Ullman, J. D.: The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading, Mass., 1974.
Brown, W. S.: On Euclid's Algorithm and the Computation of Polynomial Greatest Divisors. JACM, vol. 18, no. 4, Oct. 1971, pp 478–504.
Herstein, I. N.: Topics in Algebra. Blaisdell Pub., New York, 1964.
Lang, Serge: Algebraic Numbers. Addison-Wesley, Reading, Mass., 1964.
Trager, Barry M.: Algebraic Factoring and Rational Function Integration. Procedings of 1976 ACM Symposium on Symbolic and Algebraic Computation, R. D. Jenks, ed., Aug. 1976, pp. 219–226.
Yun, David Y. Y. and Stoutemyer, David R.: Symbolic Mathematical Computation (Computer Algebra). Book to be published by Addison-Wesley, System Programming Series, 1979.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cohen, J.D., Yun, D.Y.Y. (1979). Algebraic extensions of arbitrary integral domains. In: Ng, E.W. (eds) Symbolic and Algebraic Computation. EUROSAM 1979. Lecture Notes in Computer Science, vol 72. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09519-5_66
Download citation
DOI: https://doi.org/10.1007/3-540-09519-5_66
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09519-4
Online ISBN: 978-3-540-35128-3
eBook Packages: Springer Book Archive