296:
286:
265:
377:
234:
203:
811:. This discussion is clearly from Liboff, I have a copy and I have located the subject matter in the text, but my copy is the 2nd edition, not the 4th edition listed in the References section of the article. Would someone who has access to the 4th edition please update the page number of the reference? —
903:
In the first section under Group Theory, it is stated that "Note that one must consider the subgroup generated by the set of commutators because in general the set of commutators is not closed under the group operation." Why does closure not exist? The operation is a binary operation, the elements
876:
The section on ring identities is strange and confusing, in that it launches straight into Lie algebra identities, without developing any other results first. Where are the finite rings? Why jump straight to algebras? Maybe this section needs a new heading? Perhaps more identities can be found
1102:, is either (a) completely wrong, or at very best (b) out of place and with missing assumptions. As to why it's considered acceptable to remove a flag for attention without getting due clarification first, I'm completely in the dark.
1037:
The third property is redundant because and = 0 imply it. This is according to
Abraham and Marsden's Foundations of Mechanics. Should we get rid of property 2 or 3, or put it in under the commutator identities?
153:
997:
is closed under inverses, for = , and so the inverse of any commutator is again a commutator. However, in general the product of two commutators need not be a commutator. The canonical example is the
352:
698:
1063:) is either plain wrong and inconsistent with, say, the initial identity under Additional Identities (i.e. = A+B) or it requires a much better explanation of why and when it holds.
194:
904:
chosen come from the group. And in fact, it is a group we are talking about from which commutators are being generated. By definition of a group, we should have closure.
147:
621:
596:
531:
506:
571:
551:
481:
461:
1080:
I don't know what you are referring to. The identity = A + B is nowhere in the article, but = C + B and = A + B are in the article, and both are correct.—
1157:
342:
79:
1152:
318:
734:) is a derivation, which has both the usual algebra structure of composition, and a Lie algebra structure induced from the former. Of course
85:
884:
857:
760:
I suggest that we add a brief section or one-liner about the anticommutator: {A,B} := AB + BA since this notation is not mentioned in the
905:
44:
309:
270:
808:
99:
30:
104:
20:
74:
168:
788:
245:
135:
420:
65:
1124:
You were right about number 5. Thank you for pointing this out. Number 6 was also incorrect. I have removed them.—
202:
185:
390:
190:
399:
213:
1045:
888:
861:
746:) may be unambiguous mathematically, but I feel that in this context it's best to avoid confusion if possible.
233:
784:
640:
909:
129:
109:
1041:
938:
if and only if it is closed under inverses and products, i.e., if the following two statements are true:
804:
251:
295:
125:
880:
853:
847:
803:
In the Ring theory section, mention is made of the connection between the commutator, the
Heisenberg
1129:
1103:
1085:
1066:
831:
816:
533:
are the matrices of the same two operators (in the same order) with respect to another basis, then
161:
55:
1018:
317:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
175:
1107:
1070:
624:
405:
301:
218:
70:
285:
264:
1022:
761:
51:
730:)^3(y) = ]]", since there are a lot of different algebras floating around. In particular, ad(
769:
401:
376:
215:
141:
1125:
1081:
919:
The problem is that in general the product of two commutators need not be a commutator.
827:
812:
780:
601:
576:
511:
486:
439:
In linear algebra, if two matrices commute in one basis they will commute in any basis.
556:
536:
466:
446:
1146:
747:
700:. As I see no reason to depart from the standard, I changed the relevant paragraph.
765:
701:
314:
926:
be a group under a given binary operation ∗. By definition, a non-empty subset
998:
291:
24:
826:
Nevermind. I just looked up a copy in the library and fixed this myself. —
783:
redirects here). I made a quick start, feel free to flesh it out a bit. --
483:
are the matrices of two linear operators with respect to one basis, and
403:
217:
1133:
1111:
1089:
1074:
1049:
1026:
913:
892:
865:
835:
820:
792:
773:
750:
704:
627:
406:
370:
227:
219:
15:
1099:
1060:
1100:
https://en.wikipedia.org/Commutator#Lie-algebra_identities
1061:
https://en.wikipedia.org/Commutator#Lie-algebra_identities
1017:}. Here the element cannot be written as a commutator. –
764:
article and comes up a lot (at least in physics). Cheers
623:
do. However, the statement as it stands is meaningless.
644:
160:
643:
637:
The standard mathematical notation for commutator is
604:
579:
559:
539:
514:
489:
469:
449:
313:, a collaborative effort to improve the coverage of
692:
615:
590:
565:
545:
525:
500:
475:
455:
726:I think it's misleading to use the notation "ad(
33:for general discussion of the article's subject.
1098:The identity =A+B, currently numbered no. 5 at
1059:Property no. 4 in the Lie Algebra identities (
738:lives in a Lie algebra, where something like
414:This page has archives. Sections older than
174:
8:
231:
878:
851:
799:Reference needed for uncertainty principle
259:
989:be the set of commutators of elements of
645:
642:
603:
578:
558:
538:
513:
488:
468:
448:
693:{\displaystyle \scriptstyle {ad(x)(y)=}}
443:It seems to be trying to mean that, if
424:when more than 10 sections are present.
261:
756:Brief section about the anticommutator
7:
307:This article is within the scope of
742:^3 is not defined. I admit that ad(
250:It is of interest to the following
23:for discussing improvements to the
1033:Ring Theory Lie Algebra Identities
14:
1158:Mid-priority mathematics articles
945:with respect to ∗ of any element
418:may be automatically archived by
327:Knowledge:WikiProject Mathematics
1153:Start-Class mathematics articles
375:
330:Template:WikiProject Mathematics
294:
284:
263:
232:
201:
45:Click here to start a new topic.
435:What does this statement mean?
347:This article has been rated as
1027:18:28, 16 September 2017 (UTC)
914:22:46, 15 September 2017 (UTC)
809:Robertson-Schrödinger relation
685:
673:
667:
661:
658:
652:
1:
793:17:34, 10 November 2008 (UTC)
321:and see a list of open tasks.
42:Put new text under old text.
1050:05:18, 18 January 2018 (UTC)
705:10:02, 25 January 2007 (UTC)
628:21:18, 10 October 2006 (UTC)
1134:21:23, 20 August 2018 (UTC)
1112:18:03, 20 August 2018 (UTC)
1090:00:22, 19 August 2018 (UTC)
1075:21:07, 18 August 2018 (UTC)
1001:over the four-element set {
774:22:50, 5 October 2008 (UTC)
50:New to Knowledge? Welcome!
1174:
821:05:13, 25 March 2012 (UTC)
893:05:00, 1 March 2016 (UTC)
866:04:56, 1 March 2016 (UTC)
836:04:51, 27 July 2012 (UTC)
779:Agreed (especially since
751:07:46, 28 June 2007 (UTC)
346:
279:
258:
80:Be welcoming to newcomers
353:project's priority scale
970:of any two elements of
573:commute if and only if
310:WikiProject Mathematics
1055:Lie-Algebra identities
694:
617:
592:
567:
547:
527:
502:
477:
457:
441:
421:Lowercase sigmabot III
240:This article is rated
75:avoid personal attacks
805:uncertainty principle
695:
618:
593:
568:
548:
528:
503:
478:
458:
437:
195:Auto-archiving period
100:Neutral point of view
641:
602:
577:
557:
537:
512:
487:
467:
447:
333:mathematics articles
105:No original research
877:for these cases?
785:Strange but untrue
690:
689:
616:{\displaystyle B'}
613:
591:{\displaystyle A'}
588:
563:
543:
526:{\displaystyle B'}
523:
501:{\displaystyle A'}
498:
473:
453:
302:Mathematics portal
246:content assessment
86:dispute resolution
47:
993:. This subset of
934:is a subgroup of
895:
883:comment added by
868:
856:comment added by
762:anticommutativity
633:Standard notation
566:{\displaystyle B}
546:{\displaystyle A}
476:{\displaystyle B}
456:{\displaystyle A}
431:Matrices in bases
428:
427:
367:
366:
363:
362:
359:
358:
226:
225:
66:Assume good faith
43:
1165:
850:redirect here?
710:notation for ad(
699:
697:
696:
691:
688:
622:
620:
619:
614:
612:
597:
595:
594:
589:
587:
572:
570:
569:
564:
552:
550:
549:
544:
532:
530:
529:
524:
522:
507:
505:
504:
499:
497:
482:
480:
479:
474:
462:
460:
459:
454:
423:
407:
379:
371:
335:
334:
331:
328:
325:
304:
299:
298:
288:
281:
280:
275:
267:
260:
243:
237:
236:
228:
220:
206:
205:
196:
179:
178:
164:
95:Article policies
16:
1173:
1172:
1168:
1167:
1166:
1164:
1163:
1162:
1143:
1142:
1057:
1042:MichalKononenko
1035:
901:
874:
872:Ring identities
848:Ring commutator
844:
842:Ring commutator
801:
758:
724:
639:
638:
635:
605:
600:
599:
580:
575:
574:
555:
554:
535:
534:
515:
510:
509:
490:
485:
484:
465:
464:
445:
444:
433:
419:
408:
402:
384:
332:
329:
326:
323:
322:
300:
293:
273:
244:on Knowledge's
241:
222:
221:
216:
193:
121:
116:
115:
114:
91:
61:
12:
11:
5:
1171:
1169:
1161:
1160:
1155:
1145:
1144:
1141:
1140:
1139:
1138:
1137:
1136:
1117:
1116:
1115:
1114:
1093:
1092:
1056:
1053:
1034:
1031:
1030:
1029:
983:
982:
981:
960:
920:
900:
897:
885:70.247.173.205
873:
870:
858:70.247.173.205
843:
840:
839:
838:
800:
797:
796:
795:
781:anticommutator
757:
754:
723:
708:
687:
684:
681:
678:
675:
672:
669:
666:
663:
660:
657:
654:
651:
648:
634:
631:
611:
608:
586:
583:
562:
542:
521:
518:
496:
493:
472:
452:
432:
429:
426:
425:
413:
410:
409:
404:
400:
398:
395:
394:
386:
385:
380:
374:
365:
364:
361:
360:
357:
356:
345:
339:
338:
336:
319:the discussion
306:
305:
289:
277:
276:
268:
256:
255:
249:
238:
224:
223:
214:
212:
211:
208:
207:
181:
180:
118:
117:
113:
112:
107:
102:
93:
92:
90:
89:
82:
77:
68:
62:
60:
59:
48:
39:
38:
35:
34:
28:
13:
10:
9:
6:
4:
3:
2:
1170:
1159:
1156:
1154:
1151:
1150:
1148:
1135:
1131:
1127:
1123:
1122:
1121:
1120:
1119:
1118:
1113:
1109:
1105:
1101:
1097:
1096:
1095:
1094:
1091:
1087:
1083:
1079:
1078:
1077:
1076:
1072:
1068:
1064:
1062:
1054:
1052:
1051:
1047:
1043:
1039:
1032:
1028:
1024:
1020:
1016:
1012:
1008:
1004:
1000:
996:
992:
988:
984:
979:
978:
973:
969:
965:
961:
958:
957:
952:
948:
944:
940:
939:
937:
933:
929:
925:
921:
918:
917:
916:
915:
911:
907:
906:50.35.103.217
898:
896:
894:
890:
886:
882:
871:
869:
867:
863:
859:
855:
849:
841:
837:
833:
829:
825:
824:
823:
822:
818:
814:
810:
806:
798:
794:
790:
786:
782:
778:
777:
776:
775:
771:
767:
763:
755:
753:
752:
749:
745:
741:
737:
733:
729:
721:
717:
713:
709:
707:
706:
703:
682:
679:
676:
670:
664:
655:
649:
646:
632:
630:
629:
626:
609:
606:
584:
581:
560:
540:
519:
516:
494:
491:
470:
450:
440:
436:
430:
422:
417:
412:
411:
397:
396:
393:
392:
388:
387:
383:
378:
373:
372:
369:
354:
350:
344:
341:
340:
337:
320:
316:
312:
311:
303:
297:
292:
290:
287:
283:
282:
278:
272:
269:
266:
262:
257:
253:
247:
239:
235:
230:
229:
210:
209:
204:
200:
192:
189:
187:
183:
182:
177:
173:
170:
167:
163:
159:
155:
152:
149:
146:
143:
140:
137:
134:
131:
127:
124:
123:Find sources:
120:
119:
111:
110:Verifiability
108:
106:
103:
101:
98:
97:
96:
87:
83:
81:
78:
76:
72:
69:
67:
64:
63:
57:
53:
52:Learn to edit
49:
46:
41:
40:
37:
36:
32:
26:
22:
18:
17:
1065:
1058:
1040:
1036:
1014:
1010:
1006:
1002:
994:
990:
986:
976:
975:is again in
974:
971:
967:
963:
962:The product
955:
954:is again in
953:
950:
946:
942:
941:The inverse
935:
931:
927:
923:
902:
899:Non-closure?
879:— Preceding
875:
852:— Preceding
845:
802:
759:
743:
739:
735:
731:
727:
725:
719:
715:
711:
636:
442:
438:
434:
415:
389:
381:
368:
349:Mid-priority
348:
308:
274:Mid‑priority
252:WikiProjects
198:
184:
171:
165:
157:
150:
144:
138:
132:
122:
94:
19:This is the
930:of a group
324:Mathematics
315:mathematics
271:Mathematics
242:Start-class
148:free images
31:not a forum
1147:Categories
999:free group
25:Commutator
1126:Anita5192
1082:Anita5192
828:Anita5192
813:Anita5192
88:if needed
71:Be polite
21:talk page
1104:Episanty
1067:Episanty
985:Now let
881:unsigned
854:unsigned
807:and the
748:Tesseran
416:365 days
382:Archives
199:365 days
186:Archives
56:get help
29:This is
27:article.
1019:Tea2min
846:Should
351:on the
154:WP refs
142:scholar
766:A13ean
702:AlainD
625:JadeNB
248:scale.
126:Google
169:JSTOR
130:books
84:Seek
1130:talk
1108:talk
1086:talk
1071:talk
1046:talk
1023:talk
922:Let
910:talk
889:talk
862:talk
832:talk
817:talk
789:talk
770:talk
714:)ad(
598:and
553:and
508:and
463:and
162:FENS
136:news
73:and
949:of
343:Mid
176:TWL
1149::
1132:)
1110:)
1088:)
1073:)
1048:)
1025:)
1013:,
1009:,
1005:,
912:)
891:)
864:)
834:)
819:)
791:)
772:)
718:)(
197::
156:)
54:;
1128:(
1106:(
1084:(
1069:(
1044:(
1021:(
1015:d
1011:c
1007:b
1003:a
995:G
991:G
987:H
980:.
977:H
972:H
968:b
966:∗
964:a
959:.
956:H
951:H
947:a
943:a
936:G
932:G
928:H
924:G
908:(
887:(
860:(
830:(
815:(
787:(
768:(
744:x
740:y
736:y
732:x
728:x
722:)
720:y
716:x
712:x
686:]
683:y
680:,
677:x
674:[
671:=
668:)
665:y
662:(
659:)
656:x
653:(
650:d
647:a
610:′
607:B
585:′
582:A
561:B
541:A
520:′
517:B
495:′
492:A
471:B
451:A
391:1
355:.
254::
191:1
188::
172:·
166:·
158:·
151:·
145:·
139:·
133:·
128:(
58:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.