Congruence arithmétique
Période historique : 1801
Relation d'équivalence a = b (mod n) caractérisant l'égalité des restes par division par n.
Contenu & Formulation mathématique
Genèse & Portée historique
Dire que a est congru à b modulo n signifie que n divise exactement la différence a - b. Cette relation d'équivalence est compatible avec l'addition et la multiplication, permettant de calculer sur les classes de restes Z/nZ comme sur un cadran d'horloge.
Carl Friedrich Gauss a introduit le symbole aux trois barres horizontales et la terminologie moderne dans ses Disquisitiones Arithmeticae de 1801.
Filiations & Relations conceptuelles (0)
Cette notice constitue un axiome autonome sans relations directes enregistrées dans le recueil.
Objet de collection MathTCG
Congruence arithmétique
Relation d'équivalence sur Z compatible avec les opérations d'anneau.
Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Algebra & Numbers.