Related papers: Explicit bounds for generators of the class group

Let $K$ be a field of degree $n$ and discriminant with absolute value $\Delta$. Under the assumption of the validity of the Generalized Riemann Hypothesis, we provide a new algorithm to compute a set of generators of the class group of $K$…

In [BDyDF08] Belabas, Diaz y Diaz and Friedman show a way to determine, assuming the Generalized Riemann Hypothesis, a set of prime ideals that generate the class group of a number field. Their method is efficient because it produces a set…

Explicit bounds are given on the norms of prime ideals generating arbitrary subgroups of ray class groups of number fields, assuming the Extended Riemann Hypothesis. These are the first explicit bounds for this problem, and are…

We prove that, for every modulus $\mathfrak{q}$, every class of the narrow ray class group $H_{\mathfrak{q}}(\mathbf{K})$ of an arbitrary number field $\mathbf{K}$ contains a product of three unramified prime ideals $\mathfrak{p}$ of degree…

Let $K$ be a number field with the discriminant $D_K$ and the class number $h_{K}$, which has bounded degree over $\mathbb{Q}$. By assuming GRH, we prove that every ideal class of $K$ contains a prime ideal with norm less than…

We prove upper bounds for the average size of the $\ell$-torsion $\text{Cl}_K[\ell]$ of the class group of $K$, as $K$ runs through certain natural families of number fields and $\ell$ is a positive integer. We refine a key argument, used…

For a prime number $\ell$ and an extension of number fields $K/F$, we prove new lower bounds on the $\ell$-rank of the ideal class group of $K$ based on prime ramification in $K/F$. Unlike related results from the literature, our bound is…

Suppose $I$ is an ideal of a polynomial ring over a field, $I\subseteq k[x_1,\ldots,x_n]$, and whenever $fg\in I$ with degree $\leq b$, then either $f\in I$ or $g\in I$. When $b$ is sufficiently large, it follows that $I$ is prime.…

Let $K$ be a number field, $\mathfrak{q}$ be an integral ideal, and $\mathrm{Cl}(\mathfrak{q})$ be the associated ray class group. Suppose $\mathrm{Cl}(\mathfrak{q})$ possesses a real exceptional character $\psi$, possibly principal, with a…

For a prime number $p \geq 5$, we explicitly construct a family of imaginary quadratic fields $K$ with ideal class groups $Cl_{K}$ having $p$-rank ${{\rm{rk}}_{p}(Cl_{K})}$ at least $2$. We also quantitatively prove, under the assumption of…

We present the first algorithm for computing class groups and unit groups of arbitrary number fields that provably runs in probabilistic subexponential time, assuming the Extended Riemann Hypothesis (ERH). Previous subexponential algorithms…

$ $Abert, Gelander and Nikolov [AGN17] conjectured that the number of generators $d(\Gamma)$ of a lattice $\Gamma$ in a high rank simple Lie group $H$ grows sub-linearly with $v = \mu(H / \Gamma)$, the co-volume of $\Gamma$ in $H$. We prove…

Let $S$ be a polynomial ring over any field $\Bbbk$, and let $P \subseteq S$ be a non-degenerate homogeneous prime ideal of height $h$. When $\Bbbk$ is algebraically closed, a classical result attributed to Castelnuovo establishes an upper…

Let $k$ be a number field, suppose that $B$ is a central simple division algebra over $k$, and choose any maximal order $\mathcal{D}$ of $B$. The object of this paper is to show that the group $\mathcal{D}_S^*$ of $S$-units of $B$ is…

We investigate the minimal number of generators $\mu$ and the depth of divisorial ideals over normal semigroup rings. Such ideals are defined by the inhomogeneous systems of linear inequalities associated with the support hyperplanes of the…

Given a graded ideal $I$ in a polynomial ring over a field $K$ it is well known, that the number of distinct generic initial ideals of $I$ is finite. While it is known that for a given $d\in\N$ there is a global upper bound for the number…

We introduce the term "protonormal" to refer to a subgroup H of a group G such that for every x in G the subgroups x^{-1}Hx and H commute as sets. If moreover (G,H) is a Hecke pair we show that the Hecke algebra H(G,H) is generated by the…

A generating set for a finite group $G$ is said to be minimal if no proper subset generates $G$, and $m(G)$ denotes the maximal size of a minimal generating set for $G$. We prove a conjecture of Lucchini, Moscatiello and Spiga by showing…

Let $K/\Q$ be a cyclic extension of number fields with Galois group $G$. We study the ideal classes of primes $\mathfrak{p}$ of $K$ of residue degree bigger than one in the class group of $K$. In particular, we explore such extensions…

Let $\Lambda = \mathrm{SL}_2(\Bbb Z)$ be the modular group and let $c_n(\Lambda)$ be the number of congruence subgroups of $\Lambda$ of index at most $n$. We prove that $\lim\limits_{n\to \infty} \frac{\log c_n(\Lambda)}{(\log n)^2/\log\log…