[obm-l] Zm

[Samuel Wainer]

Seja
Zm = {0 , 1 , ... , m-1} conj. de todos os restos possíveis de a em Z 
(inteiros) divididos por por m em Z
 
è simples de mostrar que Zm é corpo <=> m for primo?
Para isso como defino a multiplicação em Zm?
 
por exemplo, faço a soma a + b  = a + b já para multiplicação como defino?
Depois para mostrar que é corpo devo ter que todo elemento a pertencente à 
Zm\{0} deve possuir inverso multiplicativo.