Abstract Let S be a domain and R = [ t ; σ, δ ] skew polynomial ring, where σ is an injective endomorphism of left -derivation. We give criteria for polynomials f ∈ degree less or equal to four irreducible. apply them low in quantized Weyl algebras the quantum planes. also consider ( ) m − .

A celebrated result of Herstein [10, Theorem 6] states that a ring R must be commutative if[x,y]n(x,y)=[x,y] for all x, y ∈ R, wheren (x,y)>1 is an integer. In this paper, we investigate the structure prime satisfies identity F([x,y])n=F([x,y]) and σ([x,y])n=σ([x,y]), where F σ are generalized derivation automorphism respectively n>1a fixed

Let A and B be two Banach algebras and let M be a Banach B-bimodule. Suppose that σ : A → B is a linear mapping and d : A → M is a σ-derivation. We prove several results about automatic continuity of σderivations on Banach algebras. In addition, we define a notion for m-weakly continuous linear mapping and show that, under certain conditions, d and σ are m-weakly continuous. Moreover, we prove ...

Let A be a Koszul Artin-Schelter regular algebra, σ graded automorphism of and δ degree-one -derivation . We introduce an invariant for called the -divergence describe Nakayama Ore extension B = [ z ; , ] explicitly using construct twisted superpotential ω ˆ so that it is derivation quotient algebra defined by also determine all extensions noetherian algebras dimension 2 compute their automorph...

The paper deals with Σ−composition of terms, which allows us to extend the derivation rules in formal deduction of identities. The concept of essential variables and essential positions of terms with respect to a set of identities is a key step in the simplification of the process of formal deduction. Σ−composition of terms is defined as replacement between Σ-equal terms. This composition induc...

For a field k with an automorphism σ and a derivation δ, we introduce the notion of liouvillian solutions of linear difference-differential systems {σ(Y ) = AY, δ(Y ) = BY } over k and characterize the existence of liouvillian solutions in terms of the Galois group of the systems. We will give an algorithm to decide whether such a system has liouvillian solutions when k = C(x, t), σ(x) = x+ 1, ...