We study the capitulation of $2$-ideal classes of an infinite family of imaginary bicyclic biquadratic number fields consisting of fields $𝕜=\mathbb{Q}(\sqrt{2pq},\mathrm{i})$, where $\mathrm{i}=\sqrt{-1}$ and $p\equiv -q\equiv 1(mod4)$ are different primes. For each of the three quadratic extensions $𝕂/𝕜$ inside the absolute genus field ${𝕜}^{(*)}$ of $𝕜$, we determine a fundamental system of units and then compute the capitulation kernel of $𝕂/𝕜$. The generators of the groups ${\mathrm{Am}}_s(𝕜/F)$ and $\mathrm{Am}(𝕜/F)$ are also determined from which we deduce that ${𝕜}^{(*)}$ is smaller than the relative genus field ${(𝕜/\mathbb{Q}\left(\mathrm{i}\right))}^{*}$. Then we prove...

Let $d$ be a square-free positive integer and $h\left(d\right)$ be the class number of the real quadratic field $\mathbb{Q}\left(\sqrt{d}\right).$ We give an explicit lower bound for $h(n^2+r)$, where $r=1,4$. Ankeny and Chowla proved that if $g>1$ is a natural number and $d=n^{2g}+1$ is a square-free integer, then $g\mid h\left(d\right)$ whenever $n>4$. Applying our lower bounds, we show that there does not exist any natural number $n>1$ such that $h(n^{2g}+1)=g$. We also obtain a similar result for the family $\mathbb{Q}\left(\sqrt{n^{2g}+4}\right)$. As another application, we deduce some criteria for a class group of prime power order to be...

For any number field $K$ with non-elementary $3$-class group ${\mathrm{Cl}}_3\left(K\right)\simeq C_{3^e}\times C_3$, $e\ge 2$, the punctured capitulation type $\varkappa \left(K\right)$ of $K$ in its unramified cyclic cubic extensions $L_i$, $1\le i\le 4$, is an orbit under the action of $S_3\times S_3$. By means of Artin’s reciprocity law, the arithmetical invariant $\varkappa \left(K\right)$ is translated to the punctured transfer kernel type $\varkappa \left(G_2\right)$ of the automorphism group $G_2=\mathrm{Gal}({\mathrm{F}}_3^2\left(K\right)/K)$ of the second Hilbert $3$-class field of $K$. A classification of finite $3$-groups $G$ with low order and bicyclic commutator quotient $G/G^{\text{'}}\simeq C_{3^e}\times C_3$, $2\le e\le 6$, according to the algebraic...

Let $d$ be a square free integer and $L_d:=\mathbb{Q}({\zeta }_8,\sqrt{d})$. In the present work we determine all the fields $L_d$ such that the $2$-class group, ${\mathrm{Cl}}_2\left(L_d\right)$, of $L_d$ is of type $(2,4)$ or $(2,2,2)$.

For an algebraic number field $K$ with $3$-class group ${\mathrm{Cl}}_3\left(K\right)$ of type $(3,3)$, the structure of the $3$-class groups ${\mathrm{Cl}}_3\left(N_i\right)$ of the four unramified cyclic cubic extension fields $N_i$, $1\le i\le 4$, of $K$ is calculated with the aid of presentations for the metabelian Galois group ${\mathrm{G}}_3^2\left(K\right)=\mathrm{Gal}\left({\mathrm{F}}_3^2\left(K\right)\right|K)$ of the second Hilbert $3$-class field ${\mathrm{F}}_3^2\left(K\right)$ of $K$. In the case of a quadratic base field $K=\mathbb{Q}\left(\sqrt{D}\right)$ it is shown that the structure of the $3$-class groups of the four $S_3$-fields $N_1,...,N_4$ frequently determines the type of principalization of the $3$-class group of $K$ in $N_1,...,N_4$. This...

For graphs $G$, $F_1$, $F_2$, we write $G\to (F_1,F_2)$ if for every red-blue colouring of the edge set of $G$ we have a red copy of $F_1$ or a blue copy of $F_2$ in $G$. The size Ramsey number $\widehat{r}(F_1,F_2)$ is the minimum number of edges of a graph $G$ such that $G\to (F_1,F_2)$. Erdős and Faudree proved that for the cycle $C_n$ of length $n$ and for $t\ge 2$ matchings $t{K}_2$, the size Ramsey number $\widehat{r}(t{K}_2,C_n)<n+(4t+3)\sqrt{n}$. We improve their upper bound for $t=2$ and $t=3$ by showing that $\widehat{r}(2K_2,C_n)\le n+2\sqrt{3n}+9$ for $n\ge 12$ and $\widehat{r}(3K_2,C_n)<n+6\sqrt{n}+9$ for $n\ge 25$.

General concepts and strategies are developed for identifying the isomorphism type of the second $p$-class group $G=\mathrm{Gal}\left({\mathrm{F}}_p^2\left(K\right)\right|K)$, that is the Galois group of the second Hilbert $p$-class field ${\mathrm{F}}_p^2\left(K\right)$, of a number field $K$, for a prime $p$. The isomorphism type determines the position of $G$ on one of the coclass graphs $𝒢(p,r)$, $r\ge 0$, in the sense of Eick, Leedham-Green, and Newman. It is shown that, for special types of the base field $K$ and of its $p$-class group ${\mathrm{Cl}}_p\left(K\right)$, the position of $G$ is restricted to certain admissible branches...

We study sums and products in a field. Let $F$ be a field with $\mathrm{ch}\left(F\right)\ne 2$, where $\mathrm{ch}\left(F\right)$ is the characteristic of $F$. For any integer $k\ge 4$, we show that any $x\in F$ can be written as $a_1+\cdots +a_k$ with $a_1,\cdots ,a_k\in F$ and $a_1\cdots a_k=1$, and that for any $\alpha \in F\setminus \left\{0\right\}$ we can write every $x\in F$ as $a_1\cdots a_k$ with $a_1,\cdots ,a_k\in F$ and $a_1+\cdots +a_k=\alpha$. We also prove that for any $x\in F$ and $k\in \{2,3,\cdots \}$ there are $a_1,\cdots ,a_{2k}\in F$ such that $a_1+\cdots +a_{2k}=x=a_1\cdots a_{2k}$.

Let $G$ be a finite group. An element $g\in G$ is called a vanishing element if there exists an irreducible complex character $\chi$ of $G$ such that $\chi \left(g\right)=0$. Denote by $\mathrm{Vo}\left(G\right)$ the set of orders of vanishing elements of $G$. Ghasemabadi, Iranmanesh, Mavadatpour (2015), in their paper presented the following conjecture: Let $G$ be a finite group and $M$ a finite nonabelian simple group such that $\mathrm{Vo}\left(G\right)=\mathrm{Vo}\left(M\right)$ and $\left|G\right|=\left|M\right|$. Then $G\cong M$. We answer in affirmative this conjecture for $M=Sz\left(q\right)$, where $q=2^{2n+1}$ and either $q-1$, $q-\sqrt{2q}+1$ or $q+\sqrt{2q}+1$ is a prime number, and $M=F_4\left(q\right)$, where...

We give the characterization of the unit group of ${𝔽}_{q}SL(2,{\mathbb{Z}}_5)$, where ${𝔽}_q$ is a finite field with $q=p^k$ elements for prime $p>5,$ and $SL(2,{\mathbb{Z}}_5)$ denotes the special linear group of $2\times 2$ matrices having determinant $1$ over the cyclic group ${\mathbb{Z}}_5$.

Let $𝕍$ be a separable real Hilbert space, $k\in \mathbb{N}$ with $k<dim𝕍$, and let $B$ be convex and closed in $𝕍$. Let $𝒫$ be a collection of linear $k$-subspaces of $𝕍$. A point $w\in B$ is called exposed by $𝒫$ if there is a $P\in 𝒫$ so that $(w+P)\cap B=\left\{w\right\}$. We show that, under some natural conditions, $B$ can be reconstituted as the convex hull of the closure of all its exposed by $𝒫$ points whenever $𝒫$ is dense and $G_{\delta }$. In addition, we discuss the question when the set of exposed by some $𝒫$ points forms a $G_{\delta }$-set.

Let $d$ be an odd square-free integer, $m\ge 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 ${\mathbb{Z}}_2$-extensions of some number fields, we compute the rank of the $2$-class group of $L_{m,d}$ whenever the prime divisors of $d$ are congruent to $3$ or $5(mod8)$.

A nonincreasing sequence $\pi =(d_1,...,d_n)$ of nonnegative integers is a graphic sequence if it is realizable by a simple graph $G$ on $n$ vertices. In this case, $G$ is referred to as a realization of $\pi$. Given two graphs $G_1$ and $G_2$, A. Busch et al. (2014) introduced the potential-Ramsey number of $G_1$ and $G_2$, denoted by $r_{\mathrm{pot}}(G_1,G_2)$, as the smallest nonnegative integer $m$ such that for every $m$-term graphic sequence $\pi$, there is a realization $G$ of $\pi$ with $G_1\subseteq G$ or with $G_2\subseteq \overline{G}$, where $\overline{G}$ is the complement of $G$. For $t\ge 2$ and $0\le k\le \lfloor \frac{t}{2}\rfloor$, let $K_t^{-k}$ be the graph...