Why the associative axiom of groups not stated as f * ( g * h ) * = ( f * g ) * h = ( f * h) * g?

First, I am a little confused regarding your question: you first point out $6$ different ways to combine $f$, $g$, and $h$. You then say that even if you assume the commutative property there would be three left ... but then when you propose to define the associative property differently, why do you pick only two of those three, and add a different one? Indeed, do you see how weird your proposed definition is, with one of the terms having the parentheses in a different place than the other two?

Anyway, just focusing on two of those: no, we do not have $(f*g)*h=(f*h)*g$ as part of the associative property, because that would require a commutative property as well, and that is something different from the associative property.

I think you are confusing the "ways in which we can perform the order of the operations" and the "ways in which we can order the operands".

Associativity is about the order of the operations. That is, if you have $f * g * h$, then we have two choices for the order of the operations: do we first apply the left *, and then the right - this would be $(f * g) * h$ - or do we first apply the right *, and then the left - which would be $f * (g * h)$? Well, if the * is associative, then it turns out that the order of the operations doesn't matter, i.e. that $f *(g*h) = (f *g)*h$.

You, however, seem to be worrying about the number of ways in which you can order the operands ... and yes, given three operands $f$, $g$, and $h$, you can have many ways to order them, as you point out. However, whether that always gives the same result is not what the associative property is about ... the order of the operands is what the commutative property is about.


The thing is, when we write $a\cdot b\cdot c$, you can't first evaluate $a\cdot c$ and then compute $ac \cdot b$, because we don't know if the binary operation is commutative or not. So you don't have six possible way to compute $abc$, you only have two, which are $(ab)c$ and $a(bc)$.


The definition of associative requires the order to stay the same, without commutative law. In your first set $(f*g)*h\ne (g*f)*h$, unless $f$ and $g$ are commutative. Also $(g*h)*f\ne f*(g*h)$ without commutative. For your second question, those combination are derivable from using both associative and commutative together, so they are not needed for the definition of associative.