\(R\)-algebras of linear recurrent sequences (Q1895623)

Let \(R\) be a commutative ring with unity. The authors prove that the set of all the linear recurrent sequences in \(R\) is an \(R\)-algebra with respect to the usual termwise sum and Hadamard product or the convolution product. This generalizes previous results in the case of sequences in a field [see, e.g., \textit{B. Benzaghou}, Bull. Soc. Math. Fr. 98, 209-252 (1970; Zbl 0206.332) and \textit{N. Zierler} and \textit{W. Mills}, J. Algebra 27, 147-157 (1973; Zbl 0274.12015)]. The authors also prove that the resulting two \(R\)-algebras are never isomorphic. Furthermore the authors explicitly give characteristic polynomials of the sum, the Hadamard product and the convolution product of any two or more linear recurrent sequences in \(R\). This generalizes previous result of \textit{N. Zierler} [J. Soc. Industr. Appl. Math. 7, 31-48 (1959; Zbl 0096.338)]\ and others. The methods of the proofs in the paper are elementary and elegant.