Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
178 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 
Sous groupe d'un groupe next up previous
suivant: Homomorphisme de groupe monter: Groupes précédent: Vocabulaire

Sous groupe d'un groupe

Soit (G,$\perp$) un groupe. Notons e le neutre de G.
Définition Soit H un sous ensemble de G. On dit que (H,$\perp$) est un sous groupe de G si la restriction de la loi $\perp$ de G à H définit une structure de groupe sur H.
Proposition On a équivalence entre:
  • (H,$\perp$) est un sous groupe de G.
  • e est élément de H et pour tout x et y dans H $x\perp y^{-1}$ est élément de H.
$ $

Démonstration Si H est un sous groupe de G, il est clair que la seconde partie de la proposition est validée.
Supposons donc maintenant cette deuxième partie validée et montrons que (H,$\perp$) a une structure de groupe. Remarquons pour commencer que comme $x\perp y^{-1}$ est élément de H pour tout élément x et y de H, on peut affirmer que la restriction de $\perp$ sur H définit une loi interne sur H. Remarquons ensuite que comme e est élément de H, $\perp$ possède un élément neutre dans H. De plus, si y est élément de H alors comme e est élément de H, $e \perp y^{-1}$ est élément de H et donc y possède un inverse dans H. L'associativité de la loi $\perp$ restreinte à H provient de l'associativité de $\perp$ sur G. (H,$\perp$) a donc bien une structure de groupe.
Remarque Ce critère sera très pratique pour vérifier que des ensembles munis d'une loi interne sont bien des groupes. En effet, on cherchera à montrer qu'ils sont des sous groupes d'un groupe plus grand. Il n'y aura alors que deux propriétés à vérifier à la place de 4.
Exemple ( $ {\mathbb{Z}}$,+) est un sous groupe de ( $ {\mathbb{Q}}$,+).
Exemple ( $ \lbrace 2 \times k   ;   k\in {\mathbb{Z}} \rbrace $,+) est un sous groupe de ( $ {\mathbb{Z}}$,+).


next up previous
suivant: Homomorphisme de groupe monter: Groupes précédent: Vocabulaire
E_Vieillard-Baron
 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page