Comments (6)
from mazhe.
J'ai poussé une correction avec preuve que Z[X] est euclidien et principal dans la branche alpha. Ça devrait arriver dans master dans pas très longtemps.
Par contre, ma connexion internet fonctionne très mal depuis un mois, et ça risque de prendre par mal de temps avant que je puisse publier le pdf corrigé.
(en gros : le temps que je trouve le temps d'aller voir mon opérateur pour résilier l'abonnement et d'en ouvrir un autre)
from mazhe.
J'ai poussé une correction avec preuve que Z[X] est euclidien et principal dans la branche alpha.
Je suppose que tu veux dire Z ?
Dans un de tes commits, tu poses la question pour Z[X] : lui n'est ni euclidien ni principal.
Le lien wikipédia que j'ai mentionné plus haut explique que si l'anneau intègre A n'est pas un corps, l'idéal de A[X] engendré par X et a (où a est un élément non inversible de l'anneau A) n'est pas principal.
On peut appliquer ce raisonnement pour Z[X] en prenant par exemple a=2 :
L'idéal de Z[X] engendré par X et 2 n'est pas principal.
from mazhe.
from mazhe.
J'ai relu les preuves des points 4.85 et 4.86, il y a deux-trois trucs à corriger :
4.85
L’anneau Z est principal et euclidien.
La démonstration contient des "copier-coller" dont il reste des déchets : il faut supprimer "et le couple (q_0,r_0)" dans les trois derniers cas.
4.86
Si A est un anneau intègre qui n’est pas un corps, alors A[X] n’est pas principal.
-
Dans la première partie de la démonstration, on arrive à l'égalité kk'=1.
À partir de là, on peut seulement en déduire que k est inversible (pas nécessairement égal à 1 ou -1).
Néanmoins, le fait que k soit inversible est suffisant pour la suite : si l'idéal contient un inversible, alors cet idéal est en fait l'anneau A[X] tout entier. -
À la fin de cette même première partie : (P) n'est pas égal à A mais à A[X] (il manque donc le "[X]")
from mazhe.
J'ai poussé un gros morceau qui répond à toutes les remarques de ce fil. Espérant que je n'ai pas ajouté trop de bêtises au passage.
Au passage j'ai découvert une autre faure : il était prétendu que les Z/nZ sont principaux. Vive la page de wikipédia qui prend justement Z/nZ comme exemple d'un anneau non principal dont tous les idéaux sont principaux.
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.