alt Hacker News> “…an abelian group is both associative and commutative…”
If something is not associative it is not a group. An abelian group is a group which is commutative.
> “…an abelian group is both associative and commutative…”
If something is not associative it is not a group. An abelian group is a group which is commutative.
So...an abelian group is both associative (because it's a group) and commutative (because it's abelian), which is exactly what the OP said? It sounds like you're disagreeing about something, but I'm not clear what your objection is.