Given a group G acting on a ring R, one can construct the skew group ring R*G. Skew group rings have been studied in depth, but necessary and sufficient conditions for the simplicity of a general skew group ring are not known. In this paper, such conditions are given for certain types of skew group rings, with an emphasis on Von Neumann regular skew group rings. Next the results of the first section are used to construct a class of simple skew group rings. In particular, we obtain more efficient proofs of the simplicity of certain rings constructed by H. Kambara and J. Trlifaj.
In this paper, we study the reflexive-nilpotents-property (briefly, RNP) for Ore extensions of injective type, and more generally, skew PBW extensions. With this aim, we introduce the notions of $Σ$-skew CN rings and $Σ$-skew reflexive (RNP) rings, for $Σ$ a finite family of ring endomorphisms of a ring $R$. Under certain conditions of compatibility, we study the transfer of the $Σ$-skew RNP property from a ring of coefficients to an Ore extension or skew PBW extension over this ring. We also consider this property for localizations of these noncommutative rings. Our results extend those corre…
The concepts of evaluation and interpolation are extended from univariate skew polynomials to multivariate skew polynomials, with coefficients over division rings. Iterated skew polynomial rings are in general not suitable for this purpose. Instead, multivariate skew polynomial rings are constructed in this work as follows: First, free multivariate skew polynomial rings are defined, where multiplication is additive on degrees and restricts to concatenation for monomials. This allows to define the evaluation of any skew polynomial at any point by unique remainder division. Multivariate skew pol…
In this work, free multivariate skew polynomial rings are considered, together with their quotients over ideals of skew polynomials that vanish at every point (which includes minimal multivariate skew polynomial rings). We provide a full classification of such multivariate skew polynomial rings (free or not) over finite fields. To that end, we first show that all ring morphisms from the field to the ring of square matrices are diagonalizable, and that the corresponding derivations are all inner derivations. Secondly, we show that all such multivariate skew polynomial rings over finite fields a…
Let $A$ be a ring and $φ$ its automorphism. It is proved that skew Laurent series ring $A((x,φ))$ is a right serial ring if and only if $A$ is a right serial right Artinian ring.
Let $G$ be a finite group acting on a ring $R$ and $H$ a subgroup of $G$. In this paper we compare some homological dimensions over the skew group rings $RG$ and $RH$. Moreover, under the assumption that $RG$ is a separable extension over $RH$, we show that the skew group rings $RG$ and $RH$ share some properties such as being $n$-Gorenstein, $n$-perfect, $n$-coherent, $(n,d)$, Ding-Chen or IF-rings.
As originally defined by Ashraf and Mozumder, multiplicative (generalized)-skew derivations must satisfy two identities. In this short note we show that, as a consequence of the simultaneous satisfaction of both identities, a multiplicative (generalized)-skew derivation of a prime ring is either a multiplicative (generalized) derivation (i.e., not skew), or a generalized skew derivation (i.e., additive). Therefore only one of the identities should be taken in the definition of multiplicative (generalized)-skew derivations in order to get a new class of derivations in prime rings.
We investigate and characterize several kinds of elements such as units, idempotents, von Neumann regular, $π$-regular and clean elements for skew PBW extensions over weak compatible rings. We also study the notions of Gelfand and Harmonic rings for these families of algebras. The results presented here extend those corresponding in the literature for commutative and noncommutative rings of polynomial type.
Let $α=(A_g,α_g)_{g\in G}$ be a group-type partial action of a connected groupoid $G$ on a ring $A=\bigoplus_{z\in G_0}A_z$ and $B=A\star_αG$ the corresponding partial skew groupoid ring. In the first part of this paper we investigate the relation of several ring theoretic properties between $A$ and $B$. For the second part, using that every Leavitt path algebra is isomorphic to a partial skew groupoid ring obtained from a partial groupoid action $λ$, we characterize when $λ$ is group-type. In such a case, we obtain ring theoretic properties of Leavitt path algebras from the results on general…
Let $X$ be a finite partially ordered set, $R$ an associative unital ring and $σ$ an endomorphism of $R$. We describe some properties of the skew incidence ring $I(X,R,σ)$ such as invertible elements, idempotents, the Jacobson radical and the center. Moreover, if the skew incidence rings $I(X,R,σ)$ and $I(Y,S,τ)$ are isomorphic and the only idempotents of $R,S$ are the trivial ones, we show that the partially ordered sets $X$ and $Y$ are isomorphic.
Let $X$ be a set of noncommuting variables of cardinality $card(X)\geqslant 2$, and ${\mathscr G}=\{σ_x\}_{x\in X}$, ${\mathscr D}=\{δ_x\}_{x\in X}$ be families of automorphisms and skew derivations of the ring $R$. It is proved that if the ring $R$ is semiprime Goldie, then the free skew extension $R[X;{\mathscr G},{\mathscr D}]$ is semiprimitive.
Given a complete, positively filtered ring $(R,f)$ and a compatible skew derivation $(σ,δ)$, we may construct its skew power series ring $R[[x;σ,δ]]$. Due to topological obstructions, even if $δ$ is an \emph{inner} $σ$-derivation, in general we cannot ``untwist" it, i.e. reparametrise to find a filtered isomorphism $R[[x; σ, δ]] \cong R[[x'; σ]]$, as might be expected from the theory of skew polynomial rings; similarly when $σ$ is an inner automorphism. We find general conditions under which it is possible to untwist the multiplication data, and use this to analyse the structure of $R[[x;σ,δ]]…
In this paper, we prove that if $R$ is an Archimedean reduced ring and satisfy ACC on annihilators, then $R[[x]]$ is also an Archimedean reduced ring. More generally we prove that if $R$ is a right Archimedean ring satisfying the \emph{ACC} on annihilators and $α$ is a rigid automorphism of $R$, then the skew power series ring $R[[x;α]]$ is right Archimedean reduced ring. We also provide some examples to justify the assumptions we made to obtain the required result.
The Hilbert Basis Theorem for Non-Associative Skew Power Series Rings and Non-Associative Skew Laurent Series Rings over a Non-Associative Coefficient Ring
Mindanao State University-Iligan Institute of Technology（棉兰老州立大学伊利甘理工学院）；Blekinge Institute of Technology（布莱金厄理工学院）
We study orbits and fixed points of polynomials in a general skew polynomial ring $D[x,σ, δ]$. We extend results of the first author and Vishkautsan on polynomial dynamics in $D[x]$. In particular, we show that if $a \in D$ and $f \in D[x,σ,δ]$ satisfy $f(a) = a$, then $f^{\circ n}(a) = a$ for every formal power of $f$. More generally, we give a sufficient condition for a point $a$ to be $r$-periodic with respect to a polynomial $f$. Our proofs build upon foundational results on skew polynomial rings due to Lam and Leroy.
In this paper we discuss some open problems of non-commutative algebra and non-commutative algebraic geometry from the approach of skew $PBW$ extensions and semi-graded rings. More exactly, we will analyze the isomorphism arising in the investigation of the Gelfand-Kirillov conjecture about the commutation between the center and the total ring of fractions of an Ore domain. The Serre's conjecture will be discussed for a particular class of skew $PBW$ extensions. The questions about the noetherianity and the Zariski cancellation property of Artin-Schelter regular algebras will be reformulated f…
Symmetric rings were introduced by Lambek to extend usual commutative ideal theory in noncommutative rings. In this paper, we study symmetric rings over which Ore extensions are symmetric. A ring R is called strongly σ-symmetric if the skew polynomial ring R[x;σ] is symmetric. We consider some properties and extensions of strongly σ-symmetric rings. Then we show the relationship between strongly σ-symmetric rings and other classes of rings. We next argue the polynomial extensions over strongly σ-symmetric rings. Moreover, we prove that if R is a σ-rigid ring, then R[x]/(x_n) is a strongly σ-sy…
Let C be a commutative noetherian domain, G be a finitely generated abelian group which acts on C and B = C#G be the skew group ring. For a prime ideal I in C, we study the largest subring of B in which the right ideal IB becomes a two-sided ideal - the idealiser subring. We obtain necessary and sufficient conditions for when this idealiser subring is left and right noetherian. We also give an example of these conditions in practice which translates to an interesting number theoretic problem.
Let $\mathbb{F}$ be a division ring. In this paper, we extent some of the main well-known results about the resultant of two univariate polynomials to the more general context of an Ore extension $\mathbb{F}[x;σ,δ]$. Finally, some algorithms and Magma programs are given as a numerical application of the main theoretical results of this paper.
