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