1.6.76 Fields, Groups, Rings

condition: Let \( M- \) be a set with an associative operation * such that \( \forall \mathrm{a} \in M \exists e, x \in M \) such that: \( e a=a e=a, x a=a x=e \). Would \( (M, *) \) be a group?