Changes

2,425 bytes added ,  17:52, 3 February 2010
no edit summary
Line 1: Line 1: −
#REDIRECT [[Association]]
+
[[File:lighterstill.jpg]][[File:Associativitypicture.jpg|right|frame]]
 +
 
 +
In [[mathematics]], '''associativity''' is a property of some [http://en.wikipedia.org/wiki/Binary_operation binary operations]. It means that, within an [[expression]] containing two or more occurrences in a row of the same associative operator, the order in which the operations are [[performed]] does not matter as long as the [[sequence]] of the [http://en.wikipedia.org/wiki/Operand operands] is not changed. That is, rearranging the parentheses in such an expression will not [[change]] its [[value]]. Consider for instance the [[equation]]
 +
 
 +
[[File:Associativity1.jpg]]
 +
 
 +
Even though the parentheses were rearranged (the left side requires adding 5 and 2 first, then adding 1 to the result, whereas the right side requires adding 2 and 1 first, then 5), the [[value]] of the [[expression]] was not [[Change|altered]]. Since this holds true when [[performing]] addition on any [http://en.wikipedia.org/wiki/Real_number real numbers], we say that "addition of real numbers is an associative operation."
 +
 
 +
Associativity is not to be confused with [http://en.wikipedia.org/wiki/Commutativity commutativity]. Commutativity justifies changing the order or [[sequence]] of the operands within an expression while associativity does not. For example,
 +
 
 +
[[File:Associativity2.jpg]]
 +
 
 +
is an example of associativity because the parentheses were changed (and consequently the order of operations during evaluation) while the operands 5, 2, and 1 appeared in the exact same order from left to right in the expression.
 +
 
 +
[[File:Associativity3.jpg]]
 +
 
 +
is not an example of associativity because the operand sequence changed when the 2 and 5 switched places.
 +
 
 +
Associative operations are [[abundant]] in [[mathematics]]; in [[fact]], many [http://en.wikipedia.org/wiki/Algebraic_structure algebraic structures] (such as [http://en.wikipedia.org/wiki/Semigroup_(mathematics) semigroups] and categories) explicitly require their binary operations to be associative.
 +
 
 +
However, many important and interesting operations are non-associative; one common example would be the [http://en.wikipedia.org/wiki/Vector_cross_product vector cross product].[http://en.wikipedia.org/wiki/Associativity]
 +
==References==
 +
# Dudek, W.A. (2001), "On some old problems in n-ary groups", Quasigroups and Related Systems 8: 15–36, http://www.quasigroups.eu/contents/contents8.php?m=trzeci .
 +
 
 +
[[Category: Mathematics]]