Let f and g be polynomials over some field, thought of as elements of the ring of one-sided Laurent series, and suppose that deg f<deg g. The quotient fΓg is badly approximable if all the partial quotients of the continued fraction expansion of fΓg have degree 1. We investigate the set of polynomial
Derivations and Radicals of Polynomial Ideals over Fields of Arbitrary Characteristic
β Scribed by E. Fortuna; P. Gianni; B. Trager
- Publisher
- Elsevier Science
- Year
- 2002
- Tongue
- English
- Weight
- 306 KB
- Volume
- 33
- Category
- Article
- ISSN
- 0747-7171
No coin nor oath required. For personal study only.
β¦ Synopsis
The purpose of this paper is to give a complete effective solution to the problem of computing radicals of polynomial ideals over general fields of arbitrary characteristic. We prove that Seidenberg's "Condition P" is both a necessary and sufficient property of the coefficient field in order to be able to perform this computation. Since Condition P is an expensive additional requirement on the ground field, we use derivations and ideal quotients to recover as much of the radical as possible. If we have a basis for the vector space of derivations on our ground field, then the problem of computing radicals can be reduced to computing pth roots of elements in finite dimensional algebras.
π SIMILAR VOLUMES
Let k=GF(q) be the finite field of order q. Let f 1 (x), f 2 (x) # k[x] be monic relatively prime polynomials satisfying n=deg f 1 >deg f 2 0 and f 1 (x)Γf 2 (x){ g 1 (x p )Γg 2 (x p ) for any g 1 (x), g 2 (x) # k[x]. Write Q(x)= f 1 (x)+tf 2 (x) and let K be the splitting field of Q(x) over k(t). L
This paper is concerned with two important elements in the high-order accurate spatial discretization of finite-volume equations over arbitrary grids. One element is the integration of basis functions over arbitrary domains, which is used in expressing various spatial integrals in terms of discrete