Question

Let G be a finite nonempty set with an operation * such that:
1. G is closed under *
2. * is associative
3. Given a, b, c are elements in G with a * b = a * c, then b = c.
What kind of mathematical structure is G?
a) Group
b) Ring
c) Field
d) Vector space