162:
1677:
2286:
828:
1995:
58:
1226:
4370:
2281:{\displaystyle \left.{\begin{matrix}\operatorname {gcd} (\operatorname {gcd} (x,y),z)=\operatorname {gcd} (x,\operatorname {gcd} (y,z))=\operatorname {gcd} (x,y,z)\ \quad \\\operatorname {lcm} (\operatorname {lcm} (x,y),z)=\operatorname {lcm} (x,\operatorname {lcm} (y,z))=\operatorname {lcm} (x,y,z)\quad \end{matrix}}\right\}{\mbox{ for all }}x,y,z\in \mathbb {Z} .}
6660:
2489:
1932:
4233:
5427:
5155:
1554:
If the product operation is associative, the generalized associative law says that all these expressions will yield the same result. So unless the expression with omitted parentheses already has a different meaning (see below), the parentheses can be considered unnecessary and "the" product can be
6471:
6173:
2305:
6814:
1744:
5168:
744:
6484:
4897:
3099:
4365:{\displaystyle {\begin{aligned}\mathbf {i} \times (\mathbf {i} \times \mathbf {j} )&=\mathbf {i} \times \mathbf {k} =-\mathbf {j} \\(\mathbf {i} \times \mathbf {i} )\times \mathbf {j} &=\mathbf {0} \times \mathbf {j} =\mathbf {0} \end{aligned}}}
3850:
6408:
2627:
603:
is not changed. That is (after rewriting the expression with parentheses and in infix notation if necessary), rearranging the parentheses in such an expression will not change its value. Consider the following equations:
6884:
6340:
3992:
3550:
541:
3772:
4687:
5702:
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:
2767:
6414:
6110:
4529:
3694:
3469:
463:
383:
609:
6242:
1216:
7465:
2939:
6673:
1257:
If a binary operation is associative, repeated application of the operation produces the same result regardless of how valid pairs of parentheses are inserted in the expression. This is called the
7116:
4238:
614:
226:
6655:{\displaystyle {\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}}
4222:
2484:{\displaystyle \left.{\begin{matrix}(A\cap B)\cap C=A\cap (B\cap C)=A\cap B\cap C\quad \\(A\cup B)\cup C=A\cup (B\cup C)=A\cup B\cup C\quad \end{matrix}}\right\}{\mbox{for all sets }}A,B,C.}
983:
2520:
5985:
4148:
4070:
1927:{\displaystyle \left.{\begin{matrix}(x+y)+z=x+(y+z)=x+y+z\quad \\(x\,y)z=x(y\,z)=x\,y\,z\qquad \qquad \qquad \quad \ \ \,\end{matrix}}\right\}{\mbox{for all }}x,y,z\in \mathbb {R} .}
7166:
6097:
5699:
5620:
3781:
5765:
748:
Even though the parentheses were rearranged on each line, the values of the expressions were not altered. Since this holds true when performing addition and multiplication on any
5422:{\displaystyle \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}
4879:
3572:
6037:
6351:
7442:
5556:
5491:
5150:{\displaystyle \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}
1084:
5876:
5842:
1507:
7180:
1549:
1462:
1420:
1378:
5799:
1334:
5903:
1293:
1116:
1015:
903:
1585:
7357:
7462:
5923:
3888:
759:, which addresses whether the order of two operands affects the result. For example, the order does not matter in the multiplication of real numbers, that is,
3903:
3478:
4534:
2692:
4382:
3400:
2776:, composition of morphisms is associative by definition. Associativity of functors and natural transformations follows from associativity of morphisms.
1952:(that is, the result is the first argument, no matter what the second argument is) is associative but not commutative. Likewise, the trivial operation
7324:
4885:
agree on a particular order of evaluation for several common non-associative operations. This is simply a notational convention to avoid parentheses.
4820:
Even though most computers compute with 24 or 53 bits of significand, this is still an important source of rounding error, and approaches such as the
819:
numbers in computer science is not associative, and the choice of how to associate an expression can have a significant effect on rounding error.
6827:
4742:
In mathematics, addition and multiplication of real numbers are associative. By contrast, in computer science, addition and multiplication of
6267:
469:
3703:
6466:{\displaystyle a\uparrow \uparrow \uparrow (b\uparrow \uparrow \uparrow c)\neq (a\uparrow \uparrow \uparrow b)\uparrow \uparrow \uparrow c}
6168:{\displaystyle \mathbb {Z} \rightarrow \mathbb {Z} \rightarrow \mathbb {Z} =\mathbb {Z} \rightarrow (\mathbb {Z} \rightarrow \mathbb {Z} )}
3625:
394:
294:
7394:
6905:
seems to have coined the term "associative property" around 1844, a time when he was contemplating the non-associative algebra of the
4842:
if a non-associative operation appears more than once in an expression (unless the notation specifies the order in another way, like
7621:
6179:
3298:
1129:
122:
30:
This article is about the associative property in mathematics. For associativity in the central processing unit memory cache, see
94:
7548:
6809:{\displaystyle {(x+y)/2+z \over 2}\neq {x+(y+z)/2 \over 2}\qquad {\mbox{for all }}x,y,z\in \mathbb {R} {\mbox{ with }}x\neq z.}
7492:
7307:
7035:
4691:
Some non-associative operations are fundamental in mathematics. They appear often as the multiplication in structures called
75:
101:
7045:
4750:
associative, as different rounding errors may be introduced when dissimilar-sized values are joined in a different order.
1303:
values. For instance, a product of 3 operations on 4 elements may be written (ignoring permutations of the arguments), in
595:
Within an expression containing two or more occurrences in a row of the same associative operator, the order in which the
169:
739:{\displaystyle {\begin{aligned}(2+3)+4&=2+(3+4)=9\,\\2\times (3\times 4)&=(2\times 3)\times 4=24.\end{aligned}}}
7005:
4731:
1966:(that is, the result is the second argument, no matter what the first argument is) is associative but not commutative.
1721:) with the result. The two methods produce the same result; string concatenation is associative (but not commutative).
108:
7261:
7236:
7211:
7168:
is unambiguous; this is, the same element will be obtained regardless of how parentheses are inserted in the product.
4159:
926:
141:
6997:
3608:
demonstrate that associativity is a property of particular connectives. The following (and their converses, since
7277:
6246:
5431:
Both left-associative and right-associative operations occur. Left-associative operations include the following:
3274:
3094:{\displaystyle \max(a,\max(b,c))=\max(\max(a,b),c)\quad {\text{ and }}\quad \min(a,\min(b,c))=\min(\min(a,b),c).}
1025:
Here, ∗ is used to replace the symbol of the operation, which may be any symbol, and even the absence of symbol (
90:
17:
3267:
79:
3845:{\displaystyle ((P\leftrightarrow Q)\leftrightarrow R)\leftrightarrow (P\leftrightarrow (Q\leftrightarrow R))}
161:
7483:
6922:
5928:
4081:
4011:
3312:
1591:
7333:
7121:
777:, so we say that the multiplication of real numbers is a commutative operation. However, operations such as
7631:
6344:
6042:
5644:
5565:
4712:
5708:
7636:
7626:
39:
7326:
Effects of
Floating-Point non-Associativity on Numerical Computations on Massively Multithreaded Systems
6258:
Non-associative operations for which no conventional evaluation order is defined include the following.
5768:
Formatted correctly, the superscript inherently behaves as a set of parentheses; e.g. in the expression
2925:
represents function composition, one can immediately conclude that matrix multiplication is associative.
6403:{\displaystyle a\uparrow \uparrow (b\uparrow \uparrow c)\neq (a\uparrow \uparrow b)\uparrow \uparrow c}
4845:
3349:
3153:
3557:
2622:{\displaystyle (f\circ g)\circ h=f\circ (g\circ h)=f\circ g\circ h\qquad {\mbox{for all }}f,g,h\in S.}
7025:
5990:
4821:
3353:
3159:
2291:
45:"Associative" and "non-associative" redirect here. For associative and non-associative learning, see
7323:
Villa, Oreste; Chavarría-mir, Daniel; Gurumoorthi, Vidhya; Márquez, Andrés; Krishnamoorthy, Sriram,
4892:
operation is a non-associative operation that is conventionally evaluated from left to right, i.e.,
5497:
5440:
4375:
Also although addition is associative for finite sums, it is not associative inside infinite sums (
3392:
3340:
3179:
3166:
115:
6889:
6819:
5925:
is evaluated first. However, in some contexts, especially in handwriting, the difference between
4692:
3344:
3185:
3172:
1985:
1039:
793:
596:
68:
7419:
752:, it can be said that "addition and multiplication of real numbers are associative operations".
7530:
7525:
7520:
7516:
6902:
6103:
5847:
5808:
4833:
4074:
3198:
3120:
1468:
797:
273:
35:
1513:
1426:
1384:
1342:
803:
However, many important and interesting operations are non-associative; some examples include
7369:
5771:
4696:
3293:
3241:
3232:
3192:
2922:
1989:
1598:
1306:
782:
7503:
7593:
7361:
6931:
5881:
4727:
4376:
4226:
3205:
2914:
2510:
1690:
1271:
1089:
988:
888:
857:
812:
778:
7446:
1561:
8:
6965:
6953:
5802:
4839:
4824:
are ways to minimise the errors. It can be especially problematic in parallel computing.
3605:
3601:
3384:
3380:
3305:
3288:
3250:
3211:
2933:
1026:
836:
789:
585:
581:
570:
240:
1676:
7597:
7563:
7386:
6927:
5908:
3873:
3597:
3218:
2295:
253:
7581:
7488:
7390:
7303:
7257:
7232:
7207:
7031:
7001:
3613:
3331:
3324:
3136:
3127:
3113:
2299:
906:
7430:
1935:
Because of associativity, the grouping parentheses can be omitted without ambiguity.
7573:
7378:
7295:
6961:
3377:
883:
578:
562:
31:
7601:
7577:
7589:
7469:
7299:
4708:
3578:
3281:
2773:
258:
4711:
instead of the associative law; this allows abstracting the algebraic nature of
6947:
6910:
5636:
4743:
4152:
1970:
1733:
1265:
1250:
1030:
816:
808:
268:
6245:
Using right-associative notation for these operations can be motivated by the
7615:
7585:
6957:
6943:
6476:
4882:
3224:
815:. In contrast to the theoretical properties of real numbers, the addition of
756:
7450:
7362:"What Every Computer Scientist Should Know About Floating-Point Arithmetic"
6971:
6879:{\displaystyle (A\backslash B)\backslash C\neq A\backslash (B\backslash C)}
6099:
can be hard to see. In such a case, right-associativity is usually implied.
3582:
3388:
3212:
3142:
589:
7382:
4753:
To illustrate this, consider a floating point representation with a 4-bit
5176:
4905:
4754:
4704:
4004:
3855:
2929:
1737:
804:
749:
566:
554:
46:
6930:, the use of addition associativity for cancelling terms in an infinite
1981:
is also associative, but multiplication of octonions is non-associative.
827:
6335:{\displaystyle (x^{\wedge }y)^{\wedge }z\neq x^{\wedge }(y^{\wedge }z)}
4723:
4719:
3987:{\displaystyle (x*y)*z\neq x*(y*z)\qquad {\mbox{for some }}x,y,z\in S.}
3545:{\displaystyle (P\land (Q\land R))\Leftrightarrow ((P\land Q)\land R),}
3206:
2918:
1974:
1725:
1126:
The associative law can also be expressed in functional notation thus:
536:{\displaystyle (P\land (Q\land R))\Leftrightarrow ((P\land Q)\land R),}
263:
38:. For the meaning of an associated group of people in linguistics, see
7118:
are elements of a set with an associative operation, then the product
3767:{\displaystyle ((P\land Q)\land R)\leftrightarrow (P\land (Q\land R))}
7568:
7544:
6937:
6906:
4682:{\displaystyle 1+(-1+1)+(-1+1)+(-1+1)+(-1+1)+(-1+1)+(-1+1)+\dots =1.}
3575:
3186:
236:
57:
6950:
are two other frequently discussed properties of binary operations.
6250:
5626:
4700:
2762:{\displaystyle (f\circ g)\circ h=f\circ (g\circ h)=f\circ g\circ h}
1978:
1729:
4524:{\displaystyle (1+-1)+(1+-1)+(1+-1)+(1+-1)+(1+-1)+(1+-1)+\dots =0}
3689:{\displaystyle ((P\lor Q)\lor R)\leftrightarrow (P\lor (Q\lor R))}
3464:{\displaystyle (P\lor (Q\lor R))\Leftrightarrow ((P\lor Q)\lor R)}
788:
Associative operations are abundant in mathematics; in fact, many
458:{\displaystyle (P\lor (Q\lor R))\Leftrightarrow ((P\lor Q)\lor R)}
6665:
4737:
1225:
600:
378:{\displaystyle (x\,*\,y)\,*\,z=x\,*\,(y\,*\,z)\forall x,y,z\in S}
7322:
800:) explicitly require their binary operations to be associative.
7206:(12th ed.). New York: McGraw-Hill Education. p. 321.
5805:
the exponentiation despite there being no explicit parentheses
2769:
as before. In short, composition of maps is always associative.
1705:
can be computed by concatenating the first two strings (giving
1684:
Some examples of associative operations include the following.
1594:
grows quickly, but they remain unnecessary for disambiguation.
6237:{\displaystyle x\mapsto y\mapsto x-y=x\mapsto (y\mapsto x-y)}
1211:{\displaystyle (f\circ (g\circ h))(x)=((f\circ g)\circ h)(x)}
599:
are performed does not matter as long as the sequence of the
5173:
4902:
3275:
3233:
3199:
3154:
2310:
2000:
1749:
7521:"On quaternions or a new system of imaginaries in algebra"
5163:
operation is conventionally evaluated from right to left:
4827:
3225:
1229:
In the absence of the associative property, five factors
7256:(13th ed.). Boston: Cengage Learning. p. 427.
7231:(14th ed.). Essex: Pearson Education. p. 387.
3193:
7504:
7227:
Copi, Irving M.; Cohen, Carl; McMahon, Kenneth (2014).
3858:
is an example of a truth functional connective that is
3306:
3261:
3167:
3143:
7506:
Codeplea. 23 August 2016. Retrieved 20 September 2016.
7012:
Definition 1.1 (i) a(bc) = (ab)c for all a, b, c in G.
6867:
6858:
6846:
6837:
6788:
6758:
6589:
5380:
5365:
5108:
5093:
3954:
2589:
2457:
2313:
2246:
2003:
1892:
1752:
7124:
7111:{\displaystyle a_{1},a_{2},\dots ,a_{n}\,\,(n\geq 2)}
7048:
6830:
6676:
6487:
6417:
6354:
6270:
6182:
6113:
6045:
5993:
5931:
5911:
5884:
5850:
5811:
5774:
5711:
5647:
5568:
5500:
5443:
5171:
4900:
4850:
4848:
4838:
In general, parentheses must be used to indicate the
4537:
4385:
4236:
4162:
4084:
4014:
3906:
3876:
3784:
3706:
3628:
3560:
3481:
3403:
2942:
2936:), the minimum and maximum operation is associative:
2695:
2523:
2308:
1998:
1747:
1713:), or by joining the second and third string (giving
1564:
1516:
1471:
1429:
1387:
1345:
1309:
1274:
1132:
1092:
1042:
991:
929:
891:
612:
472:
397:
297:
172:
7463:"Using Order of Operations and Exploring Properties"
5844:
wrapped around it. Thus given an expression such as
5632:
Right-associative operations include the following:
3894:
that does not satisfy the associative law is called
166:
A visual graph representing associative operations;
221:{\displaystyle (x\circ y)\circ z=x\circ (y\circ z)}
82:. Unsourced material may be challenged and removed.
7160:
7110:
6878:
6808:
6654:
6465:
6402:
6334:
6236:
6167:
6091:
6031:
5979:
5917:
5897:
5870:
5836:
5793:
5759:
5693:
5614:
5550:
5485:
5421:
5149:
4873:
4681:
4523:
4364:
4216:
4142:
4064:
3986:
3882:
3844:
3766:
3688:
3566:
3544:
3463:
3368:In standard truth-functional propositional logic,
3093:
2761:
2621:
2483:
2280:
1926:
1579:
1543:
1501:
1456:
1414:
1372:
1328:
1287:
1210:
1110:
1078:
1009:
977:
897:
785:are associative, but not (generally) commutative.
738:
535:
457:
377:
220:
34:. For associativity in programming languages, see
3219:
7613:
7226:
6262:Exponentiation of real numbers in infix notation
5629:isomorphism, which enables partial application.
4707:. In Lie algebras, the multiplication satisfies
3299:
3061:
3055:
3031:
3019:
2985:
2979:
2955:
2943:
569:in an expression will not change the result. In
4217:{\displaystyle 2^{(1^{2})}\,\neq \,(2^{1})^{2}}
3588:
3268:
3160:
1264:The number of possible bracketings is just the
978:{\displaystyle (x\ast y)\ast z=x\ast (y\ast z)}
7475:
7472:, section 9. Virginia Department of Education.
6940:is a set with an associative binary operation.
4738:Nonassociativity of floating point calculation
3996:For such an operation the order of evaluation
1220:
7556:Bulletin of the American Mathematical Society
7515:
7497:
7350:
7030:(3rd ed.). New York: Wiley. p. 78.
3383:. The rules allow one to move parentheses in
3313:
3282:
3180:
3173:
1592:number of possible ways to insert parentheses
7251:
7202:Moore, Brooke Noel; Parker, Richard (2017).
3865:
1680:The addition of real numbers is associative.
7292:IEEE Standard for Floating-Point Arithmetic
7201:
1597:An example where this does not work is the
1253:of order four, possibly different products.
6991:
6974:also provide a weak form of associativity.
160:
7567:
7252:Hurley, Patrick J.; Watson, Lori (2016).
7092:
7091:
6783:
6642:
6158:
6150:
6139:
6131:
6123:
6115:
5605:
5598:
5579:
5575:
4190:
4186:
4114:
4110:
4040:
4036:
2631:Slightly more generally, given four sets
2271:
1917:
1882:
1868:
1864:
1851:
1829:
1590:As the number of elements increases, the
672:
344:
340:
333:
329:
319:
315:
308:
304:
142:Learn how and when to remove this message
7509:
7356:
7290:IEEE Computer Society (29 August 2008).
7289:
5435:Subtraction and division of real numbers
3260:
1675:
1224:
826:
5980:{\displaystyle {x^{y}}^{z}=(x^{y})^{z}}
5639:of real numbers in superscript notation
4828:Notation for non-associative operations
4143:{\displaystyle (4/2)/2\,\neq \,4/(2/2)}
4065:{\displaystyle (5-3)-2\,\neq \,5-(3-2)}
14:
7614:
7161:{\displaystyle a_{1}a_{2}\cdots a_{n}}
7023:
5625:This notation can be motivated by the
3363:
3105:
2501:denotes the set of all functions from
1717:) and concatenating the first string (
6092:{\displaystyle x^{y^{z}}=x^{(y^{z})}}
5694:{\displaystyle x^{y^{z}}=x^{(y^{z})}}
5615:{\displaystyle (f\,x\,y)=((f\,x)\,y)}
3612:is commutative) are truth-functional
7543:
7537:
5760:{\displaystyle (x^{y})^{z}=x^{(yz)}}
4695:, which have also an addition and a
2910:. This operation is not commutative.
2779:Consider a set with three elements,
80:adding citations to reliable sources
51:
27:Property of a mathematical operation
7487:, pages 115-120, chapter: 2.4.1.1,
3581:representing "can be replaced in a
2882:is associative. Thus, for example,
839:. That is, when the two paths from
24:
4732:commutative non-associative magmas
1709:) and appending the third string (
351:
25:
7648:
4874:{\displaystyle {\dfrac {2}{3/4}}}
755:Associativity is not the same as
7420:"Order of arithmetic operations"
6968:are weak forms of associativity.
4354:
4346:
4338:
4326:
4315:
4307:
4295:
4284:
4276:
4261:
4253:
4242:
3567:{\displaystyle \Leftrightarrow }
831:A binary operation ∗ on the set
565:that means that rearranging the
56:
7622:Properties of binary operations
7523:. David R. Wilkins collection.
7456:
7436:
7424:
7412:
7400:from the original on 2022-05-19
7278:The Art of Computer Programming
7254:A Concise Introduction to Logic
7027:Modern Algebra: an Introduction
6756:
6587:
6032:{\displaystyle x^{yz}=x^{(yz)}}
5359:
5279:
5087:
3952:
3018:
3012:
2587:
2447:
2379:
2236:
2120:
1969:Addition and multiplication of
1875:
1874:
1873:
1872:
1818:
67:needs additional citations for
7316:
7283:
7270:
7245:
7220:
7195:
7181:"Matrix product associativity"
7173:
7105:
7093:
7017:
6992:Hungerford, Thomas W. (1974).
6985:
6873:
6861:
6843:
6831:
6739:
6727:
6692:
6680:
6631:
6616:
6601:
6581:
6569:
6563:
6548:
6539:
6533:
6527:
6512:
6503:
6494:
6457:
6454:
6448:
6442:
6436:
6430:
6424:
6421:
6394:
6391:
6385:
6379:
6373:
6367:
6361:
6358:
6329:
6313:
6288:
6271:
6231:
6219:
6213:
6210:
6192:
6186:
6162:
6154:
6146:
6143:
6127:
6119:
6084:
6071:
6024:
6015:
5968:
5954:
5829:
5817:
5752:
5743:
5726:
5712:
5686:
5673:
5609:
5602:
5592:
5589:
5583:
5569:
5537:
5523:
5474:
5462:
5356:
5353:
5350:
5338:
5329:
5320:
5276:
5273:
5261:
5252:
5215:
5203:
5078:
5069:
5060:
5048:
5045:
5042:
4999:
4990:
4978:
4975:
4938:
4926:
4664:
4649:
4643:
4628:
4622:
4607:
4601:
4586:
4580:
4565:
4559:
4544:
4506:
4491:
4485:
4470:
4464:
4449:
4443:
4428:
4422:
4407:
4401:
4386:
4319:
4303:
4265:
4249:
4205:
4191:
4181:
4168:
4137:
4123:
4099:
4085:
4059:
4047:
4027:
4015:
3949:
3937:
3919:
3907:
3839:
3836:
3830:
3824:
3821:
3815:
3812:
3809:
3803:
3800:
3794:
3788:
3785:
3761:
3758:
3746:
3737:
3734:
3731:
3722:
3710:
3707:
3683:
3680:
3668:
3659:
3656:
3653:
3644:
3632:
3629:
3561:
3536:
3527:
3515:
3512:
3509:
3506:
3503:
3491:
3482:
3458:
3449:
3437:
3434:
3431:
3428:
3425:
3413:
3404:
3085:
3076:
3064:
3058:
3049:
3046:
3034:
3022:
3009:
3000:
2988:
2982:
2973:
2970:
2958:
2946:
2738:
2726:
2708:
2696:
2566:
2554:
2536:
2524:
2426:
2414:
2396:
2384:
2358:
2346:
2328:
2316:
2233:
2215:
2203:
2200:
2188:
2173:
2161:
2152:
2140:
2131:
2114:
2096:
2084:
2081:
2069:
2054:
2042:
2033:
2021:
2012:
1855:
1845:
1833:
1823:
1797:
1785:
1767:
1755:
1538:
1529:
1526:
1517:
1496:
1493:
1484:
1478:
1472:
1451:
1445:
1436:
1433:
1406:
1403:
1394:
1388:
1364:
1358:
1349:
1346:
1205:
1199:
1196:
1187:
1175:
1172:
1166:
1160:
1157:
1154:
1142:
1133:
1073:
1064:
1052:
1043:
972:
960:
942:
930:
717:
705:
695:
683:
663:
651:
629:
617:
527:
518:
506:
503:
500:
497:
494:
482:
473:
452:
443:
431:
428:
425:
422:
419:
407:
398:
348:
334:
312:
298:
215:
203:
185:
173:
32:CPU cache § Associativity
13:
1:
7578:10.1090/S0273-0979-01-00934-X
7484:de:Taschenbuch der Mathematik
6978:
5551:{\displaystyle x/y/z=(x/y)/z}
5486:{\displaystyle x-y-z=(x-y)-z}
4713:infinitesimal transformations
1992:functions act associatively.
1977:are associative. Addition of
822:
7300:10.1109/IEEESTD.2008.4610935
3776:Associativity of equivalence
3698:Associativity of conjunction
3620:Associativity of disjunction
3589:Truth functional connectives
7:
6916:
6458:↑ ↑ ↑
6449:↑ ↑ ↑
6431:↑ ↑ ↑
6422:↑ ↑ ↑
6247:Curry–Howard correspondence
2791:. The following operation:
1671:
1668:, which is not equivalent.
1604:. It is associative; thus,
1259:generalized associative law
1221:Generalized associative law
1079:{\displaystyle (xy)z=x(yz)}
40:Associativity (linguistics)
10:
7653:
6923:Light's associativity test
6909:he had learned about from
6897:
6345:Knuth's up-arrow operators
5801:the addition is performed
4831:
3350:Existential generalization
3155:Biconditional introduction
860:to the same function from
44:
29:
7443:"The Order of Operations"
7431:"The Order of Operations"
7280:, Volume 3, section 4.2.2
5871:{\displaystyle x^{y^{z}}}
5837:{\displaystyle 2^{(x+3)}}
4822:Kahan summation algorithm
3866:Non-associative operation
1555:written unambiguously as
1502:{\displaystyle (a(b(cd))}
282:
246:
232:
159:
7024:Durbin, John R. (1992).
4693:non-associative algebras
3341:Universal generalization
3181:Disjunction introduction
3168:Conjunction introduction
3138:Implication introduction
2509:, then the operation of
1544:{\displaystyle (ab)(cd)}
1457:{\displaystyle a((bc)d)}
1415:{\displaystyle (a(bc))d}
1373:{\displaystyle ((ab)c)d}
6890:material nonimplication
5794:{\displaystyle 2^{x+3}}
1986:greatest common divisor
1740:are associative; i.e.,
1329:{\displaystyle C_{3}=5}
389:Propositional calculus
7531:Trinity College Dublin
7526:Philosophical Magazine
7162:
7112:
6903:William Rowan Hamilton
6880:
6810:
6656:
6467:
6404:
6336:
6238:
6169:
6093:
6033:
5981:
5919:
5899:
5872:
5838:
5795:
5761:
5695:
5616:
5552:
5487:
5423:
5151:
4875:
4834:Operator associativity
4683:
4525:
4366:
4218:
4144:
4066:
3988:
3884:
3846:
3768:
3690:
3596:is a property of some
3568:
3546:
3465:
3200:hypothetical syllogism
3121:Propositional calculus
3095:
2763:
2623:
2485:
2282:
1938:The trivial operation
1928:
1681:
1581:
1545:
1503:
1458:
1416:
1374:
1330:
1289:
1254:
1212:
1112:
1080:
1011:
979:
899:
879:
740:
561:is a property of some
537:
459:
379:
274:Propositional calculus
222:
91:"Associative property"
36:operator associativity
7383:10.1145/103162.103163
7370:ACM Computing Surveys
7229:Introduction to Logic
7163:
7113:
6881:
6811:
6657:
6468:
6405:
6337:
6239:
6170:
6094:
6034:
5982:
5920:
5900:
5898:{\displaystyle y^{z}}
5873:
5839:
5796:
5762:
5696:
5617:
5553:
5488:
5424:
5152:
4876:
4697:scalar multiplication
4684:
4526:
4367:
4219:
4145:
4067:
4000:matter. For example:
3989:
3885:
3847:
3769:
3691:
3569:
3547:
3466:
3242:Negation introduction
3235:modus ponendo tollens
3096:
2923:matrix multiplication
2764:
2624:
2486:
2283:
1990:least common multiple
1929:
1693:of the three strings
1679:
1599:logical biconditional
1582:
1546:
1504:
1459:
1417:
1375:
1331:
1290:
1288:{\displaystyle C_{n}}
1228:
1213:
1113:
1111:{\displaystyle x,y,z}
1081:
1012:
1010:{\displaystyle x,y,z}
980:
900:
898:{\displaystyle \ast }
837:this diagram commutes
830:
783:matrix multiplication
741:
538:
460:
380:
223:
47:Learning § Types
7418:George Mark Bergman
7312:. IEEE Std 754-2008.
7122:
7046:
6828:
6674:
6664:Taking the pairwise
6591: for some
6485:
6415:
6352:
6268:
6180:
6111:
6043:
5991:
5929:
5909:
5882:
5878:, the full exponent
5848:
5809:
5772:
5709:
5645:
5566:
5560:Function application
5498:
5441:
5169:
4898:
4846:
4728:non-associative ring
4535:
4383:
4234:
4227:Vector cross product
4160:
4082:
4012:
3904:
3874:
3782:
3704:
3626:
3606:logical equivalences
3600:of truth-functional
3558:
3479:
3401:
3381:rules of replacement
3300:Material implication
3251:Rules of replacement
3114:Transformation rules
2940:
2693:
2521:
2511:function composition
2306:
1996:
1745:
1648:most commonly means
1580:{\displaystyle abcd}
1562:
1514:
1469:
1427:
1385:
1343:
1307:
1272:
1130:
1090:
1040:
989:
927:
916:if it satisfies the
889:
835:is associative when
813:vector cross product
790:algebraic structures
779:function composition
610:
559:associative property
470:
395:
295:
170:
155:Associative property
76:improve this article
7632:Functional analysis
7339:on 15 February 2013
6966:N-ary associativity
6954:Power associativity
6820:relative complement
6104:Function definition
4840:order of evaluation
4718:Other examples are
4699:. Examples are the
3870:A binary operation
3602:propositional logic
3598:logical connectives
3393:logical connectives
3391:. The rules (using
3385:logical expressions
3364:Rule of replacement
3213:destructive dilemma
3106:Propositional logic
2934:totally ordered set
2248: for all
582:rule of replacement
571:propositional logic
289:Elementary algebra
241:rule of replacement
156:
7637:Rules of inference
7627:Elementary algebra
7468:2022-07-16 at the
7433:. Education Place.
7158:
7108:
6972:Moufang identities
6928:Telescoping series
6876:
6806:
6792:
6762:
6652:
6593:
6463:
6400:
6395:↑ ↑
6386:↑ ↑
6368:↑ ↑
6359:↑ ↑
6332:
6234:
6165:
6089:
6029:
5977:
5915:
5895:
5868:
5834:
5791:
5757:
5691:
5612:
5548:
5483:
5419:
5384:
5373:
5369:
5147:
5112:
5101:
5097:
4871:
4869:
4679:
4521:
4362:
4360:
4214:
4140:
4062:
3984:
3958:
3880:
3842:
3764:
3686:
3564:
3542:
3461:
3332:Rules of inference
3128:Rules of inference
3091:
2759:
2619:
2593:
2481:
2461:
2459:for all sets
2450:
2278:
2250:
2239:
1924:
1896:
1885:
1682:
1577:
1541:
1499:
1454:
1412:
1370:
1326:
1285:
1255:
1208:
1108:
1076:
1007:
975:
895:
880:
736:
734:
533:
455:
375:
283:Symbolic statement
254:Elementary algebra
218:
154:
7493:978-3-8085-5673-3
7309:978-0-7381-5753-5
7204:Critical Thinking
7037:978-0-471-51001-7
6791:
6761:
6754:
6713:
6634:
6619:
6604:
6592:
6584:
6566:
6551:
6530:
6515:
6497:
5918:{\displaystyle x}
5383:
5368:
5161:right-associative
5111:
5096:
4868:
3957:
3883:{\displaystyle *}
3361:
3360:
3016:
2881:
2880:
2592:
2460:
2249:
2119:
1895:
1881:
1878:
1619:is equivalent to
563:binary operations
551:
550:
152:
151:
144:
126:
16:(Redirected from
7644:
7606:
7605:
7571:
7553:
7541:
7535:
7534:
7513:
7507:
7501:
7495:
7479:
7473:
7460:
7454:
7440:
7434:
7428:
7422:
7416:
7410:
7409:
7407:
7405:
7399:
7366:
7354:
7348:
7347:
7346:
7344:
7338:
7332:, archived from
7331:
7320:
7314:
7313:
7287:
7281:
7274:
7268:
7267:
7249:
7243:
7242:
7224:
7218:
7217:
7199:
7193:
7192:
7190:
7188:
7177:
7171:
7170:
7167:
7165:
7164:
7159:
7157:
7156:
7144:
7143:
7134:
7133:
7117:
7115:
7114:
7109:
7090:
7089:
7071:
7070:
7058:
7057:
7021:
7015:
7014:
6996:(1st ed.).
6989:
6885:
6883:
6882:
6877:
6815:
6813:
6812:
6807:
6793:
6790: with
6789:
6786:
6763:
6759:
6755:
6750:
6746:
6719:
6714:
6709:
6699:
6678:
6661:
6659:
6658:
6653:
6651:
6650:
6645:
6636:
6635:
6627:
6621:
6620:
6612:
6606:
6605:
6597:
6594:
6590:
6586:
6585:
6577:
6568:
6567:
6559:
6553:
6552:
6544:
6532:
6531:
6523:
6517:
6516:
6508:
6499:
6498:
6490:
6479:of three vectors
6472:
6470:
6469:
6464:
6409:
6407:
6406:
6401:
6341:
6339:
6338:
6333:
6325:
6324:
6312:
6311:
6296:
6295:
6283:
6282:
6243:
6241:
6240:
6235:
6174:
6172:
6171:
6166:
6161:
6153:
6142:
6134:
6126:
6118:
6098:
6096:
6095:
6090:
6088:
6087:
6083:
6082:
6062:
6061:
6060:
6059:
6038:
6036:
6035:
6030:
6028:
6027:
6006:
6005:
5986:
5984:
5983:
5978:
5976:
5975:
5966:
5965:
5950:
5949:
5944:
5943:
5942:
5924:
5922:
5921:
5916:
5904:
5902:
5901:
5896:
5894:
5893:
5877:
5875:
5874:
5869:
5867:
5866:
5865:
5864:
5843:
5841:
5840:
5835:
5833:
5832:
5800:
5798:
5797:
5792:
5790:
5789:
5766:
5764:
5763:
5758:
5756:
5755:
5734:
5733:
5724:
5723:
5700:
5698:
5697:
5692:
5690:
5689:
5685:
5684:
5664:
5663:
5662:
5661:
5621:
5619:
5618:
5613:
5557:
5555:
5554:
5549:
5544:
5533:
5516:
5508:
5492:
5490:
5489:
5484:
5428:
5426:
5425:
5420:
5385:
5381:
5378:
5374:
5370:
5366:
5156:
5154:
5153:
5148:
5113:
5109:
5106:
5102:
5098:
5094:
4890:left-associative
4880:
4878:
4877:
4872:
4870:
4867:
4863:
4851:
4813:
4783:
4688:
4686:
4685:
4680:
4530:
4528:
4527:
4522:
4379:). For example,
4371:
4369:
4368:
4363:
4361:
4357:
4349:
4341:
4329:
4318:
4310:
4298:
4287:
4279:
4264:
4256:
4245:
4223:
4221:
4220:
4215:
4213:
4212:
4203:
4202:
4185:
4184:
4180:
4179:
4149:
4147:
4146:
4141:
4133:
4122:
4106:
4095:
4071:
4069:
4068:
4063:
3993:
3991:
3990:
3985:
3959:
3955:
3898:. Symbolically,
3889:
3887:
3886:
3881:
3851:
3849:
3848:
3843:
3773:
3771:
3770:
3765:
3695:
3693:
3692:
3687:
3611:
3604:. The following
3573:
3571:
3570:
3565:
3551:
3549:
3548:
3543:
3470:
3468:
3467:
3462:
3315:
3308:
3301:
3289:De Morgan's laws
3284:
3277:
3270:
3263:
3237:
3229:
3221:
3214:
3208:
3201:
3195:
3188:
3182:
3175:
3169:
3162:
3156:
3149:
3139:
3110:
3109:
3100:
3098:
3097:
3092:
3017:
3014:
2919:linear functions
2909:
2877:
2872:
2867:
2862:
2855:
2850:
2845:
2840:
2833:
2828:
2823:
2818:
2811:
2806:
2801:
2793:
2792:
2790:
2786:
2782:
2768:
2766:
2765:
2760:
2688:
2674:
2660:
2646:
2642:
2638:
2634:
2628:
2626:
2625:
2620:
2594:
2590:
2516:
2508:
2504:
2500:
2497:is some set and
2496:
2490:
2488:
2487:
2482:
2462:
2458:
2455:
2451:
2287:
2285:
2284:
2279:
2274:
2251:
2247:
2244:
2240:
2117:
1965:
1951:
1933:
1931:
1930:
1925:
1920:
1897:
1893:
1890:
1886:
1879:
1876:
1720:
1716:
1712:
1708:
1704:
1700:
1696:
1667:
1647:
1633:
1618:
1603:
1586:
1584:
1583:
1578:
1550:
1548:
1547:
1542:
1508:
1506:
1505:
1500:
1463:
1461:
1460:
1455:
1421:
1419:
1418:
1413:
1379:
1377:
1376:
1371:
1335:
1333:
1332:
1327:
1319:
1318:
1294:
1292:
1291:
1286:
1284:
1283:
1248:
1244:
1240:
1236:
1232:
1217:
1215:
1214:
1209:
1121:
1117:
1115:
1114:
1109:
1085:
1083:
1082:
1077:
1020:
1016:
1014:
1013:
1008:
984:
982:
981:
976:
911:
904:
902:
901:
896:
884:binary operation
877:
873:
856:
852:
776:
745:
743:
742:
737:
735:
542:
540:
539:
534:
464:
462:
461:
456:
384:
382:
381:
376:
227:
225:
224:
219:
164:
157:
153:
147:
140:
136:
133:
127:
125:
84:
60:
52:
21:
7652:
7651:
7647:
7646:
7645:
7643:
7642:
7641:
7612:
7611:
7610:
7609:
7551:
7549:"The Octonions"
7542:
7538:
7514:
7510:
7502:
7498:
7480:
7476:
7470:Wayback Machine
7461:
7457:
7441:
7437:
7429:
7425:
7417:
7413:
7403:
7401:
7397:
7364:
7358:Goldberg, David
7355:
7351:
7342:
7340:
7336:
7329:
7321:
7317:
7310:
7288:
7284:
7276:Knuth, Donald,
7275:
7271:
7264:
7250:
7246:
7239:
7225:
7221:
7214:
7200:
7196:
7186:
7184:
7179:
7178:
7174:
7152:
7148:
7139:
7135:
7129:
7125:
7123:
7120:
7119:
7085:
7081:
7066:
7062:
7053:
7049:
7047:
7044:
7043:
7038:
7022:
7018:
7008:
6990:
6986:
6981:
6919:
6900:
6829:
6826:
6825:
6787:
6782:
6757:
6742:
6720:
6718:
6695:
6679:
6677:
6675:
6672:
6671:
6668:of real numbers
6646:
6641:
6640:
6626:
6625:
6611:
6610:
6596:
6595:
6588:
6576:
6575:
6558:
6557:
6543:
6542:
6522:
6521:
6507:
6506:
6489:
6488:
6486:
6483:
6482:
6416:
6413:
6412:
6353:
6350:
6349:
6320:
6316:
6307:
6303:
6291:
6287:
6278:
6274:
6269:
6266:
6265:
6181:
6178:
6177:
6157:
6149:
6138:
6130:
6122:
6114:
6112:
6109:
6108:
6078:
6074:
6070:
6066:
6055:
6051:
6050:
6046:
6044:
6041:
6040:
6014:
6010:
5998:
5994:
5992:
5989:
5988:
5971:
5967:
5961:
5957:
5945:
5938:
5934:
5933:
5932:
5930:
5927:
5926:
5910:
5907:
5906:
5889:
5885:
5883:
5880:
5879:
5860:
5856:
5855:
5851:
5849:
5846:
5845:
5816:
5812:
5810:
5807:
5806:
5779:
5775:
5773:
5770:
5769:
5742:
5738:
5729:
5725:
5719:
5715:
5710:
5707:
5706:
5680:
5676:
5672:
5668:
5657:
5653:
5652:
5648:
5646:
5643:
5642:
5567:
5564:
5563:
5540:
5529:
5512:
5504:
5499:
5496:
5495:
5442:
5439:
5438:
5379:
5372:
5371:
5364:
5361:
5360:
5281:
5280:
5219:
5218:
5175:
5172:
5170:
5167:
5166:
5107:
5100:
5099:
5092:
5089:
5088:
5009:
5008:
4948:
4947:
4904:
4901:
4899:
4896:
4895:
4859:
4855:
4849:
4847:
4844:
4843:
4836:
4830:
4818:
4816:
4811:
4809:
4805:
4801:
4797:
4793:
4788:
4786:
4781:
4779:
4775:
4771:
4767:
4763:
4740:
4709:Jacobi identity
4536:
4533:
4532:
4384:
4381:
4380:
4359:
4358:
4353:
4345:
4337:
4330:
4325:
4314:
4306:
4300:
4299:
4294:
4283:
4275:
4268:
4260:
4252:
4241:
4237:
4235:
4232:
4231:
4208:
4204:
4198:
4194:
4175:
4171:
4167:
4163:
4161:
4158:
4157:
4129:
4118:
4102:
4091:
4083:
4080:
4079:
4013:
4010:
4009:
3953:
3905:
3902:
3901:
3896:non-associative
3875:
3872:
3871:
3868:
3783:
3780:
3779:
3705:
3702:
3701:
3627:
3624:
3623:
3609:
3591:
3559:
3556:
3555:
3480:
3477:
3476:
3402:
3399:
3398:
3395:notation) are:
3366:
3325:Predicate logic
3319:
3283:Double negation
3137:
3108:
3103:
3015: and
3013:
2941:
2938:
2937:
2908:
2904:
2900:
2897:
2893:
2890:
2886:
2883:
2875:
2870:
2865:
2860:
2853:
2848:
2843:
2838:
2831:
2826:
2821:
2816:
2809:
2804:
2799:
2788:
2784:
2780:
2774:category theory
2694:
2691:
2690:
2687:
2683:
2679:
2676:
2673:
2669:
2665:
2662:
2659:
2655:
2651:
2648:
2644:
2640:
2636:
2632:
2588:
2522:
2519:
2518:
2517:is associative:
2514:
2506:
2502:
2498:
2494:
2456:
2449:
2448:
2381:
2380:
2312:
2309:
2307:
2304:
2303:
2270:
2245:
2238:
2237:
2122:
2121:
2002:
1999:
1997:
1994:
1993:
1971:complex numbers
1964:
1960:
1956:
1953:
1950:
1946:
1942:
1939:
1916:
1891:
1884:
1883:
1820:
1819:
1751:
1748:
1746:
1743:
1742:
1718:
1714:
1710:
1706:
1702:
1698:
1694:
1674:
1665:
1661:
1657:
1653:
1649:
1646:
1642:
1638:
1635:
1632:
1628:
1624:
1620:
1616:
1612:
1608:
1605:
1601:
1563:
1560:
1559:
1515:
1512:
1511:
1470:
1467:
1466:
1428:
1425:
1424:
1386:
1383:
1382:
1344:
1341:
1340:
1336:possible ways:
1314:
1310:
1308:
1305:
1304:
1279:
1275:
1273:
1270:
1269:
1246:
1242:
1238:
1234:
1230:
1223:
1131:
1128:
1127:
1119:
1091:
1088:
1087:
1041:
1038:
1037:
1018:
990:
987:
986:
928:
925:
924:
918:associative law
909:
890:
887:
886:
875:
872:
868:
864:
861:
854:
851:
847:
843:
840:
825:
775:
771:
767:
763:
760:
733:
732:
698:
674:
673:
638:
613:
611:
608:
607:
547:
471:
468:
467:
396:
393:
392:
296:
293:
292:
278:
259:Boolean algebra
228:
171:
168:
167:
148:
137:
131:
128:
85:
83:
73:
61:
50:
43:
28:
23:
22:
18:Associative law
15:
12:
11:
5:
7650:
7640:
7639:
7634:
7629:
7624:
7608:
7607:
7562:(2): 145–205.
7536:
7517:Hamilton, W.R.
7508:
7496:
7474:
7455:
7435:
7423:
7411:
7360:(March 1991).
7349:
7315:
7308:
7282:
7269:
7262:
7244:
7237:
7219:
7212:
7194:
7183:. Khan Academy
7172:
7155:
7151:
7147:
7142:
7138:
7132:
7128:
7107:
7104:
7101:
7098:
7095:
7088:
7084:
7080:
7077:
7074:
7069:
7065:
7061:
7056:
7052:
7036:
7016:
7007:978-0387905181
7006:
7000:. p. 24.
6983:
6982:
6980:
6977:
6976:
6975:
6969:
6951:
6948:distributivity
6941:
6934:
6925:
6918:
6915:
6911:John T. Graves
6899:
6896:
6895:
6894:
6875:
6872:
6869:
6866:
6863:
6860:
6857:
6854:
6851:
6848:
6845:
6842:
6839:
6836:
6833:
6823:
6816:
6805:
6802:
6799:
6796:
6785:
6781:
6778:
6775:
6772:
6769:
6766:
6753:
6749:
6745:
6741:
6738:
6735:
6732:
6729:
6726:
6723:
6717:
6712:
6708:
6705:
6702:
6698:
6694:
6691:
6688:
6685:
6682:
6669:
6662:
6649:
6644:
6639:
6633:
6630:
6624:
6618:
6615:
6609:
6603:
6600:
6583:
6580:
6574:
6571:
6565:
6562:
6556:
6550:
6547:
6541:
6538:
6535:
6529:
6526:
6520:
6514:
6511:
6505:
6502:
6496:
6493:
6480:
6473:
6462:
6459:
6456:
6453:
6450:
6447:
6444:
6441:
6438:
6435:
6432:
6429:
6426:
6423:
6420:
6410:
6399:
6396:
6393:
6390:
6387:
6384:
6381:
6378:
6375:
6372:
6369:
6366:
6363:
6360:
6357:
6347:
6342:
6331:
6328:
6323:
6319:
6315:
6310:
6306:
6302:
6299:
6294:
6290:
6286:
6281:
6277:
6273:
6263:
6256:
6255:
6233:
6230:
6227:
6224:
6221:
6218:
6215:
6212:
6209:
6206:
6203:
6200:
6197:
6194:
6191:
6188:
6185:
6175:
6164:
6160:
6156:
6152:
6148:
6145:
6141:
6137:
6133:
6129:
6125:
6121:
6117:
6106:
6101:
6086:
6081:
6077:
6073:
6069:
6065:
6058:
6054:
6049:
6026:
6023:
6020:
6017:
6013:
6009:
6004:
6001:
5997:
5974:
5970:
5964:
5960:
5956:
5953:
5948:
5941:
5937:
5914:
5892:
5888:
5863:
5859:
5854:
5831:
5828:
5825:
5822:
5819:
5815:
5788:
5785:
5782:
5778:
5754:
5751:
5748:
5745:
5741:
5737:
5732:
5728:
5722:
5718:
5714:
5704:
5688:
5683:
5679:
5675:
5671:
5667:
5660:
5656:
5651:
5640:
5637:Exponentiation
5623:
5622:
5611:
5608:
5604:
5601:
5597:
5594:
5591:
5588:
5585:
5582:
5578:
5574:
5571:
5561:
5558:
5547:
5543:
5539:
5536:
5532:
5528:
5525:
5522:
5519:
5515:
5511:
5507:
5503:
5493:
5482:
5479:
5476:
5473:
5470:
5467:
5464:
5461:
5458:
5455:
5452:
5449:
5446:
5436:
5418:
5415:
5412:
5409:
5406:
5403:
5400:
5397:
5394:
5391:
5388:
5377:
5363:
5362:
5358:
5355:
5352:
5349:
5346:
5343:
5340:
5337:
5334:
5331:
5328:
5325:
5322:
5319:
5316:
5313:
5310:
5307:
5304:
5301:
5298:
5295:
5292:
5289:
5286:
5283:
5282:
5278:
5275:
5272:
5269:
5266:
5263:
5260:
5257:
5254:
5251:
5248:
5245:
5242:
5239:
5236:
5233:
5230:
5227:
5224:
5221:
5220:
5217:
5214:
5211:
5208:
5205:
5202:
5199:
5196:
5193:
5190:
5187:
5184:
5181:
5178:
5177:
5174:
5146:
5143:
5140:
5137:
5134:
5131:
5128:
5125:
5122:
5119:
5116:
5105:
5091:
5090:
5086:
5083:
5080:
5077:
5074:
5071:
5068:
5065:
5062:
5059:
5056:
5053:
5050:
5047:
5044:
5041:
5038:
5035:
5032:
5029:
5026:
5023:
5020:
5017:
5014:
5011:
5010:
5007:
5004:
5001:
4998:
4995:
4992:
4989:
4986:
4983:
4980:
4977:
4974:
4971:
4968:
4965:
4962:
4959:
4956:
4953:
4950:
4949:
4946:
4943:
4940:
4937:
4934:
4931:
4928:
4925:
4922:
4919:
4916:
4913:
4910:
4907:
4906:
4903:
4883:mathematicians
4866:
4862:
4858:
4854:
4832:Main article:
4829:
4826:
4814:
4807:
4803:
4799:
4795:
4791:
4789:
4784:
4777:
4773:
4769:
4765:
4761:
4759:
4744:floating point
4739:
4736:
4678:
4675:
4672:
4669:
4666:
4663:
4660:
4657:
4654:
4651:
4648:
4645:
4642:
4639:
4636:
4633:
4630:
4627:
4624:
4621:
4618:
4615:
4612:
4609:
4606:
4603:
4600:
4597:
4594:
4591:
4588:
4585:
4582:
4579:
4576:
4573:
4570:
4567:
4564:
4561:
4558:
4555:
4552:
4549:
4546:
4543:
4540:
4520:
4517:
4514:
4511:
4508:
4505:
4502:
4499:
4496:
4493:
4490:
4487:
4484:
4481:
4478:
4475:
4472:
4469:
4466:
4463:
4460:
4457:
4454:
4451:
4448:
4445:
4442:
4439:
4436:
4433:
4430:
4427:
4424:
4421:
4418:
4415:
4412:
4409:
4406:
4403:
4400:
4397:
4394:
4391:
4388:
4373:
4372:
4356:
4352:
4348:
4344:
4340:
4336:
4333:
4331:
4328:
4324:
4321:
4317:
4313:
4309:
4305:
4302:
4301:
4297:
4293:
4290:
4286:
4282:
4278:
4274:
4271:
4269:
4267:
4263:
4259:
4255:
4251:
4248:
4244:
4240:
4239:
4229:
4224:
4211:
4207:
4201:
4197:
4193:
4189:
4183:
4178:
4174:
4170:
4166:
4155:
4153:Exponentiation
4150:
4139:
4136:
4132:
4128:
4125:
4121:
4117:
4113:
4109:
4105:
4101:
4098:
4094:
4090:
4087:
4077:
4072:
4061:
4058:
4055:
4052:
4049:
4046:
4043:
4039:
4035:
4032:
4029:
4026:
4023:
4020:
4017:
4007:
3983:
3980:
3977:
3974:
3971:
3968:
3965:
3962:
3956:for some
3951:
3948:
3945:
3942:
3939:
3936:
3933:
3930:
3927:
3924:
3921:
3918:
3915:
3912:
3909:
3879:
3867:
3864:
3853:
3852:
3841:
3838:
3835:
3832:
3829:
3826:
3823:
3820:
3817:
3814:
3811:
3808:
3805:
3802:
3799:
3796:
3793:
3790:
3787:
3777:
3774:
3763:
3760:
3757:
3754:
3751:
3748:
3745:
3742:
3739:
3736:
3733:
3730:
3727:
3724:
3721:
3718:
3715:
3712:
3709:
3699:
3696:
3685:
3682:
3679:
3676:
3673:
3670:
3667:
3664:
3661:
3658:
3655:
3652:
3649:
3646:
3643:
3640:
3637:
3634:
3631:
3621:
3590:
3587:
3563:
3541:
3538:
3535:
3532:
3529:
3526:
3523:
3520:
3517:
3514:
3511:
3508:
3505:
3502:
3499:
3496:
3493:
3490:
3487:
3484:
3460:
3457:
3454:
3451:
3448:
3445:
3442:
3439:
3436:
3433:
3430:
3427:
3424:
3421:
3418:
3415:
3412:
3409:
3406:
3389:logical proofs
3365:
3362:
3359:
3358:
3357:
3356:
3347:
3335:
3334:
3328:
3327:
3321:
3320:
3318:
3317:
3310:
3303:
3296:
3291:
3286:
3279:
3276:Distributivity
3272:
3265:
3257:
3254:
3253:
3247:
3246:
3245:
3244:
3239:
3216:
3203:
3190:
3177:
3164:
3151:
3131:
3130:
3124:
3123:
3117:
3116:
3107:
3104:
3102:
3101:
3090:
3087:
3084:
3081:
3078:
3075:
3072:
3069:
3066:
3063:
3060:
3057:
3054:
3051:
3048:
3045:
3042:
3039:
3036:
3033:
3030:
3027:
3024:
3021:
3011:
3008:
3005:
3002:
2999:
2996:
2993:
2990:
2987:
2984:
2981:
2978:
2975:
2972:
2969:
2966:
2963:
2960:
2957:
2954:
2951:
2948:
2945:
2926:
2911:
2906:
2902:
2898:
2895:
2891:
2888:
2884:
2879:
2878:
2873:
2868:
2863:
2857:
2856:
2851:
2846:
2841:
2835:
2834:
2829:
2824:
2819:
2813:
2812:
2807:
2802:
2797:
2777:
2770:
2758:
2755:
2752:
2749:
2746:
2743:
2740:
2737:
2734:
2731:
2728:
2725:
2722:
2719:
2716:
2713:
2710:
2707:
2704:
2701:
2698:
2685:
2681:
2677:
2671:
2667:
2663:
2657:
2653:
2649:
2629:
2618:
2615:
2612:
2609:
2606:
2603:
2600:
2597:
2586:
2583:
2580:
2577:
2574:
2571:
2568:
2565:
2562:
2559:
2556:
2553:
2550:
2547:
2544:
2541:
2538:
2535:
2532:
2529:
2526:
2491:
2480:
2477:
2474:
2471:
2468:
2465:
2454:
2446:
2443:
2440:
2437:
2434:
2431:
2428:
2425:
2422:
2419:
2416:
2413:
2410:
2407:
2404:
2401:
2398:
2395:
2392:
2389:
2386:
2383:
2382:
2378:
2375:
2372:
2369:
2366:
2363:
2360:
2357:
2354:
2351:
2348:
2345:
2342:
2339:
2336:
2333:
2330:
2327:
2324:
2321:
2318:
2315:
2314:
2311:
2288:
2277:
2273:
2269:
2266:
2263:
2260:
2257:
2254:
2243:
2235:
2232:
2229:
2226:
2223:
2220:
2217:
2214:
2211:
2208:
2205:
2202:
2199:
2196:
2193:
2190:
2187:
2184:
2181:
2178:
2175:
2172:
2169:
2166:
2163:
2160:
2157:
2154:
2151:
2148:
2145:
2142:
2139:
2136:
2133:
2130:
2127:
2124:
2123:
2116:
2113:
2110:
2107:
2104:
2101:
2098:
2095:
2092:
2089:
2086:
2083:
2080:
2077:
2074:
2071:
2068:
2065:
2062:
2059:
2056:
2053:
2050:
2047:
2044:
2041:
2038:
2035:
2032:
2029:
2026:
2023:
2020:
2017:
2014:
2011:
2008:
2005:
2004:
2001:
1982:
1967:
1962:
1958:
1954:
1948:
1944:
1940:
1936:
1923:
1919:
1915:
1912:
1909:
1906:
1903:
1900:
1889:
1871:
1867:
1863:
1860:
1857:
1854:
1850:
1847:
1844:
1841:
1838:
1835:
1832:
1828:
1825:
1822:
1821:
1817:
1814:
1811:
1808:
1805:
1802:
1799:
1796:
1793:
1790:
1787:
1784:
1781:
1778:
1775:
1772:
1769:
1766:
1763:
1760:
1757:
1754:
1753:
1750:
1734:multiplication
1722:
1686:
1673:
1670:
1663:
1659:
1655:
1651:
1644:
1640:
1636:
1630:
1626:
1622:
1614:
1610:
1606:
1588:
1587:
1576:
1573:
1570:
1567:
1552:
1551:
1540:
1537:
1534:
1531:
1528:
1525:
1522:
1519:
1509:
1498:
1495:
1492:
1489:
1486:
1483:
1480:
1477:
1474:
1464:
1453:
1450:
1447:
1444:
1441:
1438:
1435:
1432:
1422:
1411:
1408:
1405:
1402:
1399:
1396:
1393:
1390:
1380:
1369:
1366:
1363:
1360:
1357:
1354:
1351:
1348:
1325:
1322:
1317:
1313:
1299:operations on
1282:
1278:
1266:Catalan number
1251:Tamari lattice
1222:
1219:
1207:
1204:
1201:
1198:
1195:
1192:
1189:
1186:
1183:
1180:
1177:
1174:
1171:
1168:
1165:
1162:
1159:
1156:
1153:
1150:
1147:
1144:
1141:
1138:
1135:
1124:
1123:
1107:
1104:
1101:
1098:
1095:
1075:
1072:
1069:
1066:
1063:
1060:
1057:
1054:
1051:
1048:
1045:
1031:multiplication
1023:
1022:
1006:
1003:
1000:
997:
994:
974:
971:
968:
965:
962:
959:
956:
953:
950:
947:
944:
941:
938:
935:
932:
894:
870:
866:
862:
849:
845:
841:
824:
821:
817:floating point
809:exponentiation
773:
769:
765:
761:
731:
728:
725:
722:
719:
716:
713:
710:
707:
704:
701:
699:
697:
694:
691:
688:
685:
682:
679:
676:
675:
671:
668:
665:
662:
659:
656:
653:
650:
647:
644:
641:
639:
637:
634:
631:
628:
625:
622:
619:
616:
615:
590:logical proofs
549:
548:
546:
545:
544:
543:
532:
529:
526:
523:
520:
517:
514:
511:
508:
505:
502:
499:
496:
493:
490:
487:
484:
481:
478:
475:
465:
454:
451:
448:
445:
442:
439:
436:
433:
430:
427:
424:
421:
418:
415:
412:
409:
406:
403:
400:
387:
386:
385:
374:
371:
368:
365:
362:
359:
356:
353:
350:
347:
343:
339:
336:
332:
328:
325:
322:
318:
314:
311:
307:
303:
300:
286:
284:
280:
279:
277:
276:
271:
269:Linear algebra
266:
261:
256:
250:
248:
244:
243:
234:
230:
229:
217:
214:
211:
208:
205:
202:
199:
196:
193:
190:
187:
184:
181:
178:
175:
165:
150:
149:
64:
62:
55:
26:
9:
6:
4:
3:
2:
7649:
7638:
7635:
7633:
7630:
7628:
7625:
7623:
7620:
7619:
7617:
7603:
7599:
7595:
7591:
7587:
7583:
7579:
7575:
7570:
7565:
7561:
7557:
7550:
7546:
7545:Baez, John C.
7540:
7532:
7528:
7527:
7522:
7519:(1844–1850).
7518:
7512:
7505:
7500:
7494:
7490:
7486:
7485:
7478:
7471:
7467:
7464:
7459:
7452:
7448:
7444:
7439:
7432:
7427:
7421:
7415:
7396:
7392:
7388:
7384:
7380:
7376:
7372:
7371:
7363:
7359:
7353:
7335:
7328:
7327:
7319:
7311:
7305:
7301:
7297:
7293:
7286:
7279:
7273:
7265:
7263:9781305958098
7259:
7255:
7248:
7240:
7238:9781292024820
7234:
7230:
7223:
7215:
7213:9781259690877
7209:
7205:
7198:
7182:
7176:
7169:
7153:
7149:
7145:
7140:
7136:
7130:
7126:
7102:
7099:
7096:
7086:
7082:
7078:
7075:
7072:
7067:
7063:
7059:
7054:
7050:
7039:
7033:
7029:
7028:
7020:
7013:
7009:
7003:
6999:
6995:
6988:
6984:
6973:
6970:
6967:
6963:
6959:
6958:alternativity
6955:
6952:
6949:
6945:
6944:Commutativity
6942:
6939:
6935:
6933:
6929:
6926:
6924:
6921:
6920:
6914:
6912:
6908:
6904:
6893:
6891:
6870:
6864:
6855:
6852:
6849:
6840:
6834:
6824:
6821:
6817:
6803:
6800:
6797:
6794:
6779:
6776:
6773:
6770:
6767:
6764:
6760:for all
6751:
6747:
6743:
6736:
6733:
6730:
6724:
6721:
6715:
6710:
6706:
6703:
6700:
6696:
6689:
6686:
6683:
6670:
6667:
6663:
6647:
6637:
6628:
6622:
6613:
6607:
6598:
6578:
6572:
6560:
6554:
6545:
6536:
6524:
6518:
6509:
6500:
6491:
6481:
6478:
6477:cross product
6474:
6460:
6451:
6445:
6439:
6433:
6427:
6418:
6411:
6397:
6388:
6382:
6376:
6370:
6364:
6355:
6348:
6346:
6343:
6326:
6321:
6317:
6308:
6304:
6300:
6297:
6292:
6284:
6279:
6275:
6264:
6261:
6260:
6259:
6254:
6252:
6248:
6228:
6225:
6222:
6216:
6207:
6204:
6201:
6198:
6195:
6189:
6183:
6176:
6135:
6107:
6105:
6102:
6100:
6079:
6075:
6067:
6063:
6056:
6052:
6047:
6021:
6018:
6011:
6007:
6002:
5999:
5995:
5972:
5962:
5958:
5951:
5946:
5939:
5935:
5912:
5890:
5886:
5861:
5857:
5852:
5826:
5823:
5820:
5813:
5804:
5786:
5783:
5780:
5776:
5749:
5746:
5739:
5735:
5730:
5720:
5716:
5705:
5703:
5681:
5677:
5669:
5665:
5658:
5654:
5649:
5641:
5638:
5635:
5634:
5633:
5630:
5628:
5606:
5599:
5595:
5586:
5580:
5576:
5572:
5562:
5559:
5545:
5541:
5534:
5530:
5526:
5520:
5517:
5513:
5509:
5505:
5501:
5494:
5480:
5477:
5471:
5468:
5465:
5459:
5456:
5453:
5450:
5447:
5444:
5437:
5434:
5433:
5432:
5429:
5416:
5413:
5410:
5407:
5404:
5401:
5398:
5395:
5392:
5389:
5386:
5382:for all
5375:
5347:
5344:
5341:
5335:
5332:
5326:
5323:
5317:
5314:
5311:
5308:
5305:
5302:
5299:
5296:
5293:
5290:
5287:
5284:
5270:
5267:
5264:
5258:
5255:
5249:
5246:
5243:
5240:
5237:
5234:
5231:
5228:
5225:
5222:
5212:
5209:
5206:
5200:
5197:
5194:
5191:
5188:
5185:
5182:
5179:
5164:
5162:
5157:
5144:
5141:
5138:
5135:
5132:
5129:
5126:
5123:
5120:
5117:
5114:
5110:for all
5103:
5084:
5081:
5075:
5072:
5066:
5063:
5057:
5054:
5051:
5039:
5036:
5033:
5030:
5027:
5024:
5021:
5018:
5015:
5012:
5005:
5002:
4996:
4993:
4987:
4984:
4981:
4972:
4969:
4966:
4963:
4960:
4957:
4954:
4951:
4944:
4941:
4935:
4932:
4929:
4923:
4920:
4917:
4914:
4911:
4908:
4893:
4891:
4886:
4884:
4864:
4860:
4856:
4852:
4841:
4835:
4825:
4823:
4758:
4756:
4751:
4749:
4745:
4735:
4733:
4729:
4725:
4721:
4716:
4714:
4710:
4706:
4702:
4698:
4694:
4689:
4676:
4673:
4670:
4667:
4661:
4658:
4655:
4652:
4646:
4640:
4637:
4634:
4631:
4625:
4619:
4616:
4613:
4610:
4604:
4598:
4595:
4592:
4589:
4583:
4577:
4574:
4571:
4568:
4562:
4556:
4553:
4550:
4547:
4541:
4538:
4518:
4515:
4512:
4509:
4503:
4500:
4497:
4494:
4488:
4482:
4479:
4476:
4473:
4467:
4461:
4458:
4455:
4452:
4446:
4440:
4437:
4434:
4431:
4425:
4419:
4416:
4413:
4410:
4404:
4398:
4395:
4392:
4389:
4378:
4350:
4342:
4334:
4332:
4322:
4311:
4291:
4288:
4280:
4272:
4270:
4257:
4246:
4230:
4228:
4225:
4209:
4199:
4195:
4187:
4176:
4172:
4164:
4156:
4154:
4151:
4134:
4130:
4126:
4119:
4115:
4111:
4107:
4103:
4096:
4092:
4088:
4078:
4076:
4073:
4056:
4053:
4050:
4044:
4041:
4037:
4033:
4030:
4024:
4021:
4018:
4008:
4006:
4003:
4002:
4001:
3999:
3994:
3981:
3978:
3975:
3972:
3969:
3966:
3963:
3960:
3946:
3943:
3940:
3934:
3931:
3928:
3925:
3922:
3916:
3913:
3910:
3899:
3897:
3893:
3877:
3863:
3862:associative.
3861:
3857:
3833:
3827:
3818:
3806:
3797:
3791:
3778:
3775:
3755:
3752:
3749:
3743:
3740:
3728:
3725:
3719:
3716:
3713:
3700:
3697:
3677:
3674:
3671:
3665:
3662:
3650:
3647:
3641:
3638:
3635:
3622:
3619:
3618:
3617:
3615:
3607:
3603:
3599:
3595:
3594:Associativity
3586:
3584:
3580:
3577:
3552:
3539:
3533:
3530:
3524:
3521:
3518:
3500:
3497:
3494:
3488:
3485:
3474:
3471:
3455:
3452:
3446:
3443:
3440:
3422:
3419:
3416:
3410:
3407:
3396:
3394:
3390:
3386:
3382:
3379:
3375:
3374:associativity
3371:
3355:
3354:instantiation
3351:
3348:
3346:
3345:instantiation
3342:
3339:
3338:
3337:
3336:
3333:
3330:
3329:
3326:
3323:
3322:
3316:
3311:
3309:
3304:
3302:
3297:
3295:
3294:Transposition
3292:
3290:
3287:
3285:
3280:
3278:
3273:
3271:
3269:Commutativity
3266:
3264:
3262:Associativity
3259:
3258:
3256:
3255:
3252:
3249:
3248:
3243:
3240:
3238:
3236:
3230:
3228:
3227:modus tollens
3222:
3217:
3215:
3209:
3204:
3202:
3196:
3191:
3189:
3183:
3178:
3176:
3170:
3165:
3163:
3157:
3152:
3150:
3147:
3144:elimination (
3140:
3135:
3134:
3133:
3132:
3129:
3126:
3125:
3122:
3119:
3118:
3115:
3112:
3111:
3088:
3082:
3079:
3073:
3070:
3067:
3052:
3043:
3040:
3037:
3028:
3025:
3006:
3003:
2997:
2994:
2991:
2976:
2967:
2964:
2961:
2952:
2949:
2935:
2932:(and for any
2931:
2927:
2924:
2920:
2916:
2912:
2874:
2869:
2864:
2859:
2858:
2852:
2847:
2842:
2837:
2836:
2830:
2825:
2820:
2815:
2814:
2808:
2803:
2798:
2795:
2794:
2778:
2775:
2771:
2756:
2753:
2750:
2747:
2744:
2741:
2735:
2732:
2729:
2723:
2720:
2717:
2714:
2711:
2705:
2702:
2699:
2630:
2616:
2613:
2610:
2607:
2604:
2601:
2598:
2595:
2591:for all
2584:
2581:
2578:
2575:
2572:
2569:
2563:
2560:
2557:
2551:
2548:
2545:
2542:
2539:
2533:
2530:
2527:
2512:
2492:
2478:
2475:
2472:
2469:
2466:
2463:
2452:
2444:
2441:
2438:
2435:
2432:
2429:
2423:
2420:
2417:
2411:
2408:
2405:
2402:
2399:
2393:
2390:
2387:
2376:
2373:
2370:
2367:
2364:
2361:
2355:
2352:
2349:
2343:
2340:
2337:
2334:
2331:
2325:
2322:
2319:
2301:
2297:
2293:
2289:
2275:
2267:
2264:
2261:
2258:
2255:
2252:
2241:
2230:
2227:
2224:
2221:
2218:
2212:
2209:
2206:
2197:
2194:
2191:
2185:
2182:
2179:
2176:
2170:
2167:
2164:
2158:
2155:
2149:
2146:
2143:
2137:
2134:
2128:
2125:
2111:
2108:
2105:
2102:
2099:
2093:
2090:
2087:
2078:
2075:
2072:
2066:
2063:
2060:
2057:
2051:
2048:
2045:
2039:
2036:
2030:
2027:
2024:
2018:
2015:
2009:
2006:
1991:
1987:
1983:
1980:
1976:
1972:
1968:
1937:
1934:
1921:
1913:
1910:
1907:
1904:
1901:
1898:
1894:for all
1887:
1869:
1865:
1861:
1858:
1852:
1848:
1842:
1839:
1836:
1830:
1826:
1815:
1812:
1809:
1806:
1803:
1800:
1794:
1791:
1788:
1782:
1779:
1776:
1773:
1770:
1764:
1761:
1758:
1739:
1735:
1731:
1727:
1723:
1692:
1691:concatenation
1688:
1687:
1685:
1678:
1669:
1600:
1595:
1593:
1574:
1571:
1568:
1565:
1558:
1557:
1556:
1535:
1532:
1523:
1520:
1510:
1490:
1487:
1481:
1475:
1465:
1448:
1442:
1439:
1430:
1423:
1409:
1400:
1397:
1391:
1381:
1367:
1361:
1355:
1352:
1339:
1338:
1337:
1323:
1320:
1315:
1311:
1302:
1298:
1280:
1276:
1267:
1262:
1260:
1252:
1227:
1218:
1202:
1193:
1190:
1184:
1181:
1178:
1169:
1163:
1151:
1148:
1145:
1139:
1136:
1105:
1102:
1099:
1096:
1093:
1070:
1067:
1061:
1058:
1055:
1049:
1046:
1036:
1035:
1034:
1032:
1028:
1027:juxtaposition
1004:
1001:
998:
995:
992:
969:
966:
963:
957:
954:
951:
948:
945:
939:
936:
933:
923:
922:
921:
919:
915:
908:
892:
885:
859:
838:
834:
829:
820:
818:
814:
810:
806:
801:
799:
795:
791:
786:
784:
780:
758:
757:commutativity
753:
751:
746:
729:
726:
723:
720:
714:
711:
708:
702:
700:
692:
689:
686:
680:
677:
669:
666:
660:
657:
654:
648:
645:
642:
640:
635:
632:
626:
623:
620:
605:
602:
598:
593:
591:
587:
583:
580:
576:
575:associativity
572:
568:
564:
560:
556:
530:
524:
521:
515:
512:
509:
491:
488:
485:
479:
476:
466:
449:
446:
440:
437:
434:
416:
413:
410:
404:
401:
391:
390:
388:
372:
369:
366:
363:
360:
357:
354:
345:
341:
337:
330:
326:
323:
320:
316:
309:
305:
301:
291:
290:
288:
287:
285:
281:
275:
272:
270:
267:
265:
262:
260:
257:
255:
252:
251:
249:
245:
242:
238:
235:
231:
212:
209:
206:
200:
197:
194:
191:
188:
182:
179:
176:
163:
158:
146:
143:
135:
124:
121:
117:
114:
110:
107:
103:
100:
96:
93: –
92:
88:
87:Find sources:
81:
77:
71:
70:
65:This article
63:
59:
54:
53:
48:
41:
37:
33:
19:
7569:math/0105155
7559:
7555:
7539:
7524:
7511:
7499:
7482:
7477:
7458:
7451:Khan Academy
7445:, timestamp
7438:
7426:
7414:
7402:. Retrieved
7374:
7368:
7352:
7341:, retrieved
7334:the original
7325:
7318:
7291:
7285:
7272:
7253:
7247:
7228:
7222:
7203:
7197:
7185:. Retrieved
7175:
7041:
7026:
7019:
7011:
6993:
6987:
6901:
6887:
6257:
6253:isomorphism.
6244:
5905:of the base
5767:
5701:
5631:
5624:
5430:
5165:
5160:
5158:
4894:
4889:
4887:
4881:). However,
4837:
4819:
4752:
4747:
4746:numbers are
4741:
4717:
4705:Lie algebras
4690:
4374:
3997:
3995:
3900:
3895:
3891:
3869:
3859:
3856:Joint denial
3854:
3593:
3592:
3553:
3475:
3472:
3397:
3373:
3369:
3367:
3352: /
3343: /
3234:
3231: /
3226:
3223: /
3210: /
3207:Constructive
3197: /
3184: /
3171: /
3158: /
3146:modus ponens
3145:
3141: /
2930:real numbers
2292:intersection
1741:
1738:real numbers
1683:
1596:
1589:
1553:
1300:
1296:
1263:
1258:
1256:
1249:result in a
1125:
1024:
917:
913:
882:Formally, a
881:
832:
802:
787:
754:
750:real numbers
747:
606:
594:
574:
558:
552:
138:
129:
119:
112:
105:
98:
86:
74:Please help
69:verification
66:
7481:Bronstein,
7377:(1): 5–48.
6962:flexibility
6818:Taking the
6475:Taking the
6249:and by the
4802:×2) = 1.000
4794:×2 + (1.000
4768:×2) + 1.000
4755:significand
4005:Subtraction
3614:tautologies
3576:metalogical
3370:association
3307:Exportation
3194:Disjunctive
3187:elimination
3174:elimination
3161:elimination
2290:Taking the
1975:quaternions
914:associative
805:subtraction
586:expressions
567:parentheses
555:mathematics
7616:Categories
7404:20 January
6979:References
6892:in logic.)
4806:×2 + 1.000
4798:×2 + 1.000
4776:×2 + 1.000
4772:×2 = 1.000
4764:×2 + 1.000
4724:quasifield
4720:quasigroup
3220:Absorption
2917:represent
1726:arithmetic
1086:, for all
985:, for all
912:is called
823:Definition
811:, and the
798:categories
794:semigroups
597:operations
264:Set theory
102:newspapers
7586:0273-0979
7391:222008826
7146:⋯
7100:≥
7076:…
6938:semigroup
6907:octonions
6888:(Compare
6868:∖
6859:∖
6853:≠
6847:∖
6838:∖
6798:≠
6780:∈
6716:≠
6638:∈
6632:→
6617:→
6602:→
6582:→
6573:×
6564:→
6555:×
6549:→
6537:≠
6528:→
6519:×
6513:→
6501:×
6495:→
6440:≠
6377:≠
6322:∧
6309:∧
6301:≠
6293:∧
6280:∧
6226:−
6220:↦
6211:↦
6199:−
6193:↦
6187:↦
6155:→
6144:→
6128:→
6120:→
5478:−
5469:−
5454:−
5448:−
5414:∈
5345:∗
5336:∗
5327:∗
5318:∗
5306:∗
5300:∗
5294:∗
5288:∗
5268:∗
5259:∗
5250:∗
5238:∗
5232:∗
5226:∗
5210:∗
5201:∗
5189:∗
5183:∗
5142:∈
5082:∗
5073:∗
5064:∗
5055:∗
5034:∗
5028:∗
5022:∗
5016:∗
5003:∗
4994:∗
4985:∗
4967:∗
4961:∗
4955:∗
4942:∗
4933:∗
4918:∗
4912:∗
4810:×2 = 1.00
4780:×2 = 1.00
4701:octonions
4671:⋯
4653:−
4632:−
4611:−
4590:−
4569:−
4548:−
4513:⋯
4501:−
4480:−
4459:−
4438:−
4417:−
4396:−
4343:×
4323:×
4312:×
4292:−
4281:×
4258:×
4247:×
4188:≠
4112:≠
4054:−
4045:−
4038:≠
4031:−
4022:−
3976:∈
3944:∗
3935:∗
3929:≠
3923:∗
3914:∗
3890:on a set
3878:∗
3831:↔
3822:↔
3813:↔
3804:↔
3795:↔
3753:∧
3744:∧
3735:↔
3726:∧
3717:∧
3675:∨
3666:∨
3657:↔
3648:∨
3639:∨
3562:⇔
3531:∧
3522:∧
3510:⇔
3498:∧
3489:∧
3453:∨
3444:∨
3432:⇔
3420:∨
3411:∨
3314:Tautology
2754:∘
2748:∘
2733:∘
2724:∘
2712:∘
2703:∘
2611:∈
2582:∘
2576:∘
2561:∘
2552:∘
2540:∘
2531:∘
2442:∪
2436:∪
2421:∪
2412:∪
2400:∪
2391:∪
2374:∩
2368:∩
2353:∩
2344:∩
2332:∩
2323:∩
2268:∈
2213:
2186:
2171:
2138:
2129:
2094:
2067:
2052:
2019:
2010:
1979:octonions
1914:∈
1191:∘
1182:∘
1149:∘
1140:∘
1029:) as for
967:∗
958:∗
946:∗
937:∗
893:∗
792:(such as
721:×
712:×
690:×
681:×
522:∧
513:∧
501:⇔
489:∧
480:∧
447:∨
438:∨
426:⇔
414:∨
405:∨
370:∈
352:∀
342:∗
331:∗
317:∗
306:∗
210:∘
201:∘
189:∘
180:∘
132:June 2009
7547:(2002).
7466:Archived
7395:Archived
6998:Springer
6917:See also
6251:currying
5627:currying
5159:while a
4531:whereas
4075:Division
3376:are two
2915:matrices
2913:Because
2680: :
2666: :
2652: :
1730:addition
1715:" world"
1707:"hello "
1672:Examples
601:operands
7594:1886087
7343:8 April
6994:Algebra
6898:History
6822:of sets
6666:average
3585:with".
3574:" is a
3554:where "
2689:, then
2647:, with
2294:or the
1719:"hello"
1711:"world"
1703:"world"
1695:"hello"
1658:) and (
858:compose
116:scholar
7602:586512
7600:
7592:
7584:
7491:
7389:
7306:
7260:
7235:
7210:
7187:5 June
7034:
7004:
6932:series
5803:before
4760:(1.000
4730:, and
4377:series
3579:symbol
2921:, and
2787:, and
2675:, and
2118:
1880:
1877:
1634:, but
1295:, for
557:, the
118:
111:
104:
97:
89:
7598:S2CID
7564:arXiv
7552:(PDF)
7447:5m40s
7398:(PDF)
7387:S2CID
7365:(PDF)
7337:(PDF)
7330:(PDF)
4790:1.000
3583:proof
3378:valid
3372:, or
2894:) = (
2296:union
905:on a
579:valid
577:is a
247:Field
123:JSTOR
109:books
7582:ISSN
7489:ISBN
7406:2016
7345:2014
7304:ISBN
7258:ISBN
7233:ISBN
7208:ISBN
7189:2016
7032:ISBN
7002:ISBN
6964:and
6946:and
6039:and
5367:etc.
5095:etc.
4703:and
3998:does
3473:and
2928:For
2643:and
2300:sets
1988:and
1984:The
1973:and
1732:and
1689:The
1629:) ↔
796:and
781:and
584:for
233:Type
95:news
7574:doi
7379:doi
7296:doi
7042:If
4748:not
3860:not
3387:in
3062:min
3056:min
3032:min
3020:min
2986:max
2980:max
2956:max
2944:max
2772:In
2513:on
2505:to
2493:If
2298:of
2210:lcm
2183:lcm
2168:lcm
2135:lcm
2126:lcm
2091:gcd
2064:gcd
2049:gcd
2016:gcd
2007:gcd
1736:of
1724:In
1699:" "
1609:↔ (
1301:n+1
1118:in
1021:.}}
1017:in
907:set
874:to
853:to
730:24.
588:in
553:In
237:Law
78:by
7618::
7596:.
7590:MR
7588:.
7580:.
7572:.
7560:39
7558:.
7554:.
7529:.
7449:.
7393:.
7385:.
7375:23
7373:.
7367:.
7302:.
7294:.
7040:.
7010:.
6960:,
6956:,
6936:A
6913:.
5987:,
4888:A
4817:×2
4787:×2
4757::
4734:.
4726:,
4722:,
4715:.
4677:1.
3616:.
2905:=
2783:,
2684:→
2670:→
2661:,
2656:→
2639:,
2635:,
2302::
1961:=
1957:∘
1947:=
1943:∗
1728:,
1701:,
1697:,
1662:↔
1654:↔
1643:↔
1639:↔
1625:↔
1613:↔
1268:,
1261:.
1245:,
1241:,
1233:,
1033:.
920::
807:,
772:×
768:=
764:×
592:.
573:,
239:,
7604:.
7576::
7566::
7533:.
7453:.
7408:.
7381::
7298::
7266:.
7241:.
7216:.
7191:.
7154:n
7150:a
7141:2
7137:a
7131:1
7127:a
7106:)
7103:2
7097:n
7094:(
7087:n
7083:a
7079:,
7073:,
7068:2
7064:a
7060:,
7055:1
7051:a
6886:.
6874:)
6871:C
6865:B
6862:(
6856:A
6850:C
6844:)
6841:B
6835:A
6832:(
6804:.
6801:z
6795:x
6784:R
6777:z
6774:,
6771:y
6768:,
6765:x
6752:2
6748:2
6744:/
6740:)
6737:z
6734:+
6731:y
6728:(
6725:+
6722:x
6711:2
6707:z
6704:+
6701:2
6697:/
6693:)
6690:y
6687:+
6684:x
6681:(
6648:3
6643:R
6629:c
6623:,
6614:b
6608:,
6599:a
6579:c
6570:)
6561:b
6546:a
6540:(
6534:)
6525:c
6510:b
6504:(
6492:a
6461:c
6455:)
6452:b
6446:a
6443:(
6437:)
6434:c
6428:b
6425:(
6419:a
6398:c
6392:)
6389:b
6383:a
6380:(
6374:)
6371:c
6365:b
6362:(
6356:a
6330:)
6327:z
6318:y
6314:(
6305:x
6298:z
6289:)
6285:y
6276:x
6272:(
6232:)
6229:y
6223:x
6217:y
6214:(
6208:x
6205:=
6202:y
6196:x
6190:y
6184:x
6163:)
6159:Z
6151:Z
6147:(
6140:Z
6136:=
6132:Z
6124:Z
6116:Z
6085:)
6080:z
6076:y
6072:(
6068:x
6064:=
6057:z
6053:y
6048:x
6025:)
6022:z
6019:y
6016:(
6012:x
6008:=
6003:z
6000:y
5996:x
5973:z
5969:)
5963:y
5959:x
5955:(
5952:=
5947:z
5940:y
5936:x
5913:x
5891:z
5887:y
5862:z
5858:y
5853:x
5830:)
5827:3
5824:+
5821:x
5818:(
5814:2
5787:3
5784:+
5781:x
5777:2
5753:)
5750:z
5747:y
5744:(
5740:x
5736:=
5731:z
5727:)
5721:y
5717:x
5713:(
5687:)
5682:z
5678:y
5674:(
5670:x
5666:=
5659:z
5655:y
5650:x
5610:)
5607:y
5603:)
5600:x
5596:f
5593:(
5590:(
5587:=
5584:)
5581:y
5577:x
5573:f
5570:(
5546:z
5542:/
5538:)
5535:y
5531:/
5527:x
5524:(
5521:=
5518:z
5514:/
5510:y
5506:/
5502:x
5481:z
5475:)
5472:y
5466:x
5463:(
5460:=
5457:z
5451:y
5445:x
5417:S
5411:v
5408:,
5405:w
5402:,
5399:x
5396:,
5393:y
5390:,
5387:z
5376:}
5357:)
5354:)
5351:)
5348:z
5342:y
5339:(
5333:x
5330:(
5324:w
5321:(
5315:v
5312:=
5309:z
5303:y
5297:x
5291:w
5285:v
5277:)
5274:)
5271:z
5265:y
5262:(
5256:x
5253:(
5247:w
5244:=
5241:z
5235:y
5229:x
5223:w
5216:)
5213:z
5207:y
5204:(
5198:x
5195:=
5192:z
5186:y
5180:x
5145:S
5139:e
5136:,
5133:d
5130:,
5127:c
5124:,
5121:b
5118:,
5115:a
5104:}
5085:e
5079:)
5076:d
5070:)
5067:c
5061:)
5058:b
5052:a
5049:(
5046:(
5043:(
5040:=
5037:e
5031:d
5025:c
5019:b
5013:a
5006:d
5000:)
4997:c
4991:)
4988:b
4982:a
4979:(
4976:(
4973:=
4970:d
4964:c
4958:b
4952:a
4945:c
4939:)
4936:b
4930:a
4927:(
4924:=
4921:c
4915:b
4909:a
4865:4
4861:/
4857:3
4853:2
4815:2
4812:0
4808:2
4804:2
4800:2
4796:2
4792:2
4785:2
4782:1
4778:2
4774:2
4770:2
4766:2
4762:2
4674:=
4668:+
4665:)
4662:1
4659:+
4656:1
4650:(
4647:+
4644:)
4641:1
4638:+
4635:1
4629:(
4626:+
4623:)
4620:1
4617:+
4614:1
4608:(
4605:+
4602:)
4599:1
4596:+
4593:1
4587:(
4584:+
4581:)
4578:1
4575:+
4572:1
4566:(
4563:+
4560:)
4557:1
4554:+
4551:1
4545:(
4542:+
4539:1
4519:0
4516:=
4510:+
4507:)
4504:1
4498:+
4495:1
4492:(
4489:+
4486:)
4483:1
4477:+
4474:1
4471:(
4468:+
4465:)
4462:1
4456:+
4453:1
4450:(
4447:+
4444:)
4441:1
4435:+
4432:1
4429:(
4426:+
4423:)
4420:1
4414:+
4411:1
4408:(
4405:+
4402:)
4399:1
4393:+
4390:1
4387:(
4355:0
4351:=
4347:j
4339:0
4335:=
4327:j
4320:)
4316:i
4308:i
4304:(
4296:j
4289:=
4285:k
4277:i
4273:=
4266:)
4262:j
4254:i
4250:(
4243:i
4210:2
4206:)
4200:1
4196:2
4192:(
4182:)
4177:2
4173:1
4169:(
4165:2
4138:)
4135:2
4131:/
4127:2
4124:(
4120:/
4116:4
4108:2
4104:/
4100:)
4097:2
4093:/
4089:4
4086:(
4060:)
4057:2
4051:3
4048:(
4042:5
4034:2
4028:)
4025:3
4019:5
4016:(
3982:.
3979:S
3973:z
3970:,
3967:y
3964:,
3961:x
3950:)
3947:z
3941:y
3938:(
3932:x
3926:z
3920:)
3917:y
3911:x
3908:(
3892:S
3840:)
3837:)
3834:R
3828:Q
3825:(
3819:P
3816:(
3810:)
3807:R
3801:)
3798:Q
3792:P
3789:(
3786:(
3762:)
3759:)
3756:R
3750:Q
3747:(
3741:P
3738:(
3732:)
3729:R
3723:)
3720:Q
3714:P
3711:(
3708:(
3684:)
3681:)
3678:R
3672:Q
3669:(
3663:P
3660:(
3654:)
3651:R
3645:)
3642:Q
3636:P
3633:(
3630:(
3610:↔
3540:,
3537:)
3534:R
3528:)
3525:Q
3519:P
3516:(
3513:(
3507:)
3504:)
3501:R
3495:Q
3492:(
3486:P
3483:(
3459:)
3456:R
3450:)
3447:Q
3441:P
3438:(
3435:(
3429:)
3426:)
3423:R
3417:Q
3414:(
3408:P
3405:(
3148:)
3089:.
3086:)
3083:c
3080:,
3077:)
3074:b
3071:,
3068:a
3065:(
3059:(
3053:=
3050:)
3047:)
3044:c
3041:,
3038:b
3035:(
3029:,
3026:a
3023:(
3010:)
3007:c
3004:,
3001:)
2998:b
2995:,
2992:a
2989:(
2983:(
2977:=
2974:)
2971:)
2968:c
2965:,
2962:b
2959:(
2953:,
2950:a
2947:(
2907:A
2903:C
2901:)
2899:B
2896:A
2892:C
2889:B
2887:(
2885:A
2876:A
2871:A
2866:A
2861:C
2854:C
2849:B
2844:A
2839:B
2832:A
2827:A
2822:A
2817:A
2810:C
2805:B
2800:A
2796:×
2789:C
2785:B
2781:A
2757:h
2751:g
2745:f
2742:=
2739:)
2736:h
2730:g
2727:(
2721:f
2718:=
2715:h
2709:)
2706:g
2700:f
2697:(
2686:Q
2682:P
2678:f
2672:P
2668:N
2664:g
2658:N
2654:M
2650:h
2645:Q
2641:P
2637:N
2633:M
2617:.
2614:S
2608:h
2605:,
2602:g
2599:,
2596:f
2585:h
2579:g
2573:f
2570:=
2567:)
2564:h
2558:g
2555:(
2549:f
2546:=
2543:h
2537:)
2534:g
2528:f
2525:(
2515:S
2507:M
2503:M
2499:S
2495:M
2479:.
2476:C
2473:,
2470:B
2467:,
2464:A
2453:}
2445:C
2439:B
2433:A
2430:=
2427:)
2424:C
2418:B
2415:(
2409:A
2406:=
2403:C
2397:)
2394:B
2388:A
2385:(
2377:C
2371:B
2365:A
2362:=
2359:)
2356:C
2350:B
2347:(
2341:A
2338:=
2335:C
2329:)
2326:B
2320:A
2317:(
2276:.
2272:Z
2265:z
2262:,
2259:y
2256:,
2253:x
2242:}
2234:)
2231:z
2228:,
2225:y
2222:,
2219:x
2216:(
2207:=
2204:)
2201:)
2198:z
2195:,
2192:y
2189:(
2180:,
2177:x
2174:(
2165:=
2162:)
2159:z
2156:,
2153:)
2150:y
2147:,
2144:x
2141:(
2132:(
2115:)
2112:z
2109:,
2106:y
2103:,
2100:x
2097:(
2088:=
2085:)
2082:)
2079:z
2076:,
2073:y
2070:(
2061:,
2058:x
2055:(
2046:=
2043:)
2040:z
2037:,
2034:)
2031:y
2028:,
2025:x
2022:(
2013:(
1963:y
1959:y
1955:x
1949:x
1945:y
1941:x
1922:.
1918:R
1911:z
1908:,
1905:y
1902:,
1899:x
1888:}
1870:z
1866:y
1862:x
1859:=
1856:)
1853:z
1849:y
1846:(
1843:x
1840:=
1837:z
1834:)
1831:y
1827:x
1824:(
1816:z
1813:+
1810:y
1807:+
1804:x
1801:=
1798:)
1795:z
1792:+
1789:y
1786:(
1783:+
1780:x
1777:=
1774:z
1771:+
1768:)
1765:y
1762:+
1759:x
1756:(
1666:)
1664:C
1660:B
1656:B
1652:A
1650:(
1645:C
1641:B
1637:A
1631:C
1627:B
1623:A
1621:(
1617:)
1615:C
1611:B
1607:A
1602:↔
1575:d
1572:c
1569:b
1566:a
1539:)
1536:d
1533:c
1530:(
1527:)
1524:b
1521:a
1518:(
1497:)
1494:)
1491:d
1488:c
1485:(
1482:b
1479:(
1476:a
1473:(
1452:)
1449:d
1446:)
1443:c
1440:b
1437:(
1434:(
1431:a
1410:d
1407:)
1404:)
1401:c
1398:b
1395:(
1392:a
1389:(
1368:d
1365:)
1362:c
1359:)
1356:b
1353:a
1350:(
1347:(
1324:5
1321:=
1316:3
1312:C
1297:n
1281:n
1277:C
1247:e
1243:d
1239:c
1237:,
1235:b
1231:a
1206:)
1203:x
1200:(
1197:)
1194:h
1188:)
1185:g
1179:f
1176:(
1173:(
1170:=
1167:)
1164:x
1161:(
1158:)
1155:)
1152:h
1146:g
1143:(
1137:f
1134:(
1122:.
1120:S
1106:z
1103:,
1100:y
1097:,
1094:x
1074:)
1071:z
1068:y
1065:(
1062:x
1059:=
1056:z
1053:)
1050:y
1047:x
1044:(
1019:S
1005:z
1002:,
999:y
996:,
993:x
973:)
970:z
964:y
961:(
955:x
952:=
949:z
943:)
940:y
934:x
931:(
910:S
878:.
876:S
871:S
869:×
867:S
865:×
863:S
855:S
850:S
848:×
846:S
844:×
842:S
833:S
774:a
770:b
766:b
762:a
727:=
724:4
718:)
715:3
709:2
706:(
703:=
696:)
693:4
687:3
684:(
678:2
670:9
667:=
664:)
661:4
658:+
655:3
652:(
649:+
646:2
643:=
636:4
633:+
630:)
627:3
624:+
621:2
618:(
531:,
528:)
525:R
519:)
516:Q
510:P
507:(
504:(
498:)
495:)
492:R
486:Q
483:(
477:P
474:(
453:)
450:R
444:)
441:Q
435:P
432:(
429:(
423:)
420:)
417:R
411:Q
408:(
402:P
399:(
373:S
367:z
364:,
361:y
358:,
355:x
349:)
346:z
338:y
335:(
327:x
324:=
321:z
313:)
310:y
302:x
299:(
216:)
213:z
207:y
204:(
198:x
195:=
192:z
186:)
183:y
177:x
174:(
145:)
139:(
134:)
130:(
120:·
113:·
106:·
99:·
72:.
49:.
42:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
.svg)