Universit´e de Paris-Sud
Math 204- Alg`ebre 2006–2007
Arithm´etique des polynˆomes. Fractions rationnelles
R´esum´e du cours
Ce r´esum´e est avant tout un aide-m´emoire et/ou un ensemble de points de rep`ere. Tel
quel, il est totalement indigeste et il serait illusoire de penser qu’il suffit de le connaˆıtre
pour pouvoir comprendre le cours. On a privil´egi´e une exposition logique `a une exposition
didactique et on n’a donc pas respect´e l’ordre du cours.
1 – Anneaux.
Un anneau est un ensemble Amuni de deux lois de composition
– une addition A×A→A, en g´en´eral not´ee (a, b)7→ a+b,
– une multiplication A×A→A, en g´en´eral not´ee (a, b)7→ a.b (ou (a×b) ou ab),
v´erifiant :
i) (a+b) + c=a+ (b+c), quelque soient a, b, c ∈A,
ii) il existe 0 ∈Atel que a+ 0 = 0 + a=a, quelque soit a∈A,
iii) pour tout a∈A, il existe a0∈Atel que a+a0=a0+a= 0,
iv) (ab)c=a(bc) quelque soient a, b, c ∈A,
v) a(b+c) = ab +ac et (b+c)a=ba +ca, quelque soient a, b, c ∈A,
vi) il existe un ´el´ement 1 ∈Atel que 1a=a1 = aquelque soit a∈A.
Dans un anneau A, l’´el´ement 0 est unique et s’appelle le z´ero de l’anneau, l’´el´ement 1
est unique et s’appelle l’´el´ement-unit´e.
Les propri´et´es i), ii) et iii) siginifient que, pour l’addition, Aest un groupe ab´elien.
L’ensemble A∗des a∈Atels qu’il existe b∈Av´erifiant ab =ba = 1 est un groupe, que
l’on appelle le groupe des unit´es ou le groupe multiplicatif des ´el´ements inversibles de A.
Si dans un anneau A, on a 1 = 0, alors Aa un seul ´element : A={0}.
On dit qu’un anneau Aest commutatif si ab =ba, quelque soient a, b ∈A.
Un homomorphisme d’anneaux f:A→Best une application de Adans Btelle que
f(a+b) = f(a) + f(b) , f(ab) = f(a)f(b) quelque soient a, b ∈Aet f(1) = 1 .
Un sous-anneau d’un anneau Best un sous-ensemble B0de Bcontenant 1 tel que
si a, b ∈B0, alors a+b∈B0et ab ∈B0.
Munis de l’addition et de la multiplicatioin induites par celles de B,B0est un anneau
et l’inclusion de B0dans Best un homomorphisme injectif d’anneaux. Si f:A→Best
un homomorphisme d’anneaux, l’image de f
Im f={b∈B|il existe a∈Atel que f(a) = b}