Inscription / Connexion Nouveau Sujet
Niveau Licence Maths 1e ann
Partager :

Morphisme de groupes

Posté par
Fractal
26-10-15 à 14:13

Bonjour,

Il y a des choses qui me posent questions concernant les morphismes de groupes, et je voudrais savoir si ce qui est mis ci-dessous est juste.

1°)- Même si un morphisme ne se résume pas qu'à cela, si un morphisme est bien une application qui va d'un ensemble à un autre, un morphisme de groupes est bien un application qui va d'un groupe à un autre.

2°)- Si \varphi est un morphisme de groupes, c'est obligatoirement une application, donc tout élément  de son ensemble de départ a une image et une seule dans son ensemble d'arrivée,

comme par exemple :

(\R_+^*,\times)\longrightarrow(\R,+)
\varphi:x\mapsto lnx

De ce fait, l'ensemble de départ (muni de la LCI qu'on lui attribue) d'un morphisme de groupes doit donc obligatoirement correspondre au domaine de définition (ensemble muni de la LCI qu'on lui attribue) de la fonction considérée.

Vous remerciant.

Morphisme de groupes

Posté par
WilliamM007
re : Morphisme de groupes 26-10-15 à 14:32

Bonjour.

Oui à tout.

Un morphisme de groupes, c'est avant tout une application, d'un groupe dans un autre, avec ce que ça implique (unicité de l'image, etc.).

Posté par
Fractal
re : Morphisme de groupes 26-10-15 à 14:47

Je te remercie.

J'aurais une autre question.

Posté par
Fractal
re : Morphisme de groupes 26-10-15 à 15:07

Pour essayer d'aller plus loin, je dirais.

Mettons que l'on a une fonction :

f:\R\longrightarrow \R

On "réduit" cette fonction à une application :

\psi:D_f\longrightarrow \R

Est-il possible alors d'avoir un morphisme de groupe

\varphi:(E,\ast)\longrightarrow \R

avec :

E\subset D_f\text{ mais }E\ne D_f

et

\forall a\in E,\varphi(a)=f(a)

Vous remerciant.

Morphisme de groupes

Posté par
WilliamM007
re : Morphisme de groupes 26-10-15 à 15:17

Si un tel E existe alors oui, il suffit de prendre l'identité.

Juste par curiosité, pourquoi te poses-tu cette question ? Son intérêt ne me saute pas aux yeux.

Posté par
Fractal
re : Morphisme de groupes 27-10-15 à 06:45

Merci beaucoup de tes réponses.

Je comprends que l'intérêt ne te saute pas aux yeux.

En fait, au début j'étais parti là-dessus (voir figure), mais ça ne marche pas avec f(x)=lnx.

Après je me suis dit prenons  2\Z^+, mais là on ne peut avoir un morphisme de groupe car (2\Z^+,+) ne peut être un groupe.

Donc c'est là que sont venues poindre les questions posées dans le présent topic.

Mais peut-être (sûrement) que je ne me pose pas les questions dans le bon ordre, et que maintes de mes questions trouveront réponse dans la progression de l'apprentissage de mon cours.

Morphisme de groupes

Posté par
lafol Moderateur
re : Morphisme de groupes 27-10-15 à 07:58

Bonjour
Je ne comprends pas trop ce qui"ne marche pas" avec ln ?
Son ensemble de définition est R+* dans lequel la multiplication est interne, et à qui cette même multiplication confère une structure de groupe. Son ensemble d'arrivée est R qui, muni de l' addition, est aussi un groupe. Et ln est bien un homomorphisme entre ces deux groupes, non ?

Posté par
Fractal
re : Morphisme de groupes 27-10-15 à 18:28

Bonjour Lafol,

J'ai dû me mélanger les neurones ...



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1741 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !