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.
Let $A$ be a ring with minimum condition on principal right ideals. It is proved that $\aleph_0$-distributive right (left) $A$-modules coincide with Artinian (Noetherian) right (left) $A$-modules. Rings, over which all right modules are direct sums of $\aleph_0$-distributive coincide with rings of of finite representation type. Rings, whose right modules are semidistributive, coincide with Kawada rings, over basis rings of which all right modules are completely cyclic. The studies of Tuganbaev are supported by Russian Scientific Foundation, project 22-11-00052.
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.
In this paper we proved that if $R$ is right $ω$-Euclidean domain, then skew Laurent formal series ring is right $ω$-Euclidean domain. We also showed that if $R$ is a right $ω$-Euclidean domain with multiplicative norm, then skew Laurent formal series ring is a right principal ideal domain. In addition, we proved that if $R$ is a noncommutative $ω$-Euclidean domain with a multiplicative norm, then $R$ and skew Laurent formal series ring is a ring with elementary reduction of matrices.
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 continuous homomorphisms between algebras of iterated Laurent series over a commutative ring. We give a full description of such homomorphisms in terms of a discrete data determined by the images of parameters. In similar terms, we give a criterion of invertibility of an endomorphism and provide an explicit formula for the inverse endomorphism. We study the behavior of the higher-dimensional residue under continuous homomorphisms.
Let $R$ be a ring, $(S,\leq)$ a strictly ordered monoid and $ω: S\rightarrow End(R)$ a monoid homomorphism. In this paper we study the ascending chain conditions on principal left (resp. right) ideals of the skew generalized power series ring $R[[S,ω]]$. Among other results, it is shown that $R[[S,ω]]$ is a right archimedean reduced ring if $S$ is an Artinian strictly totally ordered monoid, $R$ is a right archimedean and $S$-rigid ring which satisfies the ACC on annihilators and $ω_s$ preserves nonunits of $R$ for each $s\in S$. As a consequence we deduce that the power series rings, Laurent …
We continue the first and second authors' study of $q$-commutative power series rings $R=k_q[[x_1,\ldots,x_n]]$ and Laurent series rings $L=k_q[[x^{\pm 1}_1,\ldots,x^{\pm 1}_n]]$, specializing to the case in which the commutation parameters $q_{ij}$ are all roots of unity. In this setting, $R$ is a PI algebra, and we can apply results of De Concini, Kac, and Procesi to show that $L$ is an Azumaya algebra whose degree can be inferred from the $q_{ij}$. Our main result establishes an exact criterion (dependent on the $q_{ij}$) for determining when the centers of $L$ and $R$ are commutative Laure…
Building on recent work of Jaikin-Zapirain, we provide a homological criterion for a ring to be a pseudo-Sylvester domain, that is, to admit a division ring of fractions over which all stably full matrices become invertible. We use the criterion to study skew Laurent polynomial rings over free ideal rings (firs). As an application of our methods, we prove that crossed products of division rings with free-by-{infinite cyclic} and surface groups are pseudo-Sylvester domains unconditionally and Sylvester domains if and only if they admit stably free cancellation. This relies on the recent proof o…
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…
Localisations and Completions of Skew Power Series Rings
本文是[P. Schneider和O. Venjakob,On the codimension of modules over skew幂级数环及其在岩泽代数上的应用,J. Pure Appl. Algebra 204(2005),349 - 367.].构造了斜洛朗级数环B,并证明了斜幂级数环A的某些典型Ore集S的存在性,使得局部化A_S的某个完备化与B同构.这是适用于某些岩泽代数。最后引入了过收敛斜洛朗级数环的子环。
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…