Let K be a number field. Assume that the 2-rank of the ideal class group of K is equal to the 2-rank of the narrow ideal class group of K. Moreover, assume K has a unique dyadic prime and the class of is a square in the ideal class group of K. We prove that if ₁,...,ₙ are finite primes of K such that ∙ the class of ${}_i$ is a square in the ideal class group of K for every i ∈ 1,...,n, ∙ -1 is a local square at ${}_i$ for every nondyadic ${}_i\in ₁,...,ₙ$, then ₁,...,ₙ is the wild set of some self-equivalence...

Let $p_1,p_2,\cdots$ be the sequence of all primes in ascending order. Using explicit estimates from the prime number theory, we show that if $k\ge 5$, then $$(p_{k+1}-1)!\mid \left(\frac{1}{2}(p_{k+1}-1)\right)!p_k!,$$ which improves a previous result of the second author.

For a double complex $(A,d^{\text{'}},d^{\text{'}\text{'}})$, we show that if it satisfies the $d^{\text{'}}{d}^{\text{'}\text{'}}$-lemma and the spectral sequence $\left\{E_r^{p,q}\right\}$ induced by $A$ does not degenerate at $E_0$, then it degenerates at $E_1$. We apply this result to prove the degeneration at $E_1$ of a Hodge-de Rham spectral sequence on compact bi-generalized Hermitian manifolds that satisfy a version of $d^{\text{'}}{d}^{\text{'}\text{'}}$-lemma.

The aim of this paper is to prove an analog of Gras’ conjecture for an abelian field $F$ and an odd prime $p$ dividing the degree $[F:\mathbb{Q}]$ assuming that the $p$-part of $\mathrm{Gal}(F/\mathbb{Q})$ group is cyclic.

We consider certain class of second order nonlinear nonautonomous delay differential equations of the form $$a\left(t\right)x^{\text{'}\text{'}}+b\left(t\right)g(x,x^{\text{'}})+c\left(t\right)h\left(x(t-r)\right)m\left(x^{\text{'}}\right)=p(t,x,x^{\text{'}})$$ and $${\left(a\left(t\right)x^{\text{'}}\right)}^{\text{'}}+b\left(t\right)g(x,x^{\text{'}})+c\left(t\right)h\left(x(t-r)\right)m\left(x^{\text{'}}\right)=p(t,x,x^{\text{'}}),$$ where $a$, $b$, $c$, $g$, $h$, $m$ and $p$ are real valued functions which depend at most on the arguments displayed explicitly and $r$ is a positive constant. Different forms of the integral inequality method were used to investigate the boundedness of all solutions and their derivatives. Here, we do not require construction of the Lyapunov-Krasovski functional to establish our results....

Let $C_F\left(X\right)$ be the socle of C(X). It is shown that each prime ideal in $C\left(X\right)/C_F\left(X\right)$ is essential. For each h ∈ C(X), we prove that every prime ideal (resp. z-ideal) of C(X)/(h) is essential if and only if the set Z(h) of zeros of h contains no isolated points (resp. int Z(h) = ∅). It is proved that $dim(C\left(X\right)/C_F\left(X\right))\ge dimC\left(X\right)$, where dim C(X) denotes the Goldie dimension of C(X), and the inequality may be strict. We also give an algebraic characterization of compact spaces with at most a countable number of nonisolated points....

In this paper, we study a model for the magnetization in thin ferromagnetic films. It comes as a variational problem for $S^1$-valued maps $m^{\text{'}}$ (the magnetization) of two variables $x^{\text{'}}$: $E_{\epsilon }\left(m^{\text{'}}\right)=\epsilon \int {|{\nabla }^{\text{'}}·m^{\text{'}}|}^{2}d{x}^{\text{'}}+\frac{1}{2}\int {\left||{\nabla }^{\text{'}}{|}^{-1/2}{\nabla }^{\text{'}}·m^{\text{'}}\right|}^{2}d{x}^{\text{'}}$. We are interested in the behavior of minimizers as $\epsilon \to 0$. They are expected to be $S^1$-valued maps $m^{\text{'}}$ of vanishing distributional divergence ${\nabla }^{\text{'}}·m^{\text{'}}=0$, so that appropriate boundary conditions enforce line discontinuities. For finite $\epsilon >0$, these line discontinuities are approximated by smooth transition layers, the so-called Néel...

We consider elementary operators $x\mapsto {\sum }_{j=1}^n{a}_{j}x{b}_j$, acting on a unital Banach algebra, where $a_j$ and $b_j$ are separately commuting families of generalized scalar elements. We give an ascent estimate and a lower bound estimate for such an operator. Additionally, we give a weak variant of the Fuglede-Putnam theorem for an elementary operator with strongly commuting families $a_j$ and $b_j$, i.e. $a_j=a_j^{\text{'}}+i{a}_j^{\text{'}\text{'}}$ ($b_j=b_j^{\text{'}}+i{b}_j^{\text{'}\text{'}}$), where all $a_j^{\text{'}}$ and $a_j^{\text{'}\text{'}}$ ($b_j^{\text{'}}$ and $b_j^{\text{'}\text{'}}$) commute. The main tool is an L¹ estimate of the Fourier transform of a certain class...

Let $p$ be a prime number. A finite Galois extension $N/F$ of a number field $F$ with group $G$ has a normal $p$-integral basis ($p$-NIB for short) when ${𝒪}_N^{\prime }$ is free of rank one over the group ring ${𝒪}_F^{\prime }\left[G\right]$. Here, ${𝒪}_F^{\prime }={𝒪}_F[1/p]$ is the ring of $p$-integers of $F$. Let $m=p^e$ be a power of $p$ and $N/F$ a cyclic extension of degree $m$. When ${\zeta }_m\in F^{\times }$, we give a necessary and sufficient condition for $N/F$ to have a $p$-NIB (Theorem 3). When ${\zeta }_m\notin F^{\times }$ and $p\nmid [F\left({\zeta }_m\right):F]$, we show that $N/F$ has a $p$-NIB if and only if $N\left({\zeta }_m\right)/F\left({\zeta }_m\right)$ has a $p$-NIB (Theorem 1). When $p$ divides $[F\left({\zeta }_m\right):F]$, we show that this...

We determine the duals of the homogeneous matrix-weighted Besov spaces ${Ḃ}_p^{\alpha q}\left(W\right)$ and ${ḃ}_p^{\alpha q}\left(W\right)$ which were previously defined in [5]. If W is a matrix $A_p$ weight, then the dual of ${Ḃ}_p^{\alpha q}\left(W\right)$ can be identified with ${Ḃ}_{p^{\text{'}}}^{-\alpha q^{\text{'}}}\left(W^{-p^{\text{'}}/p}\right)$ and, similarly, $\left[{ḃ}_p^{\alpha q}\left(W\right)\right]*\approx {ḃ}_{p^{\text{'}}}^{-\alpha q^{\text{'}}}\left(W^{-p^{\text{'}}/p}\right)$. Moreover, for certain W which may not be in the $A_p$ class, the duals of ${Ḃ}_p^{\alpha q}\left(W\right)$ and ${ḃ}_p^{\alpha q}\left(W\right)$ are determined and expressed in terms of the Besov spaces ${Ḃ}_{p^{\text{'}}}^{-\alpha q^{\text{'}}}\left(A_Q^{-1}\right)$ and ${ḃ}_{p^{\text{'}}}^{-\alpha q^{\text{'}}}\left(A_Q^{-1}\right)$, which we define in terms of reducing operators ${A_Q}_Q$ associated with W. We also develop the basic theory of these reducing operator Besov spaces....

Let $K_{s,t}$ be the complete bipartite graph with partite sets $\{x_1,...,x_s\}$ and $\{y_1,...,y_t\}$. A split bipartite-graph on $(s+s^{\text{'}})+(t+t^{\text{'}})$ vertices, denoted by ${\mathrm{SB}}_{s+s^{\text{'}},t+t^{\text{'}}}$, is the graph obtained from $K_{s,t}$ by adding $s^{\text{'}}+t^{\text{'}}$ new vertices $x_{s+1},...,x_{s+s^{\text{'}}}$, $y_{t+1},...,y_{t+t^{\text{'}}}$ such that each of $x_{s+1},...,x_{s+s^{\text{'}}}$ is adjacent to each of $y_1,...,y_t$ and each of $y_{t+1},...,y_{t+t^{\text{'}}}$ is adjacent to each of $x_1,...,x_s$. Let $A$ and $B$ be nonincreasing lists of nonnegative integers, having lengths $m$ and $n$, respectively. The pair $(A;B)$ is potentially ${\mathrm{SB}}_{s+s^{\text{'}},t+t^{\text{'}}}$-bigraphic if there is a simple bipartite graph containing ${\mathrm{SB}}_{s+s^{\text{'}},t+t^{\text{'}}}$ (with $s+s^{\text{'}}$ vertices $x_1,...,x_{s+s^{\text{'}}}$ in the part of size $m$...

Let A denote the space of all analytic functions in the unit disc Δ with the normalization f(0) = f’(0) − 1 = 0. For β < 1, let $P{⁰}_{\beta }=f\in A:Re{f}^{\text{'}}\left(z\right)>\beta ,z\in \Delta$. For λ > 0, suppose that denotes any one of the following classes of functions: $M_{1,\lambda }^{\left(1\right)}=f\in :Rez{\left(z{f}^{\text{'}}\left(z\right)\right)}^{\text{'}\text{'}}>-\lambda ,z\in \Delta$, $M_{1,\lambda }^{\left(2\right)}=f\in :Rez{\left(z²f^{\text{'}\text{'}}\left(z\right)\right)}^{\text{'}\text{'}}>-\lambda ,z\in \Delta$, $M_{1,\lambda }^{\left(3\right)}=f\in :Re1/2{\left(z{\left(z²f^{\text{'}}\left(z\right)\right)}^{\text{'}\text{'}}\right)}^{\text{'}}-1>-\lambda ,z\in \Delta$. The main purpose of this paper is to find conditions on λ and γ so that each f ∈ is in ${}_{\gamma }$ or ${}_{\gamma }$, γ ∈ [0,1/2]. Here ${}_{\gamma }$ and ${}_{\gamma }$ respectively denote the class of all starlike functions of order γ and the class of all convex functions of order γ. As a consequence, we obtain...

Viene dimostrata l'esistenza di soluzioni del problema di Darboux per l'equazione iperbolica $z_{xy}^{\mathrm{\prime \prime }}=f(x,y,z,Z_x^{\prime },z_y)$ sul planiquarto $x\ge 0$, $y\ge 0$. Qui, $f$ è una funzione continua, con valori in uno spazio Banach che soddisfano alcune condizioni di regolarità espresse in termini della misura di non-compattezza $\alpha$.

We study the existence of solutions of the system $$\left\{\begin{array}{c}{\left({\phi }_1\left(u_1^{\text{'}}\left(t\right)\right)\right)}^{\text{'}}=f_1(t,u_1\left(t\right),u_2\left(t\right),u_1^{\text{'}}\left(t\right),u_2^{\text{'}}\left(t\right)),\text{a.e.}t\in [0,T],{\left({\phi }_2\left(u_2^{\text{'}}\left(t\right)\right)\right)}^{\text{'}}=f_2(t,u_1\left(t\right),u_2\left(t\right),u_1^{\text{'}}\left(t\right),u_2^{\text{'}}\left(t\right)),\text{a.e.}t\in [0,T],\hfill \end{array}\right.$$ submitted to nonlinear coupled boundary conditions on $[0,T]$ where ${\phi }_1,{\phi }_2:(-a,a)\to ℝ$, with $0<a<+\infty$, are two increasing homeomorphisms such that ${\phi }_1\left(0\right)={\phi }_2\left(0\right)=0$, and $f_i:[0,T]\times {ℝ}^4\to ℝ$, $i\in \{1,2\}$ are two $L^1$-Carathéodory functions. Using some new conditions and Schauder fixed point Theorem, we obtain solvability result.