Theorem

Skolem-Mahler-Lech Theorem

Number Theory

For a linear recurrence sequence, the set of indices at which the sequence takes the value zero is, apart from finitely many exceptions, a union of full arithmetic progressions. Named for Thoralf Skolem, Kurt Mahler and Christer Lech, who each proved successive refinements.

Facts
Statement
If a sequence of numbers satisfies a linear recurrence with constant coefficients, then, with finitely many exceptions, the positions at which the sequence is zero form a finite union of arithmetic progressions. 1
Classification
Statement Form
Characterization Theorem 1
Skolem-Mahler-Lech Theorem
Filter Results2 entries
Connections

Has Statement Form

In Branch

Principal Result Of

Source Skolem-Mahler-Lech Theorem (Wikipedia)
Source Skolem-Mahler-Lech Theorem (Wikipedia)

Proved By

Source Skolem-Mahler-Lech Theorem (Wikipedia)
Source Skolem-Mahler-Lech Theorem (Wikipedia)
Sources
1. Skolem-Mahler-Lech Theorem (Wikipedia)
Wikimedia Foundation
  • Lead section
    if a sequence of numbers satisfies a linear recurrence with constant coefficients, then with finitely many exceptions the positions at which the sequence is zero form a regularly repeating pattern.
  • Proved By: Thoralf Skolem, Lead paragraph
    In algebraic number theory, the Skolem-Mahler-Lech theorem states that if a sequence of numbers satisfies a linear recurrence with constant coefficients, then
  • Proved By: Kurt Mahler, Lead paragraph
    In algebraic number theory, the Skolem-Mahler-Lech theorem states that if a sequence of numbers satisfies a linear recurrence with constant coefficients, then with finitely
View the Source
Skolem-Mahler-Lech Theorem (Wikipedia)
  • Principal Result Of: Thoralf Skolem, Lead sentence of the article on the result
    This result is named after Thoralf Skolem (who proved the theorem for sequences of rational numbers), Kurt Mahler (who proved it for sequences of algebraic numbers), and Christer Lech (who proved it for sequences with values in any field of characteristic zero.
  • Principal Result Of: Kurt Mahler, Lead sentence of the article on the result
    This result is named after Thoralf Skolem (who proved the theorem for sequences of rational numbers), Kurt Mahler (who proved it for sequences of algebraic numbers), and Christer Lech (who proved it for sequences with values in any field of characteristic zero.
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.

Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme