1.6.76 Поля, группы, кольца

условие: Пусть \( M- \) множество с ассоциативной операцией * такой, что \( \forall \mathrm{a} \in M \exists e, x \in M \) такие, что: \( e a=a e=a, x a=a x=e \). Будет ли \( (M, *) \) группой?