Elliptic Divisibility Sequence - Definition

Definition

A (nondegenerate) elliptic divisibility sequence (EDS) is a sequence of integers (Wn)n ≥ 1 defined recursively by four initial values W1, W2, W3, W4, with W1W2W3 ≠ 0 and with subsequent values determined by the formulas

\begin{align} W_{2n+1}W_1^3 &= W_{n+2}W_n^3 - W_{n+1}^3W_{n-1},\qquad n \ge 2, \\ W_{2n}W_2W_1^2 &= W_{n+2}W_n W_{n-1}^2 - W_n W_{n-2}W_{n+1}^2,\qquad n\ge 3,\\ \end{align}

It can be shown that if W1 divides each of W2, W3, W4 and if further W2 divides W4, then every term Wn in the sequence is an integer.

Read more about this topic:  Elliptic Divisibility Sequence

Famous quotes containing the word definition:

    “Although there is no universal agreement as to a definition of life, its biological manifestations are generally considered to be organization, metabolism, growth, irritability, adaptation, and reproduction.”
    —The Columbia Encyclopedia, Fifth Edition, the first sentence of the article on “life” (based on wording in the First Edition, 1935)

    “The physicians say, they are not materialists; but they are:MSpirit is matter reduced to an extreme thinness: O so thin!—But the definition of spiritual should be, that which is its own evidence. What notions do they attach to love! what to religion! One would not willingly pronounce these words in their hearing, and give them the occasion to profane them.”
    —Ralph Waldo Emerson (1803–1882)

    “Was man made stupid to see his own stupidity?
    Is God by definition indifferent, beyond us all?
    Is the eternal truth man’s fighting soul
    Wherein the Beast ravens in its own avidity?”
    —Richard Eberhart (b. 1904)