Related papers: Relative Ideal Classes of Arbitrary Order

Let $p$ be an odd prime and $F$ be a number field whose $p$-class group is cyclic. Let $F_{\{\mathfrak{q}\}}$ be the maximal pro-$p$ extension of $F$ which is unramified outside a single non-$p$-adic prime ideal $\mathfrak{q}$ of $F$. In…

The Steinitz class of a number field extension K/k is an ideal class in the ring of integers O_k of k, which, together with the degree [K:k] of the extension determines the O_k-module structure of O_K. We call R_t(k,G) the classes which are…

We show that finite quasisimple groups of Lie type in characteristic $p$ with an irreducible representation of prime degree $r$ over a finite field of characteristic $p$ have orders bounded above by a function of $r$, independent of $p$. We…

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…

A number field is said to be a CM-number field if it is a totally imaginary quadratic extension of a totally real number field. We define a totally imaginary number field to be of CM-type if it contains a CM-subfield, and of TR-type if it…

Assume $x,\ y,\ n$ are positive integers and $n$ is odd. In this note, we show that the class number of the imaginary quadratic field $\mathbb{Q}(\sqrt{x^{2}-y^{n}})$ is divisible by $n$ for fixed $x, n$ if $\gcd(2x,y)=1$ and $y>C$ where…

We investigate class field towers of number fields obtained as fixed fields of modular representations of the absolute Galois group of the rational numbers. First, for each $k\in\{12,16,18,20,22,26\}$, we give explicit rational primes $\l$…

Let $K_i$ be a number field for all $i \in \mathbb{Z}_{> 0}$ and let $\mathcal{E}$ be a family of elliptic curves containing infinitely many members defined over $K_i$ for all $i$. Fix a rational prime $p$. We give sufficient conditions for…

We construct parameterized families of imaginary (resp. real) quadratic fields whose class groups have $n$-rank at least $2$.

We quantify a recent theorem of Wiles on class numbers of imaginary quadratic fields by proving an estimate for the number of negative fundamental discriminants down to -X whose class numbers are indivisible by a given prime and whose…

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…

H. W. Lenstra \cite{lenstra} introduced the notion of an Euclidean ideal class, which is a generalization of norm-Euclidean ideals in number fields. Later, families of number fields of small degree were obtained with an Euclidean ideal…

Given a random real quadratic field from $\{ \mathbb{Q}(\sqrt{p}\,) ~|~ p \text{ primes} \}$, the conjectural probability $\mathbb{P}(h=q)$ that it has class number $q$ is given for all positive odd integers $q$. Some related conjectures of…

In 2015, Abatzoglou, Silverberg, Sutherland, and Wong presented a framework for primality proving algorithms for special sequences of integers using an elliptic curve with complex multiplication. They applied their framework to obtain…

This paper describes in terms of Artin-Schreier equations field extensions whose Galois group is isomorphic to any of the four non-cyclic groups of order $p^3$ or the ten non-Abelian groups of order $p^4$, $p$ an odd prime, over a field of…

Computing well-rounded twists of ideals in number fields has been done when the field degree is $2$. In this paper, we develop a new algorithm to detect whether a basis of an ideal $\mathfrak{I}$ in a cyclic cubic field $F$ yields a…

We determine and explicitly parametrize the isomorphism classes of nonassociative quaternion algebras over a field of characteristic different from two, as well as the isomorphism classes of nonassociative cyclic algebras of odd prime…

Let k be an imaginary quadratic number field (with class number 1). We describe a new, essentially linear-time algorithm, to list all isomorphism classes of cubic extensions L/k up to a bound X on the norm of the relative discriminant…

A family of fractal arrangements of circles is introduced for each imaginary quadratic field $K$. Collectively, these arrangements contain (up to an affine transformation) every set of circles in the extended complex plane with integral…

Lenstra introduced the notion of a Euclidean ideal class, which is a generalization of the Euclidean domain. Lenstra also proved that the Euclidean ideal in a number field $K$ implies that the class group of $K$ is cyclic. We construct a…