Let H be a Hopf algebra over a field k such that every finite-dimensional (left) H-module is semisimple. We give a counterpart of the first fundamental theorem of the classical invariant theory for locally finite, finitely generated (commutative) H-module algebras, and for local, complete H-module algebras. Also, we prove that if H acts on the k-algebra A = k[[X₁,...,Xₙ]] in such a way that the unique maximal ideal in A is invariant, then the algebra of invariants $A^H$ is a noetherian Cohen-Macaulay...

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 prime ring of characteristic different from $2$, $U$ the Utumi quotient ring of $R$, $C=Z\left(U\right)$ the extended centroid of $R$, $L$ a non-central Lie ideal of $R$, $F$ a non-zero generalized derivation of $R$. Suppose that $\left[F\right(u),u]F\left(u\right)=0$ for all $u\in L$, then one of the following holds: (1) there exists $\alpha \in C$ such that $F\left(x\right)=\alpha x$ for all $x\in R$; (2) $R$ satisfies the standard identity $s_4$ and there exist $a\in U$ and $\alpha \in C$ such that $F\left(x\right)=ax+xa+\alpha x$ for all $x\in R$. We also extend the result to the one-sided case. Finally, as an application we obtain some range inclusion results of...

Let R[x] and R[[x]] respectively denote the ring of polynomials and the ring of power series in one indeterminate x over a ring R. For an ideal I of R, denote by [R;I][x] the following subring of R[[x]]: [R;I][x]: = ${\sum }_{i\ge 0}{r}_i{x}^i\in R\left[\left[x\right]\right]$ : ∃ 0 ≤ n∈ ℤ such that $r_i\in I$, ∀ i ≥ n. The polynomial and power series rings over R are extreme cases where I = 0 or R, but there are ideals I such that neither R[x] nor R[[x]] is isomorphic to [R;I][x]. The results characterizing polynomial rings or power series rings with a certain ring...

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 that, if $F$...

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