Réciproque de la division euclidienne
Bonjour,
Soient $A$ un anneau commutatif et $(P,B)\in A[X]^2$.
Le théorème de la division euclidienne nous donne l'implication suivante :
J'ai essayé de montrer la contraposée. Supposons $\neg (B$ admet un coefficient dominant $b$ inversible$)$. On a donc deux cas possibles :
1) $B=0$.
2) $B\neq 0$ et $b$ existe mais n'est pas inversible.
Le cas 1) est incompatible avec $(\deg(R)<\deg(B))$ donc c'est bon.
Reste à traiter le cas 2), pour lequel je tourne en rond.
Soient $A$ un anneau commutatif et $(P,B)\in A[X]^2$.
Le théorème de la division euclidienne nous donne l'implication suivante :
$(B$ admet un coefficient dominant $b$ inversible) $ \\
\qquad \implies (\exists! (Q,R)\in A[X]^2\quad P=BQ+R\text{ et }\deg(R)<\deg(B)).$
Est-ce qu'il s'agit en fait d'une équivalence ?\qquad \implies (\exists! (Q,R)\in A[X]^2\quad P=BQ+R\text{ et }\deg(R)<\deg(B)).$
J'ai essayé de montrer la contraposée. Supposons $\neg (B$ admet un coefficient dominant $b$ inversible$)$. On a donc deux cas possibles :
1) $B=0$.
2) $B\neq 0$ et $b$ existe mais n'est pas inversible.
Le cas 1) est incompatible avec $(\deg(R)<\deg(B))$ donc c'est bon.
Reste à traiter le cas 2), pour lequel je tourne en rond.
Réponses
-
Si polynôme $P$ est fixé, ce n’est pas une équivalence : tu peux faire la division euclidienne de $4X+1$ par $2X$ dans l’anneau $\Z[X]$.
Si tu impose de pouvoir faire la division euclidienne de $P$ par $B$ pour tout polynôme $P\in A[X]$, je pense que la condition est nécessaire et suffisante (en utilisant la division euclidienne de $X^{\deg(B)}$ par $B$), mais il faudrait l’écrire proprement pour en être sûr. -
En effet, merci.
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