pock.1: Make a less fatuous observation.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 21 Sep 2019 10:40:14 +0000 (11:40 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 21 Sep 2019 10:46:09 +0000 (11:46 +0100)
commit7db83a89024f642d31af0bf619aa8009bec5f4d5
treeff8045a785bc1292a509cc010fe437eb54f776f9
parent69afd8a9c358463781df88ed3e35abbd5042e42f
pock.1: Make a less fatuous observation.

Of course a has order dividing p - 1 in Z/pZ.  This is Lagrange's
theorem.

It's valuable to observe that a has order dividing n - 1 because this
makes the next step, where we deduce the order of t = a^{(n-1)/q}, work.
pock.1