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).

#76 Re : Entraide (supérieur) » Théorie de groupe( automorphisme interieur) » 26-12-2021 10:26:01

Fred a écrit :

D'accord. Donc c'est une conséquence immédiate de la question précédente...


Oui oui c'est bien ça

Merci

#77 Re : Entraide (supérieur) » Théorie de groupe( automorphisme interieur) » 24-12-2021 13:08:37

Fred a écrit :

Bonsoir,

  Tu n'es pas très loin du résultat.
Tu as démontré que, si l'automorphisme $f$ est dans le centralisateur de $\tau_a$, alors pour tout
$x\in G$, $a^{-1}f(a) f(x)=f(x) a^{-1}f(a)$. Autrement dit, $a^{-1}f(a)$ commute avec $f(x)$.
Mais ceci est vrai pour tout $x\in G$, et comme $f$ est un automorphisme, $f$ est surjective et finalement
$a^{-1}f(a)$ commute avec tout élément de $G$. Ainsi, $a^{-1}f(a)$ est dans le centre de $G$.

Il te reste à prouver que réciproquement, si $a^{-1}f(a)$ est dans le centre de $G$, alors $f$ est dans le centralisateur de $\tau_a$
(ce qui ne doit pas être très compliqué).

Avec cette condition, on se rapproche de la condition mentionnée dans la deuxième partie.
Mais je ne sais pas ce qu'est un automorphisme normal....

F.



Merci bien


Un automorphisme est dit normal s'il commute avec les automorphisme interieur

#78 Entraide (supérieur) » Théorie de groupe( automorphisme interieur) » 23-12-2021 15:47:37

pentium mix
Réponses : 4

Bonsoir
S'il vous plaît je bloque sur un exercice.
Soit G un groupe. Pour a fixé dans G on demande de déterminer le centralisateur de Ta : G--->G défini par Ta(x)=xax^(-1)
Voilà ce que j'ai essayé de faire mais je suis bloqué: https://www.cjoint.com/c/KLxoMzZp5kf       
  Après on demande de montrer qu'un automorphisme f est normal si et seulement si  x^(-1)f(x) est dans le centre de G

Merci d'avance

#79 Re : Entraide (supérieur) » Suites exactes courtes » 19-12-2021 09:02:53

1 est le sous groupe trivial (le sous groupe engendré par l'élément neutre)

#80 Re : Entraide (supérieur) » topologie générale » 17-12-2021 19:44:10

bridgslam a écrit :

Bonsoir,

Non.
Déjà toutes les droites du plan n'ont pas forcément l'équation que tu donnes.
Ensuite tu te compliques la vie.

Considère pour la question de la  droite l'application polynôme (x,y) -> ax +by +c , qui est continue sur [tex]\mathbb{R}^2[/tex]
Tu dois ensuite voir qu'avec des coeff a,b,c bien choisis, la droite est l'image réciproque d'un fermé très simple.

Pour le cercle c'est le même genre d'idée.

Tu n'es pas non plus obligé de passer par une fonction continue, l'intersection de deux fermés est aussi immédiat.

A.

Ah je vois merci beaucoup (  de cette façon la droite et le cercle son les images réciproque des fermés par des applications continues)

Grand merci

#81 Re : Entraide (supérieur) » topologie générale » 17-12-2021 17:53:48

Merci bien
D'un coup j'ai une idée
La droite D: y=ax+b  est D={(x,y), y=ax+b, x€R}, c'est donc le graphe de l'application f:R--->R défini par f(x)=ax+b; puisque R est séparé au sens de Hausdorff le graphe de f est fermée donc D est fermé
Pour le cercle C'est  la réunion de deux graphes donc fermée
Est ce correct svp???

#82 Re : Entraide (supérieur) » topologie générale » 17-12-2021 15:45:20

Paco del Rey a écrit :

Bonjour.

Une droite, un cercle ne sont pas des ouverts de $\mathbb R^2$.

Pour la deuxième question, tu prends $f : A \cup B \longrightarrow \{0,1\}$, continue.
La restriction de $f$ à $A$ est continue, etc.

Paco.

Je veux montrer que la droite et le cercle sont des fermés

Merci bien

#83 Entraide (supérieur) » topologie générale » 17-12-2021 13:42:20

pentium mix
Réponses : 8

Bonsoir s'il vous partier comment montrer qu'une droite et le cercle unité sont des ouverts de R×R muni de la topologie usuelle???

Je n'arrive pas a visualiser leurs complémentaires comme des ouverts

Aussi comment montrer que pour deux partie connexe A et B de E telle que l'adhérence de B rencontre A, AuB est une partie connexe

Siy E est un espace topologique, f:E--->R une fonction bijective. Comment montrer que l'ensemble des ouverts de R dont les images réciproque  par f  sont des ouverts de E est plus fine que la topologie usuelle de R ( si la bijection impliquais la continuité j'aurai déjà prouvé cela mais malheureusement c'est pas le cas du coup je ne sais plus comment faire)

#84 Entraide (supérieur) » groupe des unités » 03-12-2021 19:23:10

pentium mix
Réponses : 1

Bonsoir
S'il vous plaît comment montrer que pour p un nombre premier impair U(Z/p^nZ) est cyclique et pour le cas p=2, il est isomorphe a Z/2*Z/2^(n-2)

Merci d'avance

#85 Re : Entraide (supérieur) » enveloppe convexe » 24-11-2021 10:27:36

Fred a écrit :

Bonjour,

  Alors ce n'est pas compliqué. Le barycentre de $A(a)$ et de $B(b)$ est aussi le barycentre de $A(\lambda a)$ et de $B(\lambda b)$ pour tout $\lambda\neq 0$ (ceci se démontre très facilement avec la définition du barycentre). Ainsi, le barycentre de $A(a)$ et de $B(b)$ est le barycentre de $A(a/a+b)$ et $B(b/a+b)$. Il suffit alors de poser $t=a/(a+b)$ et on obtient le barycentre de $A(t)$ et de $B(1-t)$.

F.

Oh mince
J'avais complètement oublié la propriété d'homogénéité du barycentre
Merci bien

#86 Re : Entraide (supérieur) » enveloppe convexe » 24-11-2021 02:51:33

Fred a écrit :

Bonsoir,

  Pour t'aider, il faudrait que tu nous précises le contexte : dans quel espace se place, que sont $A$ et $B$, que signifie $aA+bB$????

F.

A et B sont des points; a,b des nombres réel
Je dois montrer que l'enveloppe convexe de {A,B} est le segment [AB]
{aA+bB a>0;b>0} est l'ensemble des barycentresde A et B affecté des coefficient positifs

#87 Entraide (supérieur) » enveloppe convexe » 23-11-2021 18:01:49

pentium mix
Réponses : 4

Bonsoir s'il vous plait j'aimerai savoir pourquoi
[AB]={aA+bB , a>0 ,b>0} au lieu de [AB]={aA+(1-a)B a€[0,1]}
Comment prouver que les 2 définition sont équivalentes ?

#88 Re : Entraide (supérieur) » Treillis de groupe » 23-11-2021 17:56:18

bridgslam a écrit :

Bonjour,

Sauf erreur on en trouve 10 (*).
{id}, D lui-même, {id, Sym(O)=R(O, pi} , le sous-groupe des rotations (à 4 éléments) , les 4 s-g à deux éléments constitués du neutre et de l'une des 4 symétries axiales, et enfin les deux sous-groupes engendré par une paire de deux symétries orthogonales et Sym(O).


(*)Un moyen sûr de vérifier le nombre de sous-groupes d'un groupe diédral à 2n éléments (ici n=4, 4 rotations, 4 symétries axiales):
on ajoute le nombre de diviseurs (positifs) de n ( ici 3 avec 1,2,4) et la somme de ces mêmes diviseurs ( ici 7 = 1 + 2 + 4).
On trouve bien 10 = 3 +7  dans ton exercice.
Cela permet de vérifier en tous cas que ça a de bonnes chances d' être juste ( un peu comme la preuve par 9).
C'est par-contre forcément faux si on n'a pas le bon compte...

Enfin un diagramme pour le treillis du plus petit au plus gros en montant:
https://www.cjoint.com/c/KKtkZPAHwgg


Alain

Merci bien

#89 Re : Entraide (supérieur) » intégrale paramètré » 16-11-2021 18:18:53

Merci mais jusque la j'ai x sur les bornes d'intégration et je n'arrive pas a utilisé les propriétés des intégrales paramètrées

#90 Entraide (supérieur) » intégrale paramètré » 14-11-2021 19:29:06

pentium mix
Réponses : 3

Bonsoir svp voici l'éxercice que j'essaie de résoudre https://www.cjoint.com/c/KKoswi1zLeH
Vu que l'exercice c'est sur le chapitre des intégrales a paramètres, je cherche un changement de variable qui va le permettre d'avoir une intégrale a paramètre mais en vain

#92 Re : Entraide (supérieur) » Treillis de groupe » 13-11-2021 22:26:42

D4 est d'ordre 8 engendré par a=(1234) et b=(24) avec bab=a^(-1)
En fait c'est le groupe des symétrie du carré qu'on peux identifié a un sous groupe de S4

#93 Entraide (supérieur) » Treillis de groupe » 13-11-2021 19:32:41

pentium mix
Réponses : 6

Bonsoir svp je voudrai déterminer le treillis du groupe diédral D4 et déjà je n'arrive même pas a déterminer tout ses sous groupes

#94 Entraide (supérieur) » Théorie de groupe » 16-10-2021 09:57:53

pentium mix
Réponses : 1

Bonjour
S'il vous plaît je voudrais montrer que Hom(Z/m, Z/n) est isomorphe à Ker(μ) μ: Z/n ---> Z/n est l'application qui à [z] associe [mz].
Et je n'arrive a construire ni un isomorphisme entre ces deux ensembles, ni construire une application puis utilisé le 1er théorème d'isomorphisme
On a Ker(μ)=n/pgcd(m,n)Z/n

Merci d'avance

#96 Entraide (supérieur) » homomorphisme de Q dans Q* » 12-10-2021 21:09:45

pentium mix
Réponses : 3

Bonsoir
Je voudrais montrer que Hom( (Q,+); (Q*,×)) est presque  trivial.

Lorsque je considéré f un morphisme de Q dans Q* alors pour tout rationnel a et b on a f(a+b)= f(a)f(b)
Comme a et b rationnelle il existe p,q,r,s entier tel que a=p/q et b=r/s
Donc f(p/q + r/s) =f(p/q)+ f(r/s)
Or f(p/q)=pf(1/q)   f(r/s)=rf(1/s)   
f(p/q +r/s)=(ps+rq)f(1/pq)   

               

Après ça je ne sais pas comment continuer



Merci d'avance

#97 Re : Entraide (supérieur) » isomorphisme de groupe » 10-10-2021 20:23:10

Ahhhhh merci
Je n'arrivait pas a voire cela ainsi
Merci bien

#98 Re : Entraide (supérieur) » isomorphisme de groupe » 10-10-2021 17:29:06

g(k)=kg(1)=kb
Donc tout morphisme de Z dans B est sous la forme de g.
Jusque la je ne vois pas comment conclure quand a la surjection de f.

#99 Entraide (supérieur) » isomorphisme de groupe » 10-10-2021 12:59:09

pentium mix
Réponses : 4

Bonsoir
Mon problème est le suivant: soient A et B deux groupes abélien.
On demande de montrer que Hom(Z,B) est isomorphe a B


Ce que j'ai fait : j'ai défini f : B--->Hom(Z,B) qui a b associe f(b)=Gb
Ou Gb:Z--->B qui a k associe Gb(k)=kb
Je n'arrive pas a montrer que ce morphisme(f) est surjectif
Merci d'avance

#100 Re : Entraide (supérieur) » dénombrement » 09-07-2021 03:54:01

Merci pour vos reponses
Je vois que l'exercice n'était pas difficile en soit
Merci

Pied de page des forums