et que
det ci,j,mj1≤i,j≤r6=0.(2)
Dans [9] B´ela Zay d´emontre que les suites U1,...,Ursont des suites r´ecurrentes lin´eaires
r´eelles et ont toutes le mˆeme polynˆome caract´eristique. Dans ce qui suit nous g´en´eralisons ce
r´esultat au cas o`u les suites sont dans un module sur un anneau commutatif unitaire. Ce qui
permet d’obtenir, par une m´ethode ´el´ementaire, le r´esultat ´etabli par U. Cerruti et F. Vaccarino
dans ([3]), sur la stabilit´e du produit de Hadamard de deux suites r´ecurrentes lin´eaires sur un
anneau commutatif unitaire. Une autre application de ce r´esultat consiste `a montrer que les
d´ecimations de suites r´ecurrentes lin´eaires sont ´galement des suites r´ecurrentes lin´eaires.
Mais auparavent, signalons que, sur un corps commutatif K, le passage des suites `aleurss´eries
g´en´eratrices permet de donner une autre d´emonstration du r´esultat de B´ela Zay. Rappelons
rapidement que si U=(un)n≥0est un ´el´ement de KNet si U(X) est sa s´erie g´en´eratrice dans
K[[X]], alors, pour l∈N∗,las´erie g´en´eratrice V(X)delasuiteV=(un+l)n≥0, translat´ee de
U, est donn´ee par :
XlV(X)=U(X)−
l−1
X
i=0
uiXi.
En injectant toutes les s´eries g´en´eratrices de U1,...,Uret de leurs translat´ees dans (1) on
obtient un syst`eme lin´eaire de r´equations `acoefficientsdansK[X]. Les solutions de ce syst`eme
sont alors des fractions rationnelles. Ce qui signifie que les suites U1,...,Ursont des suites
r´ecurrentes lin´eaires.
2 Suites r´ecurrentes lin´eaires sur un module
La th´eorie des suites r´ecurrentes lin´eaires sur des modules est tr`es riche et relativement r´ecente.
On pourra consulter le travail de Kurakin et al. (voir [9]) pour `a la fois un historique et un
expos´e complet du sujet. Dans cette section nous nous contenterons de rappeler les ´el´ements
dont nous aurons besoin dans la suite.
Soit Aun anneau commutatif unitaire d’´el´ement neutre 1. Le groupe des ´el´ements inversibles
de Asera not´eU(A) ou tout simplement U.DanslasuiteMd´esignera un module sur A.
Soit S(M) l’ensemble des suites `a valeurs dans M.Un´el´ement Ude S(M)seranot´e(un)n≥0.
Soit B=A[X] l’alg`ebre des polynˆomes sur A.Pourd∈N,
p(X)=
d
X
i=0
piXi∈B, U =(un)∈S,
et pour tout n∈N,onpose
(p(X)u)n=
d
X
i=0
piun+i.
2