En
Théorie des anneaux, le
corps des fractions d'un anneau
commutatif intègre (non nul)
A est le plus petit corps (à isomorphisme près) contenant
A.
Sa construction est une généralisation à un anneau de la construction du corps des rationnels à partir de l'anneau des entiers relatifs. Appliqué à l'anneau des polynômes, il permet la construction de son corps des fractions rationnelles
Cette construction se généralise encore avec le procédé de localisation.
Construction
On définit sur
E = A × A* deux lois internes et une relation d'équivalence compatible avec ces deux lois :
- une pseudo-addition : pour tout (a , b) et (c , d) de E , (a , b) + (c , d) = (ad + cb , bd)
- une pseudo-multiplication : pour tout (a , b) et (c , d) de E, (a , b) . (c , d) = (ac , bd)
L'existence de ces deux lois est fortement subordonnée au fait que l'anneau soit intègre car il faut pouvoir que le produit
bd soit non nul. Ces deux lois de composition interne sont bien définies, commutatives (d'après la commutativité du produit sur
A) et associatives. Elles ne possèdent un neutre que si l'anneau est unitaire (il s'agit dans ce cas de
(0, 1) pour la première et
(1, 1) pour la seconde) et même dans ce cas, si l'anneau n'est pas déjà un corps, il existe des éléments sans inverse pour aucune des deux lois construites sur
E. Enfin, il n'y a pas de distributivité de la seconde loi sur la première.
La relation ~ définie par (a , b) ~ (c , d) ssi ad = bc est bien symétrique, réflexive et transitive par hypothèse d'intégrité. Elle est de plus compatible avec les deux lois, c'est-à-dire que la classe du résultat de la pseudo-multiplication (ou de la pseudo-addition) ne dépend que des classes des opérandes. Autrement dit, les lois de composition peuvent être appliquées aux classes d'équivalence sans tenir compte du choix du représentant.
La classe d'un couple (a , b) se note usuellement et est appelée fraction.
L'ensemble quotient, noté K(A) et muni des lois de composition induites (addition et multiplication), possède alors les propriétés suivantes (on fixe un élément non nul quelconque x de A) :
- simplification de fraction : pour tout c non nul, ;
- commutativité et associativité des lois induites ;
- existence d'un neutre pour la première loi et pour la seconde ;
-
a
––
b | + | 0
––
x | = | ax
–––
bx | = | a
––
b |
-
a
––
b | × | c
––
c | = | ac
–––
bc | = | a
––
b |
- existence d'un opposé pour tout élément ;
-
- existence d'un inverse pour tout élément non nul ;
-
- distributivité de la multiplication sur l'addition :
a
––
b | e
––
f | + | c
––
d | e
––
f | = | aedf + cebf
–––––––––––––––
bfdf | = | (ad + cb)e
––––––––––––––
bdf |
-
a
––
b | e
––
f | + | c
––
d | e
––
f | = | ( | a
––
b | + | c
––
d | ) | e
––
f |
La structure ainsi définie constitue donc un corps commutatif.
Injection
L'application
i de
A dans
K(A) qui, à l'élément
a, associe
est un morphisme injectif qui
plonge l'anneau
A dans son corps de fractions.
Propriété universelle
Pour tout corps
L et tout
homomorphisme injectif
f de A dans L, il existe un unique homomorphisme
de K(A) dans L tel que
La seule façon de créer est de définir par ∽
f
| ( | a
––
1 | ) | . | ∽
f
| ( | b
––
1 | ) | -1 = | f (a)
–––––––
f (b) |
. Il suffit ensuite de prouver que cette construction est indépendante du représentant choisi et que est bien un morphisme injectif.
Unicité
Il est évident d'après la propriété universelle, que
K(A) est le plus petit corps contenant
A. En effet, si
L est un autre corps contenant
A, il existe un morphisme injectif de
A dans
L donc un morphisme injectif de
K(A) dans
L.
Voir aussi
- Localisation
- Cours de mathématiques-(tome I) Jacqueline-Lelong Ferrand et Jean-Marie Arnaudies. Editions Bordas