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

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.

An automorphism a of a group G is called an artinian automorphism if for every strictly descending chain $H_1>H_2>\mathrm{\cdots }>H_n>\mathrm{\cdots }$ of subgroups of G there exists a positive integer $m$ such that ${(H_n)}^a=H_n$ for every $n\ge m$. In this paper we show that in many cases the group of all artinian automorphisms of $G$ coincides with the group of all power automorphisms of $G$.

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

We find representations for the automorphisms, derivations and multipliers of the Fréchet algebra $L{¹}_{loc}$ of locally integrable functions on the half-line ${ℝ}^{+}$. We show, among other things, that every automorphism θ of $L{¹}_{loc}$ is of the form $\theta ={\phi }_a{e}^{\lambda X}{e}^D$, where D is a derivation, X is the operator of multiplication by coordinate, λ is a complex number, a > 0, and ${\phi }_a$ is the dilation operator $\left({\phi }_{a}f\right)\left(x\right)=af\left(ax\right)$ ($f\in L{¹}_{loc}$, $x\in {ℝ}^{+}$). It is also shown that the automorphism group is a topological group with the topology of uniform convergence...

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 $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 (α) denote the class of all cardinal sequences of length α associated with compact scattered spaces (or equivalently, superatomic Boolean algebras). Also put ${}_{\lambda }\left(\alpha \right)=s\in \left(\alpha \right):s\left(0\right)=\lambda =min\left[s\right(\beta ):\beta <\alpha ]$. We show that f ∈ (α) iff for some natural number n there are infinite cardinals $\lambda ₀i>\lambda ₁>...>{\lambda }_{n-1}$ and ordinals $\alpha ₀,...,{\alpha }_{n-1}$ such that $\alpha =\alpha ₀+\cdots +{\alpha }_{n-1}$ and $f=f₀⏜f₁⏜...⏜f_{n-1}$ where each $f_i{\in }_{{\lambda }_i}\left({\alpha }_i\right)$. Under GCH we prove that if α < ω₂ then (i) ${}_{\omega }\left(\alpha \right)=s{\in }^{\alpha }\omega ,\omega ₁:s\left(0\right)=\omega$; (ii) if λ > cf(λ) = ω, ${}_{\lambda }\left(\alpha \right)=s{\in }^{\alpha }\lambda ,\lambda ⁺:s\left(0\right)=\lambda ,s^{-1}\lambda is\omega ₁-closedin\alpha$; (iii) if cf(λ) = ω₁, ${}_{\lambda }\left(\alpha \right)=s{\in }^{\alpha }\lambda ,\lambda ⁺:s\left(0\right)=\lambda ,s^{-1}\lambda is\omega -closedandsuccessor-closedin\alpha$; (iv) if cf(λ) > ω₁, ${}_{\lambda }\left(\alpha \right){=}^{\alpha }\lambda$. This yields a complete characterization of the classes (α) for all...

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 α be an isometric automorphism of the algebra ${}_p$ of bounded linear operators in ${}^p[0,1]$ (p ≥ 1). Then α transforms conditional expectations into conditional expectations if and only if α is induced by a measure preserving isomorphism of [0, 1].

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

We show that every automorphism of the group ${𝒢}_n:=Aut\left({𝔸}^n\right)$ of polynomial automorphisms of complex affine $n$-space ${𝔸}^n={ℂ}^n$ is inner up to field automorphisms when restricted to the subgroup $T{𝒢}_n$ of tame automorphisms. This generalizes a result of Julie Deserti who proved this in dimension $n=2$ where all automorphisms are tame: $T{𝒢}_2={𝒢}_2$. The methods are different, based on arguments from algebraic group actions.

We introduce the notion of a coherent $P$-ultrafilter on a complete ccc Boolean algebra, strengthening the notion of a $P$-point on $\omega$, and show that these ultrafilters exist generically under $𝔠=𝔡$. This improves the known existence result of Ketonen [On the existence of $P$-points in the Stone-Čech compactification of integers, Fund. Math. 92 (1976), 91–94]. Similarly, the existence theorem of Canjar [On the generic existence of special ultrafilters, Proc. Amer. Math. Soc. 110 (1990), no. 1,...

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

We study the Banach-Lie group $Aut(A^{-})$ of Lie automorphisms of a complex associative $H^{*}$-algebra. Also some consequences about its Lie algebra, the algebra of Lie derivations of $A$, are obtained. For a topologically simple $A$, in the infinite-dimensional case we have $Aut{(A^{-})}_0=Aut(A)$ implying $Der(A)=Der(A^{-})$. In the finite dimensional case $Aut{(A^{-})}_0$ is a direct product of $Aut(A)$ and a certain subgroup of Lie derivations $\delta$ from $A$ to its center, annihilating commutators.

We study the group $\mathrm{Tame}\left({\mathrm{SL}}_2\right)$ of tame automorphisms of a smooth affine $3$-dimensional quadric, which we can view as the underlying variety of ${\mathrm{SL}}_2\left(ℂ\right)$. We construct a square complex on which the group admits a natural cocompact action, and we prove that the complex is $\mathrm{CAT}\left(0\right)$ and hyperbolic. We propose two applications of this construction: We show that any finite subgroup in $\mathrm{Tame}\left({\mathrm{SL}}_2\right)$ is linearizable, and that $\mathrm{Tame}\left({\mathrm{SL}}_2\right)$ satisfies the Tits alternative.

We study combinatorial properties of the partial order (Dense(ℚ),⊆). To do that we introduce cardinal invariants ${}_{\mathbb{Q}}$, ${}_{\mathbb{Q}}$, ${}_{\mathbb{Q}}$, ${}_{\mathbb{Q}}$, ${}_{\mathbb{Q}}$, ${}_{\mathbb{Q}}$ describing properties of Dense(ℚ). These invariants satisfy ${}_{\mathbb{Q}}$ ≤ ℚ ≤ ℚ ≤ ℚ ≤ ℚ ≤ ℚ$.WecomparethemwiththeiranaloguesinthewellstudiedBooleanalgebra\left(\omega \right)/fin.Weshowthat$ℚ = p$,$ℚ = t$and$ℚ = i$,whereas$ℚ > h$and$ℚ > r$arebothshowntoberelativelyconsistentwithZFC.Wealsoinvestigatecombinatoricsoftheidealnwdofnowheredensesubsetsof,\mathbb{Q}.Inparticular,weshowthat$non(M)=min||: ⊆ Dense(R) ∧ (∀I ∈ nwd(R))(∃D ∈ )(I ∩ D = ∅) and cof(M) = min||: ⊆ Dense(ℚ) ∧ (∀I ∈ nwd)(∃D ∈ )(I ∩ = ∅). We use these facts to show that cof(M) ≤ i, which improves a result of S. Shelah.

Contents Introduction.................................................................................................................................................. 3 § 1. System $𝒮$ of a propositional calculus...................................................................... 4 § 2. System $𝒮*$..................................................................................................................... 5 § 3. $𝒮*$-algebras.....................................................................................................................