785:
47:
650:
780:{\displaystyle {\begin{array}{ccccccccccccc}&1&&4&&2&&8&&5&&7\\\searrow &&\searrow &&\searrow &&\searrow &&\searrow &&\searrow &&\searrow \\&7&&1&&4&&2&&8&&5\end{array}}}
641:
is a somewhat informal term that means declaring things equivalent that otherwise would be considered distinct. For example, suppose the sequence 1 4 2 8 5 7 is to be regarded as the same as the sequence 7 1 4 2 8 5, because each is a
162:
which itself means "a small measure") is often used to assert that two distinct mathematical objects can be regarded as equivalent—if their difference is accounted for by an additional factor. It was initially introduced into
175:
in 1801. Since then, the term has gained many meanings—some exact and some imprecise (such as equating "modulo" with "except for"). For the most part, the term often occurs in statements of the form:
524:
as applied to functional programming, "operating modulo" is special jargon which refers to mapping a functor to a category by highlighting or defining remainders.
655:
883:
Bullynck, Maarten (2009-02-01). "Modular arithmetic before C.F. Gauss: Systematizations and discussions on remainder problems in 18th-century
Germany".
607:
is finite, that is, you can remove a finite piece from the first subset, then add a finite piece to it, and get the second subset as a result.
331:
The term has gained many meanings over the years—some exact and some imprecise. The most general precise definition is simply in terms of an
64:
988:
950:
130:
111:
83:
68:
90:
810:
244:
97:
615:
79:
533:
The term "modulo" can be used differently—when referring to different mathematical structures. For example:
57:
506:
611:
604:
332:
249:
172:
576:
565:
546:
235:
805:
572:
376:
168:
35:
104:
946:
900:
623:
892:
470:
550:
521:
835:
583:
561:
554:
982:
973:
239:
164:
46:
17:
619:
30:
This article is about the general term in mathematics. For the operation, see
904:
896:
969:
859:
586:
out a normal subgroup (or an ideal) from a group (or ring) is often called "
502:
478:
466:
918:
456:
13 − 63 is a multiple of 10 (equiv., 13 and 63 differ by a multiple of 10).
324:
158:
319:
153:
382:
253:
482:
31:
815:
316:
218:
are the same—except for differences accounted for or explained by
201:
150:
381:
Gauss originally intended to use "modulo" as follows: given the
40:
618:
as being one space modulo another; thus, for example, that a
485:
operation: given two numbers (either integer or real),
653:
71:. Unsourced material may be challenged and removed.
779:
579:, if the difference between them is in the ideal.
440:both leave the same remainder when divided by
311:both share the same remainder when divided by
8:
654:
652:
328:, which itself means "a small measure."
131:Learn how and when to remove this message
560:is a member of the normal subgroup (see
473:, the term can be used in several ways:
827:
642:cyclicly-shifted version of the other:
575:or an algebra are congruent modulo an
945:. London: Prentice Hall. p. 22.
943:Category Theory for Computing Science
614:of maps leads to the definition of a
149:("with respect to a modulus of", the
7:
69:adding citations to reliable sources
27:Word with multiple distinct meanings
599:Two subsets of an infinite set are
34:. For the mathematical system, see
25:
45:
448:13 is congruent to 63 modulo 10
56:needs additional citations for
732:
726:
720:
714:
708:
702:
696:
193:which is often equivalent to "
1:
794:"modding out by cyclic shifts
517:, under certain constraints.
811:List of mathematical jargon
582:Used as a verb, the act of
245:Disquisitiones Arithmeticae
1005:
428:is an integer multiple of
374:
299:is an integer multiple of
29:
238:that was introduced into
143:In mathematics, the term
80:"Modulo" mathematics
989:Mathematical terminology
897:10.1016/j.hm.2008.08.009
601:equal modulo finite sets
840:Encyclopedia Britannica
549:are congruent modulo a
781:
481:, it is typically the
792:In that case, one is
782:
941:Barr; Wells (1996).
885:Historia Mathematica
836:"Modular arithmetic"
651:
612:short exact sequence
605:symmetric difference
333:equivalence relation
252:in 1801. Given the
250:Carl Friedrich Gauss
173:Carl Friedrich Gauss
65:improve this article
923:The Free Dictionary
626:modulo exact forms.
603:precisely if their
590:the..." or "we now
566:isomorphism theorem
432:, or equivalently,
303:, or equivalently,
236:mathematical jargon
806:Essentially unique
777:
775:
377:modular arithmetic
267:, the expression "
169:modular arithmetic
167:in the context of
36:Modular arithmetic
571:Two members of a
505:of the numerical
396:, the expression
141:
140:
133:
115:
16:(Redirected from
996:
957:
956:
938:
932:
931:
930:
929:
915:
909:
908:
880:
874:
873:
871:
870:
856:
850:
849:
847:
846:
832:
786:
784:
783:
778:
776:
768:
762:
756:
750:
744:
738:
730:
724:
718:
712:
706:
700:
687:
681:
675:
669:
663:
657:
622:is the space of
471:computer science
412:is congruent to
283:is congruent to
279:)", pronounced "
136:
129:
125:
122:
116:
114:
73:
49:
41:
21:
1004:
1003:
999:
998:
997:
995:
994:
993:
979:
978:
966:
961:
960:
953:
940:
939:
935:
927:
925:
917:
916:
912:
882:
881:
877:
868:
866:
858:
857:
853:
844:
842:
834:
833:
829:
824:
802:
774:
773:
767:
761:
755:
749:
743:
736:
735:
729:
723:
717:
711:
705:
699:
693:
692:
686:
680:
674:
668:
662:
649:
648:
633:
551:normal subgroup
531:
522:category theory
463:
444:. For example:
408:) (pronounced "
379:
373:
368:
229:
197:is the same as
182:is the same as
137:
126:
120:
117:
74:
72:
62:
50:
39:
28:
23:
22:
18:Modulo (jargon)
15:
12:
11:
5:
1002:
1000:
992:
991:
981:
980:
977:
976:
965:
964:External links
962:
959:
958:
951:
933:
910:
875:
851:
826:
825:
823:
820:
819:
818:
813:
808:
801:
798:
790:
789:
788:
787:
772:
769:
766:
763:
760:
757:
754:
751:
748:
745:
742:
739:
737:
734:
731:
728:
725:
722:
719:
716:
713:
710:
707:
704:
701:
698:
695:
694:
691:
688:
685:
682:
679:
676:
673:
670:
667:
664:
661:
658:
656:
632:
629:
628:
627:
616:quotient space
608:
597:
596:
595:
569:
562:quotient group
555:if and only if
530:
527:
526:
525:
518:
462:
459:
458:
457:
450:
449:
420:") means that
375:Main article:
372:
369:
367:
364:
291:", means that
228:
225:
224:
223:
191:
190:
139:
138:
53:
51:
44:
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
1001:
990:
987:
986:
984:
975:
971:
968:
967:
963:
954:
952:0-13-323809-1
948:
944:
937:
934:
924:
920:
914:
911:
906:
902:
898:
894:
890:
886:
879:
876:
865:
861:
855:
852:
841:
837:
831:
828:
821:
817:
814:
812:
809:
807:
804:
803:
799:
797:
795:
770:
764:
758:
752:
746:
740:
689:
683:
677:
671:
665:
659:
647:
646:
645:
644:
643:
640:
639:
630:
625:
621:
617:
613:
609:
606:
602:
598:
593:
589:
585:
581:
580:
578:
574:
570:
567:
563:
559:
556:
552:
548:
544:
540:
536:
535:
534:
528:
523:
519:
516:
512:
508:
504:
500:
496:
492:
488:
484:
480:
476:
475:
474:
472:
468:
460:
455:
454:
453:
447:
446:
445:
443:
439:
435:
431:
427:
424: −
423:
419:
415:
411:
407:
403:
399:
395:
391:
387:
384:
378:
370:
365:
363:
361:
357:
353:
349:
345:
341:
337:
334:
329:
327:
326:
321:
318:
314:
310:
306:
302:
298:
295: −
294:
290:
286:
282:
278:
274:
270:
266:
262:
258:
255:
251:
247:
246:
241:
237:
233:
226:
221:
217:
213:
210:
209:
208:
207:", and means
206:
203:
200:
196:
189:
185:
181:
178:
177:
176:
174:
170:
166:
161:
160:
155:
152:
148:
147:
135:
132:
124:
121:December 2009
113:
110:
106:
103:
99:
96:
92:
89:
85:
82: –
81:
77:
76:Find sources:
70:
66:
60:
59:
54:This article
52:
48:
43:
42:
37:
33:
19:
942:
936:
926:, retrieved
922:
913:
891:(1): 48–72.
888:
884:
878:
867:. Retrieved
863:
854:
843:. Retrieved
839:
830:
793:
791:
637:
636:
635:In general,
634:
624:closed forms
600:
591:
587:
557:
542:
538:
537:Two members
532:
514:
510:
498:
494:
490:
486:
464:
451:
441:
437:
433:
429:
425:
421:
417:
413:
409:
405:
401:
397:
393:
389:
385:
380:
371:Original use
359:
355:
351:
347:
343:
339:
335:
330:
323:
315:. It is the
312:
308:
304:
300:
296:
292:
288:
284:
280:
276:
272:
268:
264:
260:
256:
243:
242:in the book
231:
230:
219:
215:
211:
204:
198:
194:
192:
187:
183:
179:
157:
145:
144:
142:
127:
118:
108:
101:
94:
87:
75:
63:Please help
58:verification
55:
974:Jargon File
638:modding out
631:Modding out
588:modding out
452:means that
240:mathematics
165:mathematics
928:2019-11-21
869:2019-11-21
845:2019-11-21
822:References
620:cohomology
568:for more).
529:Structures
348:congruent)
344:equivalent
91:newspapers
905:0315-0860
733:↘
727:↘
721:↘
715:↘
709:↘
703:↘
697:↘
584:factoring
503:remainder
479:computing
467:computing
461:Computing
983:Category
919:"modulo"
864:catb.org
860:"modulo"
800:See also
594:the...".
507:division
383:integers
338:, where
320:ablative
254:integers
154:ablative
972:in the
592:mod out
501:is the
497:modulo
416:modulo
354:modulo
325:modulus
287:modulo
227:History
186:modulo
159:modulus
105:scholar
970:Modulo
949:
903:
483:modulo
232:Modulo
146:modulo
107:
100:
93:
86:
78:
32:Modulo
816:Up to
577:ideal
547:group
545:of a
404:(mod
366:Usage
317:Latin
275:(mod
234:is a
202:up to
151:Latin
112:JSTOR
98:books
947:ISBN
901:ISSN
573:ring
564:and
541:and
489:and
469:and
436:and
392:and
346:(or
307:and
263:and
214:and
84:news
893:doi
796:".
520:In
513:by
509:of
477:In
465:In
360:aRb
358:if
350:to
342:is
322:of
248:by
171:by
156:of
67:by
985::
921:,
899:.
889:36
887:.
862:.
838:.
610:A
558:ab
553:,
493:,
400:≡
388:,
362:.
271:≡
259:,
955:.
907:.
895::
872:.
848:.
771:5
765:8
759:2
753:4
747:1
741:7
690:7
684:5
678:8
672:2
666:4
660:1
543:b
539:a
515:n
511:a
499:n
495:a
491:n
487:a
442:n
438:b
434:a
430:n
426:b
422:a
418:n
414:b
410:a
406:n
402:b
398:a
394:n
390:b
386:a
356:R
352:b
340:a
336:R
313:n
309:b
305:a
301:n
297:b
293:a
289:n
285:b
281:a
277:n
273:b
269:a
265:n
261:b
257:a
222:.
220:C
216:B
212:A
205:C
199:B
195:A
188:C
184:B
180:A
134:)
128:(
123:)
119:(
109:·
102:·
95:·
88:·
61:.
38:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.