REVIEW 3 major objections 5 minor 24 references
Classification of multivariate skew polynomial rings over finite fields via affine transformations of variables
T0 review · 3 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Every multivariate skew polynomial ring over a finite field is isomorphic, by an evaluation- and degree-preserving affine change of variables, to a diagonal zero-derivation ring; two such diagonal rings are isomorphic exactly when their…
desk verdict Genuinely useful normal-form results for free multivariate skew polynomial rings over finite fields, whose abstract overstates the classification to non-free and non-degree-preserving cases. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the affine transformation of variables $T_{A,\lambda}=\varphi_\lambda\circ\phi_A$, where $\phi_A$ is the linear change of variables $x\mapsto Ax$ and $\varphi_\lambda$ is the translation $x\mapsto x+\lambda$. It carries the argument because conjugation by $A$ diagonalizes $\sigma$, while the translation absorbs the inner derivation: $\sigma(a)=A\,\mathrm{diag}(\sigma_1(a),\ldots,\sigma_n(a))A^{-1}$ and $\delta(a)=A(\lambda a-\mathrm{diag}(\sigma_1(a),\ldots,\sigma_n(a))\lambda)$. The load-bearing identity for the derivation part is the explicit formula $\lambda=(\tau(c)-\sigma(c))^{q-2}\delta(c)$ for a primitive element $c\in F_q^{\times}$, which converts any derivation into an inner derivation; for the morphism part, the proof uses the Jordan canonical form of $\sigma(c)$ to show that all off-diagonal blocks vanish. The same transformation extends to quotient rings because it preserves evaluations and degrees.
What would settle it
A concrete check is to search for an $F_q$-algebra isomorphism between $F_q[x;\sigma_1,\ldots,\sigma_n]$ and $F_q[x;\tau_1,\ldots,\tau_n]$ in which the lists $(\sigma_i)$ and $(\tau_i)$ are not permutations of each other. If such an isomorphism exists that fails to preserve degrees, the classification parameter overreaches; a natural first test is the pair $F_4[x;\mathrm{Id},\mathrm{Fr}]$ and $F_4[x;\mathrm{Fr},\mathrm{Fr}]$ with $n=2$, looking for an isomorphism not of the affine form $T_{A,\lambda}$.
Extended reading notes
Core claim
The core discovery is that over a finite field $F_q$ the two structure maps of a multivariate skew polynomial ring are rigid: every ring morphism $\sigma:F_q\to F_q^{n\times n}$ is conjugate to a diagonal morphism $\mathrm{diag}(\sigma_1,\ldots,\sigma_n)$ whose entries are Frobenius automorphisms (Theorem 2), and every $\sigma$-derivation $\delta$ is inner, of the form $\delta(a)=\lambda a-\sigma(a)\lambda$ for some vector $\lambda$ (Theorem 1). Theorem 5 then gives an affine transformation of variables $T_{A,\lambda}=\varphi_\lambda\circ\phi_A$, with $\phi_A(x)=Ax$ and $\varphi_\lambda(x)=x+\lambda$, that is an $F_q$-algebra isomorphism from $F_q[x;\sigma,\delta]$ onto the normal form $F_q[x;\sigma_1,\ldots,\sigma_n]$, preserving evaluations and degrees. Theorem 6 shows that an affine transformation between two such normal forms exists if and only if the lists $(\sigma_1,\ldots,\sigma_n)$ and $(\tau_1,\ldots,\tau_n)$ differ by a permutation. Thus the isomorphism classes of these rings, within the class of degree-preserving $F_q$-algebra isomorphisms, are represented by multisets of Frobenius automorphisms of $F_q$.
Load-bearing premise
The classification is complete only among isomorphisms that preserve polynomial degrees; the paper does not prove that every algebra isomorphism between the diagonal normal forms preserves degrees.
Editorial extensions
If this is right
- Every free multivariate skew polynomial ring over $F_q$ is isomorphic, by an explicit affine transformation of variables, to a diagonal zero-derivation ring $F_q[x;\sigma_1,\ldots,\sigma_n]$.
- The same normal form covers non-free and minimal multivariate skew polynomial rings, because the affine transformations preserve evaluations and map ideals of polynomials that vanish everywhere onto one another.
- Two diagonal zero-derivation rings $F_q[x;\sigma_1,\ldots,\sigma_n]$ and $F_q[x;\tau_1,\ldots,\tau_n]$ are isomorphic by an affine transformation exactly when the $\sigma_i$ and $\tau_i$ lists are permutations of each other.
- The reduction is algorithmic: diagonalize the matrix $\sigma(c)$ for a primitive element $c$, then compute the translation vector $\lambda$ from $\delta(c)$, so both the normal form and the isomorphism are obtained explicitly.
- This extends to $n$ variables the univariate facts that all finite-field automorphisms are Frobenius maps and all derivations over finite fields are inner derivations.
Reading between the lines
- The paper leaves implicit that counting the normal forms gives a closed formula: over $F_{p^m}$ with $n$ variables there are $\binom{n+m-1}{n}$ degree-preserving isomorphism classes, because the Frobenius automorphisms form a cyclic group of order $m$.
- The classification is proved only for degree-preserving $F_q$-algebra isomorphisms; whether non-degree-preserving algebra isomorphisms exist between the diagonal normal forms is not settled here, so the abstract's phrase 'full classification' should be read with that scope.
- Because the affine transformations send vanishing ideals to vanishing ideals and preserve evaluations, the normal form gives a canonical way to compare multivariate skew-polynomial evaluation codes; one could test whether two such code families differ only by a coordinate permutation.
- A direct isomorphism test suggested by the proofs is to compare the sorted list of eigenvalues of $\sigma(c)$ for a primitive element $c$; two rings are in the same degree-preserving class exactly when these lists coincide up to permutation.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies multivariate skew polynomial rings over finite fields as defined in [16]. Its main results are: (i) every ring morphism from F_q to F_q^{n x n} is diagonalizable (Theorem 2); (ii) every (σ,τ)-derivation over F_q is inner (Theorem 1); (iii) every free multivariate skew polynomial ring F_q[x;σ,δ] is F_q-algebra isomorphic, via an affine transformation of variables, to a diagonal zero-derivation ring F_q[x;σ_1,...,σ_n], with the isomorphism preserving evaluations and degrees (Theorem 5); and (iv) two such diagonal zero-derivation rings are related by an affine transformation if and only if the diagonal automorphism lists are permutations of each other (Theorem 6). The paper concludes that this yields a full classification of free and non-free multivariate skew polynomial rings over finite fields.
Significance. The core technical results are solid and useful: the diagonalization theorem and the inner-derivation theorem are proved constructively over finite fields, and the affine normal form gives an explicit, computationally accessible way to simplify free multivariate skew polynomial rings. The paper correctly identifies affine transformations as exactly the degree-preserving F_q-algebra isomorphisms (Theorem 4) and proves the permutation characterization for those isomorphisms (Theorem 6). These results are a genuine contribution to the structure theory of multivariate skew polynomial rings. However, the advertised full classification of non-free rings is not achieved: the paper only classifies free rings up to degree-preserving isomorphism, and the ideal data defining quotient rings is not captured by the σ-multiset.
major comments (3)
- [Section 7, concluding paragraph] The abstract and the concluding paragraph claim a 'full classification of such multivariate skew polynomial rings (free or not)'. This is not what the proofs establish. Theorem 6 is explicitly about affine transformations, and Theorem 4 characterizes only degree-preserving F_q-algebra isomorphisms. The paper never proves that every F_q-algebra isomorphism between these rings preserves degrees. In fact, for the free algebra F_q<x_1,x_2> with σ=Id, δ=0, the substitution T(x_1)=x_1+x_2^2, T(x_2)=x_2 is an F_q-algebra automorphism that is not degree-preserving and not affine. Thus the equivalence relation used in the classification is strictly finer than algebra isomorphism, and the statement 'full classification' is an overreach.
- [Section 2 (non-free rings) and Section 7] The classification does not account for the ideal I in passing to quotients of the form F_q[x;σ,δ]/I with I ⊆ I(F_q^n). While Corollaries 1 and 3 show that an affine transformation sends such ideals to ideals in the diagonal ring, the paper gives no classification of the resulting ideals J, and the multiset (σ_1,...,σ_n) carries no information about J. As a concrete counterexample, take q=4, n=1, σ=Id, δ=0. Both F_4[x]/(x^4-x) and F_4[x]/(x(x^4-x)) are quotients by two-sided ideals contained in I(F_4), so both are non-free multivariate skew polynomial rings in the sense of the paper, and both are covered by the same diagonal representative F_4[x;Id]. Yet they are not isomorphic, since their F_4-dimensions are 4 and 5. Hence the σ-multiset cannot classify non-free rings.
- [Theorem 6 proof] Theorem 6 states that an affine transformation between diagonal rings exists if and only if the automorphism lists are permutations. The proof correctly compares eigenvalues of the matrices at a primitive element. However, this only characterizes the relation 'connected by an affine transformation', which by Theorem 4 is the same as 'isomorphic by a degree-preserving F_q-algebra isomorphism'. Since the paper's classification statement in the abstract and introduction uses the unqualified word 'isomorphic', the proof does not support the stronger claim. The statement of Theorem 6 is fine, but its interpretation as a full classification is not.
minor comments (5)
- [Lemma 1] The summation in Eq. (7) is written with powers σ(a)^i τ(a)^{j-i}, but the proof of Theorem 1 uses the reversed order τ(c)^i σ(c)^{j-i}. The two coincide because σ(a) and τ(a) commute for all a, but the notation should be made consistent to avoid confusion.
- [Abstract] The sentence 'In addition, ours proofs show...' contains a typo: 'ours' should be 'our'.
- [Example 1] The claim that the displayed δ is a σ-derivation that is not inner is left with 'The proof is left to the reader'. Since this example is used to show that the finite-field assumption is necessary, a proof or reference should be supplied.
- [Proof of Theorem 2] The symbol Λ_i is used both for the Jordan blocks in (12) and for the diagonal entries later in the proof; renaming one of these would improve readability.
- [Section 5.5] In the paragraph before Proposition 12, 'Proposition 11' is cited for the degree-preservation result; it would be clearer to state explicitly that this follows from the inverse property in Proposition 11, as done in Proposition 8.
Circularity Check
No significant circularity: the classification is proved from finite-field and linear-algebra results, and prior-work citations supply background definitions rather than the conclusion.
full rationale
I walked the derivation chain from Theorem 1 through Theorem 6. Theorem 1 (all derivations are inner) is proved internally from Lemma 1 and Lemma 2, both established in the paper. Theorem 2 (all morphisms are diagonalizable) is proved by diagonalizing sigma(c) over F_{q^r} and then using Theorem 1 to eliminate off-diagonal entries; no parameter is fitted and no target result is assumed. The linear and translation maps in Sections 4 and 5 are explicitly constructed, and their multiplicativity, evaluation preservation, invertibility, and degree preservation are proved. Theorem 4 characterizes all left F-linear degree-preserving isomorphisms as affine transformations, deriving the affine form directly from the degree condition; it is not a definitional restatement. Theorem 5 assembles Theorems 1-2 with the affine maps, and Theorem 6 follows from the similarity-invariance of eigenvalues of diagonal matrices. The cited prior work [16] supplies the ambient definitions of free multivariate skew polynomial rings, evaluation, and the two-sided vanishing ideal; these are background framework rather than a self-citation chain forcing the classification. No fitted input is renamed as a prediction, and no central claim reduces by construction to its own input. The abstract's phrase 'full classification (free or not)' may overreach because Theorem 6 is stated only for affine, degree-preserving isomorphisms and the non-free quotient ideals are not separately classified, but that is a completeness/scope concern, not circularity.
Assumptions & free parameters
assumptions (4)
- domain assumption Multivariate skew polynomial rings, their products, evaluations, and vanishing ideals are as defined in [16, Th. 1, Lemma 5, Prop. 18].
- standard math All endomorphisms of F_q are Frobenius powers (Proposition 1, [13, Th. 2.21]) and all univariate derivations over finite fields are inner (Proposition 2, [5, Sec. 8.3], [15, Sec. 4.2]).
- standard math Jordan canonical form and rational canonical form over finite fields, including the fact that matrices over F_q similar over an extension are similar over F_q.
- standard math The binomial congruence C(q-1, i) = (-1)^i in F_q (Lemma 2).
Cite this review
Pith. "Pith review of Classification of multivariate skew polynomial rings over finite fields via affine transformations of variables." pith.science (2026). https://pith.science/paper/RYWFS4T5
@misc{pith2026190806833,
author = {Pith},
title = {Pith review of: Classification of multivariate skew polynomial rings over finite fields via affine transformations of variables},
year = {2026},
howpublished = {\url{https://pith.science/paper/RYWFS4T5}},
note = {Machine review of arXiv:1908.06833}
}
read the original abstract
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 are isomorphic as algebras to a multivariate skew polynomial ring whose ring morphism from the field to the ring of square matrices is diagonal, and whose derivation is the zero derivation. Furthermore, we prove that two such representations only differ in a permutation of the field automorphisms appearing in the corresponding diagonal. The algebra isomorphisms are given by affine transformations of variables and preserve evaluations and degrees. In addition, ours proofs show that the simplified form of multivariate skew polynomial rings can be found computationally and explicitly.
Reference graph
Works this paper leans on
-
[16]
U. Mart ´ ınez-Pe˜ nas and F. R. Kschischang. Evaluationand interpolation over mul- tivariate skew polynomial rings. Journal of Algebra , 525:111–139, 2019
work page 2019
-
[1]
E. Artin. Galois Theory . Notre Dame Mathematical Lectures, no. 2. University of Notre Dame, Notre Dame, Ind., second edition, 1944
work page 1944
-
[2]
J. T. B. Beard, Jr. Matrix fields over finite extensions of p rime fields. Duke Math. J., 39(3):475–484, 09 1972
work page 1972
-
[3]
J. T. B. Beard, Jr. Matrix fields over prime fields. Duke Math. J. , 39(2):313–321, 06 1972
work page 1972
-
[4]
G. Birkhoff and S. Mac Lane. A survey of modern algebra . New York : Macmillan, New York, 4 edition, 1965
work page 1965
-
[5]
P. M. Cohn. Free rings and their relations . London: Academic Press, 1971
work page 1971
-
[6]
E. M. Gabidulin. Theory of codes with maximum rank distan ce. Problems Infor- mation Transmission, 21, 1985
work page 1985
-
[7]
W. Geiselmann and F. Ulmer. Skew Reed-Muller codes. In Rings, Modules and Codes, volume 727, pages 107–116. Contemporary Mathematics, 201 9
Show all 24 references
-
[8]
T. Y. Lam. A general theory of Vandermonde matrices. Expositiones Mathematicae, 4:193–215, 1986
1986
-
[9]
T. Y. Lam and A. Leroy. Vandermonde and Wronskian matrice s over division rings. Journal of Algebra , 119(2):308–336, 1988
1988
-
[10]
T. Y. Lam and A. Leroy. Hilbert 90 theorems over divison r ings. Transactions of the American Mathematical Society , 345(2):595–622, 1994. 26
1994
-
[11]
S. Lang. Undergraduate Algebra. New York, itd: Springer Verlag, third edition, 2005
2005
-
[12]
A. Leroy. Pseudolinear transformations and evaluatio n in Ore extensions. Bulletin of the Belgian Mathematical Society , 2(3):321–347, 1995
1995
-
[13]
Lidl and H
R. Lidl and H. Niederreiter. Finite Fields, volume 20. Encyclopedia of Mathematics and its Applications. Addison-Wesley, Amsterdam, 1983
1983
-
[14]
Mart ´ ınez-Pe˜ nas
U. Mart ´ ınez-Pe˜ nas. Linearized multivariate skew polynomials and Hilbert 90 the- orems with multivariate norms. In Proc. XVI EACA, Zaragoza - Encuentros de ´Algebra Computacional y Aplicaciones , pages 119–122, 2018
2018
-
[15]
Mart ´ ınez-Pe˜ nas
U. Mart ´ ınez-Pe˜ nas. Skew and linearized Reed–Solomon codes and maximum sum rank distance codes over any division ring. Journal of Algebra , 504:587–612, 2018
2018
-
[17]
J. S. Milne. Class Field Theory . v4.02 edition, 2013
2013
-
[18]
E. H. Moore. A two-fold generalization of Fermat’s theo rem. Bulletin of the Amer- ican Mathematical Society , 2(7):189–199, 1896
-
[19]
D. E. Muller. Application of boolean algebra to switchi ng circuit design and to error detection. Transactions of the I.R.E. Professional Group on Electronic Computers, EC-3(3):6–12, Sep. 1954
1954
-
[20]
E. Noether. Der Hauptgeschlechtssatz f¨ ur relativ-Galoissche Zahlk¨ orper.Mathema- tische Annalen , 108(1):411–419, Dec 1933
1933
-
[21]
O. Ore. On a special class of polynomials. Transactions American Mathematical Society, 35(3):559–584, 1933
1933
-
[22]
O. Ore. Theory of non-commutative polynomials. Annals of Mathematics (2) , 34(3):480–508, 1933
1933
-
[23]
I. Reed. A class of multiple-error-correcting codes an d the decoding scheme. Trans- actions of the IRE Professional Group on Information Theory , 4(4):38–49, Sep. 1954
1954
-
[24]
Th. Skolem. Zur Theorie der assoziativen Zahlensystem e. Skrifter Oslo 1927, Nr. 12, 50 s. (1927)., 1927. 27
1927
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.