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

Let $G$ be a finite group with a normal subgroup $N$ such that $C_G\left(N\right)\le N$. It is shown that under some conditions, Coleman automorphisms of $G$ are inner. Interest in such automorphisms arose from the study of the normalizer problem for integral group rings.

Let $R$ be a prime ring of characteristic different from 2, $Q_r$ its right Martindale quotient ring and $C$ its extended centroid. Suppose that $F$, $G$ are generalized skew derivations of $R$ with the same associated automorphism $\alpha$, and $p(x_1,...,x_n)$ is a non-central polynomial over $C$ such that $$\left[F\right(x),\alpha (y\left)\right]=G\left(\right[x,y\left]\right)$$ for all $x,y\in \{p(r_1,...,r_n):r_1,...,r_n\in R\}$. Then there exists $\lambda \in C$ such that $F\left(x\right)=G\left(x\right)=\lambda \alpha \left(x\right)$ for all $x\in R$.

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.

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

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.

Let $R$ be a prime ring of characteristic different from 2 and 3, $Q_r$ its right Martindale quotient ring, $C$ its extended centroid, $L$ a non-central Lie ideal of $R$ and $n\ge 1$ a fixed positive integer. Let $\alpha$ be an automorphism of the ring $R$. An additive map $D:R\to R$ is called an $\alpha$-derivation (or a skew derivation) on $R$ if $D\left(xy\right)=D\left(x\right)y+\alpha \left(x\right)D\left(y\right)$ for all $x,y\in R$. An additive mapping $F:R\to R$ is called a generalized $\alpha$-derivation (or a generalized skew derivation) on $R$ if there exists a skew derivation $D$ on $R$ such that $F\left(xy\right)=F\left(x\right)y+\alpha \left(x\right)D\left(y\right)$ for all $x,y\in R$. We prove...

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

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

Let $\sigma =\{{\sigma }_i:i\in I\}$ be some partition of the set of all primes $\mathbb{P}$, $G$ be a finite group and $\sigma \left(G\right)=\{{\sigma }_i:{\sigma }_i\cap \pi \left(G\right)\ne \varnothing \}$. A set $\mathscr{H}$ of subgroups of $G$ is said to be a complete Hall $\sigma$-set of $G$ if every non-identity member of $\mathscr{H}$ is a Hall ${\sigma }_i$-subgroup of $G$ and $\mathscr{H}$ contains exactly one Hall ${\sigma }_i$-subgroup of $G$ for every ${\sigma }_i\in \sigma \left(G\right)$. $G$ is said to be $\sigma$-full if $G$ possesses a complete Hall $\sigma$-set. A subgroup $H$ of $G$ is $\sigma$-permutable in $G$ if $G$ possesses a complete Hall $\sigma$-set $\mathscr{H}$ such that $H{A}^x$= $A^{x}H$ for all $A\in \mathscr{H}$ and all $x\in G$. A subgroup $H$ of $G$ is $\sigma$-permutably embedded in...

Let $N$ be a normal subgroup of a group $G$. The structure of $N$ is given when the $G$-conjugacy class sizes of $N$ is a set of a special kind. In fact, we give the structure of a normal subgroup $N$ under the assumption that the set of $G$-conjugacy class sizes of $N$ is $(p_{1n_1}^{a_{1n_1}},\cdots ,p_{11}^{a_{11}},1)\times \cdots \times (p_{r{n}_r}^{a_{r{n}_r}},\cdots ,p_{r1}^{a_{r1}},1)$, where $r>1$, $n_i>1$ and $p_{ij}$ are distinct primes for $i\in \{1,2,\cdots ,r\}$, $j\in \{1,2,\cdots ,n_i\}$.

We study the reflexivity of the automorphism (and the isometry) group of the Banach algebras $L_{\infty }\left(\mu \right)$ for various measures μ. We prove that if μ is a non-atomic σ-finite measure, then the automorphism group (or the isometry group) of $L_{\infty }\left(\mu \right)$ is [algebraically] reflexive if and only if $L_{\infty }\left(\mu \right)$ is *-isomorphic to $L_{\infty }[0,1]$. For purely atomic measures, we show that the group of automorphisms (or isometries) of ${\ell }_{\infty }\left(\Gamma \right)$ is reflexive if and only if Γ has non-measurable cardinal. So, for most “practical” purposes, the automorphism...

Given a coarse space $(X,ℰ)$ with the bornology $ℬ$ of bounded subsets, we extend the coarse structure $ℰ$ from $X\times X$ to the natural coarse structure on $(ℬ\setminus \{\varnothing \left\}\right)\times (ℬ\setminus \{\varnothing \left\}\right)$ and say that a macro-uniform mapping $f:(ℬ\setminus \{\varnothing \left\}\right)\to X$ (or $f:{\left[X\right]}^2\to X$) is a selector (or 2-selector) of $(X,ℰ)$ if $f\left(A\right)\in A$ for each $A\in ℬ\setminus \left\{\varnothing \right\}$ ($A\in {\left[X\right]}^2$, respectively). We prove that a discrete coarse space $(X,ℰ)$ admits a selector if and only if $(X,ℰ)$ admits a 2-selector if and only if there exists a linear order “$\le$" on $X$ such that the family of intervals $\left\{\right[a,b]:a,b\in X,a\le b\}$ is a base for the bornology $ℬ$.