加载中…
For a sequence , define We prove a short rigidity theorem: if is eventually linearly recurrent and is rational, then is finitely supported. Equivalently, among sequences with rational ordinary generating function, the only ones whose Lambert series is rational are the finitely supported sequences. The proof specializes the data at a finite place of a finitely generated ring and then uses the periodicity of recurrences over finite fields.

生成讲解博客的中文版本

生成AI智能校验的中文版本