A multiplicação é definida do mesmo jeito. Você tem que checar também que
estas operações estão bem definidas.
A ida, você faz pela contra-positiva. Suponha que m não é primo, e use que
num corpo não existem divisores de 0, i.e., dois elementos a e b não-nulos
tais que ab=0.
Para a volta, use o Teorema de Bézout:
http://erdos.ime.usp.br/index.php/Teorema_de_B%C3%A9zout
2011/3/18 Samuel Wainer sswai...@hotmail.com
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.
--
Tiago J. Fonseca
http://legauss.blogspot.com