Z/nZ et Z Flashcards
sous groupes de (Z,+),Idéal de (Z,+,*)
Tout sous groupe de (Z,+) est de la forme
nZ.Tout idéal I de (Z,+,*) est de la forme
nZ.
Relation linéaire
reflexivité : xRx
transitivité : (xRy et yRz)=> xRz
sym : xRy => yRx
antisym : (xRy et yRx)=> x=y
R est une relation d’ordre si elle est antisym, reflexive et transitive.
R est une relation d’eq si elle est sym, reflexive et transitive.
Z/nZ
(Z/nZ,+) est un groupe abélien de neutre 0, il est cyclique et engendré par 1.
(Z/nZ,+,*) est un anneau comm de neutre 1 pour *.
soit a de Z/nZ. a est premier avec n a engendre Z/nZ a est inversible.
morphisme de groupe k->a^k
Soit (G,*) un groupe quelconque. Soit a différent de 1 dans G.
Alors l’aplication fa de Z dans G qui à k associe a^k est un morphisme de groupe.
Im(fa)=Za=<a> est le sous groupe de G engendré par a.
Le noyeau de fa est donc un sous groupe de (Z,+), ker(fa)=nZ.
Si n=0 <a> est isomorphe à (Z,+).
si n>1, <a> est isomorphe à (Z/nZ,+)</a></a></a>
groupes cycliques
Soit G un groupe cyclique de card n.
Alors G est isomorphe à (Z/nZ,+).
Théorème de Lagrange
Soit G un groupe fini de card n.
Pour tout a de G, a^n=1 si la loi est *
( na=0 si la loi est +).
Petit thm de fermat
p premier et a non multiple de p => a^(p-1) est congru à 1 mod(p)
Viens du fait que Z/pZ est un corps et que Z/pZ{0} est un groupe multiplicatif de card n-1, on aplique le thm de lagrange.
Caractéristique d’un anneau
Soit f de Z dans A qui à k associ k*1.
f est un morphisme d’anneau et ker(f) est un idéal de Z et est donc de la forme nZ. n est la caractéristique de A.
Propriété
La caractéristique d'un anneau intègre est soit 0 soit un nombre premier. exemple carac(Z)=0 et carac(Z/nZ)=n.
Lemme de Lagrange
Soit G un groupe fini.
Alors le cardinal d’un sous groupe de G divise celui de G