An $𝒮$-closed submodule of a module $M$ is a submodule $N$ for which $M/N$ is nonsingular. A module $M$ is called a generalized CS-module (or briefly, GCS-module) if any $𝒮$-closed submodule $N$ of $M$ is a direct summand of $M$. Any homomorphic image of a GCS-module is also a GCS-module. Any direct sum of a singular (uniform) module and a semi-simple module is a GCS-module. All nonsingular right $R$-modules are projective if and only if all right $R$-modules are GCS-modules.

Let $R$ be a commutative Noetherian ring and let $C$ be a semidualizing $R$-module. We prove a result about the covering properties of the class of relative Gorenstein injective modules with respect to $C$ which is a generalization of Theorem 1 by Enochs and Iacob (2015). Specifically, we prove that if for every $G_C$-injective module $G$, the character module $G^{+}$ is $G_C$-flat, then the class ${\mathrm{𝒢ℐ}}_C\left(R\right)\cap {𝒜}_C\left(R\right)$ is closed under direct sums and direct limits. Also, it is proved that under the above hypotheses the class ${\mathrm{𝒢ℐ}}_C\left(R\right)\cap {𝒜}_C\left(R\right)$...

Let ν be a positive measure on a σ-algebra Σ of subsets of some set and let X be a Banach space. Denote by ca(Σ,X) the Banach space of X-valued measures on Σ, equipped with the uniform norm, and by ca(Σ,ν,X) its closed subspace consisting of those measures which vanish at every ν-null set. We are concerned with the subsets ${}_{\nu }\left(X\right)$ and ${}_{\nu }\left(X\right)$ of ca(Σ,X) defined by the conditions |φ| = ν and |φ| ≥ ν, respectively, where |φ| stands for the variation of φ ∈ ca(Σ,X). We establish necessary and sufficient...

Denote by any set of cardinality continuum. It is proved that a Banach algebra A with the property that for every collection $a_{\alpha }:\alpha \in \subset A$ there exist α ≠ β ∈ such that $a_{\alpha }\in a_{\beta }{A}^{}$ is isomorphic to ${⨁}_{i=1}^r(ℂ\left[X\right]/X^{d_i}ℂ\left[X\right])\oplus E$, where $d₁,...,d_r\in \mathbb{N}$, and E is either $Xℂ\left[X\right]/X^{d₀}ℂ\left[X\right]$ for some d₀ ∈ ℕ or a 1-dimensional ${⨁}_{i=1}^rℂ\left[X\right]/X^{d_i}ℂ\left[X\right]$-bimodule with trivial right module action. In particular, ℂ is the unique non-zero prime Banach algebra satisfying the above condition.

Let M be a Beurling-type submodule of $H²{(}_d)$, the Hardy space over the unit ball ${}_d$ of ${ℂ}^d$, and let $N=H²{(}_d)/M$ be the associated quotient module. We completely describe the spectrum and essential spectrum of N, and related index theory.

Let $R$ be a commutative Noetherian ring, $I$ an ideal of $R$ and $M$ an $R$-module. We wish to investigate the relation between vanishing, finiteness, Artinianness, minimaxness and $𝒞$-minimaxness of local cohomology modules. We show that if $M$ is a minimax $R$-module, then the local-global principle is valid for minimaxness of local cohomology modules. This implies that if $n$ is a nonnegative integer such that ${\left(H_I^i\left(M\right)\right)}_{𝔪}$ is a minimax $R_{𝔪}$-module for all $𝔪\in \mathrm{Max}\left(R\right)$ and for all $i<n$, then the set ${\mathrm{Ass}}_R\left(H_I^n\left(M\right)\right)$ is finite. Also, if $H_I^i\left(M\right)$ is...

Suppose that A and B are unital Banach algebras with units $1_A$ and $1_B$, respectively, M is a unital Banach A,B-module, $=\left[\begin{array}{cc}A& M\\ 0& B\end{array}\right]$ is the triangular Banach algebra, X is a unital -bimodule, $X_{AA}=1_{A}X{1}_A$, $X_{BB}=1_{B}X{1}_B$, $X_{AB}=1_{A}X{1}_B$ and $X_{BA}=1_{B}X{1}_A$. Applying two nice long exact sequences related to A, B, , X, $X_{AA}$, $X_{BB}$, $X_{AB}$ and $X_{BA}$ we establish some results on (co)homology of triangular Banach algebras.

Let be a Banach operator ideal. Based on the notion of -compactness in a Banach space due to Carl and Stephani, we deal with the notion of measure of non–compactness of an operator. We consider a map ${\chi }_{}$ (respectively, $n_{}$) acting on the operators of the surjective (respectively, injective) hull of such that ${\chi }_{}\left(T\right)=0$ (respectively, $n_{}\left(T\right)=0$) if and only if the operator T is -compact (respectively, injectively -compact). Under certain conditions on the ideal , we prove an equivalence inequality involving...

We study the relations between finitistic dimensions and restricted injective dimensions. Let $R$ be a ring and $T$ a left $R$-module with $A={\mathrm{End}}_{R}T$. If ${}_{R}T$ is selforthogonal, then we show that $\mathrm{rid}\left(T_A\right)\le \mathrm{findim}\left(A_A\right)\le \mathrm{findim}{(}_{R}T)+\mathrm{rid}\left(T_A\right)$. Moreover, if $R$ is a left noetherian ring and $T$ is a finitely generated left $R$-module with finite injective dimension, then $\mathrm{rid}\left(T_A\right)\le \mathrm{findim}\left(A_A\right)\le \mathrm{fin}.\mathrm{inj}.\dim {(}_{R}R)+\mathrm{rid}\left(T_A\right)$. Also we show by an example that the restricted injective dimensions of a module may be strictly smaller than the Gorenstein injective dimension.

Let G be a locally compact group. We use the canonical operator space structure on the spaces $L^p\left(G\right)$ for p ∈ [1,∞] introduced by G. Pisier to define operator space analogues $O{A}_p\left(G\right)$ of the classical Figà-Talamanca-Herz algebras $A_p\left(G\right)$. If p ∈ (1,∞) is arbitrary, then $A_p\left(G\right)\subset O{A}_p\left(G\right)$ and the inclusion is a contraction; if p = 2, then OA₂(G) ≅ A(G) as Banach spaces, but not necessarily as operator spaces. We show that $O{A}_p\left(G\right)$ is a completely contractive Banach algebra for each p ∈ (1,∞), and that $O{A}_q\left(G\right)\subset O{A}_p\left(G\right)$ completely contractively...

Let $n,d$ be two non-negative integers. A left $R$-module $M$ is called $(n,d)$-injective, if ${\mathrm{Ext}}^{d+1}(N,M)=0$ for every $n$-presented left $R$-module $N$. A right $R$-module $V$ is called $(n,d)$-flat, if ${\mathrm{Tor}}_{d+1}(V,N)=0$ for every $n$-presented left $R$-module $N$. A left $R$-module $M$ is called weakly $n$-$FP$-injective, if ${\mathrm{Ext}}^n(N,M)=0$ for every $(n+1)$-presented left $R$-module $N$. A right $R$-module $V$ is called weakly $n$-flat, if ${\mathrm{Tor}}_n(V,N)=0$ for every $(n+1)$-presented left $R$-module $N$. In this paper, we give some characterizations and properties of $(n,d)$-injective modules and $(n,d)$-flat modules in...

The work is dedicated to investigating a limiting procedure for extending “local” integral operator equalities to “global” ones in the sense explained below, and to applying it to obtaining generalizations of the Newton-Leibniz formula for operator-valued functions for a wide class of unbounded operators. The integral equalities considered have the form $g\left(R_F\right)\int f_x\left(R_F\right)d\mu \left(x\right)=h\left(R_F\right)$. (1) They involve functions of the kind $X\ni x\mapsto f_x\left(R_F\right)\in B\left(F\right)$, where X is a general locally compact space, F runs over a suitable class of Banach subspaces...

Given a Banach space X, for n ∈ ℕ and p ∈ (1,∞) we investigate the smallest constant ∈ (0,∞) for which every n-tuple of functions f₁,...,fₙ: -1,1ⁿ → X satisfies ${\int }_{-1,1ⁿ}\left|\right|{\sum }_{j=1}^n{\partial }_j{f}_j{\left(\epsilon \right)\left|\right|}^{p}d\mu \left(\epsilon \right){\le }^p{\int }_{-1,1ⁿ}{\int }_{-1,1ⁿ}\left|\right|{\sum }_{j=1}^n{\delta }_j\Delta f_j\left(\epsilon \right){\left|\right|}^{p}d\mu \left(\epsilon \right)d\mu \left(\delta \right)$, where μ is the uniform probability measure on the discrete hypercube -1,1ⁿ, and ${{\partial }_j}_{j=1}^n$ and $\Delta ={\sum }_{j=1}^n{\partial }_j$ are the hypercube partial derivatives and the hypercube Laplacian, respectively. Denoting this constant by ${ⁿ}_p\left(X\right)$, we show that ${ⁿ}_p\left(X\right)\le {\sum }_{k=1}^{n}1/k$ for every Banach space (X,||·||). This extends the classical Pisier inequality, which corresponds to the special...

For the integral equation (1) below we prove the existence on an interval $J=[0,a]$ of a solution $x$ with values in a Banach space $E$, belonging to the class $L^p(J,E)$, $p>1$. Further, the set of solutions is shown to be a compact one in the sense of Aronszajn.

Let be a locally compact abelian group and let 1 < p ≤ 2. ’ is the dual group of , and p’ the conjugate exponent of p. An operator T between Banach spaces X and Y is said to be compatible with the Fourier transform $F^{}$ if $F^{}\otimes T:L_p\left(\right)\otimes X\to L_{p^{\text{'}}}{(}^{\text{'}})\otimes Y$ admits a continuous extension $[F^{},T]:[L_p\left(\right),X]\to [L_{p^{\text{'}}}{(}^{\text{'}}),Y]$. Let $ℱT_p^{}$ denote the collection of such T’s. We show that $ℱT_p^{ℝ\times }=ℱT_p^{\mathbb{Z}\times }=ℱT_p^{\mathbb{Z}ⁿ\times }$ for any and positive integer n. Moreover, if the factor group of by its identity component is a direct sum of a torsion-free group and a finite group with discrete topology then...

Let K be a field of characteristic p > 0, K* the multiplicative group of K and $G=G_p\times B$ a finite group, where $G_p$ is a p-group and B is a p’-group. Denote by $K^{\lambda }G$ a twisted group algebra of G over K with a 2-cocycle λ ∈ Z²(G,K*). We give necessary and sufficient conditions for G to be of OTP projective K-representation type, in the sense that there exists a cocycle λ ∈ Z²(G,K*) such that every indecomposable $K^{\lambda }G$-module is isomorphic to the outer tensor product V W of an indecomposable $K^{\lambda }{G}_p$-module...

A Banach space X is reflexive if and only if every bounded sequence xₙ in X contains a norm attaining subsequence. This means that it contains a subsequence $x_{n_k}$ for which $su{p}_{f\in S_{X*}}limsu{p}_{k\to \infty }f\left(x_{n_k}\right)$ is attained at some f in the dual unit sphere $S_{X*}$. A Banach space X is not reflexive if and only if it contains a normalized sequence xₙ with the property that for every $f\in S_{X*}$, there exists $g\in S_{X*}$ such that $limsu{p}_{n\to \infty }f\left(xₙ\right)<limin{f}_{n\to \infty }g\left(xₙ\right)$. Combining this with a result of Shafrir, we conclude that every infinite-dimensional Banach space contains an unbounded...

In this paper, we define the direct sum ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{s}_p}$ of Banach spaces X₁,X₂,..., and Xₙ and consider it equipped with the Cesàro p-norm when 1 ≤ p < ∞. We show that ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{s}_p}$ has the H-property if and only if each $X_i$ has the H-property, and ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{s}_p}$ has the Schur property if and only if each $X_i$ has the Schur property. Moreover, we also show that ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{s}_p}$ is rotund if and only if each $X_i$ is rotund.

Assume that S is a commutative complete discrete valuation domain of characteristic p, S* is the unit group of S and $G=G_p\times B$ is a finite group, where $G_p$ is a p-group and B is a p’-group. Denote by $S^{\lambda }G$ the twisted group algebra of G over S with a 2-cocycle λ ∈ Z²(G,S*). We give necessary and sufficient conditions for $S^{\lambda }G$ to be of OTP representation type, in the sense that every indecomposable $S^{\lambda }G$-module is isomorphic to the outer tensor product V W of an indecomposable $S^{\lambda }{G}_p$-module V and an irreducible...

Let $\mathbb{Z}{̂}_p$ be the ring of p-adic integers, $U\left(\mathbb{Z}{̂}_p\right)$ the unit group of $\mathbb{Z}{̂}_p$ and $G=G_p\times B$ a finite group, where $G_p$ is a p-group and B is a p’-group. Denote by $\mathbb{Z}{̂}_p^{\lambda }G$ the twisted group algebra of G over $\mathbb{Z}{̂}_p$ with a 2-cocycle $\lambda \in Z²(G,U\left(\mathbb{Z}{̂}_p\right))$. We give necessary and sufficient conditions for $\mathbb{Z}{̂}_p^{\lambda }G$ to be of OTP representation type, in the sense that every indecomposable $\mathbb{Z}{̂}_p^{\lambda }G$-module is isomorphic to the outer tensor product V W of an indecomposable $\mathbb{Z}{̂}_p^{\lambda }{G}_p$-module V and an irreducible $\mathbb{Z}{̂}_p^{\lambda }B$-module W.

We say that a function f from [0,1] to a Banach space X is increasing with respect to E ⊂ X* if x* ∘ f is increasing for every x* ∈ E. A function $f:{[0,1]}^m\to X$ is separately increasing if it is increasing in each variable separately. We show that if X is a Banach space that does not contain any isomorphic copy of c₀ or such that X* is separable, then for every separately increasing function $f:{[0,1]}^m\to X$ with respect to any norming subset there exists a separately increasing function $g:{[0,1]}^m\to ℝ$ such that the sets of...

We consider the Heisenberg group ℍⁿ = ℂⁿ × ℝ. Let ν be the Borel measure on ℍⁿ defined by $\nu \left(E\right)={\int }_{ℂⁿ}{\chi }_E(w,\phi \left(w\right))\eta \left(w\right)dw$, where $\phi \left(w\right)={\sum }_{j=1}^n{a}_j\left|w_j\right|²$, w = (w₁,...,wₙ) ∈ ℂⁿ, $a_j\in ℝ$, and η(w) = η₀(|w|²) with $\eta ₀\in C_c^{\infty }\left(ℝ\right)$. We characterize the set of pairs (p,q) such that the convolution operator with ν is $L^p\left(ℍⁿ\right)-L^q\left(ℍⁿ\right)$ bounded. We also obtain $L^p$-improving properties of measures supported on the graph of the function $\phi \left(w\right)={\left|w\right|}^{2m}$.

For the integral equation (1) below we prove the existence on an interval $J=[0,a]$ of a solution $x$ with values in a Banach space $E$, belonging to the class $L^p(J,E)$, $p>1$. Further, the set of solutions is shown to be a compact one in the sense of Aronszajn.

Let $𝔞$ be an ideal of a commutative Noetherian ring $R$ and $t$ be a nonnegative integer. Let $M$ and $N$ be two finitely generated $R$-modules. In certain cases, we give some bounds under inclusion for the annihilators of ${\mathrm{Ext}}_R^t(M,N)$ and ${\mathrm{H}}_{𝔞}^t\left(M\right)$ in terms of minimal primary decomposition of the zero submodule of $M$, which are independent of the choice of minimal primary decomposition. Then, by using those bounds, we compute the annihilators of local cohomology and Ext modules in certain cases.

We give a full solution of the following problems concerning the spaces $M_{\phi }\left(X⃗\right)$: (i) to what extent two functions φ and ψ should be different in order to ensure that $M_{\phi }\left(X⃗\right)\ne M_{\psi }\left(X⃗\right)$ for any nontrivial Banach couple X⃗; (ii) when an embedding $M_{\phi }\left(X⃗\right)⊊M_{\psi }\left(X⃗\right)$ can (or cannot) be dense; (iii) which Banach space can be regarded as an $M_{\phi }\left(X⃗\right)$-space for some (unknown beforehand) Banach couple X⃗.

This paper is concerned with the isomorphic structure of the Banach space ${\ell }_{\infty }/c₀$ and how it depends on combinatorial tools whose existence is consistent with but not provable from the usual axioms of ZFC. Our main global result is that it is consistent that ${\ell }_{\infty }/c₀$ does not have an orthogonal ${\ell }_{\infty }$-decomposition, that is, it is not of the form ${\ell }_{\infty }\left(X\right)$ for any Banach space X. The main local result is that it is consistent that ${\ell }_{\infty }\left(c₀\left(\right)\right)$ does not embed isomorphically into ${\ell }_{\infty }/c₀$, where is the cardinality of the continuum,...

We present a new theorem on the differential inequality $u^{\left(m\right)}\le w\left(u\right)$. Next, we apply this result to obtain existence theorems for the equation $x^{\left(m\right)}=f(t,x)$.

We consider simultaneous solutions of operator Sylvester equations $A_{i}X-X{B}_i=C_i$ (1 ≤ i ≤ k), where $(A₁,...,A_k)$ and $(B₁,...,B_k)$ are commuting k-tuples of bounded linear operators on Banach spaces and ℱ, respectively, and $(C₁,...,C_k)$ is a (compatible) k-tuple of bounded linear operators from ℱ to , and prove that if the joint Taylor spectra of $(A₁,...,A_k)$ and $(B₁,...,B_k)$ do not intersect, then this system of Sylvester equations has a unique simultaneous solution.

In this paper we introduce the concept of $\tau$-extending modules by $\tau$-rational submodules and study some properties of such modules. It is shown that the set of all $\tau$-rational left ideals of ${}_{R}R$ is a Gabriel filter. An $R$-module $M$ is called $\tau$-extending if every submodule of $M$ is $\tau$-rational in a direct summand of $M$. It is proved that $M$ is $\tau$-extending if and only if $M=Re{j}_{M}E(R/\tau \left(R\right))\oplus N$, such that $N$ is a $\tau$-extending submodule of $M$. An example is given to show that the direct sum of $\tau$-extending modules need not...