1.6.76 Fields, Groups, Rings

Condition: let \ (m- \) a lot with an associative operation * such that \ (\ Forall \ MathRM {A} \ In M \ Exists E, X \ In M \) are such that: \ (E A = A, X A X = E \). Will there be \ ((m, *) \) a group?