Bonjour à tous,
Juste pour un exo que j'ai fait mais dont je n'ai pas la correction. Voici l'énoncé:
Peut-être pourrais -tu indiquer ta preuve de l'isomorphisme ? (c'est la principale difficulté de l'exo).
lolo, ca depend de ton nivaux en algèbre, mais la plus court c'est ca doit etre ca :
les projections canonique de Z->Z/nZ et Z->Z/mZ sont des morphsimes d'algèbre. leurs produit et donc un morphisme f:Z->(Z/nZ * Z/mZ) (produit directe)
(NB, f est l'application qui a x associe classe de x dans Z/mZ et classe de x dans Z/nZ)
on cherche le noyaux de f, soit x tq f(x)=0 c'est équivalent a m|x et n|x, ie a ppcm(m,n)=mn (car m et n sont premier entre eux) divise x.
or comme toujours, f induit un isomorphsime de Z/ker f dans Im f.
Z/ker f = Z/mnZ, qui contiens nm element, et Im f est inclu dans Z/nZ*Z/mZ et a mn element (car f est une bijection) donc Imf = Z/nZ*Z/mZ
d'ou le résultat.
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :