On peut voir () comme l'ensemble muni de la loi définie par où désigne le reste de la division euclidienne de par . Il se trouve que cette loi est une loi de composition interne et fait de un groupe.
Par exemple dans on a
;
;
.
Formellement est un groupe quotient : il s'agit du quotient du groupe par la relation d'équivalence définie par « ».
19/12/2009, 15h37
#3
invite3d3c8be1
Date d'inscription
janvier 1970
Messages
97
Re : p'tite question
Merci beaucoup,
Existe-t-il des groupes quotients avec R, C ou Q?
Quels sont les applications mathématiques de ce genre de groupes?
Cdlt,
19/12/2009, 18h18
#4
Flyingsquirrel
Date d'inscription
octobre 2004
Messages
3 572
Re : p'tite question
Envoyé par POPOUCOSAM
Existe-t-il des groupes quotients avec R, C ou Q?
Le seul que j'ai en tête est le groupe additif qui est isomorphe (=correspond) au groupe multiplicatif des nombres complexes de module 1.
Envoyé par POPOUCOSAM
Quels sont les applications mathématiques de ce genre de groupes?
Pour tout le groupe est cyclique c'est-à-dire qu'il est fini et qu'il existe un élément (en l'occurrence c'est 1) tel que tout élément s'écrive (le nombre de termes dans la somme dépend évidemment de ). Autrement dit, avec un seul élément du groupe on peut générer tous les autres. Comme on sait que chaque groupe cyclique est isomorphe à un certain groupe , pour comprendre les groupes cycliques il suffit de comprendre . Plus généralement, on peut montrer que tout groupe commutatif fini peut se décomposer en une somme de groupes cycliques, pour étudier ces groupes il est donc important de connaître .
Il y a très certainement d'autres d'applications (peut-être plus concrètes que celles-ci ) que je ne connais pas.
Dernière modification par Flyingsquirrel ; 19/12/2009 à 18h22.
Aujourd'hui
A voir en vidéo sur Futura
19/12/2009, 19h41
#5
invitea0db811c
Date d'inscription
janvier 1970
Messages
650
Re : p'tite question
Bonsoir,
Sinon avec les quotient par rapport à des relations d'équivalence on peut "construire" l'ensemble des rationnels à partir de ZxZ* et d'une relation d'équivalence bien choisie (à savoir (a,b)R(c,d) <=> ad = bc )
Sinon il me semble qu'on se sert aussi d'une relation d'équivalence pour montrer qu'il existe des ensemble qui ne sont pas mesurable pour la mesure de lebesgues, mais alors là je ne me rappelle plus du détail.
20/12/2009, 10h46
#6
invite3d3c8be1
Date d'inscription
janvier 1970
Messages
97
Re : p'tite question
merci pour ces explications claires et précises,
Cdlt,