Conquering inseparability: Primary decomposition and multivariate factorization over algebraic function fields of positive characteristic
نویسندگان
چکیده
منابع مشابه
HYPERTRANSCENDENTAL FORMAL POWER SERIES OVER FIELDS OF POSITIVE CHARACTERISTIC
Let $K$ be a field of characteristic$p>0$, $K[[x]]$, the ring of formal power series over $ K$,$K((x))$, the quotient field of $ K[[x]]$, and $ K(x)$ the fieldof rational functions over $K$. We shall give somecharacterizations of an algebraic function $fin K((x))$ over $K$.Let $L$ be a field of characteristic zero. The power series $finL[[x]]$ is called differentially algebraic, if it satisfies...
متن کاملHilbert’s Tenth Problem for Algebraic Function Fields over Infinite Fields of Constants of Positive Characteristic
Let K be an algebraic function field of characteristic p > 2. Let C be the algebraic closure of a finite field in K. Assume that C has an extension of degree p. Assume also that K contains a subfield K1, possibly equal to C, and elements u, x such that u is transcendental over K1, x is algebraic over C(u) and K = K1(u, x). Then the Diophantine problem of K is undecidable. Let G be an algebraic ...
متن کاملGalois Groups over Function Fields of Positive Characteristic
We describe examples motivated by the work of Serre and Abhyankar. Subject Class: Primary 11F22, 11F03. Secondary 30F35, 20C34.
متن کاملEfficient Multivariate Factorization over Finite Fields
We describe the Maple [23] implementation of multivariate factorization over general finite fields. Our first implementation is available in Maple V Release 3. We give selected details of the algorithms and show several ideas that were used to improve its efficiency. Most of the improvements presented here are incorporated in Maple V Release 4. In particular, we show that we needed a general to...
متن کاملResonance varieties over fields of positive characteristic
Let A be a hyperplane arrangement, and k a field of arbitrary characteristic. We show that the projective degree-one resonance variety R(A, k) of A over k is ruled by lines, and identify the underlying algebraic line complex L(A, k) in the Grassmannian G(2, kn), n = |A|. L(A, k) is a union of linear line complexes corresponding to the neighborly partitions of subarrangements of A. Each linear l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2005
ISSN: 0747-7171
DOI: 10.1016/j.jsc.2005.03.002