Comments (7)
Supposons que A est un anneau intègre, et que P est un polynôme irréductible à coefficients dans A.
Si A[X]/(P) est un corps, alors A est un anneau principal et un corps ?
from mazhe.
Meileur énoncé : si A est un anneau et si K est un corps contenant A comme sous-anneau (au sens où une partie de K est un anneau isomorphe à A) alors A est principal.
C'est vrai ?
from mazhe.
Supposons que A est un anneau intègre, et que P est un polynôme irréductible à coefficients dans A.
Si A[X]/(P) est un corps, alors A est un anneau principal et un corps ?
Je ne sais pas s'il existe ou non des anneaux intègres qui ne soient pas des corps, mais qui "par chance" font que A[X]/(P) soit un corps.
La question mérite d'être étudiée.
Meileur énoncé : si A est un anneau et si K est un corps contenant A comme sous-anneau (au sens où une partie de K est un anneau isomorphe à A) alors A est principal.
C'est vrai ?
Si un corps contient A comme sous-anneau, on peut seulement en déduire que A est intègre.
On ne peut rien en déduire d'autre : tout anneau intègre A (même ceux qui ne sont pas principaux) admet un corps des fractions (qui contiendra donc A comme sous-anneau).
from mazhe.
Je vais empaqueter tout ça dans une question qui sera placée dans "algèbre->difficile", et on verra si quelqu'un connaît la réponse.
from mazhe.
Néanmoins, si on veut absolument définir un corps de rupture pour un anneau intègre, c'est possible avec Frac(A)[X]/(P) (où Frac(A) est le corps des fractions de A).
Je me suis un peu plus penché sur cette question, et il apparaît que c'est un peu plus délicat :
- Si le polynôme P (irréductible sur A) est également irréductible sur Frac(A), on peut effectivement définir le corps de rupture Frac(A)[X]/(P)
- Mais si P n'est plus irréductible lorsqu'on le considère comme un polynôme à coefficients dans Frac(A), ça ne marche plus (je n'avais pas pensé à cette situation...)
Par exemple, le polynôme P=2 à coefficients dans l'anneau intègre Z est bien irréductible (il n'est pas inversible, et n'est pas produit de deux polynômes non inversibles).
Mais dans Q[X], il n'est plus irréductible, puisqu'il y est devenu inversible...
Parler du corps de rupture Q[X]/(2) n'a alors aucun sens.
Pire : dans cet exemple, il n'existe aucun corps (ni même aucun anneau) vérifiant les deux conditions qui nous intéresseraient (contenir une racine de P, et un sous-anneau isomorphe à Z) :
Si le polynôme P=2 a une racine, vu qu'il est de degré 0 (degré strictement inférieur au nombre de racines) c'est le polynôme nul. On a donc affaire à un corps/anneau de caractéristique 2.
Tout sous-anneau sera également de caractéristique 2, et donc certainement pas isomorphe à Z.
Les conditions "A intègre et P irréductible" ne sont donc pas suffisantes :
Si on veut garantir que l'anneau A[X]/(P) contienne un sous-anneau isomorphe à A, il faut encore ajouter la condition : "P non constant" (même si préciser "irréductible et non constant" ressemble à un pléonasme...)
from mazhe.
On aurait donc cet énoncé :
Soit un anneau intègre A et un polynôme non constant P dans A[X]. Alors P est irréductible sur Frac(A).
Dans ces cas, ça a un sens de parler de corps de décomposition de P en passant par le corps des fractions. La classe des polynômes non constants est assez large.
La question ouverte est de savoir quelle est la classe des anneaux A et des polynômes P tels que nous ayons directement que A[X]/(P) est un corps, sans passer par Frac(A).
En effet, étendre la définition d'un corps de rupture aux anneaux intègres juste en disant qu'on les considère dans le corps des fractions, c'est pas vraiment une extension de la définition.
from mazhe.
Soit un anneau intègre A et un polynôme irréductible non constant P dans A[X]. Alors P est irréductible sur Frac(A).
Je ne sais pas si cet énoncé est vrai ; par contre, la réciproque est fausse : P=2X²+2 est irréductible sur Q, mais pas sur Z puisque P=2(X²+1)
D'un autre côté, si cet énoncé devait être faux, ce ne serait pas forcément si gênant en pratique :
Si le polynôme P (non constant) n'est plus irréductible sur Frac(A), on peut toujours le décomposer en produit de polynômes irréductibles (puisque Frac(A) est un corps, l'anneau Frac(A)[X] est factoriel).
En prenant un corps de rupture sur l'un des facteurs de la décomposition, ça règle le problème de trouver un corps contenant A dans lequel P a une racine.
from mazhe.
Related Issues (20)
- 13.268c HOT 1
- Proposition 13.147 HOT 3
- Regle de l'etau HOT 1
- Remarque 13.164 HOT 2
- 13.393 operateur nabla pour gradient HOT 2
- x divise y utilisé avant sa définition HOT 1
- Bugs dans la table des matières
- Construction des réels - l'ensemble quotient mérite une clarification HOT 2
- Integration continue & release automatique HOT 4
- Lemme 2.7 (sous-groupe engendré) faux ? HOT 1
- Ensembles équipotents : ajouter ou soustraire des cardinalités HOT 15
- sin(0) should be equal to 0 HOT 2
- Remplacer les « affin » par « afin » + une coquille à corriger HOT 1
- Certaines figures sont tronquées trop près de la bordure HOT 1
- Correction d'une typo HOT 1
- Correction de coquille HOT 1
- Anneaux quotients HOT 1
- Lien mort dans une référence bibliographique
- Casse des noms de fichiers HOT 1
- Tri de l’index tenant compte des accents HOT 7
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from mazhe.