Ca sa arat ca perechea (M,°) formeaza o structura de grup , trebuie sa fac asociativitatea, comutativitatea, element neutru cat si element simetrizabil ?