Why is associativity required for groups?
I'm doing a linear algebra paper and we're focusing on groups at the moment, specifically proving whether something is or is not a group. There are four axioms:
Why does the operation need to be associativy?