Let $K$ be a field of characteristic $p>0$. It is proved that the group $\Aut_{ord}(\CD (L_n))$ of order preserving automorphisms of the ring $\CD (L_n)$ of differential operators on a Laurent polynomial algebra $L_n:= K[x_1^{\pm 1}, ..., x_n^{\pm 1}]$ is isomorphic to a skew direct product of groups $\Zp^n \rtimes \Aut_K(L_n)$ where $\Zp$ is the ring of $p$-adic integers. Moreover, the group $\Aut_{ord}(\CD (L_n))$ is found explicitly. Similarly, $\Aut_{ord}(\CDPn)\simeq \Aut_K(P_n)$ where $P_n: =K[x_1, ..., x_n]$ is a polynomial algebra.
A skew Laurent polynomial ring R[x^{\pm 1};α] is reversible if it has a reversing automorphism, that is, an automorphism of period two that transposes x and x^{-1} and restricts to an automorphism of R. We study invariants for reversing automorphisms and apply our methods to determine the rings of invariants of reversing automorphisms of two simple skew Laurent polynomial rings, namely a localization of the enveloping algebra of the two-dimensional non-abelian solvable Lie algebra and the coordinate ring of the quantum torus. These two skew Laurent polynomial rings are deformations of Poisson …
If $A$ is a ring with automorphism $φ$ and the skew Laurent series ring $A((x,φ))$ is a right semidistributive semilocal ring then $A$ is a right semidistributive right Artinian ring. The Laurent series ring $A((x))$ is a right semidistributive semilocal ring if and only if $A$ is a right semidistributive right Artinian ring. The study is supported by Russian Scientific Foundation (project 16-11-10013).
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.
In this article, we work with unital twisted partial action of $\mathbb{Z}$ on an unital ring $R$ and we introduce the twisted partial skew power series rings and twisted partial skew Laurent series rings. We study primality, semi-primality and prime ideals in these rings. We completely describe the prime radical in partial skew Laurent series rings. Moreover, we study the Goldie property in partial skew power series rings and partial skew Laurent series rings and we describe conditions of the semiprimality of twisted partial skew power series rings.
This paper is devoted to a study of the automorphism groups of three series of finite dimensional special odd Hamiltonian superalgebras $\mathfrak{g}$ over a field of prime characteristic. Our aim is to characterize the connections between the automorphism groups of $\mathfrak{g}$ and the automorphism groups of the corresponding underlying superalgebras. Precisely speaking, we embed the former into the later. Moreover, we determine the images of the normal series of the automorphism groups and homogeneous automorphism groups of $\mathfrak{g.}$
Let $K$ be an {\em arbitrary} field of characteristic $p>0$, let $A$ be one of the following algebras: $P_n:= K[x_1, ..., x_n]$ is a polynomial algebra, $\CD (P_n)$ is the ring of differential operators on $P_n$, $\CD (P_n)\t P_m$, the $n$'th {\em Weyl} algebra $A_n$, the $n$'th {\em Weyl} algebra $A_n\t P_m$ with polynomial coefficients $P_m$, the power series algebra $K[[x_1, ..., x_n]]$, $T_{k_1, ..., k_n}$ is the subalgebra of $\CD (P_n)$ generated by $P_n$ and the higher derivations $\der_i^{[j]}$, $0\leq j <p^{k_i}$, $i=1, ..., n$ (where $k_1, ..., k_n\in \mathbb{N}$), $T_{k_1, ..., k_n}…
In this paper, we describe all automorphism-liftable torsion modules over non-primitive hereditary Noetherian prime rings. We also study automorphism-liftable non-torsion modules over not necessarily commutative Dedekind prime rings
Let $A$ be a Koszul Artin-Schelter regular algebra and $σ$ an algebra homomorphism from $A$ to $M_{2\times 2}(A)$. We compute the Nakayama automorphisms of a trimmed double Ore extension $A_P[y_1, y_2; σ]$ (introduced in \cite{ZZ08}). Using a similar method, we also obtain the Nakayama automorphism of a skew polynomial extension $A[t; θ]$, where $θ$ is a graded algebra automorphism of $A$. These lead to a characterization of the Calabi-Yau property of $A_P[y_1, y_2; σ]$, the skew Laurent extension $A[t^{\pm 1}; θ]$ and $A[y_1^{\pm 1}, y_2^{\pm 1}; σ]$ with $σ$ a diagonal type.
Let $Λ(f) = K[x][y; f\frac{d}{dx} ]$ be an Ore extension of a polynomial algebra $K[x]$ over an arbitrary field $K$ of characteristic $p>0$ where $f\in K[x]$. For each polynomial $f$, the automorphism group of the algebras $Λ(f)$ is explicitly described. The automorphism group ${\rm Aut}_K(Ł(f))=S\rtimes G_f$ is a semidirect product of two explicit groups where $G_f$ is the {\em eigengroup} of the polynomial $f$ (the set of all automorphisms of $K[x]$ such that $f$ is their common eigenvector). For each polynomial $f$, the eigengroup $G_f$ is explicitly described. It is proven that every subgr…
Let $R$ be a 2-torsion free $σ$-prime ring. It is shown here that if $U\not\subset Z(R)$ is a $σ$-Lie ideal of $R$ and $a, b$ in $R$ such that $aUb=σ(a)Ub=0,$ then either $a=0$ or $b=0.$ This result is then applied to study the relationship between the structure of $R$ and certain automorphisms on $R$. To end this paper, we describe additive maps $d: R \longrightarrow R$ such that $d(u^2) = 2ud(u)$ where $u\in U,$ a nonzero $σ$-square closed Lie ideal of $R.$
We prove the following theorem: let $A$ be a UCT Kirchberg algebra, and let $α$ be a prime-order automorphism of $K_*(A)$, with $α([1_A])=[1_A]$ in case $A$ is unital. Then $α$ is induced from an automorphism of $A$ having the same order as $α$. This result is extended to certain instances of an equivariant inclusion of Kirchberg algebras. As a crucial ingredient we prove the following result in representation theory: every module over the integral group ring of a cyclic group of prime order has a natural presentation by generalized lattices with no cyclotomic summands.
Let $K$ be a {\em perfect} field of characteristic $p>0$, $A_1:=K< x, \der | \der x- x\der =1>$ be the first Weyl algebra and $Z:=K[X:=x^p, Y:=\der^p]$ be its centre. It is proved that $(i)$ the restriction map $\res :\Aut_K(A_1)\ra \Aut_K(Z), \s \mapsto \s|_Z$, is a monomorphism with $\im (\res) = \G :=\{τ\in \Aut_K(Z) | \CJ (τ) =1\}$ where $\CJ (τ) $ is the Jacobian of $τ$ (note that $\Aut_K(Z)=K^*\ltimes \G$ and if $K$ is {\em not} perfect then $\im (\res) \neq \G$); $(ii)$ the bijection $\res : \Aut_K(A_1) \ra \G$ is a monomorphism of infinite dimensional algebraic groups which is {\em not…
The main goal of the paper is to establish the existence of tensor product decompositions for those prime ideals P of the generic algebra A of quantum n by n matrices which are invariant under winding automorphisms of A. More specifically, every such P is the kernel of a map from A to (A^+/P^+) tensor (A^-/P^-) obtained by composing comultiplication, localization, and quotient maps, where A^+ and A^- are special localized quotients of A while P^+ and P^- are prime ideals invariant under winding automorphisms. Further, the algebras A^+ and A^-, which vary with P, can be chosen so that the corre…
We study rational actions of an algebraic torus G by automorphisms on an associative algebra R. The G-action on R induces a stratification of the prime spectrum of R which was introduced by Goodearl and Letzter. For a noetherian algebra R, Goodearl and Letzter showed that the strata of the spectrum of R are isomorphic to the spectra of certain commutative Laurent polynomial algebras. The purpose of this note is to give a new proof of this result which works for arbitrary algebras R.
It is proved, among other results, that a prime right nonsingular ring (in particular, a simple ring) $R$ is right self-injective if $R_R$ is invariant under automorphisms of its injective hull. This answers two questions raised by Singh and Srivastava, and Clark and Huynh. An example is given to show that this conclusion no longer holds when prime ring is replaced by semiprime ring in the above assumption. Also shown is that automorphism-invariant modules are precisely pseudo-injective modules, answering a recent question of Lee and Zhou. Furthermore, rings whose cyclic modules are automorphi…
Let X be a smooth projective surface defined over an uncountable algebraically closed field k and let k(X) be its field of rational functions. Let s be an automorphism of X. This paper proves there is a non-negative integer n and elements a and b in k(X) such that the subalgebra of the skew Laurent extension k(X)[t, t^{-1};s] generated by at^n and bt^n is a free algebra if and only if the spectral radius for the action of s^* on the Neron-Severi group of X is >1. Thus, when s is an automorphism of a smooth complex projective surface X, C(X)[t,t^{-1};s] has a free subalgebra on >1 variables if …
Let R be a ring with identity, (M;\leq) a commutative positive strictly ordered monoid and w_m an automorphism for each m \in M . The skew generalized power series ring R[[M,w]] is a common generalization of (skew) polynomial rings, (skew) power series rings, (skew) Laurent polynomial rings, (skew) group rings, and Mal'cev Neumann Laurent series rings. If S\subset R is a multiplicative set, then R is called right S-Noetherian, if for each ideal I of R, Is \subseteq J\subseteq I for some s\in S and some finitely generated right ideal J . Unifying and generalizing a number of known results, we s…
Let ${\mathfrak g}$ be a finite dimensional complex simple Lie algebra, and let $r,s\in \mathbb{C}^{\ast}$ be transcendental over $\mathbb{Q}$ such that $r^{m}s^{n}=1$ implies $m=n=0$. We will obtain some basic properties of the two-parameter quantized enveloping algebra $U_{r,s}^{+}(\mathfrak g)$. In particular, we will verify that the algebra $U_{r,s}^{+}(\mathfrak g)$ satisfies many nice properties such as having normal separation, catenarity and Dixmier-Moeglin equivalence. We shall study a concrete example, the algebra $U_{r,s}^{+}(B_{2})$ in detail. We will first determine the normal ele…
Let $p$ be a prime number, $K$ be the henselization of the rational functions over the finite field $\mathbb{F}_p$ and $R$ be the ring of additive polynomials over K. We show that the field of Laurent series over $\mathbb{F}_p$ is decidable seen as an R-module. Moreover, we provide a recursively enumerable axiom system (satisfied by $K$) in the language of $R$-modules together with a unary predicate for the valuation ring, modulo which every positive primitive formula is equivalent to a universal formula. Consequently the $R$-module theory of the field of Laurent series is model-complete in th…
Let q be a nonzero complex number that is not a root of unity. We give a criterion for (0) to be a primitive ideal of the algebra O_q(M_{m,n}) of quantum matrices. Next, we describe all height one primes of O_q(M_{m,n}); these two problems are actually interlinked since it turns out that (0) is a primitive ideal of O_q(M_{m,n}) whenever O_q(M_{m,n}) has only finitely many height one primes. Finally, we compute the automorphism group of O_q(M_{m,n}) in the case where m is not equal to n. In order to do this, we first study the action of this group on the prime spectrum of O_q(M_{m,n}). Then, by…
Let g be a complex simple Lie algebra of type B_2 and q be a non-zero complex number which is not a root of unity. In the classical case, a theorem of Dixmier asserts that the simple factor algebras of the positive part U^+(g) of the enveloping algebra of g, whose Gelfand-Kirillov dimension is equal to 2, are isomorphic to the first Weyl algebra. In order to obtain some new quantized analogues of the first Weyl algebra, we explicitly describe the prime and primitive spectra of the positive part U_q^+(g) of the quantized enveloping algebra of g and then we study the simple factor algebras of U_…
In our previous work, motivated by the study of tropical polynomials, a definition for prime congruences was given for an arbitrary commutative semiring. It was shown that for additively idempotent semirings this class exhibits some analogous properties to prime ideals in ring theory. The current paper focuses on the resulting notion of Krull dimension, which is defined as the length of the longest chain of prime congruences. Our main result states that for any additively idempotent semiring $A$, the semiring of polynomials $A[x]$ and the semiring of Laurent polynomials $A(x)$, we have $\dim A…
For the algebra $A$ in the title, its prime, primitive and maximal spectra are classified. The group of automorphisms of $A$ is determined. The simple unfaithful $A$-modules and the simple weight $A$-modules are classified.
