Pensez à lire la Charte avant de poster !

$\newcommand{\K}{\mathbf K}$


Les-Mathematiques.net - Cours de mathématiques supérieures
 Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
137 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 

questions sur structures algébriques

Envoyé par math65 
Re: questions sur structures algébriques
il y a douze jours
Est-ce que tu serais en train de confondre polynôme et fonction polynomiale ?
Re: questions sur structures algébriques
il y a douze jours
Que penses-tu des deux polynômes $P(x) = x$ et $Q(x) = x^3$ ? (toujours sur $\mathbb{F}_3 = \Z/3\Z$

Pour les autres questions : Regarde les histoires de Bézout etc



Edité 1 fois. La dernière correction date de il y a douze jours et a été effectuée par moduloP.
Re: questions sur structures algébriques
il y a douze jours
@GaBuZoMeu tu as bien compris ce que je voulais dire. Est-ce que les polynômes (fonctions polynomiales!) de $\mathbb Z / 3 \mathbb Z [x]$ sont bien définis de $\mathbb Z / 3 \mathbb Z$ dans $\mathbb Z / 3 \mathbb Z$ ?

Pour moi la réponse est OUI

@moduloP Les deux polynômes P et Q semble être les mêmes sur $\mathbb{F}_3 = \Z/3\Z$. Cela semble donc confirmer ma réponse ci-dessus.

Qui peut me confirmer si c'est bon ce raisonnement ? :
11) Pour montrer que $\mathbb C[x,y]/(x,y)$ est isomorphe à $\mathbb C$, j'utilise le morphisme $\phi : \mathbb C[x,y] \to \mathbb C$ tel que $\phi(P)= P(0,0)$.
On montre facilement que $\phi$ est surjectif et que $(x,y)$ est son noyau car l'idéal $(x,y)$ ne contient pas de coefficient pour $X^0Y^0$ donc pour tout $P \in (x,y)$, $P(0,0)=0$.
Cela prouve que $\mathbb C[x,y]/(x,y)$ est isomorphe à $\mathbb C$ donc $\mathbb C[x,y]/I$ ($I= (x+y^2, y+x^2+2xy^2+y^4)$) est isomorphe à $\mathbb C$ car $I$ coïncide avec $(x,y)$.
Re: questions sur structures algébriques
il y a douze jours
Citation

les polynômes (fonctions polynomiales!)
Les polynômes NE SONT PAS les fonctions polynomiales !!!!
Tu fais une grave erreur si tu les confonds, surtout en travaillant sur des corps finis.
Re: questions sur structures algébriques
il y a douze jours
@GaBuZoMeu posons la question d'une autre manière Est-ce que les éléments de $\mathbb Z / 3 \mathbb Z [x]$ sont bien définis de $\mathbb Z / 3 \mathbb Z$ dans $\mathbb Z / 3 \mathbb Z$ ?

Pour moi la réponse est OUI

@moduloP Les deux polynômes P et Q semble être les mêmes sur $\mathbb{F}_3 = \Z/3\Z$. Cela semble donc confirmer ma réponse ci-dessus.

Qui peut me confirmer si c'est bon ce raisonnement ? :
11) Pour montrer que $\mathbb C[x,y]/(x,y)$ est isomorphe à $\mathbb C$, j'utilise le morphisme $\phi : \mathbb C[x,y] \to \mathbb C$ tel que $\phi(P)= P(0,0)$.
On montre facilement que $\phi$ est surjectif et que $(x,y)$ est son noyau car l'idéal $(x,y)$ ne contient pas de coefficient pour $X^0Y^0$ donc pour tout $P \in (x,y)$, $P(0,0)=0$.
Cela prouve que $\mathbb C[x,y]/(x,y)$ est isomorphe à $\mathbb C$ donc $\mathbb C[x,y]/I$ ($I= (x+y^2, y+x^2+2xy^2+y^4)$) est isomorphe à $\mathbb C$ car $I$ coïncide avec $(x,y)$.
gb
Re: questions sur structures algébriques
il y a douze jours
avatar
Bonjour,

Pour moi (et d'autres...) la réponse est \(\mathbf{non}\).

Si \(x\) et \(x^3\) étaient le même polynôme, quel serait son degré ? 1 ou 3 ?
Re: questions sur structures algébriques
il y a douze jours
avatar
$\mathbb Z / 3 \mathbb Z$ est un ensemble fini. Combien existe-t-il de fonctions qui vont de $\mathbb Z / 3 \mathbb Z$ dans $\mathbb Z / 3 \mathbb Z$ ? Combien y a-t-il de polynômes dans $\mathbb Z / 3 \mathbb Z [X]$ ?

En algèbre, un polynôme n'est pas une fonction mais un objet beaucoup plus riche ; si l'on ne s'intéressait qu'aux fonctions, le corps à trois éléments serait bien triste.



Edité 2 fois. La dernière correction date de il y a douze jours et a été effectuée par Le Lui ou un Autre.
Re: questions sur structures algébriques
il y a onze jours
Mais alors est-ce que quelqu'un va pouvoir m'indiquer de quel ensemble vers quel ensemble sont définis les éléments de $\mathbb Z / 3 \mathbb Z [x]$? ou est-ce que cela n'a pas de sens ce que je demande? merci

13) Avec $J=(X^2+2)$ et $I=(2X^3+X+1)$
$\Phi : \mathbb{F}_3[x] \to \mathbb{F}_3[x] / I \times \mathbb{F}_3[x] / J$ défini par $\Phi(P) = \big(P \pmod{I}, P \pmod{J}\big)$

Est-ce que $P \pmod{I}$ et $P \pmod{J}$ désignent respectivement le reste de la division euclidienne de $P$ par $2X^3+X+1$ et de $P$ par $X^2+2$?

Qui peut me confirmer si c'est bon ce raisonnement ? :
11) Pour montrer que $\mathbb C[x,y]/(x,y)$ est isomorphe à $\mathbb C$, j'utilise le morphisme $\phi : \mathbb C[x,y] \to \mathbb C$ tel que $\phi(P)= P(0,0)$.
On montre facilement que $\phi$ est surjectif et que $(x,y)$ est son noyau car l'idéal $(x,y)$ ne contient pas de coefficient pour $X^0Y^0$ donc pour tout $P \in (x,y)$, $P(0,0)=0$.
Cela prouve que $\mathbb C[x,y]/(x,y)$ est isomorphe à $\mathbb C$ donc $\mathbb C[x,y]/I$ ($I= (x+y^2, y+x^2+2xy^2+y^4)$) est isomorphe à $\mathbb C$ car $I$ coïncide avec $(x,y)$.



Edité 1 fois. La dernière correction date de il y a onze jours et a été effectuée par math65.
Re: questions sur structures algébriques
il y a onze jours
Pour les polynômes non pas d'identification entre fonctions et polynômes. En clair, on peut bien sûr considérer pour chaque polynôme $P \in \mathbb{F}_3[x]$, la fonction $\hat{P} : \mathbb{F}_3 \to \mathbb{F}_3$. Mais on perd une propriété importante : ce n'est pas parce que les fonctions sont égales que les polynômes sont égaux.

Pour $\C[x,y]$. Ok pour le morphisme, ensuite c'est un peu flou je trouve. Pour surjectif, soit $z \in \C$, posons $P = z $ le polynôme de degré $0$. alors $\phi(P) = z$ donc surjectif.

Pour le noyau, soit $P \in (x,y)$ alors $P = x P_1+yP_2$ ainsi $P(0,0) = 0$. Réciproquement, soit $P$ tel que $P(0,0)=0$ alors on écrit $P(x,y) = \sum_{i,j} a_{ij} x^i y^j$ et $a_{00} = 0$ et ...
Re: questions sur structures algébriques
il y a onze jours
@math65 : ce que les autres intervenants s'évertuent à te dire est que les polynômes dont tu parles ne sont pas "de quelque part dans quelque part" puisque ce ne sont pas des fonctions, donc en effet ça n'a pas de sens. Ce sont des éléments d'un certain anneau (dans ton cas $\mathbb Z/3 \mathbb Z[X]$). Il ne faut pas confondre polynôme et fonction polynomiale : le polynôme $X^3-X$ n'est clairement pas le polynôme nul (l'élément $0$ dans l'anneau $\mathbb Z/3 \mathbb Z[X]$), tandis que la fonction polynomiale associée $x \mapsto x^3-x$ définie sur $\mathbb Z/3 \mathbb Z$ est la fonction nulle !
Re: questions sur structures algébriques
il y a onze jours
Tu n'as peut-être jamais vu de définition formelle des polynômes. Un polynôme à coefficients dans un anneau commutatif $A$, c'est une famille $P=(p_n)_{n\in \N}$ d'éléments de $A$, indexée par $\N$, telle que $p_n=0$ pour tous les $n\in \N$, sauf un nombre fini. ($p_n$ est le coefficient de degré $n$ du polynôme $P$).
Si tu veux voir un polynôme comme une fonction, c'est en fait une fonction $\N\to A$ à support fini !
Par exemple, pour $A=\Z/3\Z$, le polynôme $X^3-X$ est la famille de ses coefficients : $(0,-1,0,1,0,0,\ldots)$. Et c'est bien différent du polynôme nul, qui est bien sûr $(0,0,\ldots)$.
Re: questions sur structures algébriques
il y a onze jours
Toute application d'un corps fini dans lui-même est une fonction-polynôme.
Re: questions sur structures algébriques
il y a dix jours
Ce n'est pas pour dénigrer l'intérêt mathématique des deux dernières interventions, mais j'ai peur qu'elles perdent math65 plus qu'elles ne l'aident à y voir plus clair !
Re: questions sur structures algébriques
il y a dix jours
math65 travaille sur des quotients d'anneaux de polynômes, mais visiblement il ne connaît pas de définition mathématique de "polynôme". J'ai commis l'erreur impardonnable de lui donner une telle définition, mea culpa. D'autant plus que Poirot l'avait déjà largement informé en lui précisant que les polynômes sont "les éléments d'un certain anneau". winking smiley
Re: questions sur structures algébriques
il y a dix jours
Moi c'était pour pointer sur une jolie propriété, pas difficile à prouver, et qui peut servir à lutter contre la confusion entre polynôme formel et fonction-polynôme.
Le questionneur devrait consulter un cours, que nos interventions ne sauraient remplacer.
Bon courage à lui et bonne journée à tous.
Le jour se lève pour nous, hélas pas pour Johnny Halliday, qu'il repose en paix.
Fr. Ch.
Seuls les utilisateurs enregistrés peuvent poster des messages dans ce forum.

Cliquer ici pour vous connecter

Liste des forums - Statistiques du forum

Total
Discussions: 124 488, Messages: 1 188 915, Utilisateurs: 19 615.
Notre dernier utilisateur inscrit Gauss716.


Ce forum
Discussions: 14 997, Messages: 145 349.

 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page