We investigate Banach space automorphisms $T:{\ell }_{\infty }/c₀\to {\ell }_{\infty }/c₀$ focusing on the possibility of representing their fragments of the form $T_{B,A}:{\ell }_{\infty }\left(A\right)/c₀\left(A\right)\to {\ell }_{\infty }\left(B\right)/c₀\left(B\right)$ for A,B ⊆ ℕ infinite by means of linear operators from ${\ell }_{\infty }\left(A\right)$ into ${\ell }_{\infty }\left(B\right)$, infinite A×B-matrices, continuous maps from B* = βB∖B into A*, or bijections from B to A. This leads to the analysis of general bounded linear operators on ${\ell }_{\infty }/c₀$. We present many examples, introduce and investigate several classes of operators, for some of them we obtain satisfactory representations and for...

In this paper, we study the structure of polycyclic groups admitting an automorphism of order four on the basis of Neumann’s result, and prove that if $\alpha$ is an automorphism of order four of a polycyclic group $G$ and the map $\varphi :G\to G$ defined by $g^{\varphi }=[g,\alpha ]$ is surjective, then $G$ contains a characteristic subgroup $H$ of finite index such that the second derived subgroup $H^{\text{'}\text{'}}$ is included in the centre of $H$ and $C_H\left({\alpha }^2\right)$ is abelian, both $C_G\left({\alpha }^2\right)$ and $G/[G,{\alpha }^2]$ are abelian-by-finite. These results extend recent and classical results in...

The paper was motivated by Kovacs’ paper (1973), Isaacs’ paper (1980) and a recent paper, due to Brešar et al. (2018), concerning Skolem-Noether algebras. Let $K$ be a unital commutative ring, not necessarily a field. Given a unital $K$-algebra $S$, where $K$ is contained in the center of $S$, $n\in \mathbb{N}$, the goal of this paper is to study the question: when can a homomorphism $\phi :{\mathrm{M}}_n\left(K\right)\to {\mathrm{M}}_n\left(S\right)$ be extended to an inner automorphism of ${\mathrm{M}}_n\left(S\right)$? As an application of main results presented in the paper, it is proved that if $S$ is...

Let $r\left({𝔴}_2^0\right)$ be the Green ring of the weak Hopf algebra ${𝔴}_2^0$ corresponding to Sweedler’s 4-dimensional Hopf algebra $H_2$, and let $\mathrm{Aut}\left(R\left({𝔴}_2^0\right)\right)$ be the automorphism group of the Green algebra $R\left({𝔴}_2^0\right)=r\left({𝔴}_2^0\right){\otimes }_{\mathbb{Z}}ℂ$. We show that the quotient group $\mathrm{Aut}\left(R\left({𝔴}_2^0\right)\right)/C_2\cong S_3$, where $C_2$ contains the identity map and is isomorphic to the infinite group $({ℂ}^{*},\times )$ and $S_3$ is the symmetric group of order 6.

Let $G$ be a group generated by a set of finite order elements. We prove that any bicrossed product $H_{m,d}\left(q\right)\bowtie k\left[G\right]$ between the generalized Taft algebra $H_{m,d}\left(q\right)$ and group algebra $k\left[G\right]$ is actually the smash product $H_{m,d}\left(q\right)♯k\left[G\right]$. Then we show that the classification of these smash products could be reduced to the description of the group automorphisms of $G$. As an application, the classification of $H_{m,d}\left(q\right)\bowtie k[C_{n_1}\times C_{n_2}]$ is completely presented by generators and relations, where $C_n$ denotes the $n$-cyclic group.

A metacyclic group $H$ can be presented as $\langle \alpha ,\beta :{\alpha }^n=1$, ${\beta }^m={\alpha }^t$, $\beta \alpha {\beta }^{-1}={\alpha }^r\rangle$ for some $n$, $m$, $t$, $r$. Each endomorphism $\sigma$ of $H$ is determined by $\sigma \left(\alpha \right)={\alpha }^{x_1}{\beta }^{y_1}$, $\sigma \left(\beta \right)={\alpha }^{x_2}{\beta }^{y_2}$ for some integers $x_1$, $x_2$, $y_1$, $y_2$. We give sufficient and necessary conditions on $x_1$, $x_2$, $y_1$, $y_2$ for $\sigma$ to be an automorphism.

We study questions related to exceptional sets of pluri-Green potentials $V_{\mu }$ in the unit ball B of ℂⁿ in terms of non-isotropic Hausdorff capacity. For suitable measures μ on the ball B, the pluri-Green potentials $V_{\mu }$ are defined by $V_{\mu }\left(z\right)={\int }_{B}log(1/|{\varphi }_z\left(w\right)\left|\right)d\mu \left(w\right)$, where for a fixed z ∈ B, ${\varphi }_z$ denotes the holomorphic automorphism of B satisfying ${\varphi }_z\left(0\right)=z$, ${\varphi }_z\left(z\right)=0$ and $\left({\varphi }_z\circ {\varphi }_z\right)\left(w\right)=w$ for every w ∈ B. If dμ(w) = f(w)dλ(w), where f is a non-negative measurable function of B, and λ is the measure on B, invariant under all holomorphic automorphisms of...

A Banach space $X$ has Pełczyński’s property (V) if for every Banach space $Y$ every unconditionally converging operator $T:X\to Y$ is weakly compact. H. Pfitzner proved that $C^{*}$-algebras have Pełczyński’s property (V). In the preprint (Krulišová, (2015)) the author explores possible quantifications of the property (V) and shows that $C\left(K\right)$ spaces for a compact Hausdorff space $K$ enjoy a quantitative version of the property (V). In this paper we generalize this result by quantifying Pfitzner’s theorem. Moreover,...

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

Suppose $A$ is a separable unital $𝒞\left(X\right)$-algebra each fibre of which is isomorphic to the same strongly self-absorbing and $K_1$-injective $C^{*}$-algebra $𝒟$. We show that $A$ and $𝒞\left(X\right)\otimes 𝒟$ are isomorphic as $𝒞\left(X\right)$-algebras provided the compact Hausdorff space $X$ is finite-dimensional. This statement is known not to extend to the infinite-dimensional case.

For Banach spaces $X$ and $Y$, let $K_{w^{*}}(X^{*},Y)$ denote the space of all $w^{*}-w$ continuous compact operators from $X^{*}$ to $Y$ endowed with the operator norm. A Banach space $X$ has the $wGP$ property if every Grothendieck subset of $X$ is relatively weakly compact. In this paper we study Banach spaces with property $wGP$. We investigate whether the spaces $K_{w^{*}}(X^{*},Y)$ and $X{\otimes }_{ϵ}Y$ have the $wGP$ property, when $X$ and $Y$ have the $wGP$ property.

Let $f$ be a non-invertible holomorphic endomorphism of a projective space and $f^n$ its iterate of order $n$. We prove that the pull-back by $f^n$ of a generic (in the Zariski sense) hypersurface, properly normalized, converges to the Green current associated to $f$ when $n$ tends to infinity. We also give an analogous result for the pull-back of positive closed $(1,1)$-currents and a similar result for regular polynomial automorphisms of ${ℂ}^k$.

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.

Let $ℛ$ be a semiprime ring with unity $e$ and $\phi$, $\varphi$ be automorphisms of $ℛ$. In this paper it is shown that if $ℛ$ satisfies $$2𝒟\left(x^n\right)=𝒟\left(x^{n-1}\right)\phi \left(x\right)+\varphi \left(x^{n-1}\right)𝒟\left(x\right)+𝒟\left(x\right)\phi \left(x^{n-1}\right)+\varphi \left(x\right)𝒟\left(x^{n-1}\right)$$ for all $x\in ℛ$ and some fixed integer $n\ge 2$, then $𝒟$ is an ($\phi$, $\varphi$)-derivation. Moreover, this result makes it possible to prove that if $ℛ$ admits an additive mappings $𝒟,𝒢:ℛ\to ℛ$ satisfying the relations $$\begin{array}{c}2𝒟\left(x^n\right)=𝒟\left(x^{n-1}\right)\phi \left(x\right)+\varphi \left(x^{n-1}\right)𝒢\left(x\right)+𝒢\left(x\right)\phi \left(x^{n-1}\right)+\varphi \left(x\right)𝒢\left(x^{n-1}\right),\\ 2𝒢\left(x^n\right)=𝒢\left(x^{n-1}\right)\phi \left(x\right)+\varphi \left(x^{n-1}\right)𝒟\left(x\right)+𝒟\left(x\right)\phi \left(x^{n-1}\right)+\varphi \left(x\right)𝒟\left(x^{n-1}\right),\end{array}$$ for all $x\in ℛ$ and some fixed integer $n\ge 2$, then $𝒟$ and $𝒢$ are ($\phi$, $\varphi$)derivations under some torsion restriction. Finally, we apply these purely ring theoretic results to semi-simple Banach algebras. ...

We show that for a linear space of operators $ℳ\subseteq ℬ({\mathscr{H}}_1,{\mathscr{H}}_2)$ the following assertions are equivalent. (i) $ℳ$ is reflexive in the sense of Loginov-Shulman. (ii) There exists an order-preserving map $\Psi =({\psi }_1,{\psi }_2)$ on a bilattice $\mathrm{Bil}\left(ℳ\right)$ of subspaces determined by $ℳ$ with $P\le {\psi }_1(P,Q)$ and $Q\le {\psi }_2(P,Q)$ for any pair $(P,Q)\in \mathrm{Bil}\left(ℳ\right)$, and such that an operator $T\in ℬ({\mathscr{H}}_1,{\mathscr{H}}_2)$ lies in $ℳ$ if and only if ${\psi }_2(P,Q)T{\psi }_1(P,Q)=0$ for all $(P,Q)\in \mathrm{Bil}\left(ℳ\right)$. This extends the Erdos-Power type characterization of weakly closed bimodules over a nest algebra to reflexive spaces.

Let $H\subseteq Z\subseteq 2^{\omega }$. For n ≥ 2, we prove that if Selivanovski measurable functions from $2^{\omega }$ to Z give as preimages of H all Σₙ¹ subsets of $2^{\omega }$, then so do continuous injections.

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

Let $R$ be a noncommutative prime ring of characteristic different from 2, with its two-sided Martindale quotient ring $Q$, $C$ the extended centroid of $R$ and $a\in R$. Suppose that $\delta$ is a nonzero $\sigma$-derivation of $R$ such that $a{[\delta \left(x^n\right),x^n]}_k=0$ for all $x\in R$, where $\sigma$ is an automorphism of $R$, $n$ and $k$ are fixed positive integers. Then $a=0$.

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.

By using the concepts of limited $p$-converging operators between two Banach spaces $X$ and $Y$, $L_p$-sets and $L_p$-limited sets in Banach spaces, we obtain some characterizations of these concepts relative to some well-known geometric properties of Banach spaces, such as $*$-Dunford–Pettis property of order $p$ and Pelczyński’s property of order $p$, $1\le p<\infty$.

Let ⟨X,Y⟩ be a duality pair of M-spaces X,Y of measurable functions from Ω ⊂ ℝ ⁿ into ${ℝ}^d$. The paper deals with Y-weak cluster points ϕ̅ of the sequence $\varphi (·,z_j\left(·\right))$ in X, where $z_j:\Omega \to {ℝ}^m$ is measurable for j ∈ ℕ and $\varphi :\Omega \times {ℝ}^m\to {ℝ}^d$ is a Carathéodory function. We obtain general sufficient conditions, under which, for some negligible set $A_{\varphi }$, the integral $I(\varphi ,{\nu }_x):={\int }_{{ℝ}^m}\varphi (x,\lambda )d{\nu }_x\left(\lambda \right)$ exists for $x\in \Omega \setminus A_{\varphi }$ and $\varphi ̅\left(x\right)=I(\varphi ,{\nu }_x)$ on $\Omega \setminus A_{\varphi }$, where $\nu ={{\nu }_x}_{x\in \Omega }$ is a measurable-dependent family of Radon probability measures on ${ℝ}^m$.

Let ${\alpha }_i,{\beta }_i>0$, 1 ≤ i ≤ n, and for t > 0 and x = (x₁,...,xₙ) ∈ ℝⁿ, let $t•x=(t^{\alpha ₁}x₁,...,t^{\alpha ₙ}xₙ)$, $t\circ x=(t^{\beta ₁}x₁,...,t^{\beta ₙ}xₙ)$ and $\left|\right|x\left|\right|={\sum }_{i=1}^n{\left|x_i\right|}^{1/{\alpha }_i}$. Let φ₁,...,φₙ be real functions in $C^{\infty }(ℝⁿ-0)$ such that φ = (φ₁,..., φₙ) satisfies φ(t • x) = t ∘ φ(x). Let γ > 0 and let μ be the Borel measure on ${ℝ}^{2n}$ given by $\mu \left(E\right)={\int }_{ℝⁿ}{\chi }_E{(x,\phi \left(x\right))\left|\right|x\left|\right|}^{\gamma -\alpha }dx$, where $\alpha ={\sum }_{i=1}^n{\alpha }_i$ and dx denotes the Lebesgue measure on ℝⁿ. Let $T_{\mu }f=\mu \ast f$ and let $\left|\right|T_{\mu }{\left|\right|}_{p,q}$ be the operator norm of $T_{\mu }$ from $L^p\left({ℝ}^{2n}\right)$ into $L^q\left({ℝ}^{2n}\right)$, where the $L^p$ spaces are taken with respect to the Lebesgue measure. The type set $E_{\mu }$ is defined by $E_{\mu }=(1/p,1/q):\left|\right|T_{\mu }{\left|\right|}_{p,q}<\infty ,1\le p,q\le \infty$. In the case ${\alpha }_i\ne {\beta }_k$ for 1 ≤ i,k ≤ n we characterize the...