{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $K$ be a field of characteristic $0$.\nLet $(u_n)_{n \\ge 0}$ be a [[solution|0ZV2YKKZ58]] of a [[linear recurrence with constant coefficients|081THG13JZ]] over $K$.\nThen the zero set $Z = \\set{n \\in \\N : u_n = 0}$ is the union of a finite set and finitely many [[arithmetic progressions|S70JBRSQZX]] $\\set{a + b m : m \\in \\N}$ with $a \\in \\N$ and $b \\ge 1$.\n\n## Remarks\n\nThe standard proof is $p$-adic.\nOne reduces to a finitely generated subfield, which embeds into the $p$-adic numbers $\\Q_p$ for a suitable prime $p$ with all relevant quantities $p$-adic units.\nThen for a suitable period $b$ and each residue $a$, the map $m \\mapsto u_{a + b m}$ extends to a $p$-adic analytic function on $\\Z_p$.\nSuch a function either vanishes identically or has only finitely many zeros, which gives the progressions and the finite set.\nExample: $u_n = 1 + (-1)^n$ solves $u_{n+2} = u_n$, and its zero set is the progression of odd numbers.\nThe hypothesis of characteristic $0$ is necessary.\nOver the field $\\F_p(t)$, the sequence $u_n = (1 + t)^n - t^n - 1$ solves a linear recurrence of order $3$.\nIts terms vanish exactly when $n$ is a power of $p$, and this infinite set contains no infinite arithmetic progression.\nThe proof is not effective: it gives no algorithm to find the finite set.\nWhether one can decide if a given integer recurrence has a zero at all is the open Skolem problem.\n\n## Explanations\n\n### L1 human\n\nTake a sequence defined by a linear recurrence with fixed coefficients, and ask where it is zero.\nThe theorem says the answer is never wild: apart from finitely many exceptions, the zeros repeat with a fixed period.\nFor instance, it can be zero at every third index, but it cannot be zero exactly at the perfect squares.\n\n### L2 human\n\nThe theorem is named after Thoralf Skolem, Kurt Mahler and Christer Lech, who proved it in more and more general fields.\nThe periodic part can be computed, but the finite exceptional set is the hard part.\nThe proof is a classic use of $p$-adic analysis in number theory, by the same principle as Strassmann's theorem on the zeros of $p$-adic power series.\nA recurrence is non-degenerate if no ratio of two distinct roots of its characteristic polynomial is a root of unity.\nA common corollary: a non-degenerate solution that is not identically zero has only finitely many zeros.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "06MJC8YDYR"
    ],
    "kind": "statement",
    "msc": [
      "11B37",
      "39A06"
    ],
    "name": "Skolem–Mahler–Lech theorem",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q2374733",
      "wikipedia": "Skolem–Mahler–Lech theorem"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Skolem%E2%80%93Mahler%E2%80%93Lech_theorem"
      }
    ],
    "tag": "ZQFPVWMY4M",
    "uses": [
      "081THG13JZ",
      "0ZV2YKKZ58",
      "S70JBRSQZX"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/ZQFPVWMY4M/",
  "links": [
    {
      "field": "about",
      "target": "06MJC8YDYR"
    },
    {
      "field": "uses",
      "target": "081THG13JZ"
    },
    {
      "field": "uses",
      "target": "0ZV2YKKZ58"
    },
    {
      "field": "uses",
      "target": "S70JBRSQZX"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/ZQFPVWMY4M.md",
  "msc": [
    "11B37",
    "39A06"
  ],
  "name": "Skolem–Mahler–Lech theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/ZQF/ZQFPVWMY4M.md",
  "status": null,
  "tag": "ZQFPVWMY4M",
  "uri": "m2://ZQFPVWMY4M",
  "url": "https://tamnd.github.io/math2/wiki/skolem-mahler-lech-theorem/",
  "writing": {
    "tag": "ZQFPVWMY4M",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}