Knowledge (XXG)

Whitehead's lemma

Source 📝

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:.

Index

Whitehead's lemma (Lie algebras)
abstract algebra
algebraic K-theory
matrix
identity matrix
elementary transformations
derived group
stable general linear group
group
elementary matrices
direct limit
ring
field
alternating
symmetric group
Special linear group#Relations to other subgroups of GL(n, A)
Milnor, John Willard
Princeton University Press
MR
0349811
Zbl
0237.18005
Explicit Brauer Induction: With Applications to Algebra and Number Theory
Cambridge University Press
164
ISBN
0-521-46015-8
Zbl
0991.20005
Stub icon

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.