---
title: Left Skew Laurent Series
url: https://www.emergentmind.com/topics/left-skew-laurent-series
type: topic
---

# Left Skew Laurent Series

Searching arXiv for recent and relevant papers on left/skew Laurent series and adjacent generalized series frameworks.
Left skew Laurent series are formal Laurent expansions equipped with a twisted, generally noncommutative multiplication. In the automorphism-based setting, an element is written as \(\sum_{i=k}^{\infty} a_i x^i\), with finitely many negative powers and an arbitrary infinite nonnegative tail, and multiplication is governed by a rule such as \(xa=\sigma(a)x\). In the recent literature, the phrase has two closely related uses: it can mean the left-normal or left-ideal viewpoint on an ordinary skew Laurent series ring, and it can also denote a genuinely left skew Laurent construction built from a left skew derivation \((\sigma,\delta)\) [2412.09515, 2504.19241, 2507.05022].

## 1. Basic algebraic construction

In the formal skew Laurent series ring over a ring \(D\) with automorphism \(\sigma\), the underlying set is
\[
D((x;\sigma))=\left\{\sum_{i=k}^{\infty} a_i x^i \mid a_i\in D,\ k\in\mathbb Z\right\}.
\]
The defining features are that negative powers occur only finitely often, while nonnegative powers may continue indefinitely. Addition is termwise. Multiplication is twisted by
\[
xa=\sigma(a)x,\qquad x^i a=\sigma^i(a)x^i,
\]
so for monomials
\[
(ax^m)(bx^n)=a\,\sigma^m(b)\,x^{m+n},
\]
and for two series
\[
f=\sum_{i=k}^{\infty} a_i x^i,\qquad g=\sum_{j=\ell}^{\infty} b_j x^j,
\]
their product is
\[
fg=\sum_{n=k+\ell}^{\infty}\left(\sum_{i+j=n} a_i\,\sigma^i(b_j)\right)x^n.
\]
This is the standard skew analogue of the ordinary Laurent series ring \(D((x))\) [2412.09515].

A broader formulation places skew Laurent series inside a skew generalized power series ring \(R[[S,\omega,\preceq]]\), where \(S\) is a strictly totally ordered monoid and \(\omega:S\to \operatorname{End}(R)\) is a monoid homomorphism. Elements are functions \(f:S\to R\) with support that is artinian and narrow, and multiplication is given by the twisted convolution
\[
(fg)(s)=\sum_{(u,v)\in X_s(f,g)} f(u)\,\omega_u(g(v)).
\]
When \(S=\mathbb Z\) with its usual order, the support condition becomes “bounded below,” so the admissible elements are exactly series of the form \(\sum_{i\ge N} a_i x^i\). In this framework the basic skew relation is
\[
e_s c_r=c_{\omega_s(r)}e_s,
\]
which specializes to \(x^i a=\sigma^i(a)x^i\) in the Laurent case [2504.19241].

## 2. What “left” means

One important usage of “left skew Laurent series” does not name a different ring. In the formal skew Laurent series ring \(D((x;\sigma))\), the usual presentation is
\[
f=\sum_{i=k}^{\infty} a_i x^i,
\]
with coefficients on the left. The same element can also be written in left normal form as
\[
f=\sum_{i=k}^{\infty} x^i b_i,\qquad b_i=\sigma^{-i}(a_i).
\]
For left-sided arguments, the relevant coefficient datum is the left constant term
\[
\operatorname{const}_l(f)=\sigma^{-k}(a_k),
\]
and the paper on Dedekind-domain coefficients states explicitly that the left-sided theory is symmetric to the right-sided one, except that one replaces \(\sigma\) by \(\sigma^{-1}\). In that sense, “left skew Laurent series” can mean the left-normal-form and left-ideal bookkeeping for the same underlying ring [2412.09515].

A second usage is more structural. In the generalized-power-series literature, the multiplication law
\[
(fg)(s)=\sum_{uv=s} f(u)\,\omega_u(g(v))
\]
places the twist on the coefficient coming from the right factor, while coefficients are still written on the left of monomials. The monomial relation
\[
x^i a=\sigma^i(a)x^i
\]
therefore already encodes a left-oriented skew convention [2504.19241].

The phrase becomes fully explicit in the left-skew-derivation setting. For a left skew derivation \((\sigma,\delta)\), the Ore extension \(A[X;\sigma,\delta]\) is defined by
\[
Xa=\sigma(a)X+\delta(a).
\]
The later Laurent theory built from this rule is described in that paper as a theory of left skew formal power series and left skew Laurent formal power series [2507.05022].

## 3. Generalized, partial, and derivation-based forms

The generalized power series construction encompasses skew Laurent polynomial rings, skew Laurent series rings, skew monoid rings, skew group rings, and skew Malcev–Neumann series rings as special cases. In the left APP-ring framework, the ring
\[
[[R^{S,\le,\omega}]]
\]
consists of functions \(f:S\to R\) whose support is artinian and narrow, with multiplication
\[
(fg)(s)=\sum_{(u,v)\in X_s(f,g)} f(u)\omega_u(g(v)).
\]
The embedded coefficient and monomial elements satisfy
\[
e_s c_r=c_{\omega_s(r)}e_s.
\]
For \(S=\mathbb Z\) and \(\omega_n=\alpha^n\), the resulting elements are precisely
\[
\sum_{n\ge N} a_n x^n,
\]
with relation \(x^n r=\alpha^n(r)x^n\). In that setting the construction is exactly a left skew Laurent series ring in the sense of left coefficient presentation and left twisting [1005.2565].

A more general non-global version is the twisted partial skew Laurent series ring \(R(x;\alpha,w)\), attached to a unital twisted partial action of \(\mathbb Z\) on \(R\). Its elements are
\[
\sum_{j\ge s} a_j x^j,\qquad a_j\in D_j,
\]
and homogeneous multiplication is
\[
(a_i x^i)(b_j x^j)=\alpha_i\big(\alpha_i^{-1}(a_i)b_j\big)\,w_{i,j}\,x^{i+j}.
\]
This extends ordinary Laurent series, classical skew Laurent series from a global automorphism, and twisted global skew Laurent series [1709.09791].

The left-skew-derivation theory goes further. If \(\delta\) is locally nilpotent, then there exists a unique reasonable ring structure on \(A[[X]]\) containing \(A[X;\sigma,\delta]\) as a subring, denoted \(A[[X;\sigma,\delta]]\). If moreover \(\sigma\) is an automorphism and
\[
\delta'=-\delta\sigma^{-1}
\]
is nilpotent, then one can localize at \(\Sigma=\{1,X,X^2,\dots\}\) and obtain the ring of left skew Laurent formal power series
\[
A((X;\sigma,\delta))=A[[X;\sigma,\delta]]\Sigma^{-1}.
\]
In that ring,
\[
X^{-1}s=\sum_{k=0}^m\sigma'\delta'^k(s)X^{-1-k},
\]
where \(m\) is such that \(\delta'^m=0\) [2507.05022].

## 4. Ideal theory and structural invariants

Over a commutative Dedekind domain \(D\) with automorphism \(\sigma\), the formal skew Laurent series ring
\[
R=D((x;\sigma))
\]
is shown to be a noncommutative Dedekind domain. In the framework of that paper, this means that \(R\) is a domain, is left and right noetherian, is left and right hereditary, and is an Asano order. The same paper proves the simplicity criterion
\[
R \text{ is simple } \iff \sigma(I)\ne I \text{ for every nonzero proper ideal } I\lhd D.
\]
It also introduces the constant ideal \(\operatorname{const}(I)\subseteq D\) of a right ideal \(I\subseteq R\) and proves the extension proposition
\[
I_R\cong IR
\]
for \(I=\operatorname{const}(I)\). The paper explicitly notes that not every right ideal is literally of the form \(IR\); over \(D=\mathbb Z\), \((2+x)R\) is an example. Under the hypothesis that \(\sigma\) acts trivially on the ideal class group \(G(D)\), one has
\[
G(R)\cong G(D),\qquad K_0(R)\cong K_0(D),
\]
and any two stably isomorphic finitely generated projective \(R\)-modules are isomorphic. For \(D\) not a field, it also computes
\[
\K(R)=1,\qquad \gld(R)=1,\qquad \sr(R)=2,
\]
and, when \(\sigma\) acts trivially on \(G(D)\),
\[
\glr(R)=1
\]
[2412.09515].

In the twisted partial setting, primeness and radical theory are controlled by \(\alpha\)-invariant ideals of the coefficient ring. The paper proves
\[
R \text{ is }\alpha\text{-prime} \iff R(x;\alpha,w)\text{ is prime},
\]
and identifies the prime radical by
\[
\operatorname{Nil}_*\bigl(R(x;\alpha,w)\bigr)=N_\alpha(R)(x;\alpha,w).
\]
It also shows that if \(R\) is semiprime, then \(R(x;\alpha,w)\) is semiprime, and for semiprime \(R\),
\[
R \text{ is Goldie } \iff R[[x;\alpha,w]] \text{ is Goldie } \iff R(x;\alpha,w)\text{ is Goldie}
\]
[1709.09791].

## 5. One-sided finiteness, cancellation, and module-theoretic properties

Several papers study genuinely one-sided properties of skew Laurent-type rings. In the skew generalized power series setting, if \(R\) is \(S\)-compatible, \((S,\preceq)\) is a strictly totally ordered monoid, and \(\omega:S\to \operatorname{End}(R)\) is a monoid homomorphism, then Theorem 2.9 states that if \(R\) is abelian and semi-regular with \(J(R)\) nilpotent, \(R\) is \((S,\omega)\)-McCoy. Its Laurent-series specialization is Corollary 2.11: if \(\alpha\) is a compatible automorphism of \(R\) and \(R\) is abelian and semi-regular with \(J(R)\) nilpotent, then
\[
R[[x,x^{-1};\alpha]]
\]
is skew McCoy, hence both left and right McCoy [2504.19241].

The left APP-ring paper gives a criterion tailored to left annihilator behavior. If \((S,\le)\) is a strictly totally ordered monoid, \(\omega:S\to \operatorname{Aut}(R)\) is a monoid homomorphism, and \(R\) satisfies descending chain condition on right annihilators, then
\[
[[R^{S,\le,\omega}]]
\]
is left APP if and only if for any \(S\)-indexed subset \(A\) of \(R\),
\[
l_R\!\left(\sum_{a\in A}\sum_{s\in S}R\omega_s(a)\right)
\]
is right \(s\)-unital. For \(S=\mathbb Z\), this is the natural left APP criterion for left skew Laurent series in the ordered generalized-power-series sense [1005.2565].

On the Euclidean side, the skew Laurent formal series ring
\[
R[[x,x^{-1};\sigma]]
\]
is shown to inherit right \(\omega\)-Euclideanity from \(R\); with a multiplicative norm it becomes a right principal ideal domain, and under stronger hypotheses it has elementary reduction of matrices. The paper explicitly remarks that for left \(\omega\)-Euclidean domains, the left-side version of its basic division proposition is also valid, but it does not develop a full left-sided theory of all the later theorems [1707.02734].

The generalized-power-series literature also records left/right chain conditions and Noetherianity criteria. One paper states as a consequence that power series rings, Laurent series rings, skew power series rings, skew Laurent series rings, and generalized power series rings are reduced and satisfy the ascending chain condition on principal left or right ideals under its hypotheses [1601.05830]. Another proves that \(R[[M,\omega]]\) is left Noetherian if and only if \(R\) is left Noetherian and \(M\) is finitely generated, but it also notes that this framework is closer to ordered generalized or Mal'cev–Neumann Laurent series than to arbitrary bilateral skew Laurent series [1605.09132].

A further right-sided structural result concerns semidistributivity. If \(A((x,\varphi))\) is a right semidistributive semilocal ring, then \(A\) is a right semidistributive right Artinian ring, and \(A((x,\varphi))\) is right Artinian. The same paper identifies
\[
A((x,\varphi))^{op}\cong A^{op}((x,\varphi^{-1})),
\]
so a plausible implication is that left-sided analogues should be read through opposite rings rather than by changing the underlying Laurent construction [2006.06757].

## 6. Division rings, applications, and terminological boundaries

Over a field \(k\) with automorphism \(\sigma\neq \mathrm{id}\), the skew Laurent series division ring
\[
k(\sigma;x)\quad\text{or}\quad k((x;\sigma))
\]
consists of series \(\sum_{i\ge s} a_i x^i\) with finitely many negative terms and multiplication \(xa=\sigma(a)x\). In that setting, every element is shown to be a product of two additive commutators. This result depends heavily on the skew Laurent series expansion and on explicit identities such as
\[
[b,(b-\sigma^i(b))^{-1}ax^i]=ax^i
\]
when \(\sigma^i(b)\ne b\) [2501.08638].

At the rational rather than formal-series level, skew Laurent polynomial rings over firs,
\[
\mathfrak F[t^{\pm1};\tau]\cong \mathfrak F*\mathbb Z,
\]
are shown to admit universal division rings of fractions of the form
\[
\operatorname{Ore}(\mathcal D_{\mathfrak F}*\mathbb Z),
\]
with matrix invertibility governed by full or stably full matrices according to whether the ring is Sylvester or pseudo-Sylvester. This provides a fraction-theoretic backdrop for Laurent-type skew extensions, although it is not a theory of left skew Laurent series as formal series [2006.08454].

A modern application is coding theory. The paper on cyclic convolutional codes emphasizes that when a skew derivation is introduced, serious difficulties arise in defining a skewed module structure on Laurent series, and it therefore develops a purely algebraic treatment of the left skew Laurent series built from a left skew derivation when possible [2507.05022].

The term should also be separated from several nearby but different usages of “Laurent series.” The field \(\mathbb Q((1/T))\) studied in Diophantine approximation is an ordinary commutative Laurent-series field with no twisting automorphism and no left/right issue [2003.11594]. “Laurent skew orthogonal polynomials” concern a skew-symmetric bilinear form on \(\mathbb C[z,z^{-1}]\), not skew Laurent series rings [2004.13906]. Multivariable algebraic Laurent series over \(K[[x]]\) are studied through support cones and gap theorems in a commutative setting [1802.07083]. The noncommutative Laurent phenomenon for generalized Kontsevich automorphisms is about finite Laurent polynomials in a skew-field of rational expressions, not Laurent series in the Ore-extension sense [1707.02696].

Taken together, these works show that left skew Laurent series are not a single rigid object but a family of closely related constructions. In the automorphism case, the decisive data are the left coefficient convention, the rule \(xa=\sigma(a)x\), and the passage between right-normal and left-normal forms. In the generalized and partial settings, ordered supports, partial actions, and cocycles control the Laurent expansion. In the skew-derivation setting, existence itself becomes conditional on local nilpotence and localization. Across these variants, the recurrent themes are one-sided ideal theory, localization at powers of the skew variable, and the persistence of strong structural invariants in a noncommutative Laurent environment.

Source: https://www.emergentmind.com/topics/left-skew-laurent-series