Question details
How to prove that a set with an associative binary operation and identity is a group?
I'm studying abstract algebra and I understand the group axioms: 1. Closure: a · b ∈ G for all a, b ∈ G 2. Associativity: (a · b) · c = a · (b · c) 3. Identity: There exists e ∈ G such that e · a = a · e = a 4. Inverses: For each a, there exists a^(-1) such that a · a^(-1) = a^(-1) · a = e But I've heard that sometimes axioms 3 and 4 can be weakened. Specifically, if we have a semigroup (closure + associativity) with a left identity and left inverses, that is sufficient for a group. Could someone prove this? Also, what is the difference between a group, a monoid, and a semigroup?
more