Related papers: The least prime ideal in a given ideal class

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…

We reprove and generalize a result of Moh which gives a lower bound on the minimal number of generators of an ideal in a power series ring in three variables x,y,z over a field k. As a consequence, in each characteristic of the field k, we…

We consider the problem of determining whether a given prime p is a congruent number. We present an easily computed criterion that allows us to conclude that certain primes for which congruency was previously undecided, are in fact not…

Let $K$ be an imaginary quadratic field and $\mathcal{O}$ be an order in $K$. We construct class fields associated with form class groups which are isomorphic to certain $\mathcal{O}$-ideal class groups in terms of the theory of canonical…

For a quadratic field $\mathcal{K}$ without rationally defined CM, we prove that there exists of a prime $p_{\mathcal{K}}$ depending only on $\mathcal{K}$ such that if $d$ is a positive integer whose minimal prime divisor is greater than…

For a field $\mathbb{F}$ and integers $d$ and $k$, a set of vectors of $\mathbb{F}^d$ is called $k$-nearly orthogonal if its members are non-self-orthogonal and every $k+1$ of them include an orthogonal pair. We prove that for every prime…

It has been well known since Gauss that the principality of an ideal in a real quadratic field $K$ is equivalent to the solvability of a certain generalized Pell equations. In this paper, we combine this classical result with Srinivasan's…

We discuss principality of prime ideals of finite algebraic number fields $L=K(\theta)$ over an algebraic number field $K ([K:\mathbb{Q}]<\infty)$ defined by irreducible polynomials $f(x)\in \mathfrak{O}_{K}[x]$ and $f(\theta)=0$. Our main…

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 prove that the prime ideals in every class of a number field contain arbitrary large truncated ideal classes.

Let $p$ be an odd prime number and $f$ a modular form. We consider the $\mathbb{F}_p$-valued Galois representation $\bar{\rho}_f$ attached to $f$ and its twist $\bar{\rho}_{f, D}$ by the quadratic character $\chi_D$ corresponding to a…

Let $k$ be a number field and $G$ be a finite group. Let $\mathfrak{F}_{k}^{G}(Q)$ be the family of number fields $K$ with absolute discriminant $D_K$ at most $Q$ such that $K/k$ is normal with Galois group isomorphic to $G$. If $G$ is the…

Many classical ring-theoretic results state that an ideal that is maximal with respect to satisfying a special property must be prime. We present a "Prime Ideal Principle" that gives a uniform method of proving such facts, generalizing the…

Let $N$ be a positive integer and $\Gamma$ be a subgroup of $\mathrm{SL}_2(\mathbb{Z})$ containing $\Gamma_1(N)$. Let $K$ be an imaginary quadratic field and $\mathcal{O}$ be an order of discriminant $D_\mathcal{O}$ in $K$. Under some…

The main purpose of this paper is to extend results on isomorphism types of the abelianized absolute Galois group $\mathcal G_K^{ab}$, where $K$ denotes imaginary quadratic field. In particular, we will show that if the class number $h_K$…

Let $R$ be a normal Noetherian local domain of Krull dimension two. We examine intersections of rank one discrete valuation rings that birationally dominate $R$. We restrict to the class of prime divisors that dominate $R$ and show that if…

In 2003, H\'{e}thelyi and K\"{u}lshammer proposed that if $G$ is a finite group and $p$ is a prime dividing the group order, then $k(G)\geq 2\sqrt{p-1}$, and they proved this conjecture for solvable $G$ and showed that it is sharp for those…

Let $K$ be an imaginary quadratic field of discriminant $d_K$ with ring of integers $\mathcal{O}_K$. When $K$ is different from $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$, we consider a certain specific model for the elliptic curve…

It was conjectured by Gauss that any negative discriminant with at least 32 genera has at least two classes of binary quadratic forms in each genus. We prove that such a discriminant cannot have a particularly large prime factor, by an…

Given an odd prime $\ell$ and finite set of odd primes $S_+$, we prove the existence of an imaginary quadratic field whose class number is indivisible by $\ell$ and which splits at every prime in $S_+$. Notably, we do not require that $p…