Extension de corps
Je m'interroge sur le passage que j'ai surligné en jaune en dessous.
Est-ce une vraie égalité ensembliste $\K(a)=\mathrm{Frac}(\K [ a])$ ou est-ce une égalité « à isomorphisme près » ?
Étant donnée la définition de la notion de corps de fractions, c'est selon moi une égalité à isomorphisme près, mais comme le cours ne le précise pas (alors qu'il le précise dans la suite de la propriété...).
Est-ce une vraie égalité ensembliste $\K(a)=\mathrm{Frac}(\K [ a])$ ou est-ce une égalité « à isomorphisme près » ?
Étant donnée la définition de la notion de corps de fractions, c'est selon moi une égalité à isomorphisme près, mais comme le cours ne le précise pas (alors qu'il le précise dans la suite de la propriété...).
Réponses
-
Tu as raison ! On parle d'un corps des fractions d'un anneau commutatif intègre $A$, c'est-à-dire d'un corps $K$, muni d'un morphisme d'anneaux $i$ :$A\longrightarrow K$, qui vérifient les conditions habituelles. D'ailleurs ça n'est pas $K$, mais la paire $(K,i)$ qui est unique, à unique isomorphisme près (le corps $K$ peut avoir beaucoup d'automorphismes).
-
Merci, un des rares trucs pas très propres de RDO du coup :-)
-
Justement, disons qu'une extension d'un corps $\K$ est un couple $(\bf L$$,j)$ avec $j:\K\rightarrow\bf L$ un morphisme de corps.
Wikipédia dit alors la chose suivante : il existe un corps $\K'\supset\K$ et un isomorphisme de corps $f:\K'\rightarrow\bf L$ tel que $f_{|\K}=j$. J'ai l'impression que je passe à côte d'une banalité mais je n'arrive pas à le montrer. -
De toute façon, tu fais de l'algèbre : c'est la structure qui t'intéresse, pas la présentation exacte des éléments. Il y a peu de constructions en algèbre qui soient de vraies égalités. Les isomorphismes font tout le travail.
-
Il suffit de prendre $\K' = \K \cup (L \setminus j(\K))$ muni de lois évidentes, mais ça n'a strictement aucun intérêt.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 8 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres