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

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.

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

This paper concerns the following system of nonlinear third-order boundary value problem: $$u_i^{\text{'}\text{'}\text{'}}\left(t\right)+f_i(t,u_1\left(t\right),\cdots ,u_n\left(t\right),u_1^{\text{'}}\left(t\right),\cdots ,u_n^{\text{'}}\left(t\right))=0,0<t<1,i\in \{1,\cdots ,n\}$$ with the following multi-point and integral boundary conditions: $$\left\{\begin{array}{c}{u}_i\left(0\right)=0u_i^{\text{'}}\left(0\right)=0u_i^{\text{'}}\left(1\right)=\sum _{j=1}^p{\beta }_{j,i}{u}_i^{\text{'}}\left({\eta }_{j,i}\right)+{\int }_0^1{h}_i(u_1\left(s\right),\cdots ,u_n\left(s\right))ds\hfill \end{array}\right.$$ where ${\beta }_{j,i}>0$, $0<{\eta }_{1,i}<\cdots <{\eta }_{p,i}<\frac{1}{2}$, $f_i:[0,1]\times {ℝ}^n\times {ℝ}^n\to ℝ$ and $h_i:[0,1]\times {ℝ}^n\to ℝ$ are continuous functions for all $i\in \{1,\cdots ,n\}$ and $j\in \{1,\cdots ,p\}$. Using Guo-Krasnosel’skii fixed point theorem in cone, we discuss the existence of positive solutions of this problem. We also prove nonexistence of positive solutions and we give some examples to illustrate our results.

In this paper, for a totally real number field $k$ we show the ideal class group of $k{\left({\cup }_{n>0}{\mu }_n\right)}^{+}$ is trivial. We also study the $p$-component of the ideal class group of the cyclotomic ${𝐙}_p$-extension.

Some sufficient conditions on the existence and multiplicity of solutions for the damped vibration problems with impulsive effects ⎧ u”(t) + g(t)u’(t) + f(t,u(t)) = 0, a.e. t ∈ [0,T ⎨ u(0) = u(T) = 0 ⎩ $\Delta u^{\text{'}}\left(t_j\right)=u^{\text{'}}(t{⁺}_j-u^{\text{'}}\left(t{¯}_j\right)=I_j\left(u\left(t_j\right)\right)$, j = 1,...,p, are established, where $t₀=0<t₁<\cdots <t_p<t_{p+1}=T$, g ∈ L¹(0,T;ℝ), f: [0,T] × ℝ → ℝ is continuous, and $I_j:ℝ\to ℝ$, j = 1,...,p, are continuous. The solutions are sought by means of the Lax-Milgram theorem and some critical point theorems. Finally, two examples are presented to illustrate the effectiveness...

Let d be a positive integer and μ a generalized Cantor measure satisfying $\mu ={\sum }_{j=1}^m{a}_j\mu \circ S_j^{-1}$, where $0<a_j<1$, ${\sum }_{j=1}^m{a}_j=1$, $S_j=\rho R+b_j$ with 0 < ρ < 1 and R an orthogonal transformation of ${ℝ}^d$. Then ⎧1 < p ≤ 2 ⇒ ⎨$su{p}_{r>0}{r}^{d(1/{\alpha }^{\text{'}}-1/p^{\text{'}})}({\int }_{J_x^r}{\left|\mu ̂\left(y\right)\right|}^{p^{\text{'}}}{dy)}^{1/p^{\text{'}}}\le D₁{\rho }^{-d/{\alpha }^{\text{'}}}$, $x\in {ℝ}^d$, ⎩ p = 2 ⇒ infr≥1 rd(1/α’-1/2) (∫J₀r|μ̂(y)|² dy)1/2 ≥ D₂ρd/α’$,$where $J_x^r={\prod }_{i=1}^d(x_i-r/2,x_i+r/2)$, α’ is defined by ${\rho }^{d/{\alpha }^{\text{'}}}={\left({\sum }_{j=1}^m{a}_j^p\right)}^{1/p}$ and the constants D₁ and D₂ depend only on d and p.

Let $R$ be a prime ring with center $Z$ and $I$ be a nonzero ideal of $R$. In this manuscript, we investigate the action of skew derivation $(\delta ,\varphi )$ of $R$ which acts as a homomorphism or an anti-homomorphism on $I$. Moreover, we provide an example for semiprime case.