~mdw
/
catacomb-python
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
69afd8a
)
pock.1: Make a less fatuous observation.
author
Mark Wooding
<mdw@distorted.org.uk>
Sat, 21 Sep 2019 10:40:14 +0000
(11:40 +0100)
committer
Mark Wooding
<mdw@distorted.org.uk>
Sat, 21 Sep 2019 10:46:09 +0000
(11:46 +0100)
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
patch
|
blob
|
blame
|
history
diff --git
a/pock.1
b/pock.1
index
f977ee4
..
4ebf3a6
100644
(file)
--- a/
pock.1
+++ b/
pock.1
@@
-472,7
+472,7
@@
the order of
in
.RB ( Z /\fIp Z )\*(ss\(**\*(se
divides
-.I
p
+.I
n
\-
1.
Consider some prime