638:. Express LM≡0 (mod 7) in terms of a and b, then we have: (i) if (a-b)≡0 mod 3, then (a+3b)(a-b)≡0 mod 7; (ii) if (a+b)≡0 mod 3, then (a-3b)(a+b)≡0 mod 7; (iii) if 2b≡0 mod 3, then 4ab≡0 mod 7. (i) is the same as: either (a-b)≡0 mod 21, or { (a-b)≡0 mod 3 and (a+3b)≡0 mod 7 }, and the thing inside the curly brackets can be rewritten as ((a-4b)≡0 mod 3 and (a-4b)≡0 mod 7), i.e. (a-4b)≡0 mod 21. Similarly, (ii) means either (a+b)≡0 mod 21, or (a+4b)≡0 mod 21. (iii) is the same as b≡0 mod 3 and ab≡0 mod 7, hence either b≡0 mod 21, or (b≡0 mod 3 and a≡0 mod 7). Now we can see that (7|p)
84:
74:
53:
480:
6^3=221-5≡-5). The condition (#2) is true for p=13, as a=1, b=2, 7|(a-4b), but it should not. By the way, according to the section titled Other theorems, 7 is a cubic residue mod p iff LM≡0 (mod 7), which is correct both for p=19 (L=7, M=1, LM≡0) and for p=13 (L=-5, M=1, LM≢0). Since 7 is also cubic residue modulo 19 (a=4, b=1), 73 (a=5, b=4), 181 (a=13, b=2), 313 (a=11, b=8), 367 (a=2, b=11)..., the right condition seems to be
682:
7|(a±4b), or when the modulus is 13, 19, 31, 73, 103, 139, …. In this case, 7 is truly a cubic residue only if 3|(a±4b), or modulus = 19, 73, …. Other moduli of this type (13, 31, 103, 139, …) make 7 an “Euler pseudo cubic residue” that is a nonresidue (I complained about modulus=13 satisfying (#2), but 13 is just one of these guys). 157 is the smallest non 7|(a±4b) type modulus that makes 7 a cubic residue.
694:(mod 13), resp. The coefficient of M seems to be μ=9r/(2u+1), which can be easily calculated if you first determine u and r such that 3u+1≡r^2(3u-3), u≠0, 1, -1/2, -1/3. For q=11, (u,r)=(3,±3), (9,±5), (10,±2) satisfy the condition, each giving μ=±4. Similarly, μ=±1 for q=13. For q=17, μ=±3,±8, and we could write this as LM(L-3M)(L+3M)(L-8M)(L+8M)≡0; and so on. For now, I’ll just comment out (11|p)
22:
693:
in this article are LM(L-3M)(L+3M)≡0 (mod 11) and LM(L-2M)(L+2M)≡0 (mod 13), respectively. These are exactly what
Lemmermeyer has in his book (p. 212), but again, I think he is wrong. I haven’t checked this carefully yet, but the correct expressions seem LM(L-4M)(L+4M)≡0 (mod 11) and LM(L-M)(L+M)≡0
479:
And that’s the current version as of writing this (June 17, 2013). Though (#2) happens to be correct for p=19, it is worse than (#1). For example, 7 is a cubic nonresidue mod 13, because (I think) only ±5 is non-trivial cubic residues modulo 13 (2^3=13-5≡-5, 3^3=26+1≡1, 4^3=65-1≡-1, 5^3=130-5≡-5,
380:
I agree that the current presentation is too abrupt. In a more gentle version the notion of "cubic residue" should be defined separately, and there should be a better explanation of the term "reciprocity" in this context. The lede mentions cubic equations, a term that does not recur in the article,
681:
Actually, the 7|(b±2a) at the very end seems meaningless, because it is equivalent to 7|(4b±a) — i.e. if 4b±a≡0 mod 7, then a≡∓4b, hence 7|(b±2a); conversely, if b±2a≡0 mod 7, then b≡∓2a, hence 7|(4b±a). So (#2) and (#2') are equivalent, and Euler’s criterion often gets a false positive when
626:
residue for a modulus that satisfies (#2). The first mistake of
Lemmermeyer is, he misquoted if as iff. The second mistake is, he swapped a and b. Those two mistakes totally messed things up. Anyway, now we have the correct version of Euler’s conjecture for q=7, and this conjecture is
621:
In translation I replaced p with b, q with a, so that the expressions are compatible with ours. As you can see, he simply states that if 7 is a cubic residue modulo 3b^2+a^2, then a and b satisfy (#2). He does not say the converse is also true. Namely, 7 can be a cubic
983:
I think that there is no generalized way to calculate whether m is n-th power residue mod d (i.e. x^n == m mod d has solutions) for n = 5, 7, etc. i.e. n is not divisor of 24, since there is no algebraic solution for a generalized algebraic equation with degree n for n:
331:
436:
The above is untrue for p=19. Namely, 7 is a cubic residue mod 19, because 4^3=64≡7 (mod 19), when 19=4^2+3*1^2, a=4 and b=1; for which (#0) does not hold. Since it is unlikely that Euler was wrong for p=19 (the second smallest
238:
491:…much simpler than (#0)-(#2). For the time being, I will just comment out this part for q=7, because (#0) is wrong and (#1)-(#3) are OR. I think someone needs to check Euler’s original work for this. —
764:(To make matters worse, there is also no explanation of its meaning, and no link to any explanation. But please do not think that a link to an explanation would have been a good idea: It would not be.)
945:
772:
903:
140:
942:
827:
365:
In the text it is written "...cubic reciprocity is most naturally expressed...". Is there some other definitions, since it seems I need one "not naturally expressed".
249:
752:
Sometime before 1748 Euler made the first conjectures about the cubic residuacity of small integers, but they were not published until 1849, after his death.
1047:
979:
I think that there is no generalized way to calculate whether m is n-th power residue mod d (i.e. x^n == m mod d has solutions) for n = 3, 4 but not 5, 7
130:
168:
106:
780:
1042:
989:, thus for n=8 there is also a way, therefore, I think that there is a way if and only if n is divisor of 24 (possibly 48 instead of 24). ——
1007:
990:
1022:
949:
776:
724:
This article does not clearly state an algorithm to find the cubic residue to satisfy x^3=p mod q. Is there any algorithm available?
97:
58:
396:
I rewrote this based on my article on quartic reciprocity. I think the abruptness has been removed. I gave it a B+ rating.
33:
830:
401:
467:(#1) is indeed better than (#0), or so it seems to me at least, but still incorrect for p=19, etc. On 23 June 2012,
847:
985:
4, however, for n=6 it is only needed to test n=2 and n=3, thus there is still a way, and there is an article of
913:
Is the writer truly unaware that the word "primes" could refer to the primes of the unique factorization domain
1011:
994:
1026:
397:
39:
83:
442:), probably Lemmermeyer misquoted Euler. When this was first quoted on Knowledge, on 5 December 2008,
370:
1018:
1003:
515:
Euler’s original version is basically (#2), except he does not say “if and only if”. He only says:
21:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
916:
801:
513:
351:
89:
73:
52:
632:
or 21|(a±4b)”. When I first wrote it here, I accidentally dropped 21|(a±b). With that fixed—
986:
729:
589:[Translation: In order that 7 is a residue and a divisor is 3b^2+a^2, it must be that either
382:
707:
496:
337:
326:{\displaystyle \alpha ^{(P-1)/3}\equiv \left({\frac {\alpha }{\pi }}\right)_{3}\mod \pi }
1036:
725:
757:
There is nothing wrong with using the word "residuacity" except for the fact that
738:
366:
233:{\displaystyle \alpha ^{(P-1)/3}\equiv \left({\frac {\alpha }{\pi }}\right)_{3}}
102:
703:
510:
492:
470:
another editor, Maxal, changed this condition again, perhaps accidentally, to:
79:
341:
998:
953:
733:
711:
500:
415:
Let p=a^2+3b^2 be a rational prime ≡1 (mod 3). According to
Lemmermeyer’s
405:
385:
374:
354:
344:
769:
writing in
Knowledge is for the purpose of making things clear to readers
673:
21|b, or (3|b and 7|a), or 21|(a±b), or 7|(4b±a), or 7|(b±2a) … (#2)
445:
Virginia-American tried to fix this problem, by replacing (#0) with:
627:
mathematically correct too, provided that 3b^2+a^2 is a prime : -->
419:, p. 223, Euler guessed that 7 was a cubic residue modulo p iff
336:
which would be somewhat analogous to Euler's criterion for the
739:
There's nothing wrong with using the word "residuacity" except
685:
Another thing. Currently the expressions we have about (11|p)
507:
Tractatus de numerorum doctrina capita sedecim, quae supersunt
15:
702:. I’ll update the article more properly when I have time. —
462:
A footnote says: “an apparent misprint has been corrected”.
628:
7. First of all, (#3) should be “21|b, or (3|b and 7|a),
663:
21|b, or (3|b and 7|a), or 21|(a±b), or 7|(a±4b) … (#2')
653:
21|b, or (3|b and 7|a), or 21|(a±b), or 21|(a±4b) … (#3)
642:, iff LM≡0 (mod 7), iff (i) or (ii) or (iii), iff (#3).
468:
463:
443:
668:
will hold too, and an apparently even weaker condition
919:
850:
804:
505:
So I found the original Latin text on the
Internet:
252:
171:
101:, a collaborative effort to improve the coverage of
759:
99.9999% of readers will have no idea what it means
936:
897:
821:
325:
232:
459:), or 21|(a±b), or 7|(4a±b), or 7|(a±2b) … (#1)
433:), or 21|(a±b), or 7|(4a±b), or 7|(a±2b) … (#0)
898:{\displaystyle 3=-\omega ^{2}(1-\omega )^{2}.}
8:
1016:
1001:
417:Reciprocity Laws: from Euler to Eisenstein
47:
921:
920:
918:
886:
864:
849:
806:
805:
803:
305:
291:
273:
257:
251:
224:
210:
192:
176:
170:
472:21|b, or (3|b and 7|a), or 21|(a±b), or
963:
361:Natural? Maybe. Understandable? Less so
318:
316:
49:
19:
946:2601:200:C000:1A0:D02F:D749:A7D7:6091
833:. The primes fall into three classes:
773:2601:200:C000:1A0:D02F:D749:A7D7:6091
381:making this only more mysterious. --
7:
95:This article is within the scope of
720:algorithm to find the cubic residue
38:It is of interest to the following
743:The first sentence in the section
14:
1048:Low-priority mathematics articles
115:Knowledge:WikiProject Mathematics
646:Proof of Euler’s conjecture (#2)
350:Yes indeed, fixed now: thanks.
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
970:Ireland & Rosen Prop 9.1.4
931:
925:
883:
870:
816:
810:
658:holds, then a weaker condition
519:Ut 7 sit residuum divisorque 3
270:
258:
189:
177:
1:
999:09:09, 29 December 2021 (UTC)
311:
109:and see a list of open tasks.
1043:B-Class mathematics articles
937:{\displaystyle \mathbb {Z} }
822:{\displaystyle \mathbb {Z} }
734:15:45, 20 January 2018 (UTC)
406:23:15, 5 December 2008 (UTC)
355:06:26, 27 October 2006 (UTC)
345:18:45, 24 October 2006 (UTC)
944:that was just mentioned???
831:unique factorization domain
1064:
411:Euler’s conjecture for q=7
386:04:49, 24 April 2008 (UTC)
375:01:25, 16 April 2008 (UTC)
954:20:22, 21 June 2021 (UTC)
781:20:13, 21 June 2021 (UTC)
712:12:23, 19 June 2013 (UTC)
501:11:48, 17 June 2013 (UTC)
134:
67:
46:
597:=7n, or (b±a)=21n, or (4
482:21|b, or (3|b and 7|a),
162:I strongly suspect that
141:project's priority scale
794:contains this passage:
243:should be replaced by
98:WikiProject Mathematics
938:
899:
823:
619:
327:
234:
28:This article is rated
939:
900:
824:
792:Facts and terminology
767:Please remember that
678:will of course hold.
517:
474:7|(a±4b), or 7|(2a±b)
328:
235:
917:
848:
838:3 is a special case:
802:
250:
169:
121:mathematics articles
934:
895:
819:
323:
319:
317:
312:
230:
90:Mathematics portal
34:content assessment
1030:
1021:comment added by
1015:
1006:comment added by
987:octic reciprocity
527:, debet esse vel
398:Virginia-American
299:
218:
155:
154:
151:
150:
147:
146:
1055:
971:
968:
943:
941:
940:
935:
924:
904:
902:
901:
896:
891:
890:
869:
868:
828:
826:
825:
820:
809:
441:
332:
330:
329:
324:
310:
309:
304:
300:
292:
282:
281:
277:
239:
237:
236:
231:
229:
228:
223:
219:
211:
201:
200:
196:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
1063:
1062:
1058:
1057:
1056:
1054:
1053:
1052:
1033:
1032:
981:
976:
975:
974:
969:
965:
915:
914:
882:
860:
846:
845:
800:
799:
788:
747:is as follows:
741:
722:
701:
697:
692:
688:
641:
485:
438:
413:
394:
363:
338:Legendre symbol
287:
286:
253:
248:
247:
206:
205:
172:
167:
166:
160:
158:Suspected error
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
1061:
1059:
1051:
1050:
1045:
1035:
1034:
1008:118.163.215.24
991:220.132.54.182
980:
977:
973:
972:
962:
961:
957:
933:
930:
927:
923:
911:
910:
909:
908:
894:
889:
885:
881:
878:
875:
872:
867:
863:
859:
856:
853:
840:
839:
818:
815:
812:
808:
787:
786:Sloppy writing
784:
740:
737:
721:
718:
716:
699:
695:
690:
686:
676:
675:
674:
669:
666:
665:
664:
659:
656:
655:
654:
649:
639:
588:
490:
483:
481:
471:
446:
420:
412:
409:
393:
390:
389:
388:
362:
359:
358:
357:
334:
333:
322:
315:
308:
303:
298:
295:
290:
285:
280:
276:
272:
269:
266:
263:
260:
256:
241:
240:
227:
222:
217:
214:
209:
204:
199:
195:
191:
188:
185:
182:
179:
175:
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
1060:
1049:
1046:
1044:
1041:
1040:
1038:
1031:
1028:
1024:
1023:61.221.60.160
1020:
1013:
1009:
1005:
1000:
996:
992:
988:
978:
967:
964:
960:
956:
955:
951:
947:
928:
907:
892:
887:
879:
876:
873:
865:
861:
857:
854:
851:
844:
843:
842:
841:
837:
836:
835:
834:
832:
813:
795:
793:
785:
783:
782:
778:
774:
770:
765:
762:
760:
755:
753:
748:
746:
736:
735:
731:
727:
719:
717:
714:
713:
709:
705:
683:
679:
672:
671:
670:
662:
661:
660:
652:
651:
650:
647:
643:
637:
636:Proof of (#3)
633:
631:
625:
618:
616:
612:
608:
604:
600:
596:
592:
586:
582:
578:
574:
570:
566:
562:
558:
554:
550:
546:
542:
538:
534:
530:
526:
522:
516:
514:
511:
508:
503:
502:
498:
494:
488:
477:
475:
469:
465:
464:
460:
458:
454:
450:
444:
434:
432:
428:
424:
418:
410:
408:
407:
403:
399:
391:
387:
384:
379:
378:
377:
376:
372:
368:
360:
356:
353:
352:Richard Pinch
349:
348:
347:
346:
343:
339:
320:
313:
306:
301:
296:
293:
288:
283:
278:
274:
267:
264:
261:
254:
246:
245:
244:
225:
220:
215:
212:
207:
202:
197:
193:
186:
183:
180:
173:
165:
164:
163:
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
1017:— Preceding
1002:— Preceding
982:
966:
958:
912:
905:
798:
796:
791:
790:The section
789:
768:
766:
763:
758:
756:
751:
749:
744:
742:
723:
715:
684:
680:
677:
667:
657:
645:
644:
635:
634:
630:or 21|(a±b),
629:
623:
620:
614:
610:
606:
602:
598:
594:
590:
584:
580:
576:
572:
568:
564:
560:
556:
552:
548:
544:
540:
536:
532:
528:
524:
520:
518:
506:
504:
487:or 21|(a±4b)
486:
484:or 21|(a±b),
478:
473:
466:
461:
456:
452:
448:
435:
430:
426:
422:
416:
414:
395:
364:
335:
242:
161:
137:Low-priority
136:
96:
62:Low‑priority
40:WikiProjects
512:chapter 11.
112:Mathematics
103:mathematics
59:Mathematics
1037:Categories
959:References
698:and (13|p)
689:and (13|p)
609:=21m, or (
605:)=7n, or
1019:unsigned
1004:unsigned
593:=3m and
451:, or (3|
425:, or (3|
745:History
726:Jackzhp
617:)=7n.]
555:, vel 4
476:… (#2)
439:p : -->
392:Rewrite
383:Lambiam
139:on the
30:B-class
575:, vel
567:, vel
543:, vel
489:… (#3)
455:and 7|
429:and 7|
367:Vavlap
36:scale.
829:is a
704:Gyopi
648:. If
493:Gyopi
1027:talk
1012:talk
995:talk
950:talk
777:talk
730:talk
708:talk
497:talk
402:talk
371:talk
342:DRLB
984:-->
624:non
571:=21
551:=21
535:et
447:21|
421:21|
314:mod
131:Low
1039::
1029:)
1014:)
997:)
952:)
929:ω
880:ω
877:−
862:ω
858:−
814:ω
779:)
771:.
761:.
754:"
732:)
710:)
613:±2
583:=7
579:±2
563:=7
539:=7
531:=3
525:qq
521:pp
499:)
404:)
373:)
340:.
321:π
297:π
294:α
284:≡
265:−
255:α
216:π
213:α
203:≡
184:−
174:α
1025:(
1010:(
993:(
948:(
932:]
926:[
922:Z
906:"
893:.
888:2
884:)
874:1
871:(
866:2
855:=
852:3
817:]
811:[
807:Z
797:"
775:(
750:"
728:(
706:(
700:3
696:3
691:3
687:3
640:3
615:a
611:b
607:b
603:a
601:±
599:b
595:a
591:b
587:.
585:n
581:q
577:p
573:m
569:p
565:n
561:q
559:±
557:p
553:n
549:q
547:±
545:p
541:n
537:q
533:m
529:p
523:+
509:,
495:(
457:a
453:b
449:b
440:7
431:b
427:a
423:a
400:(
369:(
307:3
302:)
289:(
279:3
275:/
271:)
268:1
262:P
259:(
226:3
221:)
208:(
198:3
194:/
190:)
187:1
181:P
178:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.