Classe de congruentia
In le mathematica, un classe de congruentia  de un numero  modulo un numero  es le insimul de omne numeros que lassa le mesme residu como  in caso de un division per . Un altere nomine es classe de residuo.

 es un subgruppo del gruppo abelian  pro omne , alora particularmente un subgruppo normal. Le gruppo quotiente  se nomina gruppo de classes de congruentia modulo . Illo es le anello de numeros integre modulo , e ha exactemente  elementos. Iste elementos se scribe 

es se nomina classes de congruentia relative al addition modulo . Alora
.

Le operation interne de  usualmente se indica de novo como .

Exemplo 
Per exemplo, in  es ver
,
proque , alora .

Mathematica