Editing Associative property (section)

=== Notation for non-associative operations ===
{{main|Operator associativity}}

In general, parentheses must be used to indicate the [[order of operations|order of evaluation]] if a non-associative operation appears more than once in an expression (unless the notation specifies the order in another way, like <math>\dfrac{2}{3/4}</math>). However, [[mathematician]]s agree on a particular order of evaluation for several common non-associative operations. This is simply a notational convention to avoid parentheses.

A '''left-associative''' operation is a non-associative operation that is conventionally evaluated from left to right, i.e.,

<math display="block">
\left.
\begin{array}{l}
a*b*c=(a*b)*c
\\
a*b*c*d=((a*b)*c)*d
\\
a*b*c*d*e=(((a*b)*c)*d)*e\quad
\\
\mbox{etc.}
\end{array}
\right\}
\mbox{for all }a,b,c,d,e\in S
</math>

while a '''right-associative''' operation is conventionally evaluated from right to left:

<math display="block">
\left.
\begin{array}{l}
x*y*z=x*(y*z)
\\
w*x*y*z=w*(x*(y*z))\quad
\\
v*w*x*y*z=v*(w*(x*(y*z)))\quad\\
\mbox{etc.}
\end{array}
\right\}
\mbox{for all }z,y,x,w,v\in S
</math>

Both left-associative and right-associative operations occur. Left-associative operations include the following:
; Subtraction and division of real numbers<ref>George Mark Bergman [https://math.berkeley.edu/~gbergman/misc/numbers/ord_ops.html "Order of arithmetic operations"]</ref><ref>[http://eduplace.com/math/mathsteps/4/a/index.html "The Order of Operations"]. Education Place.</ref><ref>[https://www.khanacademy.org/math/pre-algebra/pre-algebra-arith-prop/pre-algebra-order-of-operations/v/introduction-to-order-of-operations "The Order of Operations"], timestamp [https://www.youtube.com/watch?v=ClYdw4d4OmA&t=5m40s 5m40s]. [[Khan Academy]].</ref><ref>[http://www.doe.virginia.gov/instruction/mathematics/middle/algebra_readiness/curriculum_companion/order-operations.pdf#page=3 "Using Order of Operations and Exploring Properties"] {{Webarchive|url=https://web.archive.org/web/20220716062834/http://www.doe.virginia.gov/instruction/mathematics/middle/algebra_readiness/curriculum_companion/order-operations.pdf#page=3 |date=2022-07-16 }}, section 9. Virginia Department of Education.</ref><ref name="Bronstein_1987">Bronstein, ''[[:de:Taschenbuch der Mathematik]]'', pages 115-120, chapter: 2.4.1.1, {{ISBN|978-3-8085-5673-3}}</ref>
:<math>x-y-z=(x-y)-z</math>
:<math>x/y/z=(x/y)/z</math>
; Function application
:<math>(f \, x \, y) = ((f \, x) \, y)</math>
This notation can be motivated by the [[currying]] isomorphism, which enables partial application.

Right-associative operations include the following:
; [[Exponentiation]] of real numbers in superscript notation
:<math>x^{y^z}=x^{(y^z)}</math><p>Exponentiation is commonly used with brackets or right-associatively because a repeated left-associative exponentiation operation is of little use. Repeated powers would mostly be rewritten with multiplication:</p>
:<math>(x^y)^z=x^{(yz)}</math><p>Formatted correctly, the superscript inherently behaves as a set of parentheses; e.g. in the expression <math>2^{x+3}</math> the addition is performed [[order of operations|before]] the exponentiation despite there being no explicit parentheses <math>2^{(x+3)}</math> wrapped around it. Thus given an expression such as <math>x^{y^z}</math>, the full exponent <math>y^z</math> of the base <math>x</math> is evaluated first. However, in some contexts, especially in handwriting, the difference between <math>{x^y}^z=(x^y)^z</math>, <math>x^{yz}=x^{(yz)}</math> and <math>x^{y^z}=x^{(y^z)}</math> can be hard to see. In such a case, right-associativity is usually implied.</p>
; [[Function (mathematics)|Function definition]]
:<math>\mathbb{Z} \rarr \mathbb{Z} \rarr \mathbb{Z} = \mathbb{Z} \rarr (\mathbb{Z} \rarr \mathbb{Z})</math>
:<math>x \mapsto y \mapsto x - y = x \mapsto (y \mapsto x - y)</math><p>Using right-associative notation for these operations can be motivated by the [[Curry–Howard correspondence]] and by the [[currying]] isomorphism.</p>

Non-associative operations for which no conventional evaluation order is defined include the following.
; Exponentiation of real numbers in infix notation<ref name="Codeplea_2016">[https://codeplea.com/exponentiation-associativity-options Exponentiation Associativity and Standard Math Notation] Codeplea. 23 August 2016. Retrieved 20 September 2016.</ref>
:<math>(x^\wedge y)^\wedge z\ne x^\wedge(y^\wedge z)</math>
; [[Knuth's up-arrow notation|Knuth's up-arrow operators]]
:<math> a \uparrow \uparrow (b \uparrow \uparrow c) \ne (a \uparrow \uparrow b) \uparrow \uparrow c</math>
:<math> a \uparrow \uparrow \uparrow (b \uparrow \uparrow \uparrow c) \ne (a \uparrow \uparrow \uparrow b) \uparrow \uparrow \uparrow c</math>
; Taking the [[cross product]] of three vectors
:<math>\vec a \times (\vec b \times \vec c) \neq (\vec a \times \vec b ) \times \vec c \qquad \mbox{ for some } \vec a,\vec b,\vec c \in \mathbb{R}^3</math>
; Taking the pairwise [[average]] of real numbers
:<math>{(x+y)/2+z\over2}\ne{x+(y+z)/2\over2} \qquad \mbox{for all }x,y,z\in\mathbb{R} \mbox{ with }x\ne z.</math>
; Taking the [[complement (set theory)|relative complement]] of sets 
:<math>(A\backslash B)\backslash C \neq A\backslash (B\backslash C)</math>.<p>(Compare [[material nonimplication]] in logic.)</p>