$L_{PQ}$ isomorphisme ssi $P$ et $Q$ sont premiers entre eux
Bonjour, je bute sur un petit exercice et j'aimerais vous demander votre aide.
Soient $P,Q\in\R[X]$ des polynômes non nuls de degrés respectifs $p$ et $q$ strictement positifs. L'objectif est de montrer que $$LPQ:(V,W)\in\R_{q−1}[X]\times\R_{p−1}[X]\longmapsto VP+WQ\in\R_{p+q−1}[X]$$ est un isomorphisme si et seulement si $P$ et $Q$ sont premiers entre eux.
D'abord, supposons que $P\wedge Q=1$ et montrons que $\ker(L_{PQ})=\{0\}$.
Déjà le premier problème c'est que ça ne mène à rien. Dois-je montrer que le noyau est plutôt réduit à $\{1\}$ ? Parce que si $P\wedge Q=1$, il me suffit de prendre $(−Q,P)\neq (0,0)$ et $L_{PQ}(−Q,P)=0$...
Ensuite, supposons que $L_{PQ}$ est un isomorphisme. En particulier son image est $R_{p+q−1}[X]$. Montrons que $P\wedge Q=1$. $1\in\R_{p+q−1}[X]$ donc il existe $(U+W)$ et par Bézout ok.
Voilà, c'est l'injectivité qui bloque. Merci d'avance pour vos réponses.
Réponses
-
Si P∧Q=1, il me suffit de prendre $(−Q,P)\neq(0,0)$.
Ça ne marche pas : $(−Q,P)\not \in \R_{q−1}[X]\times\R_{p−1}[X]$.
Mais bêtement, si $VP+WQ=0$, alors $VP=-WQ$, donc $P$ divise $WQ$. Or, $P$ et $Q$ sont premiers entre eux...
-
Ah oui, merci !
-
Soit $(V,W) \in \R_{q-1}[X] \times \R_{p-1}[X]$. Si $VP+WQ=0$, alors $VP = - WQ$, donc $P$ divise $WQ$. Or, $P$ et $Q$ sont premiers entre eux : par le théorème de \textsc{Gauss}, $P$ divise $W$. Donc $P$ divise tout polynôme de $\R_{p-1}[X]$.Maintenant je dois montrer que $P$ est le polynôme nul. De même, $Q$ est le polynôme nul.Je ne sais pas comment on passe de $P$ divise tout polynôme à $P$ est le polynôme nul.
Pourriez-vous m'aider s'il-vous-plaît ? Merci d'avance. -
$P$ divise $W$ Donc $P$ divise tout polynôme de $\R_{p−1}[X]$.
Qu'est-ce que tu racontes ?
Maintenant je dois montrer que $P$ est le polynôme nul.Non, tu confonds avec $W$.
-
Parce qu'on a pris $W$ quelconque dans $\R_{p-1}[X]$.
Ah oui, pardon c'est $W$. -
$P$ non nul de degré exactement $p$, peut-il diviser un polynôme ($W$) non nul de degré $p-1$ ?
-
Non, $W$ n'est pas quelconque. On n'a jamais montré que $P$ divisait n'importe quel polynôme de $\R_{p-1}[X]$.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 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
- 63 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
- 313 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
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres