---
title: Skew Polycyclic Codes
url: https://www.emergentmind.com/topics/skew-polycyclic-codes
type: topic
---

# Skew Polycyclic Codes

Searching arXiv for relevant papers on skew polycyclic codes and closely related skew cyclic/code-structure papers.
Skew polycyclic codes are linear codes defined through noncommutative polynomial quotients, typically as left submodules or left ideals of rings of the form \(S[t;\sigma,\delta]/\langle f(t)\rangle\), where \(S\) is a ring, \(\sigma\) is an automorphism, \(\delta\) is a left \(\sigma\)-derivation, and \(f(t)\) is monic of degree \(m>1\) [2508.10139]. In the automorphism-only case one writes \(F[x;\sigma]/(f)\), and the resulting objects are the noncommutative analogues of classical polycyclic codes over \(F[x]/(f)\) [1902.03516]. Skew cyclic codes, skew constacyclic codes, and skew quasi-cyclic variants are therefore special cases of a broader skew polycyclic framework; much of the literature develops this framework over finite fields, finite chain rings, semi-local non-chain rings, skew group rings, and even nonassociative ambient algebras [1504.04326] [1710.07785] [2508.10139].

## 1. Algebraic framework

The foundational object is the Ore skew polynomial ring. For a unital ring \(S\), an automorphism \(\sigma\in\mathrm{Aut}(S)\), and a left \(\sigma\)-derivation \(\delta\), the ring \(S[t;\sigma,\delta]\) consists of polynomials \(\sum_{i=0}^n a_i t^i\) with multiplication determined by
\[
t a = \sigma(a)t + \delta(a),\qquad a\in S.
\]
When \(\delta=0\), this reduces to the automorphism-type skew polynomial ring \(S[t;\sigma]\); when \(\sigma=\mathrm{id}\) and \(\delta=0\), one recovers the usual commutative polynomial ring [2508.10139]. In the classical skew-cyclic literature this appears as \(F[x;\sigma]\), with multiplication \(xa=\sigma(a)x\), and a code of length \(n\) is identified with a left submodule of \(F[x;\sigma]/(f)\) for a monic polynomial \(f\) of degree \(n\) [1902.03516].

For
\[
f(t)=t^m-\sum_{i=0}^{m-1} a_i t^i\in S[t;\sigma,\delta],
\]
a right skew \((f,\sigma,\delta)\)-polycyclic code is a left linear code \(C\subseteq S^m\) stable under the skew polycyclic shift
\[
\Big(\sigma(c_{m-1}) a_0,\;\sigma(c_0)+\sigma(c_{m-1})a_1,\ldots,\sigma(c_{m-2})+\sigma(c_{m-1})a_{m-1}\Big)+\delta(c),
\]
where \(\delta(c)=(\delta(c_0),\dots,\delta(c_{m-1}))\) [2508.10139]. Special cases recover skew constacyclic codes when \(f(t)=t^m-d\), skew cyclic codes when \(d=1\), and the commutative polycyclic setting when \(\sigma=\mathrm{id}\).

A common misconception is that skew polycyclic codes are essentially just skew cyclic codes. The general theory is broader: skew cyclic codes correspond to the special case \(f(x)=x^n-1\), skew constacyclic codes to \(f(x)=x^n-\lambda\), and more general skew polycyclic codes arise from arbitrary central or otherwise admissible moduli \(f(x)\) [1504.04326] [1902.03516].

## 2. Ambient algebras and ideal-theoretic realization

A central structural idea is that skew polycyclic codes are realized as principal left ideals inside suitable quotient algebras. For a monic \(f(t)\in S[t;\sigma,\delta]\), the quotient
\[
S_f = S[t;\sigma,\delta]/S[t;\sigma,\delta]f
\]
can be endowed with a multiplication by taking right remainders modulo \(f\). This yields a Petit algebra, which is generally nonassociative unless \(Rf\) is two-sided [2508.10139]. The code space \(S^m\) is identified with \(S_f\) via
\[
(c_0,\dots,c_{m-1})\mapsto \sum_{i=0}^{m-1} c_i t^i,
\]
and principal left ideals \(S_f g\) generated by monic right divisors \(g\) of \(f\) correspond to skew polycyclic codes of dimension \(m-\deg(g)\) [2508.10139].

This nonassociative viewpoint is not merely formal. One explicit motivation is that allowing nonassociative ambient algebras eliminates the need on restrictions on the length of the codes that arise in associative quotients, especially for skew constacyclic codes over fields [2508.10139]. In the automorphism-only setting, the survey treatment of \((\sigma,f)\)-skew-cyclic codes gives the same principle in associative language: every left submodule of \(F[x;\sigma]/(f)\) is generated by a unique monic right divisor of \(f\) [1902.03516].

Alternative ambient realizations exist. Twisted skew \(G\)-codes are left ideals in twisted skew group rings \(K[G,\theta,\alpha]\), and for cyclic \(G=C_n\) these recover skew constacyclic codes; Proposition 2.3 shows that every twisted skew \(C_n\)-code is isomorphic to a skew \(\lambda\)-constacyclic ring for some \(\lambda\) fixed by \(\theta(g)\) [2212.13190]. Likewise, quotients of orders in cyclic division algebras satisfy
\[
\Lambda/\mathfrak p\Lambda \cong (\mathcal{O}_K/\mathfrak p\mathcal{O}_K)[x;\sigma]/(x^n-u),
\]
so skew polynomial codes arise naturally as left ideals in algebraic reduction rings connected with lattice constructions and space-time coding [1506.06079].

## 3. Decomposition methods and Gray maps

A recurrent theme in the ring-based literature is decomposition into field components. Over
\[
R=\mathbb{F}_q+v\mathbb{F}_q+v^2\mathbb{F}_q,\qquad v^3=v,
\]
every linear code \(C\subseteq R^n\) decomposes uniquely as
\[
C=(1-v^2)C_1\oplus \tfrac12(v^2+v)C_2\oplus \tfrac12(v^2-v)C_3,
\]
with \(C_i\subseteq\mathbb{F}_q^n\), and \(C\) is skew cyclic if and only if each \(C_i\) is skew cyclic over \(\mathbb{F}_q\) with respect to the same automorphism \(\theta_t\) [1504.04326]. The associated Gray map
\[
\Phi(a+vb+v^2c)=(a,\ a+b+c,\ a-b+c)
\]
is an \(\mathbb{F}_q\)-linear isometry, and the Gray image of a skew cyclic code of length \(n\) is a skew \(3\)-quasi-cyclic code of length \(3n\) over \(\mathbb{F}_q\) [1504.04326].

An analogous four-component picture holds over
\[
\mathcal{R}=F_q+uF_q+vF_q+uvF_q,\qquad u^2=u,\ v^2=v,\ uv=vu.
\]
There, skew cyclic and skew \(\alpha\)-constacyclic codes decompose through orthogonal idempotents \(e_1,e_2,e_3,e_4\), and the Gray map sends skew cyclic codes to skew quasi-cyclic codes of length \(4n\) over \(F_q\) of index \(4\), while skew \(\alpha\)-constacyclic codes map to skew quasi-twisted codes of index \(4\) [1710.07785]. These results are significant because they translate ring-linear skew polycyclic structure into field-linear QC/QT structure without losing distance information.

Over the rings \(B_k\), Gray-like maps \(\Phi_k\) and \(\Psi_k\) similarly decompose \(\theta\)-cyclic codes into families of quasi-\(\tilde\theta\)-cyclic codes over \(\mathbb{F}_{p^r}\), with the number of components equal to \(2^k\) [1705.06007]. Over \(R=\mathbb{Z}_4+v\mathbb{Z}_4\), \(v^2=v\), the Gray map
\[
\phi(a+bv)=(a,a+b)
\]
is an isometry from \((R^n,d_G)\) to \((\mathbb{Z}_4^{2n},d_L)\), and skew cyclic codes with derivation over \(R[x;\theta,\Delta_\theta]\) produce quaternary codes via Gray image, residue, torsion, and Plotkin sum constructions [2110.01580].

These componentwise and Gray-map constructions suggest a general principle: skew polycyclic codes over structured rings are often most tractable after passage to field components, where cyclic, quasi-cyclic, or quasi-twisted phenomena become explicit [1504.04326] [1705.06007] [1710.07785].

## 4. Generators, idempotents, duality, and refined structure theorems

Principal generation is one of the strongest recurring structural facts. Over \(R=\mathbb{F}_q+v\mathbb{F}_q+v^2\mathbb{F}_q\), every skew cyclic code is principally generated by
\[
g(x)=(1-v^2)g_1(x)+\tfrac12(v^2+v)g_2(x)+\tfrac12(v^2-v)g_3(x),
\]
where the \(g_i(x)\) are the monic generator polynomials of the component skew cyclic codes over \(\mathbb{F}_q\), and \(g(x)\) is a right divisor of \(x^n-1\) in \(R[x;\theta]\) [1504.04326]. Over \(\mathcal R=F_q+uF_q+vF_q+uvF_q\), the same phenomenon holds both for skew cyclic codes and skew \(\alpha\)-constacyclic codes: every left submodule of \(\mathcal R[x;\theta]/\langle x^n-1\rangle\) and every left submodule of \(\mathcal R[x;\theta]/\langle x^n-\alpha\rangle\) is principal [1710.07785].

Idempotent generators appear under arithmetic hypotheses. For skew cyclic codes over \(\mathbb{F}_q+v\mathbb{F}_q+v^2\mathbb{F}_q\), if \(\gcd(n,mt)=1\) and \(\gcd(n,q)=1\), then each component code has an idempotent generator, and these combine into an idempotent generator \(e(x)\) of the full code in \(R[x;\theta]/\langle x^n-1\rangle\) [1504.04326]. Parallel results hold for skew cyclic and skew constacyclic codes over \(\mathcal R\) [1710.07785]. In twisted skew group rings, idempotents also govern Euclidean LCD and self-dual structures: a twisted skew group code \(C=Re\) is Euclidean LCD iff \(e^2=e=\hat e\), and Euclidean self-dual iff \(e\hat e=0\) together with \(1-\hat e=(1-e)e\) [2212.13190].

Duality is explicit in several settings. For skew constacyclic codes in \((\mathcal{O}_K/\mathfrak p\mathcal{O}_K)[x;\sigma]/(x^n-u)\), the Euclidean dual of a \(\sigma\)-constacyclic code is again \(\sigma\)-constacyclic, and its generator polynomial is computed from the parity-check polynomial via a skew-reciprocal construction [1506.06079]. For automorphism-type skew constacyclic codes over fields, the survey literature gives parity-check and dual generator descriptions through skew circulants and left reciprocals [1902.03516]. Over ring extensions such as \(\mathbb{F}_q+v\mathbb{F}_q+v^2\mathbb{F}_q\) and \(F_q+uF_q+vF_q+uvF_q\), duality reduces componentwise to the field case [1504.04326] [1710.07785].

Recent work over the chain ring
\[
R^t=\frac{\mathbb{F}_{p^m}[u]}{\langle u^t\rangle}
\]
pushes this structural analysis further. For central \(f(x)\in R^t[x,\Theta]\), the left ideals of \(R^t[x,\Theta]/\langle f(x)\rangle\) are classified in three general types: trivial ideals, ideals contained in \(\langle u\rangle\), and ideals not contained in \(\langle u\rangle\), each expressed through successive \(u\)-layers and right divisors in the residue skew polynomial quotient [2605.13020]. In the repeated-root skew constacyclic cases \(f(x)=x^{np^s}-\lambda\) with \(n=1,2\), the case \(\lambda_1\neq0\) yields a simpler form of generators and a more refined structural characterization [2605.13020].

## 5. Designed distance, skew BCH and skew Reed–Solomon constructions

The distance theory of skew polycyclic codes is built from right roots and skew Vandermonde structures. In the survey treatment of \(F[x;\sigma]\), a monic \(f\in F[x;\sigma]\) of degree \(n\) defines a \((\sigma,f)\)-skew-cyclic code, and W-polynomials, skew Vandermonde matrices, and root sets yield parity-check representations and designed-distance constructions [1902.03516]. The resulting skew BCH codes and skew Reed–Solomon codes are best understood as highly structured skew polycyclic codes.

For skew Reed–Solomon codes over \(L[x;\sigma]\), with \(|\sigma|=n\) and \(\beta=a^{-1}\sigma(a)\) for a normal basis generator \(a\), the generator polynomial is
\[
g=[x-\sigma^r(\beta),\,x-\sigma^{r+1}(\beta),\,\dots,\,x-\sigma^{r+\delta-2}(\beta)]_\ell,
\]
and the code has length \(n\), dimension \(n-(\delta-1)\), and Hamming distance exactly \(\delta\); hence it is MDS [1703.00745]. The noncommutative Peterson–Gorenstein–Zierler algorithm developed for these skew RS codes computes syndromes, builds an error-locator polynomial as a fully \(\beta\)-decomposable polynomial, and recovers error positions and values both for block codes and for convolutional codes [1703.00745].

A broad Hartmann–Tzeng bound is available for skew cyclic codes. If the \(\beta\)-defining set \(T_\beta(g)\) of the generator contains
\[
\{\, b + i t_1 + \ell t_2 \mid 0 \le i \le \delta-2,\ 0\le \ell \le r \,\},
\]
with \((n,t_1)=1\) and \((n,t_2)<\delta\), then the minimum Hamming distance satisfies
\[
d(C)\ge \delta+r
\]
[1711.03515]. The BCH bound appears as the special case \(r=0\). The same paper gives a practical construction method: one forms the prescribed index set, closes it under the relevant cosets in \(\mathbb{Z}_n/C_s\), and constructs the generator polynomial as the least common left multiple of the corresponding linear factors in an extension ring before contracting back to the base ring [1711.03515].

Applications of root-pattern arguments extend beyond distance bounds. Reversible DNA codes obtained from skew cyclic codes are characterized by palindromic or \(\theta\)-palindromic generator polynomials, depending on the parity of the degree, and the dual of a reversible DNA code is again reversible [1703.10185]. This use of generator symmetry is specific to the DNA setting, but it illustrates how right-divisor structure and skew reciprocal operations can encode combinatorial constraints beyond Hamming distance.

## 6. Classification, equivalence, and broader directions

A major recent development is the classification of skew polycyclic codes up to equivalence and isometry through ambient algebra isomorphisms. For classes \({\bf C}_f\) of skew \((f,\sigma,\delta)\)-polycyclic codes, algebra isomorphisms
\[
G_{\tau,\alpha,k}\colon S_f\to S_h,\qquad \sum a_i t^i\mapsto \sum \tau(a_i)(\alpha t^k)^i,
\]
preserve Hamming weight and map generators of principal left ideals to generators of principal left ideals [2508.10139]. This yields refined notions of isometry and equivalence that reduce the number of previously known isometry and equivalence classes, state precisely when different notions coincide, and classify families with the same performance parameters so as to avoid duplicating already existing codes [2508.10139].

The paper also shows that nonassociative ambient algebras are not a pathology but a systematic feature: by working in Petit algebras rather than only associative quotients, one eliminates the need on restrictions on the length of the codes [2508.10139]. In many field cases with sufficiently large \(|\sigma|\), isometry and equivalence coincide, and the classification problem reduces to explicit coefficient conditions involving norm-like expressions \(N_i^\sigma(\alpha)\) [2508.10139].

This classification agenda connects to several adjacent developments. Twisted skew \(G\)-codes unify group codes, twisted group codes, and skew group codes as left ideals in \(K[G,\theta,\alpha]\), with cyclic \(G\) recovering skew constacyclic codes [2212.13190]. Codes from quotients of cyclic division algebras connect skew polynomial ideals to lattices through a variation of Construction A [1506.06079]. Over \(B_k\), Euclidean self-dual \(\theta\)-cyclic codes correspond under Gray maps to families of Euclidean self-dual quasi-\(\tilde\theta\)-cyclic codes over \(\mathbb{F}_{p^r}\) [1705.06007]. Over \(\mathbb{Z}_4+v\mathbb{Z}_4\), skew cyclic codes with derivation generate new linear codes over \(\mathbb{Z}_4\) with good parameters through Gray images, residue and torsion codes, and Plotkin sums [2110.01580].

A further point of correction in the recent literature concerns the necessity of extra divisibility constraints in small-\(t\) repeated-root classifications. For \(R^t=\mathbb{F}_{p^m}[u]/\langle u^t\rangle\), the 2026 analysis shows that some earlier descriptions omitted conditions needed to keep different classes of left ideals mutually disjoint; in the cases \(n=1,t=3\) and \(n=2,t=2\), these missing conditions are made explicit and certain \(i\)-th torsion codes are computed [2605.13020]. This suggests that classification over finite chain rings is now moving from broad existence theorems toward fully disjoint, computation-ready normal forms.

Taken together, these results show that skew polycyclic codes are not a single isolated family but a unifying language for cyclic-type coding over noncommutative polynomial quotients. Their theory combines right-divisor factorization, left-ideal structure, Gray-map transfer, idempotent decomposition, designed-distance constructions, and ambient-algebra isometries in a way that simultaneously generalizes cyclic, constacyclic, quasi-cyclic, and several group-theoretic code classes [1902.03516] [2508.10139].

Source: https://www.emergentmind.com/topics/skew-polycyclic-codes