Related papers: Computation of Integral Bases

This extends a theorem of Davenport and Erd\"os on sequences of rational integers to sequences of integral ideals in arbitrary number fields $K$. More precisely, we introduce a logarithmic density for sets of integral ideals in $K$ and…

Let K be the field of fractions of a Henselian discrete valuation ring O_K. Let X_K/K be a smooth proper geometrically connected scheme admitting a regular model X/O_K. We show that the index \delta(X_K/K) of X_K/K can be explicitly…

Let $K$ be a finite extension of $\mathbb{Q}_p$, and let $\mathfrak{m}_K$ be its maximal ideal. The image of the group of principal units $1+\mathfrak{m}_K$ under $p$-adic logarithm plays important role in several areas of number theory. In…

For a primitive Hilbert modular form $f$ over $F$ of weight $k$, under certain assumptions on image of $\bar{\rho}_{f,\lambda}$, we calculate the Dirichlet density of primes $\mathfrak{p}$ for which the $\mathfrak{p}$-th Fourier coefficient…

Let $K$ be an imaginary quadratic field with discriminant $d_K\leq-7$. We deal with problems of constructing normal bases between abelian extensions of $K$ by making use of singular values of Siegel functions. First, we show that a…

Let $f_1,...,f_s \in \mathbb{K}[x_1,...,x_m]$ be a system of polynomials generating a zero-dimensional ideal $\I$, where $\mathbb{K}$ is an arbitrary algebraically closed field. Assume that the factor algebra $\A=\mathbb{K}[x_1,...,x_m]/\I$…

Let $D$ be an integrally closed domain with quotient field $K$. Let $A$ be a torsion-free $D$-algebra that is finitely generated as a $D$-module. For every $a$ in $A$ we consider its minimal polynomial $\mu_a(X)\in D[X]$, i.e. the monic…

We present a novel randomized algorithm to factor polynomials over a finite field $\F_q$ of odd characteristic using rank $2$ Drinfeld modules with complex multiplication. The main idea is to compute a lift of the Hasse invariant (modulo…

We study the problem of differentiation of integrals for certain bases in the infinite-dimensional torus $\mathbb{T}^\omega$. In particular, for every $p_0 \in [1,\infty)$, we construct a basis $\mathcal{B}$ which differentiates…

Let $K=\mathbb{Q}[\iota]$ and $N=K[\sqrt[4]{\alpha}]$, $\alpha\in\mathbb{Z}[\iota]$, $alpha=fg^2h^3$, $f$, $g$, $h\in \mathbb{Z}[\iota]$ are pairwise coprime and square free. Let $\mathcal{O}_N$ be the ring of integers of $N$. In this…

Let $f_1,...,f_s \in \mathbb{K}[x_1,...,x_m]$ be a system of polynomials generating a zero-dimensional ideal $\I$, where $\mathbb{K}$ is an arbitrary algebraically closed field. We study the computation of "matrices of traces" for the…

Let $A$ be an integral domain with quotient field $K$ of characteristic $0$ that is finitely generated as a $\mathbb{Z}$-algebra. Denote by $D(F)$ the discriminant of a polynomial $F\in A[X]$. Further, given a finite etale algebra $\Omega$,…

Let $\mathbb{F}_q$ denote the finite field of $q$ elements and $\mathbb{F}_{q^n}$ the degree $n$ extension of $\mathbb{F}_q$. A normal basis of $\mathbb{F}_{q^n}$ over $\mathbb{F} _q$ is a basis of the form…

Let $K$ be an imaginary quadratic field, and let $\mathfrak{f}$ be a nontrivial integral ideal of $K$. Hasse and Ramachandra asked whether the ray class field of $K$ modulo $\mathfrak{f}$ can be generated by a single value of the Weber…

We show how tropical varieties of ideals I over a field K with non-trivial valuation can be traced back to tropical varieties of ideals in R[[t]][x] over some dense subring R in its ring of integers. Moreover, for homogeneous ideals, we…

We consider infinite parametric families of high degree number fields composed of quadratic fields with pure cubic, pure quartic, pure sextic fields and with the so called simplest cubic, simplest quartic fields. We explicitly describe an…

Let $A/K$ be an absolutely simple abelian surface defined over a number field $K$. We give unconditional upper bounds for the number of prime ideals $\mathfrak{p}$ of $K$ with norm up to $x$ such that $A$ has supersingular reduction at…

Let K be an algebraic number field of degree d and discriminant D over Q. Let A be an associative algebra over K given by structure constants such that A is isomorphic to the algebra M_n(K) of n by n matrices over K for some positive…

In this paper we present and analyse a construction of irreducible polynomials over odd prime fields via the transforms which take any polynomial $f \in \mathbf{F}_p[x]$ of positive degree $n$ to $\left(\frac{x}{k} \right)^n \cdot…

In this paper, we present a modular strategy which describes key properties of the absolute primary decomposition of an equidimensional polynomial ideal defined by polynomials with rational coefficients. The algorithm we design is based on…