Abstract
We explain how the space of linearly recursive sequences over a field can be considered as a Hopf algebra. The algebra structure is that of divided-power sequences, so we concentrate on the perhaps lesser-known coalgebra (diagonalization) structure. Such a sequence satisfies a minimal recursive relation, whose solution space is the subcoalgebra generated by the sequence. We discuss possible bases for the solution space from the point of view of diagonalization. In particular, we give an algorithm for diagonalizing a sequence in terms of the basis of the coalgebra it generates formed by its images under the difference-operator shift. The computation involves inverting the Hankel matrix of the sequence. We stress the classical connection (say over the real or complex numbers) with formal power series and the theory of linear homogeneous ordinary differential equations. It is hoped that this exposition will encourage the use of Hopf algebraic ideas in the study of certain combinatorial areas of mathematics.
Similar content being viewed by others
References
Hochschild, G.,The structure of Lie graups. Holden-Day, San Francisco, 1965.
Hochschild, G.,Introduction to affine algebraic groups. Holden-Day, San Francisco, 1971.
Markushevich, A. I.,Recursion sequences (English translation). Mir Publishers, Moscow, 1975.
Rouchaleau, Y. andWyman, B. F.,Linear dynamical systems over integral domains. J. of Computer and System Sciences9 (1974), 129–142.
Sweedler, M.,Hopf algebras. W. A. Benjamin, New York, 1969.
Taft, E. J.,Reflexivity of algebras and coalgebras. Amer. J. Math.94 (1972), 1111–1130.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Peterson, B., Taft, E.J. The hopf algebra of linearly recursive sequences. Aeq. Math. 20, 1–17 (1980). https://doi.org/10.1007/BF02190488
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02190488