838:
973:
584:
300:
833:{\displaystyle \operatorname {Alt} (3)\cong <\operatorname {E} _{2}(\mathbb {Z} /2\mathbb {Z} )=\operatorname {SL} _{2}(\mathbb {Z} /2\mathbb {Z} )=\operatorname {GL} _{2}(\mathbb {Z} /2\mathbb {Z} )\cong \operatorname {Sym} (3),}
106:
573:
125:
501:
342:
385:
405:
362:
1048:
1014:
48:
19:
525:
1038:
944:
295:{\displaystyle {\begin{bmatrix}u&0\\0&u^{-1}\end{bmatrix}}=e_{21}(u^{-1})e_{12}(1-u)e_{21}(-1)e_{12}(1-u^{-1}).}
415:
932:
895:
1007:
432:
1033:
508:
1053:
1000:
980:
860:
39:
516:
423:
419:
116:
512:
35:
936:
926:
308:
1043:
940:
844:
984:
950:
907:
31:
903:
954:
911:
899:
848:
112:
367:
390:
347:
1027:
411:
887:
410:
The name "Whitehead's lemma" also refers to the closely related result that the
928:
Explicit Brauer
Induction: With Applications to Algebra and Number Theory
972:
101:{\displaystyle {\begin{bmatrix}u&0\\0&u^{-1}\end{bmatrix}}}
568:{\displaystyle \operatorname {GL} (2,\mathbb {Z} /2\mathbb {Z} )}
894:. Annals of Mathematics Studies. Vol. 72. Princeton, NJ:
931:. Cambridge Studies in Advanced Mathematics. Vol. 40.
515:, but not in general for the unstable groups, even over a
861:
Special linear group#Relations to other subgroups of GL(
988:
134:
57:
587:
528:
435:
393:
370:
350:
311:
128:
51:
832:
567:
495:
399:
379:
356:
336:
294:
100:
1008:
8:
344:indicates a matrix whose diagonal block is
1015:
1001:
802:
801:
793:
789:
788:
776:
762:
761:
753:
749:
748:
736:
722:
721:
713:
709:
708:
696:
679:
678:
670:
666:
665:
653:
639:
638:
630:
626:
625:
613:
586:
558:
557:
549:
545:
544:
527:
434:
392:
369:
349:
316:
310:
277:
258:
236:
211:
195:
182:
158:
129:
127:
81:
52:
50:
879:
496:{\displaystyle \operatorname {E} (A)=}
511:of matrices of finite size) over any
507:This holds for the stable group (the
7:
969:
967:
843:where Alt(3) and Sym(3) denote the
987:. You can help Knowledge (XXG) by
892:Introduction to algebraic K-theory
693:
436:
14:
18:For a lemma on Lie algebras, see
971:
20:Whitehead's lemma (Lie algebras)
824:
818:
806:
785:
766:
745:
726:
705:
686:
683:
662:
643:
622:
606:
600:
594:
562:
535:
490:
487:
481:
469:
463:
454:
448:
442:
331:
325:
286:
264:
251:
242:
229:
217:
204:
188:
1:
1049:Theorems in abstract algebra
416:stable general linear group
1070:
966:
933:Cambridge University Press
896:Princeton University Press
119:(that is, transvections):
117:elementary transformations
17:
337:{\displaystyle e_{ij}(s)}
30:is a technical result in
1039:Lemmas in linear algebra
925:Snaith, V. P. (1994).
834:
569:
497:
401:
381:
358:
338:
296:
102:
835:
570:
498:
402:
382:
359:
339:
297:
111:is equivalent to the
103:
888:Milnor, John Willard
585:
526:
519:. For instance for
433:
391:
368:
348:
309:
126:
49:
38:. It states that a
979:This article about
424:elementary matrices
830:
565:
493:
397:
380:{\displaystyle ij}
377:
354:
334:
292:
169:
98:
92:
36:algebraic K-theory
996:
995:
400:{\displaystyle s}
357:{\displaystyle 1}
28:Whitehead's lemma
1061:
1017:
1010:
1003:
975:
968:
959:
958:
922:
916:
915:
884:
839:
837:
836:
831:
805:
797:
792:
781:
780:
765:
757:
752:
741:
740:
725:
717:
712:
701:
700:
682:
674:
669:
658:
657:
642:
634:
629:
618:
617:
574:
572:
571:
566:
561:
553:
548:
502:
500:
499:
494:
406:
404:
403:
398:
386:
384:
383:
378:
363:
361:
360:
355:
343:
341:
340:
335:
324:
323:
301:
299:
298:
293:
285:
284:
263:
262:
241:
240:
216:
215:
203:
202:
187:
186:
174:
173:
166:
165:
107:
105:
104:
99:
97:
96:
89:
88:
32:abstract algebra
1069:
1068:
1064:
1063:
1062:
1060:
1059:
1058:
1024:
1023:
1022:
1021:
964:
962:
947:
924:
923:
919:
898:. Section 3.1.
886:
885:
881:
877:
857:
849:symmetric group
772:
732:
692:
649:
609:
583:
582:
524:
523:
431:
430:
426:. In symbols,
389:
388:
366:
365:
346:
345:
312:
307:
306:
273:
254:
232:
207:
191:
178:
168:
167:
154:
152:
146:
145:
140:
130:
124:
123:
113:identity matrix
91:
90:
77:
75:
69:
68:
63:
53:
47:
46:
23:
12:
11:
5:
1067:
1065:
1057:
1056:
1051:
1046:
1041:
1036:
1026:
1025:
1020:
1019:
1012:
1005:
997:
994:
993:
976:
961:
960:
945:
917:
878:
876:
873:
872:
871:
856:
853:
851:on 3 letters.
841:
840:
829:
826:
823:
820:
817:
814:
811:
808:
804:
800:
796:
791:
787:
784:
779:
775:
771:
768:
764:
760:
756:
751:
747:
744:
739:
735:
731:
728:
724:
720:
716:
711:
707:
704:
699:
695:
691:
688:
685:
681:
677:
673:
668:
664:
661:
656:
652:
648:
645:
641:
637:
633:
628:
624:
621:
616:
612:
608:
605:
602:
599:
596:
593:
590:
576:
575:
564:
560:
556:
552:
547:
543:
540:
537:
534:
531:
505:
504:
492:
489:
486:
483:
480:
477:
474:
471:
468:
465:
462:
459:
456:
453:
450:
447:
444:
441:
438:
396:
376:
373:
353:
333:
330:
327:
322:
319:
315:
303:
302:
291:
288:
283:
280:
276:
272:
269:
266:
261:
257:
253:
250:
247:
244:
239:
235:
231:
228:
225:
222:
219:
214:
210:
206:
201:
198:
194:
190:
185:
181:
177:
172:
164:
161:
157:
153:
151:
148:
147:
144:
141:
139:
136:
135:
133:
109:
108:
95:
87:
84:
80:
76:
74:
71:
70:
67:
64:
62:
59:
58:
56:
25:
24:
13:
10:
9:
6:
4:
3:
2:
1066:
1055:
1052:
1050:
1047:
1045:
1042:
1040:
1037:
1035:
1034:Matrix theory
1032:
1031:
1029:
1018:
1013:
1011:
1006:
1004:
999:
998:
992:
990:
986:
982:
977:
974:
970:
965:
956:
952:
948:
946:0-521-46015-8
942:
938:
934:
930:
929:
921:
918:
913:
909:
905:
901:
897:
893:
889:
883:
880:
874:
870:
868:
864:
859:
858:
854:
852:
850:
846:
827:
821:
815:
812:
809:
798:
794:
782:
777:
773:
769:
758:
754:
742:
737:
733:
729:
718:
714:
702:
697:
689:
675:
671:
659:
654:
650:
646:
635:
631:
619:
614:
610:
603:
597:
591:
588:
581:
580:
579:
554:
550:
541:
538:
532:
529:
522:
521:
520:
518:
514:
510:
484:
478:
475:
472:
466:
460:
457:
451:
445:
439:
429:
428:
427:
425:
422:generated by
421:
417:
413:
412:derived group
408:
394:
387:-th entry is
374:
371:
351:
328:
320:
317:
313:
289:
281:
278:
274:
270:
267:
259:
255:
248:
245:
237:
233:
226:
223:
220:
212:
208:
199:
196:
192:
183:
179:
175:
170:
162:
159:
155:
149:
142:
137:
131:
122:
121:
120:
118:
114:
93:
85:
82:
78:
72:
65:
60:
54:
45:
44:
43:
42:of the form
41:
37:
33:
29:
21:
16:
15:
1054:Matrix stubs
989:expanding it
978:
963:
927:
920:
891:
882:
866:
862:
842:
577:
509:direct limit
506:
409:
304:
110:
27:
26:
845:alternating
1028:Categories
955:0991.20005
935:. p.
912:0237.18005
875:References
816:
810:≅
783:
743:
703:
660:
620:
604:≅
592:
578:one has:
533:
479:
461:
440:
279:−
271:−
246:−
224:−
197:−
160:−
83:−
1044:K-theory
981:matrices
890:(1971).
855:See also
34:used in
904:0349811
418:is the
414:of the
953:
943:
910:
902:
847:resp.
305:Here,
40:matrix
983:is a
517:field
420:group
985:stub
941:ISBN
690:<
513:ring
364:and
951:Zbl
937:164
908:Zbl
813:Sym
589:Alt
115:by
1030::
949:.
939:.
906:.
900:MR
865:,
774:GL
734:SL
651:GL
611:GL
530:GL
476:GL
458:GL
407:.
260:12
238:21
213:12
184:21
1016:e
1009:t
1002:v
991:.
957:.
914:.
869:)
867:A
863:n
828:,
825:)
822:3
819:(
807:)
803:Z
799:2
795:/
790:Z
786:(
778:2
770:=
767:)
763:Z
759:2
755:/
750:Z
746:(
738:2
730:=
727:)
723:Z
719:2
715:/
710:Z
706:(
698:2
694:E
687:]
684:)
680:Z
676:2
672:/
667:Z
663:(
655:2
647:,
644:)
640:Z
636:2
632:/
627:Z
623:(
615:2
607:[
601:)
598:3
595:(
563:)
559:Z
555:2
551:/
546:Z
542:,
539:2
536:(
503:.
491:]
488:)
485:A
482:(
473:,
470:)
467:A
464:(
455:[
452:=
449:)
446:A
443:(
437:E
395:s
375:j
372:i
352:1
332:)
329:s
326:(
321:j
318:i
314:e
290:.
287:)
282:1
275:u
268:1
265:(
256:e
252:)
249:1
243:(
234:e
230:)
227:u
221:1
218:(
209:e
205:)
200:1
193:u
189:(
180:e
176:=
171:]
163:1
156:u
150:0
143:0
138:u
132:[
94:]
86:1
79:u
73:0
66:0
61:u
55:[
22:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.