Related papers: Computation of Integral Bases

We propose an effective method for primary decomposition of symmetric ideals. Let $K[X]=K[x_1,\ldots,x_n]$ be the $n$-valuables polynomial ring over a field $K$ and $\mathfrak{S}_n$ the symmetric group of order $n$. We consider the…

Let $K$ be a number field and $\mathfrak{p} \mid (2)$ be a prime ideal. We compute the fourth level of the $\mathfrak{p}$-adic completions of $K$ when the ramification index is $4$ and the inertial degree is trivial for the ideal…

We provide an irreducibility test in the ring K[[x]][y] whose complexity is quasi-linear with respect to the valuation of the discriminant, assuming the input polynomial F square-free and K a perfect field of characteristic zero or greater…

Given an ideal $I$ in a polynomial ring $K[x_1,\dots,x_n]$ over a field $K$, we present a complete algorithm to compute the binomial part of $I$, i.e., the subideal ${\rm Bin}(I)$ of $I$ generated by all monomials and binomials in $I$. This…

For a finite separable field extension K/k, all subfields can be obtained by intersecting so-called principal subfields of K/k. In this work we present a way to quickly compute these intersections. If the number of subfields is high, then…

Arthur Cohn's irreducibility criterion for polynomials with integer coefficients and its generalization connect primes to irreducibles, and integral bases to the variable $x$. As we follow this link, we find that these polynomials are ready…

We develop a theory of arithmetic Newton polygons of higher order, that provides the factorization of a separable polynomial over a $p$-adic field, together with relevant arithmetic information about the fields generated by the irreducible…

We obtain an effective analytic formula, with explicit constants, for the number of distinct irreducible factors of a polynomial $f \in \mathbb{Z}[x]$. We use an explicit version of Mertens' theorem for number fields to estimate a related…

Let p be a prime number. In this paper we use an old technique of Ore, based on Newton polygons, to construct in an efficient way p-integral bases of number fields defined by a p-regular equation. To illustrate the potential applications of…

Let $p$ be an irregular prime and $K=\Q(\zeta)$ the $p$-cyclotomic field. Let $\sigma$ be a $\Q$-isomorphism of $K$ generating $Gal(K/\Q)$. Let $S/K$ be a cyclic unramified extension of degree $p$, defined by $S= K(A^{1/p})$ where $A\in…

In this paper we show how to construct several infinite families of polynomials $D(\bar{x},k)$, such that $\sqrt{D(\bar{x},k)}$ has a regular continued fraction expansion with arbitrarily long period, the length of this period being…

Given an affine algebra $R=K[x_1,\dots,x_n]/I$ over a field $K$, where $I$ is an ideal in the polynomial ring $P=K[x_1,\dots,x_n]$, we examine the task of effectively calculating re-embeddings of $I$, i.e., of presentations $R=P'/I'$ such…

Let K be a field and denote by K[t], the polynomial ring with coefficients in K. Set A = K[f1,. .. , fs], with f1,. .. , fs $\in$ K[t]. We give a procedure to calculate the monoid of degrees of the K algebra M = F1A + $\times$ $\times$…

Let F:K be a Galois extension of number fields and Q a prime ideal of O_F lying over the prime P of O_K. By analyzing the Q-adic closure of O_K in O_F we characterize those rings of integers O_K for which every residue class ring of…

Let $K$ be a number field and $G$ a finitely generated torsion-free subgroup of $K^\times$. Given a prime $\mathfrak p$ of $K$ we denote by ${\rm ind}_{\mathfrak p}(G)$ the index of the subgroup $(G\bmod\mathfrak p)$ of the multiplicative…

We derive a straightening-free algorithm that computes the canonical bases of any higher-level q-deformed Fock space.

Let $(K,\nu)$ be an arbitrary valued field with valuation ring $R_{\nu}$ and $L=K(\alpha)$, where $\alpha$ is a root of a monic irreducible polynomial $f\in R_{\nu}[x]$. In this paper, we characterize the integral closedness of…

Let $R$ be an infinite Dedekind domain with at most finitely many units, and let $K$ denote its field of fractions. We prove the following statement. If $L/K$ is a finite Galois extension of fields and $\mathcal{O}$ is the integral closure…

We study functions from a unique factorization monoid to a field. The set of all such functions is a commutative ring isomorphic to a ring of formal power series over the field, with indeterminates indexed by the prime elements of the…

Let $K$ be a finite $p$-adic field with uniformiser $\pi$. In this paper we study the image of the logarithm attached to a Lubin-Tate series $[\pi](X)$ on the maximal ideal of so-called $\pi$-regular extensions of $K$; for such an extension…