Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

Répondre

Veuillez composer votre message et l'envoyer
Nom (obligatoire)

E-mail (obligatoire)

Message (obligatoire)

Programme anti-spam : Afin de lutter contre le spam, nous vous demandons de bien vouloir répondre à la question suivante. Après inscription sur le site, vous n'aurez plus à répondre à ces questions.

Quel est le résultat de l'opération suivante (donner le résultat en chiffres)?
quarantehuit moins trente quatre
Système anti-bot

Faites glisser le curseur de gauche à droite pour activer le bouton de confirmation.

Attention : Vous devez activer Javascript dans votre navigateur pour utiliser le système anti-bot.

Retour

Résumé de la discussion (messages les plus récents en premier)

Dico
06-03-2012 15:27:35

Slt Roro ou à tous
     Tu as en fait bien reformulé le problème.
Je vais raffiner ton raisonnement et d'ici demain on verra si j'arrive.


Bonne après midi.

Roro
04-03-2012 21:22:18

Bonsoir fotsing,

Bon, si j'ai bien compris, ce que tu veux démontrer c'est l'équivalence entre
i) il existe un isomorphisme de modules [tex]f:v\rightarrow w[/tex];
ii) il existe un isomorphisme d'espaces vectoriels [tex]g:v\rightarrow w[/tex] tel que [tex]g\circ \alpha = \beta \circ g[/tex].

Pour la partie i) [tex]\Rightarrow[/tex] ii), il suffit d'utiliser les constantes de [tex]K[X][/tex] dans la définition d'isomorphisme de module (en particulier dans la propriété [tex]f(Px)=Pf(x)[/tex] que doit vérifier un morphisme de modules).

Pour la réciproque, tu peux utiliser le fait que la relation [tex]g\circ \alpha = \beta \circ g[/tex] implique les relations [tex]g\circ P(\alpha) = P(\beta) \circ g[/tex] pour tout polynôme de [tex]K[X][/tex].

Roro.

Dico
03-03-2012 14:47:04

Remarqu'on que l'ismorphisme entre v et w devra être un isomorphisme de modules

Dico
03-03-2012 14:38:04

Slt Roro,
    Tu as en fait raison sur plus d'un point.
- si v n'est pas isomorphe à w alors il n'existera aucun isomorphisme entre v et w et B serait vraie 
- le problème s'énonce plutôt
monter que v isomorphe à w ssi il [tex]\mbox{existe}[/tex] un isomorphisme d'espaces vectoriels [tex] \gamma: v\to w [/tex] tel que [tex] \alpha=\gamma^{-1}\circ\beta\circ\gamma [/tex]
-il s'agit des espaces vectoriels sur le corps K et de module des polynomes à coefficients dans K
-exemple: pour x dans v [tex] p(x)=\alpha(x) + \alpha^2(x)[/tex]

Roro
28-02-2012 22:09:49

Bonsoir fotsing,

Le résultat (tel que tu l'énonces) me semble faux. En tout cas, si je note
A : "[tex]v[/tex] est isomorphe à [tex]w[/tex]"
B : "[tex]\alpha=\gamma^{-1}\circ \beta \circ \gamma[/tex]  pour tout isomorphisme [tex]\gamma:v \rightarrow w[/tex]"
alors il semble évident que non(A) implique B. J'imagine donc pas trop que A implique B...

J'aurais peut être pu répondre de façon plus "classique" mais étant donnée la formulation de ta requête, j'attendrais que tu nous donne plus de précision sur ce que tu as fais (et sur la "vraie" question, en particulier sur la notion d'isomorphisme d'espace vectoriel ou de module)...

Roro.

Dico
28-02-2012 17:40:57

svp aidez moi avec ce problème d'algèbre.

soit v et w deux K-espaces vectoriel qu'on muni d'une structure de K[X]-module via les endomorphismes [tex]\alpha[/tex] sur v et [tex]\beta[/tex].
montrer que v est isomorphe à w ssi [tex]\alpha=\gamma^{-1}\circ\beta\circ\gamma[/tex] pour tout isomorphisme [tex]\gamma: v\to w[/tex]

Pied de page des forums