Related papers: The generators of $5$-class group of some fields o…

Let $k \,=\, \mathbb{Q}(\sqrt[5]{n},\zeta_5)$, where $n$ is a positive integer, $5^{th}$ power-free, whose $5-$class group is isomorphic to $\mathbb{Z}/5\mathbb{Z}\times\mathbb{Z}/5\mathbb{Z}$. Let $k_0\,=\,\mathbb{Q}(\zeta_5)$ be the…

Let $\Gamma \,=\, \mathbb{Q}(\sqrt[5]{n})$ be a pure quintic field, where $n$ is a positive integer $5^{th}$ power-free, $k_0\,=\,\mathbb{Q}(\zeta_5)$ be the cyclotomic field containing a primitive $5^{th}$ root of unity $\zeta_5$, and…

Let $\Gamma \,=\, \mathbb{Q}(\sqrt[5]{n})$ be a pure quintic field, where $n$ is a natural number $5^{th}$ power-free. Let $k = \mathbb{Q}(\sqrt[5]{n}, \zeta_5)$, with $\zeta_5$ is a primitive $5^{th}$ root of unit, be the normal closure of…

Let $n$ be a $5^{th}$ power-free naturel number and $k_0\,=\,\mathbb{Q}(\zeta_5)$ be the cyclotomic field generated by a primitive $5^{th}$ root of unity $\zeta_5$. Then $k\,=\,\mathbb{Q}(\sqrt[5]{n},\zeta_5)$ is a pure metacyclic field of…

Let $\mathrm{k}=\mathbb{Q}\left(\sqrt[3]{p},\zeta_3\right)$, where $p$ is a prime number such that $p \equiv 1 \pmod 9$, and let $C_{\mathrm{k},3}$ be the $3$-component of the class group of $\mathrm{k}$. In \cite{GERTH3}, Frank Gerth III…

Let zeta5 be a primitive fifth root of unity and d<>1 be a quadratic fundamental discriminant not divisible by 5. For the 5-dual cyclic quartic field M=Q((zeta5-zeta5^-1)*d^1/2) of the quadratic fields k1=Q(d^1/2) and k2=Q((5*d)^1/2) in the…

Let $k=k_0(\sqrt[3]{d})$ be a cubic Kummer extension of $k_0=\mathbb{Q}(\zeta_3)$ with $d>1$ a cube-free integer and $\zeta_3$ a primitive third root of unity. Denote by $C_{k,3}^{(\sigma)}$ the $3$-group of ambiguous classes of the…

Let $\mathrm{k}=\mathbb{Q}(\sqrt[3]{d},\zeta_3)$, with $d$ a cube-free positive integer. Let $C_{\mathrm{k},3}$ be the $3$-component of the class group of $\mathrm{k}$. By the aid of genus theory, arithmetic proprieties of the pure cubic…

We give bounds on the degree of generators for the ideal of relations of the graded algebras of modular forms with coefficients in $\mathbb{Q}$ over congruence subgroups $\Gamma_0(N)$ for $N$ satisfying some congruence conditions and for…

We establish upper bounds for the smallest height of a generator of a number field $k$ over the rational field $\Q$. Our first bound applies to all number fields $k$ having at least one real embedding. We also give a second conditional…

Let $G$ be a $5$-group of maximal class and $\gamma_2(G) = [G, G]$ its derived group. Assume that the abelianization $G/\gamma_2(G)$ is of type $(5, 5)$ and the transfers $V_{H_1\to \gamma_2(G)}$ and $V_{H_2\to \gamma_2(G)}$ are trivial,…

Let K/F be a cyclic extension of prime degree l over a number field F. If F has class number coprime to l, we study the structure of the l-Sylow subgroup of the class group of K. In particular, when F contains the l-th roots of unity, we…

In this paper we explore the structure and properties of C-groups. We define a C-group as a group $G$ with $rk(G) < rk(Z(G))$ (where $rk(G)$ is the minimal cardinal of a generating set for a group $G$). Using GAP (a group theory program)…

We give two explicit sets of generators of the group of invertible regular functions over QQ on the modular curve Y1(N). The first set of generators is very surprising. It is essentially the set of defining equations of Y1(k) for k <= N/2…

In this series of papers, we introduce higher level versions of the theta group $\Gamma_{\theta}.$ In this paper, we treat the theta group of level $5$, $\Gamma_{\theta,5},$ and construct modular forms on $\Gamma_{\theta,5}$. Moreover we…

Let $d$ be an odd square-free integer, $m\geq 3$ any integer and $L_{m, d}:=\mathbb{Q}(\zeta_{2^m},\sqrt{d})$. In this paper, we shall determine all the fields $L_{m, d}$ having an odd class number. Furthermore, using the cyclotomic…

Let \(\Gamma=\mathbb{Q}(\sqrt[3]{n})\) be a pure cubic field with normal closure \(k=\mathbb{Q}(\sqrt[3]{n},\zeta)\), where \(n>1\) denotes a cube free integer, and \(\zeta\) is a primitive cube root of unity. Suppose \(k\) possesses an…

Let p be an odd prime. Let K = \Q(zeta) be the p-cyclotomic number field. Let v be a primitive root mod p and sigma : zeta --> zeta^v be a \Q-isomorphism of the extension K/\Q generating the Galois group G of K/\Q. For n in Z, the notation…

We construct an infinite family of imaginary bicyclic biquadratic number fields $k$ with the 2-ranks of their 2-class groups are $\geq3$, whose strongly ambiguous classes of $k/Q(i)$ capitulate in the absolute genus field $k^{(*)}$, which…

With K=Q((3812377)^(1/2)) we give the first example of an algebraic number field possessing a 5-class tower of exact length L(5,K)=3. The rigorous proof is conducted by means of the p-group generation algorithm, showing the existence of a…