Related papers: The 2-rank of the class group of some real cyclic …
Quadratic conjecture is a strengthening of oliver's $p$-group conjecture. Let $G$ be a $p$-group of maximal class of order $p^n$. We prove that if $n\le 8$ or $n\ge \max\{2p-6,p+2\}$ then $G$ satisfies Quadratic Conjecture. Hence quadratic…
It has been shown by Madden that there are only finitely many quadratic extensions of k(x), k a finite field, in which the ideal class group has exponent two and the infinity place of k(x) ramifies. We give a characterization of such fields…
The class numbers $h^{+}$ of the real cyclotomic fields are very hard to compute. Methods based on discriminant bounds become useless as the conductor of the field grows and methods employing Leopoldt's decomposition of the class number…
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 $d$ be a positive square-free integer. In this paper we shall investigate the structure of the $2$-class group of the cyclotomic $\mathbb{Z}_2$-extension of the imaginary biquadratic number field $\mathbb{Q}(\sqrt{d},\sqrt{-1})$.…
Here we initiate a program to study relationships between finite groups and arithmetic-geometric invariants in a systematic way. To do this we first introduce a notion of optimal module for a finite group in the setting of holomorphic mock…
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$ be a multiquadratic extension of $\mathbb{Q}$ and let $\text{Cl}^{+}(K)$ be its narrow class group. Recently, the authors \cite{KP} gave a bound for $|\text{Cl}^{+}(K)[2]|$ only in terms of the degree of $K$ and the number of…
Let $p_{1}, p_{2}$ be two distinct prime integers, let $n$ be a positive integer, $n$$\geq 3$ and let $\xi_{n} $ be a primitive root of order $n$ of the unity. In this paper we obtain a complete characterization for a quaternion algebra…
Let $h_{(m,k)}$ be the class number of $\mathbb{Q}(\sqrt{1-2m^k}).$ We prove that for any odd natural number $k,$ there exists $m_0$ such that $k \mid h_{(m,k)}$ for all odd $m > m_0.$ We also prove that for any odd $m \geq 3,$ $k \mid…
The multiplicative group of a finite field is well known to be cyclic; in this note, we determine the finite fields whose multiplicative groups are direct sum indecomposable. We obtain our classification using a direct argument and also as…
A (positive definite and non-classic integral) quadratic form is called strongly $s$-regular if it satisfies a strong regularity property on the number of representations of squares of integers. In this article, we prove that for any…
Let $R$ be an order in an algebraic number field. If $R$ is a principal order, then many explicit results on its arithmetic are available. Among others, $R$ is half-factorial if and only if the class group of $R$ has at most two elements.…
We compute the characters of real irreducible representations of SL(2,q), the special linear group on q letters, for an odd prime $q$. Moreover, we give the dimensions of these irreducible representations under the actions of cyclic…
We adapt a known technique for searching for ideal classes of arbitrary order and then apply it to three families of number fields. We show that a family of cyclic sextic number fields has infinitely many fields in it that contain a…
We determine the Galois group of the 2-class field tower for two particular families of imaginary quadratic number fields $k$ with $2$-class field tower of length $2$.
In his work about Galois representations, Greenberg conjectured the existence, for any odd prime p and any positive integer t, of a multiquadratic p-rational number field of degree 2 t. In this article, we prove that there exists infinitely…
Let $p\equiv 1\,(\mathrm{mod}\,9)$ be a prime number and $\zeta_3$ be a primitive cube root of unity. Then $\mathrm{k}=\mathbb{Q}(\sqrt[3]{p},\zeta_3)$ is a pure metacyclic field with group $\mathrm{Gal}(\mathrm{k}/\mathbb{Q})\simeq S_3$.…
In this paper we study the structure of the $3-$part of the ideal class group of a certain family of real cyclotomic fields with $3-$class number exactly $9$ and conductor equal to the product of two distinct odd primes. We employ known…
The classification of maximal function fields over a finite field is a difficult open problem, and even determining isomorphism classes among known function fields is challenging in general. We study a particular family of maximal function…