Factorization of polynomials using commuting matrices
type: Item
instance of: scholarly article
title: Factorization of polynomials using commuting matrices
zbMATH Open document ID: 0789.15011
DOI: 10.1016/0024-3795(94)90317-4
author: Thomas J. Laffey
author: Eleanor Meehan
published in: Linear Algebra and its Applications
publication date: 1994-06-19T00:00:00Z
review text: The result in this paper is: Let \(F\) be a field, \(f(x)=p_ 1(x)^{e_ 1} \dots p_ r(x)^{e_ r}\) a monic polynomial of degree \(n\) over \(F\), where \(r \geq 1\), \(p_ 1(x), \dots, p_ r(x)\) are distinct irreducible monic polynomials in \(F[x]\), \(e_ 1,\dots,e_ r\) are positive integers. Then there exist commuting \(n \times n\) matrices \(A_ 1,\dots,A_ n\) with entries in \(F\), each having characteristic and minimal polynomial \(f(x)\), such that \[ f(x)I_ n =(xI_ n-A_ 1)\cdots (xI_ n-A_ n), \] if and only if the following conditions hold: (a) If \(\theta_ i\) is a root of the equation \(p_ i(x)=0\) in a (fixed) algebraic closure of \(F\), then \(F[\theta_ i]\) is the splitting field of \(p_ i(x)\) over \(F\) and \(F[\theta_ 1] =F[\theta_ 2]= \cdots=F [\theta_ r]\). (b) \(e_ 1=e_ 2= \cdots=e_ r=e\), say. (c) \(x^ e-1\) splits into linear factors in \(F[\theta_ 1][x]\). (d) If \(p_ 1(x)\) is not separable over \(F\) (that is, if the formal derivative \(p_ 1'(x)=0\), then \(e\) is a power of the characteristic of the field \(F\). This result is the development of the classical one: if \(F\) is an infinite field, such a factorization without the requirement that \(A_ 1,\dots,A_ n\) commute always exists.
Mathematics Subject Classification ID: 15A23
Mathematics Subject Classification ID: 12D05
zbMATH DE Number: 519703
zbMATH Keywords: factorization of polynomials
zbMATH Keywords: commuting matrices
zbMATH Keywords: monic polynomial
zbMATH Keywords: factorization
reviewed by: Fang Li
MaRDI profile type: Publication
full work available at URL: 0024-3795(94)90317-4
OpenAlex ID: W2016717977
cites work: Simultaneous reduction to triangular and companion forms of pairs of matrices: The case \(rank(I-AZ)=1\)
cites work: Q5822102
cites work: Q3353186
cites work: An extension of a factorization theorem of Wedderburn to matrix rings
cites work: Q3910639
cites work: A rational canonical pair form for a pair of symmetric matrices over an arbitrary field F with char F ≠ 2 and applications to finest simultaneous block diagonalizations
cites work: Q5732671
cites work: Note on the equivalence of nonsingular pencils of Hermitian matrices
Recommended article: On the factorization of matrix polynomials with commuting coefficients
Recommended article: Q3451828
Recommended article: Q3478550
Recommended article: On factorization of matrix polynomials
Recommended article: Factorizations for \(n\)D polynomial matrices
Recommended article: Factorization of matrix polynomials and rational matrices
Recommended article: Decomposability of matrix polynomials with commuting coefficients into a product of linear factors
Recommended article: Q4133752
Recommended article: Factorization of polynomial matrices over arbitrary fields
Recommended article: Q3979947
description: scientific article; zbMATH DE number 519703