A constructive version of Warfield's Theorem

Cyrille Chenavier (1)

1 VALSE - Finite-time control and estimation for distributed systems

Within the algebraic analysis approach to linear system theory, a multidimensional linear system can be studied by means of its associated finitely presented left module. Deep connections exist between module isomorphisms and equivalent matrices. In the present paper, we introduce a constructive proof of a result due to Warfield which controls the size of equivalent matrices involved in the study of isomorphic modules. We illustrate our constructive proof with an example coming from differential equations with constant coefficients.

Mots clés: matrix equivalence; Linear functional systems; module isomorphisms

Domaines: Calcul formel [cs.SC]; Anneaux et algèbres [math.RA]

Cyrille Chenavier. A constructive version of Warfield's Theorem. 2019. ⟨hal-02120656v5⟩