CONTENTSIntroduction.......................................................................................61. Definition of certain special forms...........................................62. Statement of results...................................................................83. Proof of Theorem 2.....................................................................94. Preliminaries for Theorem 1.....................................................105. Further preliminaries for Theorem...

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...

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 $F/k$ be a finite abelian extension of number fields with $k$ imaginary quadratic. Let $O_F$ be the ring of integers of $F$ and $n\ge 2$ a rational integer. We construct a submodule in the higher odd-degree algebraic $K$-groups of $O_F$ using corresponding Gross’s special elements. We show that this submodule is of finite index and prove that this index can be computed using the higher “twisted” class number of $F$, which is the cardinal of the finite algebraic $K$-group $K_{2n-2}\left(O_F\right)$.

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 $\alpha \>1$ be irrational. Several authors studied the numbers $${\ell }^m\left(\alpha \right)=inf\left\{\right|y|:y\in {\Lambda }_m,y\ne 0\},$$ where $m$ is a positive integer and ${\Lambda }_m$ denotes the set of all real numbers of the form $y={ϵ}_0{\alpha }^n+{ϵ}_1{\alpha }^{n-1}+\cdots +{ϵ}_{n-1}\alpha +{ϵ}_n$ with restricted integer coefficients $|{ϵ}_i|\le m$. The value of ${\ell }^1\left(\alpha \right)$ was determined for many particular Pisot numbers and ${\ell }^m\left(\alpha \right)$ for the golden number. In this paper the value of ${\ell }^m\left(\alpha \right)$ is determined for irrational numbers $\alpha$, satisfying ${\alpha }^2=a\alpha \pm 1$ with a positive integer $a$.

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...

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...

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...

If the space $𝒬$ of quadratic forms in ${ℝ}^n$ is splitted in a direct sum ${𝒬}_1\oplus ...\oplus {𝒬}_k$ and if $X$ and $Y$ are independent random variables of ${ℝ}^n$, assume that there exist a real number $a$ such that $E\left(X\right|X+Y)=a(X+Y)$ and real distinct numbers $b_1,...,b_k$ such that $E\left(q\left(X\right)\right|X+Y)=b_{i}q(X+Y)$ for any $q$ in ${𝒬}_i.$ We prove that this happens only when $k=2$, when ${ℝ}^n$ can be structured in a Euclidean Jordan algebra and when $X$ and $Y$ have Wishart distributions corresponding to this structure.

We study the boundedness of the one-sided operator $g{⁺}_{\lambda ,\phi }$ between the weighted spaces $L^p\left(M¯w\right)$ and $L^p\left(w\right)$ for every weight w. If λ = 2/p whenever 1 < p < 2, and in the case p = 1 for λ > 2, we prove the weak type of $g{⁺}_{\lambda ,\phi }$. For every λ > 1 and p = 2, or λ > 2/p and 1 < p < 2, the boundedness of this operator is obtained. For p > 2 and λ > 1, we obtain the boundedness of $g{⁺}_{\lambda ,\phi }$ from $L^p\left({\left(M¯\right)}^{[p/2]+1}w\right)$ to $L^p\left(w\right)$, where ${\left(M¯\right)}^k$ denotes the operator M¯ iterated k times.

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 $G$ be a finite group $G$, $K$ a field of characteristic $p\ge 17$ and let $U$ be the group of units in $KG$. We show that if the derived length of $U$ does not exceed $4$, then $G$ must be abelian.