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 <[email protected]> > 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
