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, qui se trouvent dans G vont être réguliers. C’est une première propriété.