Some algebraic results concerning linear recurrence sequences

TL;DR

This study allows us to find explicitly the polynomial $P\in F[X]$ such that $L(P)=\prod_{i=1}^{m} L(P_{i})$, where $P_{1, \ldots, P_{m}$ are any monic polynomials over $F$.

Abstract

We study the set $\mathcal{L}_{F}$ of all $F$-vector spaces $L(P)$ where $P$ is monic and splits over $F$ and $L(Q)$ denotes the set of linear recurrence sequences over $F$ with characteristic polynomial $Q$. We show that $\mathcal{L}_{F}$ can be endowed with two structures of graded commutative semiring. This study allows us to obtain, in compact forms, the polynomial $P,Q\in F[X]$ such that $L(P)=\prod_{i=1}^{m}L(P_{i})$ and $L(Q)=L(P_{1})\ast\cdots\ast L(P_{m})$, where $P_{1}, \ldots, P_{m}$ are any monic polynomials over $F$.

Theorems & Definitions (50)

• Definition 2.1
• Theorem 2.2
• proof
• Theorem 2.3
• proof
• Lemma 3.1
• proof
• Remark 3.2
• Corollary 3.3
• proof