On a convolution of linear recurring sequences over finite fields (Q1188278)

Let \(F\) be a finite field and \(S_ F\) the \(F\) algebra of all sequences \({\mathbf s}=(s_ 0,s_ 1,\dots)\) over \(F\). For a nonconstant monic polynomial \(f(x)\) over \(F\), let \(S_ F(f(x))\) denote the set of all homogeneous linear recurring sequences over \(F\) with characteristic polynomial \(f(x)\). For \({\mathbf s},{\mathbf t}\in S_ F(f(x))\), define the convolution by \(u_ n=\sum_ i s_ i t_{n-i}\). Denote by \(S_ F(f(x))* S_ F(g(x))\) the subspace of \(S_ F\) spanned by all convolutions \({\mathbf s}*{\mathbf t}\), \({\mathbf s}\in S_ F(f(x))\), \({\mathbf t}\in S_ F(g(x))\). It is shown here that \[ S_ F(f(x))* S_ F(g(x))\subseteq S_ F(f(x)g(x)). \]