Ici, le professeur rappelle que l’on avait (G, *) était un groupe si vous avez trois conditions : la loi doit être associative, G admet un neutre, puis tout élément de G admet une symétrique. Tous les éléments, par conséquent,