Related papers: Counting ideals in abelian number fields
Herzog, Huneke, and Srinivasan have conjectured that for any homogeneous $k$-algebra, the multiplicity is bounded above by a function of the maximal degrees of the syzygies and below by a function of the minimal degrees of the syzygies. The…
We establish a criterion for a complex number to be algebraic over Q of degree at most two. It requires that, for any sufficiently large real number X, there exists a non-zero polynomial with integral coefficients, of degree at most two and…
We determine a new technique which allows the computation of the arithmetical rank of certain monomial ideals.
We study the capitulation of $2$-ideal classes of an infinite family of imaginary bicyclic biquadratic number fields consisting of fields $\mathbf{k} =\mathbb{Q}(\sqrt{p_1p_2q}, i)$, where $i=\sqrt{-1}$ and $p_1\equiv p_2\equiv-q\equiv1…
Given a number field $K$ that is a subfield of the real numbers, we generalize the notion of the classical Frobenius problem to the ring of integers $\mathfrak{O}_K$ of $K$ by describing certain Frobenius semigroups,…
We estimate the number of integer solutions to decomposable form inequalities (both asymptotic estimates and upper bounds are provided) when the degree of the form and the number of variables are relatively prime. These estimates display…
When p divides the ordering of Galois group, the distribution of the Sylow p-subgroup of Cl(K) is closely related to the problem of counting fields with certain specifications. Moreover, different orderings of number fields affect the…
An ideal in a polynomial ring encodes a system of linear partial differential equations with constant coefficients. Primary decomposition organizes the solutions to the PDE. This paper develops a novel structure theory for primary ideals in…
Let $k$ be a number field. For $\mathcal{H}\rightarrow \infty$, we give an asymptotic formula for the number of algebraic integers of absolute Weil height bounded by $\mathcal{H}$ and fixed degree over $k$.
For an integral domain $R$, the {\it ring of integer-valued polynomials} over $R$ consists of all polynomials $f(X) \in R[X]$ such that $f(R) \subseteq R$. An interesting case to study is when $R$ is a Dedekind domain, in particular when…
We introduce and study monomial ideals with regular quotients, which can be seen as an extension of monomial ideals with linear quotients. Based on these investigations, we are able to calculate the Betti numbers of toric ideals belonging…
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…
Given an affine algebraic variety V and a quantization A of its coordinate ring, it is conjectured that the primitive ideal space of A can be expressed as a topological quotient of V. Evidence in favor of this conjecture is discussed, and…
For every prime integer $p$, an explicit factorization of the principal ideal $p\z_K$ into prime ideals of $\z_K$ is given, where $K$ is a quartic number field defined by an irreducible polynomial $X^4+aX+b\in\z[X]$.
Let X be a projective curve over Q and t a non-constant Q-rational function on X of degree n>1. For every integer a pick a points P(a) on X such that t(P(a))=a. Dvornicich and Zannier (1994) proved that for large N the field Q(P(1), ...,…
We obtain several results on the computation of different and discriminant ideals of finite extensions of local fields. As an application, we deduce routines to compute the $\p$-adic valuation of the discriminant $\dsc(f)$, and the…
Let us consider the pure quartic fields of the form $\K=\Q(\sqrt[4]{p})$ where $0<p\equiv 7\pmod{16}$ is a prime integer. We prove that the $2$-class group of $\K$ has order $2$. As a consequence of this, if the class number of $\K$ is $2$,…
Let $k$ be a global field, let $A$ be a Dedekind domain with $\text{Quot}(A) = k$, and let $K$ be a finitely generated field. Using a unified approach for both elliptic curves and Drinfeld modules $M$ defined over $K$ and having a trivial…
A perfect Euler cuboid is a rectangular parallelepiped with integer edges, with integer face diagonals, and with integer space diagonal as well. Finding such parallelepipeds or proving their non-existence is an old unsolved mathematical…
Let K be a field with a valuation and let S be the polynomial ring S:= K[x_1,..., x_n]. We discuss the extension of Groebner theory to ideals in S, taking the valuations of coefficients into account, and describe the Buchberger algorithm in…