The concept of $\alpha$-ideals in posets is introduced. Several properties of $\alpha$-ideals in $0$-distributive posets are studied. Characterization of prime ideals to be $\alpha$-ideals in $0$-distributive posets is obtained in terms of minimality of ideals. Further, it is proved that if a prime ideal $I$ of a $0$-distributive poset is non-dense, then $I$ is an $\alpha$-ideal. Moreover, it is shown that the set of all $\alpha$-ideals $\alpha \mathrm{Id}\left(P\right)$ of a poset $P$ with $0$ forms a complete lattice. A result analogous to separation theorem for...

The concept of a $0$-ideal in $0$-distributive posets is introduced. Several properties of $0$-ideals in $0$-distributive posets are established. Further, the interrelationships between $0$-ideals and $\alpha$-ideals in $0$-distributive posets are investigated. Moreover, a characterization of prime ideals to be $0$-ideals in $0$-distributive posets is obtained in terms of non-dense ideals. It is shown that every $0$-ideal of a $0$-distributive meet semilattice is semiprime. Several counterexamples are discussed. ...

We study the minimal prime elements of multiplication lattice module $M$ over a $C$-lattice $L$. Moreover, we topologize the spectrum $\pi \left(M\right)$ of minimal prime elements of $M$ and study several properties of it. The compactness of $\pi \left(M\right)$ is characterized in several ways. Also, we investigate the interplay between the topological properties of $\pi \left(M\right)$ and algebraic properties of $M$.

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

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

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.

We say that an ideal I on ${}_{\kappa }\lambda$ is semiproper if the corresponding poset ${\mathbb{P}}_I$ is semiproper. In this paper we investigate properties of semiproper ideals on ${}_{\kappa }\lambda$.

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.

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 $X$ be a completely regular Hausdorff space and, as usual, let $C\left(X\right)$ denote the ring of real-valued continuous functions on $X$. The lattice of $z$-ideals of $C\left(X\right)$ has been shown by Martínez and Zenk (2005) to be a frame. We show that the spectrum of this lattice is (homeomorphic to) $\beta X$ precisely when $X$ is a $P$-space. This we actually show to be true not only in spaces, but in locales as well. Recall that an ideal of a commutative ring is called a $d$-ideal if whenever two elements have the same annihilator...

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

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 $K$ be a number field defined by an irreducible polynomial $F\left(X\right)\in \mathbb{Z}\left[X\right]$ and ${\mathbb{Z}}_K$ its ring of integers. For every prime integer $p$, we give sufficient and necessary conditions on $F\left(X\right)$ that guarantee the existence of exactly $r$ prime ideals of ${\mathbb{Z}}_K$ lying above $p$, where $\overline{F}\left(X\right)$ factors into powers of $r$ monic irreducible polynomials in ${𝔽}_p\left[X\right]$. The given result presents a weaker condition than that given by S. K. Khanduja and M. Kumar (2010), which guarantees the existence of exactly $r$ prime ideals of ${\mathbb{Z}}_K$ lying above $p$....

If $K$ is the splitting field of the polynomial $f\left(x\right)=x^4+p{x}^2+p$ and $p$ is a rational prime of the form $4+n^2$, we give appropriate generators of $K$ to obtain the explicit factorization of the ideal $q{𝒪}_K$, where $q$ is a positive rational prime. For this, we calculate the index of these generators and integral basis of certain prime ideals.