Let $R$ be a reversible ring which is $alpha$-compatible for an endomorphism $alpha$ of $R$ and $f(X)=a_0+a_1X+cdots+a_nX^n$ be a nonzero skew polynomial in $R[X;alpha]$. It is proved that if there exists a nonzero skew polynomial $g(X)=b_0+b_1X+cdots+b_mX^m$ in $R[X;alpha]$ such that $g(X)f(X)=c$ is a constant in $R$, then $b_0a_0=c$ and there exist nonzero elements $a$ and $r$ in $R$ such tha...

let $r$ be a reversible ring which is $alpha$-compatible for an endomorphism $alpha$ of $r$ and $f(x)=a_0+a_1x+cdots+a_nx^n$ be a nonzero skew polynomial in $r[x;alpha]$. it is proved that if there exists a nonzero skew polynomial $g(x)=b_0+b_1x+cdots+b_mx^m$ in $r[x;alpha]$ such that $g(x)f(x)=c$ is a constant in $r$, then $b_0a_0=c$ and there exist nonzero elements $a$ and $r$ in $r$ such tha...

A skew generalized power series ring R[[S, ω]] consists of all functions from a strictly ordered monoid S to a ring R whose support contains neither infinite descending chains nor infinite antichains, with pointwise addition, and with multiplication given by convolution twisted by an action ω of the monoid S on the ring R. Special cases of the skew generalized power series ring construction are...

Let R = K[x;σ] be a skew polynomial ring over a division ring K. We introduce the notion of derivatives of skew polynomial at scalars. An analogous definition of derivatives of commutative polynomials from K[x] as a function of K[x] → K[x] is not possible in a non-commutative case. This is the reason why we have to define the derivative of a skew polynomial at a scalar. Our definition is based ...

We give a new characterization of the bounded nilradical. Using the interplay between this and previous characterizations, we prove that the bounded nilradical is a graded ideal if the ring is graded. This allows us to completely determine the bounded nilradical of skew polynomial and skew Laurent polynomial rings in terms of information in the coefficient ring.

For a ring R, endomorphism α of R and positive integer n we define a skew triangular matrix ring Tn(R,α). By using an ideal theory of a skew triangular matrix ring Tn(R,α) we can determine prime, primitive, maximal ideals and radicals of the ring R[x;α]/〈xn〉, for each positive integer n, where R[x;α] is the skew polynomial ring, and 〈xn〉 is the ideal generated by xn.

We prove the following generalization of the classical ShephardTodd-Chevalley Theorem. Let G be a finite group of graded algebra automorphisms of a skew polynomial ring A := kpij [x1, · · · , xn]. Then the fixed subring A has finite global dimension if and only if G is generated by quasireflections. In this case the fixed subring A is isomorphic a skew polynomial ring with possibly different pi...

 Letbe a ring with an endomorphism and an -derivationAntoine studied the structure of the set of nilpotent elements in Armendariz rings and introduced nil-Armendariz rings. In this paper we introduce and investigate the notion of nil--compatible rings. The class of nil--compatible rings are extended through various ring extensions and many classes of nil--compatible rings are constructed. We al...

In this paper, we study skew constacyclic codes over the ring ZqR where R = Zq + uZq, q = p s for a prime p and u2 = 0. We give the definition of these codes as subsets of the ring ZqR . Some structural properties of the skew polynomial ring R[x, θ] are discussed, where θ is an automorphism of R. We describe the generator polynomials of skew constacyclic codes over R and ZqR. Using Gray images ...

We construct chain maps between the bar and Koszul resolutions for a quantum symmetric algebra (skew polynomial ring). This construction uses a recursive technique involving explicit formulae for contracting homotopies. We use these chain maps to compute the Gerstenhaber bracket, obtaining a quantum version of the Schouten-Nijenhuis bracket on a symmetric algebra (polynomial ring). We compute b...