Corps des fractions

Infos
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 localisa
Corps des fractions

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 \frac 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, \frac=\frac ;
-commutativité et associativité des lois induites ;
-existence d'un neutre \frac pour la première loi et \frac pour la seconde ; :: \frac ab + \frac 0x = \frac = \frac ab :: \frac ab \times \frac cc = \frac = \frac ab
-existence d'un opposé \frac pour tout élément \frac ; ::\frac + \frac = \frac
-existence d'un inverse \frac pour tout élément non nul \frac ; :: \frac\times \frac= \frac
-distributivité de la multiplication sur l'addition : ::\frac\frac + \frac\frac=\frac = \frac :: \frac\frac + \frac\frac=(\frac+ \frac)\frac 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 \frac 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 \tilde f de K(A) dans L tel que f = \tilde f \circ i diagramme commutatif La seule façon de créer \tilde f est de définir \tilde f \left(\frac\right) par \tilde f \left(\frac\right).\tilde f \left(\frac\right)^ = \frac . Il suffit ensuite de prouver que cette construction est indépendante du représentant choisi et que \tilde f 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 Catégorie:Théorie des anneaux de:Quotientenkörper en:Field of fractions es:Cuerpo de cocientes pt:Corpo de frações zh:分式環
Sujets connexes
Anneau (mathématiques)   Anneau commutatif   Anneau intègre   Construction des nombres rationnels   Corps (mathématiques)   Entier relatif   Fraction rationnelle   Injection (mathématiques)   Localisation (mathématique)   Loi de composition interne   Nombre rationnel   Polynôme   Relation d'équivalence   Théorie des anneaux  
#
Accident de Beaune   Amélie Mauresmo   Anisocytose   C3H6O   CA Paris   Carole Richert   Catherinettes   Chaleur massique   Championnat de Tunisie de football D2   Classement mondial des entreprises leader par secteur   Col du Bonhomme (Vosges)   De viris illustribus (Lhomond)   Dolcett   EGP  
^