Inscription / Connexion Nouveau Sujet
Niveau LicenceMaths 2e/3e a
Partager :

Morphisme de groupe

Posté par
98765432
24-01-21 à 12:13

Bonjour,
Je travail actuellement sur les morphismes de groupes mais j'ai dû mal à prouver que deux groupes forment un morphisme de groupe car dans la majorité des cas, on nous donne, par exemple, l'application f : ]0;+∞[ --> ℝ, x --> ln(x). Et l'on doit dire si c'est un morphisme de groupe mais je ne comprends pas comment faire car pour la démonstration on a besoin de loi pour chacun des groupes mais elles ne nous sont pas donné.
Pourriez-vous m'aider svp.

Posté par
lionel52
re : Morphisme de groupe 24-01-21 à 12:21

Hello!
Quand on parle de R en tant que groupe, c'est généralement la loi additive dont on parle sauf indication contraire

Pour R* et R+* c'est la loi multiplicativé

Posté par
carpediem
re : Morphisme de groupe 24-01-21 à 13:01

salut

98765432 @ 24-01-2021 à 12:13

mais j'ai dû mal à prouver que deux groupes forment un morphisme de groupe
normal car ce ne veut rien dire !!

il faut être clair et rigoureux dans l'expression pour éventuellement avancer ...

on a deux groupes (G, T) et (H, ) où T et désignent des opérations

et seulement ensuite on peut se pencher sur le fait de trouver (ou non) un morphisme de groupe entre les deux

un classique est la fonction exp entre (R, +) et (]0, +oo[, x) ... qui est un isomorphisme et sa réciproque étant ln ...

maintenant si tu as deux groupes (G, T) et (H, ) et une fonction f de G dans H alors f est un morphisme ... si et seulement si elle vérifie la définition d'un morphisme de groupe !!

Posté par
98765432
re : Morphisme de groupe 24-01-21 à 13:25

Pour la définition de morphisme de groupe, j'ai bien compris mais dans celle-ci on a besoin de deux lois une pour G et une pour H sauf que dans la majorité des exercices elles ne sont pas donné. C'est cela qui me bloque.

Posté par
carpediem
re : Morphisme de groupe 24-01-21 à 13:50

alors lionel52 t'a répondu ...

Posté par
98765432
re : Morphisme de groupe 24-01-21 à 15:44

Là dans l'exemple on va de ℝ+* dans ℝ. Mais si par exemple on est sur ℤ, ℂ ou encore un ensemble quelconque. Comment fait-on ? Nous aurons toujours des ensembles simples dont on se doute de la loi ?

Posté par
manu_du_40
re : Morphisme de groupe 24-01-21 à 15:56

Bonjour.
En fait, quand la loi n'est pas précisée, c'est qu'il s'agit d'un groupe très classique... dont on peut deviner la loi sans problème (si tu mets la mauvaise loi, ce n'est pas un groupe en fait.)

Par exemple : le groupe Z est muni de l'addition car (Z, x) n'est pas un groupe (il n'y a pas d'inverse de tous les éléments de Z pour x).

Autre exemple : le groupe M_n(\mathbb{K}) est un groupe pour la loi + mais pas pour la loi x (car toutes les matrices ne sont pas inversibles).
Par contre le groupe GL_n(\mathbb{K}) est un groupe pour la loi x (et pas pour la loi + car dans ce cas, si A est inversible, alors -A est aussi inversible mais A+(-A)=0 ne l'est pas donc la loi + ne serait pas une lci).

En fait, il faut penser que tu dois pouvoir toujours trouver un neutre pour la loi considérée et un inverse pour chaque élément. Si tu te rends compte que ça ne vérifie même pas les axiomes d'un groupe, c'est que tu t'es trompé de loi...

Posté par
manu_du_40
re : Morphisme de groupe 24-01-21 à 15:58

Si on reprend l'exemple de lionel52 (que je salue avec carpediem), R* n'est pas un groupe pour la loi + (car il n'y aurait pas de neutre) donc R* doit être muni de la loi multiplicative...
Pour C*, même chose...

Posté par
98765432
re : Morphisme de groupe 24-01-21 à 17:56

Merci beaucoup pour toutes vos réponses. C'est beaucoup plus clair pour moi maintenant.

Posté par
carpediem
re : Morphisme de groupe 24-01-21 à 19:42

de rien



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 1675 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 !