Equivalences of linear functional systems

Thomas Cluzeau 1 Alban Quadrat 2
2 NON-A - Non-Asymptotic estimation for online systems
Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
Résumé : Dans l’approche de la théorie des systèmes linéaires par l’analyse algébrique, nous étudions le problème d’équivalence des systèmes linéaires fonctionnels, c’est-à-dire le problème de caractériser quand toutes les solutions de deux systèmes linéaires fonctionnels sont en bijection. Pour cela, nous donnons tout d’abord une nouvelle caractérisation de l’isomorphisme entre deux modules de présentation finie en terme d’extensions de leurs matrices de présentation. Nous prouvons ensuite différents isomorphismes qui sont des conséquences du problème de complétion unimodulaire. Nous les utilisons alors pour compléter et raffiner des résultats existants surleproblème de la réduction de Serre. Finalement, différentes conséquences de ces résultats sont données. Tous les résultats obtenus dans ce papier sont algorithmiques pour des anneaux sur lesquels les techniques de bases de Gröbner existent et les calculs peuvent être obtenus par les packages Maple OREMODULES et OREMORPHISMS
Type de document :
Rapport
[Research Report] RR-9000, Inria Lille - Nord Europe; University of Limoges, France. 2016, pp.29
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01413593
Contributeur : Alban Quadrat <>
Soumis le : samedi 10 décembre 2016 - 00:48:19
Dernière modification le : vendredi 13 avril 2018 - 01:28:04
Document(s) archivé(s) le : mardi 28 mars 2017 - 00:26:29

Fichier

RR-9000.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01413593, version 1

Citation

Thomas Cluzeau, Alban Quadrat. Equivalences of linear functional systems. [Research Report] RR-9000, Inria Lille - Nord Europe; University of Limoges, France. 2016, pp.29. 〈hal-01413593〉

Partager

Métriques

Consultations de la notice

287

Téléchargements de fichiers

53