Recurring sequences over vector spaces (Q917601): Difference between revisions

Let \(F\) be a Galois field, and let \(R:=F[D]^{k\times k}\) \((k\in\mathbb N)\). The set \(\Gamma_k(F)\) of all sequences \(S=(s_n)\) over \(F^k\) is made into a left \(R\)-module by \(f(D)S=\sum_{i=0}^m a_i s_{n+i}\) for any \(f(D):=\sum_{i=0}^m a_i D^i\in R\). Let \(f(D)\in R\) be regular, and let \(\lambda(D)\in F[D]\) be the unique monic polynomial such that \(R\lambda(D)\) is the largest ideal in \(Rf(D)\). Considering relationships between \(\Omega_k(f(D)):=\{S\in \Gamma_k(F): f(D)S=0\}\) and \(\Omega_1(\lambda (D))\), the periodicity properties of elements of \(\Omega_k(f(D))\) are studied. The canonical form of \(\Omega_k(f(D))\) is established.