J'ai (G,.) et H1,H2 des sous-groupes de G. Je dois démontrer que H1;)H2 est un sous-groupe.
Dans un groupe, on a forcément un élément neutre. Donc, 1 appartient à H1 et H2. Donc 1 appartient à l'intersection de H1 et H2. Et donc, H1;)H2 n'est pas égal à l'ensemble vide puisque l'élément neutre appartient à cette intersection.
x appartient à H1;)H2 et y appartient à H1;)H2.
Or, H1 est un sous groupe, donc l'ensemble est stable pour la loi et donc la composée xy appartient à H1 et à H2
de même, quelque soit x appartenant à H1;)H2, on a forcément
Je sais que pour avoir un sous groupe, il suffit de montrer l'existence d'un élément neutre (ici c'est fait puisqu'on a un groupe), de montrer que l'intersection H1;)H2 est stable (ce que je n'ai pas compris ici) et que les éléments soient inversibles.. (ce que je n'ai pas compris ici aussi)
merci de bien vouloir m'expliquer!
