Let φ be a Jordan automorphism of an algebra . The situation when an element a ∈ satisfies $1/2(\phi \left(a\right)+{\phi }^{-1}\left(a\right))=a$ is considered. The result which we obtain implies the Kleinecke-Shirokov theorem and Jacobson’s lemma.

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

We connect the theorems of Rentschler [rR68] and Dixmier [jD68] on locally nilpotent derivations and automorphisms of the polynomial ring $A_0$ and of the Weyl algebra $A_1$, both over a field of characteristic zero, by establishing the same type of results for the family of algebras $$A_h=\langle x,y\mid yx-xy=h\left(x\right)\rangle ,$$ where $h$ is an arbitrary polynomial in $x$. In the second part of the paper we consider a field $𝔽$ of prime characteristic and study $𝔽\left[t\right]$comodule algebra structures on $A_h$. We also compute the Makar-Limanov invariant of absolute constants...

Let R be a ring with identity such that R⁺, the additive group of R, is torsion-free. If there is some R-module M such that $R\subseteq M\subseteq \mathbb{Q}R(=\mathbb{Q}{\otimes }_{\mathbb{Z}}R)$ and $En{d}_{\mathbb{Z}}\left(M\right)=R$, we call R a Zassenhaus ring. Hans Zassenhaus showed in 1967 that whenever R⁺ is free of finite rank, then R is a Zassenhaus ring. We will show that if R⁺ is free of countable rank and each element of R is algebraic over ℚ, then R is a Zassenhaus ring. We will give an example showing that this restriction on R is needed. Moreover, we will show that a ring due to A....

The purpose of this paper is to prove the following result: Let $R$ be a $2$-torsion free semiprime ring and let $T:R\to R$ be an additive mapping, such that $2T\left(x^2\right)=T\left(x\right)x+xT\left(x\right)$ holds for all $x\in R$. In this case $T$ is left and right centralizer.

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

A ring R is called an E-ring if every endomorphism of R⁺, the additive group of R, is multiplication on the left by an element of R. This is a well known notion in the theory of abelian groups. We want to change the "E" as in endomorphisms to an "A" as in automorphisms: We define a ring to be an A-ring if every automorphism of R⁺ is multiplication on the left by some element of R. We show that many torsion-free finite rank (tffr) A-rings are actually E-rings. While we have an example of a mixed...

Let $H_8$ be the unique noncommutative and noncocommutative eight dimensional semi-simple Hopf algebra. We first construct a weak Hopf algebra $\widetilde{H_8}$ based on $H_8$, then we investigate the structure of the representation ring of $\widetilde{H_8}$. Finally, we prove that the automorphism group of $r\left(\widetilde{H_8}\right)$ is just isomorphic to $D_6$, where $D_6$ is the dihedral group with order 12.

We introduce the notion of an automorphism liftable module and give a characterization to it. We prove that category equivalence preserves automorphism liftable. Furthermore, we characterize semisimple rings, perfect rings, hereditary rings and quasi-Frobenius rings by properties of automorphism liftable modules. Also, we study automorphism liftable modules with summand sum property (SSP) and summand intersection property (SIP).