Você está na página 1de 2

O anel das classes de resto mdulo m

Para todo inteiro

, definamos em

as seguintes operaes:

para quaisquer

. por

Observemos que se, e somente se, o resto da diviso de o mesmo resto da diviso de por .

Proposio:

um anel comutativo com unidade.

Prova: De fato, sejam

elementos quaisquer.

I.

A adio uma operao associativa, uma vez que o resto da diviso de por o mesmo resto da diviso de por . Em smbolos, temos que:

II.

Observamos que

o elemento neutro aditivo pois

III.

Observamos que uma vez que

o elemento inverso aditivo de

IV.

A adio uma operao comutativa, pois o resto da diviso de por o mesmo resto da diviso de por . Em smbolos, temos que:

V.

A multiplicao uma operao associativa uma vez que o resto da diviso de por o mesmo resto da diviso de por . Em smbolos, temos que:

VI.

Como o resto da diviso de diviso de por , ento

por

o mesmo resto da

E, analogamente, distributivas.

Logo,

valem

as

leis

VII.

A multiplicao uma operao comutativa, uma vez que o resto da diviso de por o mesmo resto da diviso de por . Em smbolos, temos que:

VIII.

O elemento que

o elemento neutro multiplicativo, uma vez