Knowledge

Associated graded ring

Source đź“ť

1558: 1787: 1654: 1287: 281: 2187: 131: 2040: 1141: 2099: 1225: 1174: 1087: 775: 331: 184: 1887: 987: 442: 388: 642: 1054: 809: 522: 480: 1853: 1665: 867: 582: 943: 907: 1267: 1020: 685: 734: 1553:{\displaystyle {I^{n}(M/N) \over I^{n+1}(M/N)}\simeq {I^{n}M+N \over I^{n+1}M+N}\simeq {I^{n}M \over I^{n}M\cap (I^{n+1}M+N)}={I^{n}M \over I^{n}M\cap N+I^{n+1}M}} 1573: 549: 1930: 1812: 2288:. Cambridge Studies in Advanced Mathematics. Vol. 8. Translated from the Japanese by M. Reid (Second ed.). Cambridge: Cambridge University Press. 192: 2104: 48: 1980: 1860: 2331: 2293: 2266: 1943: 1092: 2048: 1197: 1146: 1059: 747: 303: 156: 1828: 1866: 1782:{\displaystyle \operatorname {in} (N)=\bigoplus _{n=0}^{\infty }{I^{n}M\cap N+I^{n+1}M \over I^{n+1}M},} 952: 393: 339: 587: 1025: 780: 1834: 818: 1959: 912: 876: 489: 447: 1246: 999: 651: 1649:{\displaystyle \operatorname {gr} _{I}(M/N)=\operatorname {gr} _{I}M/\operatorname {in} (N)} 713: 2357: 2341: 2303: 2276: 2198: 687:. Multiplication of inhomogeneous elements is defined by using the distributive property. 554: 8: 990: 334: 32: 1183:
A ring inherits some "good" properties from its associated graded ring. For example, if
531: 1895: 1797: 25: 2327: 2289: 2262: 690:
A ring or module may be related to its associated graded ring or module through the
2254: 1947: 1940: 1936: 276:{\displaystyle \operatorname {gr} _{I}M=\bigoplus _{n=0}^{\infty }I^{n}M/I^{n+1}M} 2337: 2323: 2299: 2272: 1890: 1228: 1188: 2182:{\displaystyle \operatorname {gr} _{F}R=\bigoplus _{n=0}^{\infty }I_{n}/I_{n+1}} 126:{\displaystyle \operatorname {gr} _{I}R=\bigoplus _{n=0}^{\infty }I^{n}/I^{n+1}} 2246: 2258: 2351: 2315: 2311: 1967: 1958:
The associated graded can also be defined more generally for multiplicative
2253:. Graduate Texts in Mathematics. Vol. 150. New York: Springer-Verlag. 2203: 645: 1564: 150: 39: 17: 1191: 994: 989:. The initial form map is only a map of sets and generally not a 2189:. Multiplication and the initial form map are defined as above. 2035:{\displaystyle R=I_{0}\supset I_{1}\supset I_{2}\supset \dotsb } 1953: 1794:
submodule generated by the initial forms of the elements of
1176:
generated by the only initial forms of the generators of
2107: 2101:. The graded ring associated with this filtration is 2051: 1983: 1898: 1869: 1837: 1800: 1668: 1576: 1290: 1249: 1200: 1149: 1095: 1062: 1028: 1002: 955: 915: 879: 821: 783: 750: 716: 654: 590: 557: 534: 492: 450: 396: 342: 306: 195: 159: 51: 287: 2181: 2093: 2034: 1924: 1881: 1847: 1806: 1781: 1648: 1552: 1261: 1219: 1168: 1135: 1081: 1048: 1014: 981: 937: 901: 861: 803: 769: 728: 679: 636: 576: 543: 516: 474: 436: 382: 325: 275: 178: 125: 2349: 1143:. This may not be the same as the submodule of 2310: 2234: 1974:be a descending chain of ideals of the form 1954:Generalization to multiplicative filtrations 1130: 1096: 1136:{\displaystyle \{\mathrm {in} (f)|f\in N\}} 1238: 2283: 2094:{\displaystyle I_{j}I_{k}\subset I_{j+k}} 1889:is a polynomial ring; in fact, it is the 2245: 2237:, Ch. VIII, a paragraph after Theorem 1. 2222: 1567:), there is a canonical identification: 1220:{\displaystyle \operatorname {gr} _{I}R} 1169:{\displaystyle \operatorname {gr} _{I}M} 1082:{\displaystyle \operatorname {gr} _{I}M} 770:{\displaystyle \operatorname {gr} _{I}M} 326:{\displaystyle \operatorname {gr} _{I}R} 179:{\displaystyle \operatorname {gr} _{I}R} 333:is defined as follows: First, consider 2350: 1882:{\displaystyle \operatorname {gr} U} 1935:The associated graded algebra of a 1908: 1840: 13: 2143: 1703: 1103: 1100: 1056:is defined to be the submodule of 1033: 1030: 982:{\displaystyle \mathrm {in} (f)=0} 960: 957: 788: 785: 437:{\displaystyle b\in I^{j}/I^{j+1}} 383:{\displaystyle a\in I^{i}/I^{i+1}} 231: 87: 14: 2369: 873:is the maximum integer such that 637:{\displaystyle I^{i+j}/I^{i+j+1}} 1939:is an exterior algebra; i.e., a 1859:; it is filtered by degree. The 1049:{\displaystyle \mathrm {in} (N)} 804:{\displaystyle \mathrm {in} (f)} 288:Basic definitions and properties 1848:{\displaystyle {\mathfrak {g}}} 862:{\displaystyle I^{m}M/I^{m+1}M} 551:to be the equivalence class of 2228: 2216: 1919: 1902: 1861:Poincaré–Birkhoff–Witt theorem 1681: 1675: 1643: 1637: 1604: 1590: 1479: 1451: 1353: 1339: 1318: 1304: 1235:is itself an integral domain. 1117: 1113: 1107: 1043: 1037: 970: 964: 811:, is the equivalence class of 798: 792: 1: 2209: 2320:Commutative algebra. Vol. II 2284:Matsumura, Hideyuki (1989). 1829:universal enveloping algebra 1269:be left modules over a ring 7: 2192: 1818: 938:{\displaystyle f\in I^{m}M} 902:{\displaystyle f\in I^{m}M} 517:{\displaystyle b'\in I^{j}} 475:{\displaystyle a'\in I^{i}} 10: 2374: 1262:{\displaystyle N\subset M} 1015:{\displaystyle N\subset M} 2259:10.1007/978-1-4612-5350-1 2235:Zariski & Samuel 1975 1563:(the last equality is by 680:{\displaystyle I^{i+j+1}} 31:with respect to a proper 147:associated graded module 2286:Commutative ring theory 1239:gr of a quotient module 524:is a representative of 482:is a representative of 2183: 2147: 2095: 2036: 1960:descending filtrations 1926: 1883: 1849: 1808: 1783: 1707: 1650: 1554: 1263: 1221: 1170: 1137: 1083: 1050: 1016: 983: 939: 903: 863: 805: 771: 730: 729:{\displaystyle f\in M} 681: 638: 578: 545: 518: 476: 438: 384: 327: 277: 235: 180: 127: 91: 22:associated graded ring 2184: 2127: 2096: 2037: 1927: 1884: 1850: 1809: 1784: 1687: 1651: 1555: 1264: 1222: 1171: 1138: 1084: 1051: 1017: 984: 940: 904: 864: 806: 772: 731: 682: 639: 579: 546: 519: 477: 439: 385: 328: 278: 215: 181: 128: 71: 2322:, Berlin, New York: 2199:Graded (mathematics) 2105: 2049: 1981: 1896: 1867: 1835: 1798: 1666: 1574: 1288: 1247: 1198: 1147: 1093: 1060: 1026: 1000: 953: 913: 877: 819: 781: 748: 714: 652: 644:. Note that this is 588: 577:{\displaystyle a'b'} 555: 532: 490: 448: 394: 340: 335:homogeneous elements 304: 300:, multiplication in 193: 157: 49: 2251:Commutative Algebra 2179: 2091: 2032: 1922: 1879: 1845: 1804: 1779: 1646: 1550: 1259: 1217: 1166: 1133: 1079: 1046: 1012: 979: 935: 899: 859: 801: 767: 726: 677: 634: 574: 544:{\displaystyle ab} 541: 514: 472: 434: 380: 323: 273: 176: 145:-module, then the 123: 2333:978-0-387-90171-8 1925:{\displaystyle k} 1831:of a Lie algebra 1807:{\displaystyle N} 1774: 1548: 1483: 1412: 1357: 2365: 2344: 2307: 2280: 2238: 2232: 2226: 2220: 2188: 2186: 2185: 2180: 2178: 2177: 2162: 2157: 2156: 2146: 2141: 2117: 2116: 2100: 2098: 2097: 2092: 2090: 2089: 2071: 2070: 2061: 2060: 2041: 2039: 2038: 2033: 2025: 2024: 2012: 2011: 1999: 1998: 1948:exterior algebra 1941:Clifford algebra 1937:Clifford algebra 1931: 1929: 1928: 1923: 1918: 1917: 1912: 1911: 1888: 1886: 1885: 1880: 1854: 1852: 1851: 1846: 1844: 1843: 1813: 1811: 1810: 1805: 1788: 1786: 1785: 1780: 1775: 1773: 1769: 1768: 1752: 1748: 1747: 1720: 1719: 1709: 1706: 1701: 1655: 1653: 1652: 1647: 1630: 1619: 1618: 1600: 1586: 1585: 1559: 1557: 1556: 1551: 1549: 1547: 1543: 1542: 1515: 1514: 1504: 1500: 1499: 1489: 1484: 1482: 1469: 1468: 1444: 1443: 1433: 1429: 1428: 1418: 1413: 1411: 1401: 1400: 1384: 1374: 1373: 1363: 1358: 1356: 1349: 1338: 1337: 1321: 1314: 1303: 1302: 1292: 1268: 1266: 1265: 1260: 1226: 1224: 1223: 1218: 1210: 1209: 1175: 1173: 1172: 1167: 1159: 1158: 1142: 1140: 1139: 1134: 1120: 1106: 1088: 1086: 1085: 1080: 1072: 1071: 1055: 1053: 1052: 1047: 1036: 1021: 1019: 1018: 1013: 988: 986: 985: 980: 963: 944: 942: 941: 936: 931: 930: 908: 906: 905: 900: 895: 894: 868: 866: 865: 860: 855: 854: 839: 831: 830: 810: 808: 807: 802: 791: 776: 774: 773: 768: 760: 759: 735: 733: 732: 727: 692:initial form map 686: 684: 683: 678: 676: 675: 643: 641: 640: 635: 633: 632: 611: 606: 605: 583: 581: 580: 575: 573: 565: 550: 548: 547: 542: 523: 521: 520: 515: 513: 512: 500: 481: 479: 478: 473: 471: 470: 458: 443: 441: 440: 435: 433: 432: 417: 412: 411: 389: 387: 386: 381: 379: 378: 363: 358: 357: 332: 330: 329: 324: 316: 315: 282: 280: 279: 274: 269: 268: 253: 245: 244: 234: 229: 205: 204: 185: 183: 182: 177: 169: 168: 132: 130: 129: 124: 122: 121: 106: 101: 100: 90: 85: 61: 60: 2373: 2372: 2368: 2367: 2366: 2364: 2363: 2362: 2348: 2347: 2334: 2324:Springer-Verlag 2296: 2269: 2247:Eisenbud, David 2242: 2241: 2233: 2229: 2225:, Corollary 5.5 2221: 2217: 2212: 2195: 2167: 2163: 2158: 2152: 2148: 2142: 2131: 2112: 2108: 2106: 2103: 2102: 2079: 2075: 2066: 2062: 2056: 2052: 2050: 2047: 2046: 2020: 2016: 2007: 2003: 1994: 1990: 1982: 1979: 1978: 1956: 1913: 1907: 1906: 1905: 1897: 1894: 1893: 1891:coordinate ring 1868: 1865: 1864: 1839: 1838: 1836: 1833: 1832: 1821: 1799: 1796: 1795: 1758: 1754: 1753: 1737: 1733: 1715: 1711: 1710: 1708: 1702: 1691: 1667: 1664: 1663: 1626: 1614: 1610: 1596: 1581: 1577: 1575: 1572: 1571: 1532: 1528: 1510: 1506: 1505: 1495: 1491: 1490: 1488: 1458: 1454: 1439: 1435: 1434: 1424: 1420: 1419: 1417: 1390: 1386: 1385: 1369: 1365: 1364: 1362: 1345: 1327: 1323: 1322: 1310: 1298: 1294: 1293: 1291: 1289: 1286: 1285: 1248: 1245: 1244: 1241: 1229:integral domain 1205: 1201: 1199: 1196: 1195: 1154: 1150: 1148: 1145: 1144: 1116: 1099: 1094: 1091: 1090: 1067: 1063: 1061: 1058: 1057: 1029: 1027: 1024: 1023: 1001: 998: 997: 956: 954: 951: 950: 926: 922: 914: 911: 910: 890: 886: 878: 875: 874: 844: 840: 835: 826: 822: 820: 817: 816: 784: 782: 779: 778: 755: 751: 749: 746: 745: 715: 712: 711: 659: 655: 653: 650: 649: 616: 612: 607: 595: 591: 589: 586: 585: 566: 558: 556: 553: 552: 533: 530: 529: 508: 504: 493: 491: 488: 487: 466: 462: 451: 449: 446: 445: 422: 418: 413: 407: 403: 395: 392: 391: 368: 364: 359: 353: 349: 341: 338: 337: 311: 307: 305: 302: 301: 290: 258: 254: 249: 240: 236: 230: 219: 200: 196: 194: 191: 190: 164: 160: 158: 155: 154: 111: 107: 102: 96: 92: 86: 75: 56: 52: 50: 47: 46: 12: 11: 5: 2371: 2361: 2360: 2346: 2345: 2332: 2316:Samuel, Pierre 2312:Zariski, Oscar 2308: 2294: 2281: 2267: 2240: 2239: 2227: 2214: 2213: 2211: 2208: 2207: 2206: 2201: 2194: 2191: 2176: 2173: 2170: 2166: 2161: 2155: 2151: 2145: 2140: 2137: 2134: 2130: 2126: 2123: 2120: 2115: 2111: 2088: 2085: 2082: 2078: 2074: 2069: 2065: 2059: 2055: 2043: 2042: 2031: 2028: 2023: 2019: 2015: 2010: 2006: 2002: 1997: 1993: 1989: 1986: 1955: 1952: 1921: 1916: 1910: 1904: 1901: 1878: 1875: 1872: 1842: 1820: 1817: 1803: 1790: 1789: 1778: 1772: 1767: 1764: 1761: 1757: 1751: 1746: 1743: 1740: 1736: 1732: 1729: 1726: 1723: 1718: 1714: 1705: 1700: 1697: 1694: 1690: 1686: 1683: 1680: 1677: 1674: 1671: 1657: 1656: 1645: 1642: 1639: 1636: 1633: 1629: 1625: 1622: 1617: 1613: 1609: 1606: 1603: 1599: 1595: 1592: 1589: 1584: 1580: 1561: 1560: 1546: 1541: 1538: 1535: 1531: 1527: 1524: 1521: 1518: 1513: 1509: 1503: 1498: 1494: 1487: 1481: 1478: 1475: 1472: 1467: 1464: 1461: 1457: 1453: 1450: 1447: 1442: 1438: 1432: 1427: 1423: 1416: 1410: 1407: 1404: 1399: 1396: 1393: 1389: 1383: 1380: 1377: 1372: 1368: 1361: 1355: 1352: 1348: 1344: 1341: 1336: 1333: 1330: 1326: 1320: 1317: 1313: 1309: 1306: 1301: 1297: 1258: 1255: 1252: 1240: 1237: 1216: 1213: 1208: 1204: 1165: 1162: 1157: 1153: 1132: 1129: 1126: 1123: 1119: 1115: 1112: 1109: 1105: 1102: 1098: 1078: 1075: 1070: 1066: 1045: 1042: 1039: 1035: 1032: 1011: 1008: 1005: 978: 975: 972: 969: 966: 962: 959: 934: 929: 925: 921: 918: 898: 893: 889: 885: 882: 858: 853: 850: 847: 843: 838: 834: 829: 825: 800: 797: 794: 790: 787: 766: 763: 758: 754: 725: 722: 719: 674: 671: 668: 665: 662: 658: 631: 628: 625: 622: 619: 615: 610: 604: 601: 598: 594: 572: 569: 564: 561: 540: 537: 528:. Then define 511: 507: 503: 499: 496: 469: 465: 461: 457: 454: 431: 428: 425: 421: 416: 410: 406: 402: 399: 377: 374: 371: 367: 362: 356: 352: 348: 345: 322: 319: 314: 310: 289: 286: 285: 284: 272: 267: 264: 261: 257: 252: 248: 243: 239: 233: 228: 225: 222: 218: 214: 211: 208: 203: 199: 175: 172: 167: 163: 137:Similarly, if 135: 134: 120: 117: 114: 110: 105: 99: 95: 89: 84: 81: 78: 74: 70: 67: 64: 59: 55: 9: 6: 4: 3: 2: 2370: 2359: 2356: 2355: 2353: 2343: 2339: 2335: 2329: 2325: 2321: 2317: 2313: 2309: 2305: 2301: 2297: 2295:0-521-36764-6 2291: 2287: 2282: 2278: 2274: 2270: 2268:0-387-94268-8 2264: 2260: 2256: 2252: 2248: 2244: 2243: 2236: 2231: 2224: 2223:Eisenbud 1995 2219: 2215: 2205: 2202: 2200: 2197: 2196: 2190: 2174: 2171: 2168: 2164: 2159: 2153: 2149: 2138: 2135: 2132: 2128: 2124: 2121: 2118: 2113: 2109: 2086: 2083: 2080: 2076: 2072: 2067: 2063: 2057: 2053: 2029: 2026: 2021: 2017: 2013: 2008: 2004: 2000: 1995: 1991: 1987: 1984: 1977: 1976: 1975: 1973: 1969: 1968:filtered ring 1965: 1961: 1951: 1949: 1945: 1942: 1938: 1933: 1914: 1899: 1892: 1876: 1873: 1870: 1863:implies that 1862: 1858: 1855:over a field 1830: 1826: 1816: 1815: 1801: 1776: 1770: 1765: 1762: 1759: 1755: 1749: 1744: 1741: 1738: 1734: 1730: 1727: 1724: 1721: 1716: 1712: 1698: 1695: 1692: 1688: 1684: 1678: 1672: 1669: 1662: 1661: 1660: 1640: 1634: 1631: 1627: 1623: 1620: 1615: 1611: 1607: 1601: 1597: 1593: 1587: 1582: 1578: 1570: 1569: 1568: 1566: 1544: 1539: 1536: 1533: 1529: 1525: 1522: 1519: 1516: 1511: 1507: 1501: 1496: 1492: 1485: 1476: 1473: 1470: 1465: 1462: 1459: 1455: 1448: 1445: 1440: 1436: 1430: 1425: 1421: 1414: 1408: 1405: 1402: 1397: 1394: 1391: 1387: 1381: 1378: 1375: 1370: 1366: 1359: 1350: 1346: 1342: 1334: 1331: 1328: 1324: 1315: 1311: 1307: 1299: 1295: 1284: 1283: 1282: 1280: 1276: 1272: 1256: 1253: 1250: 1236: 1234: 1230: 1214: 1211: 1206: 1202: 1193: 1190: 1186: 1181: 1179: 1163: 1160: 1155: 1151: 1127: 1124: 1121: 1110: 1089:generated by 1076: 1073: 1068: 1064: 1040: 1009: 1006: 1003: 996: 992: 976: 973: 967: 948: 932: 927: 923: 919: 916: 896: 891: 887: 883: 880: 872: 856: 851: 848: 845: 841: 836: 832: 827: 823: 814: 795: 764: 761: 756: 752: 743: 739: 723: 720: 717: 709: 705: 701: 697: 693: 688: 672: 669: 666: 663: 660: 656: 647: 629: 626: 623: 620: 617: 613: 608: 602: 599: 596: 592: 570: 567: 562: 559: 538: 535: 527: 509: 505: 501: 497: 494: 485: 467: 463: 459: 455: 452: 429: 426: 423: 419: 414: 408: 404: 400: 397: 375: 372: 369: 365: 360: 354: 350: 346: 343: 336: 320: 317: 312: 308: 299: 295: 270: 265: 262: 259: 255: 250: 246: 241: 237: 226: 223: 220: 216: 212: 209: 206: 201: 197: 189: 188: 187: 173: 170: 165: 161: 152: 151:graded module 148: 144: 140: 118: 115: 112: 108: 103: 97: 93: 82: 79: 76: 72: 68: 65: 62: 57: 53: 45: 44: 43: 41: 37: 34: 30: 27: 23: 19: 2319: 2285: 2250: 2230: 2218: 2204:Rees algebra 2044: 1971: 1963: 1957: 1934: 1856: 1824: 1822: 1793: 1791: 1658: 1562: 1278: 1277:an ideal of 1274: 1270: 1242: 1232: 1184: 1182: 1177: 991:homomorphism 946: 870: 812: 741: 738:initial form 737: 707: 706:an ideal of 703: 702:-module and 699: 695: 691: 689: 646:well-defined 525: 483: 444:and suppose 297: 293: 291: 146: 142: 138: 136: 35: 28: 21: 15: 2358:Ring theory 1944:degenerates 1792:called the 1565:modular law 949:, then set 292:For a ring 40:graded ring 18:mathematics 2210:References 2045:such that 1966:(see also 1192:local ring 1189:noetherian 945:for every 777:, written 296:and ideal 141:is a left 2144:∞ 2129:⨁ 2119:⁡ 2073:⊂ 2030:⋯ 2027:⊃ 2014:⊃ 2001:⊃ 1915:∗ 1874:⁡ 1725:∩ 1704:∞ 1689:⨁ 1673:⁡ 1635:⁡ 1621:⁡ 1588:⁡ 1520:∩ 1449:∩ 1415:≃ 1360:≃ 1254:⊂ 1212:⁡ 1161:⁡ 1125:∈ 1074:⁡ 1007:⊂ 995:submodule 920:∈ 884:∈ 762:⁡ 721:∈ 502:∈ 460:∈ 401:∈ 347:∈ 318:⁡ 232:∞ 217:⨁ 207:⁡ 171:⁡ 88:∞ 73:⨁ 63:⁡ 2352:Category 2318:(1975), 2249:(1995). 2193:See also 1819:Examples 1281:. Since 993:. For a 710:. Given 571:′ 563:′ 498:′ 456:′ 2342:0389876 2304:1011461 2277:1322960 1970:.) Let 1827:be the 1231:, then 648:modulo 149:is the 38:is the 2340:  2330:  2302:  2292:  2275:  2265:  1946:to an 1659:where 1227:is an 1194:, and 869:where 736:, the 698:be an 694:. Let 20:, the 1187:is a 909:. If 153:over 33:ideal 24:of a 2328:ISBN 2290:ISBN 2263:ISBN 1823:Let 1273:and 1243:Let 486:and 390:and 26:ring 2255:doi 1962:of 815:in 744:in 740:of 584:in 16:In 2354:: 2338:MR 2336:, 2326:, 2314:; 2300:MR 2298:. 2273:MR 2271:. 2261:. 2110:gr 1950:. 1932:. 1871:gr 1670:in 1632:in 1612:gr 1579:gr 1203:gr 1180:. 1152:gr 1065:gr 1022:, 753:gr 309:gr 198:gr 186:: 162:gr 54:gr 42:: 2306:. 2279:. 2257:: 2175:1 2172:+ 2169:n 2165:I 2160:/ 2154:n 2150:I 2139:0 2136:= 2133:n 2125:= 2122:R 2114:F 2087:k 2084:+ 2081:j 2077:I 2068:k 2064:I 2058:j 2054:I 2022:2 2018:I 2009:1 2005:I 1996:0 1992:I 1988:= 1985:R 1972:F 1964:R 1920:] 1909:g 1903:[ 1900:k 1877:U 1857:k 1841:g 1825:U 1814:. 1802:N 1777:, 1771:M 1766:1 1763:+ 1760:n 1756:I 1750:M 1745:1 1742:+ 1739:n 1735:I 1731:+ 1728:N 1722:M 1717:n 1713:I 1699:0 1696:= 1693:n 1685:= 1682:) 1679:N 1676:( 1644:) 1641:N 1638:( 1628:/ 1624:M 1616:I 1608:= 1605:) 1602:N 1598:/ 1594:M 1591:( 1583:I 1545:M 1540:1 1537:+ 1534:n 1530:I 1526:+ 1523:N 1517:M 1512:n 1508:I 1502:M 1497:n 1493:I 1486:= 1480:) 1477:N 1474:+ 1471:M 1466:1 1463:+ 1460:n 1456:I 1452:( 1446:M 1441:n 1437:I 1431:M 1426:n 1422:I 1409:N 1406:+ 1403:M 1398:1 1395:+ 1392:n 1388:I 1382:N 1379:+ 1376:M 1371:n 1367:I 1354:) 1351:N 1347:/ 1343:M 1340:( 1335:1 1332:+ 1329:n 1325:I 1319:) 1316:N 1312:/ 1308:M 1305:( 1300:n 1296:I 1279:R 1275:I 1271:R 1257:M 1251:N 1233:R 1215:R 1207:I 1185:R 1178:N 1164:M 1156:I 1131:} 1128:N 1122:f 1118:| 1114:) 1111:f 1108:( 1104:n 1101:i 1097:{ 1077:M 1069:I 1044:) 1041:N 1038:( 1034:n 1031:i 1010:M 1004:N 977:0 974:= 971:) 968:f 965:( 961:n 958:i 947:m 933:M 928:m 924:I 917:f 897:M 892:m 888:I 881:f 871:m 857:M 852:1 849:+ 846:m 842:I 837:/ 833:M 828:m 824:I 813:f 799:) 796:f 793:( 789:n 786:i 765:M 757:I 742:f 724:M 718:f 708:R 704:I 700:R 696:M 673:1 670:+ 667:j 664:+ 661:i 657:I 630:1 627:+ 624:j 621:+ 618:i 614:I 609:/ 603:j 600:+ 597:i 593:I 568:b 560:a 539:b 536:a 526:b 510:j 506:I 495:b 484:a 468:i 464:I 453:a 430:1 427:+ 424:j 420:I 415:/ 409:j 405:I 398:b 376:1 373:+ 370:i 366:I 361:/ 355:i 351:I 344:a 321:R 313:I 298:I 294:R 283:. 271:M 266:1 263:+ 260:n 256:I 251:/ 247:M 242:n 238:I 227:0 224:= 221:n 213:= 210:M 202:I 174:R 166:I 143:R 139:M 133:. 119:1 116:+ 113:n 109:I 104:/ 98:n 94:I 83:0 80:= 77:n 69:= 66:R 58:I 36:I 29:R

Index

mathematics
ring
ideal
graded ring
graded module
homogeneous elements
well-defined
homomorphism
submodule
noetherian
local ring
integral domain
modular law
universal enveloping algebra
Poincaré–Birkhoff–Witt theorem
coordinate ring
Clifford algebra
Clifford algebra
degenerates
exterior algebra
descending filtrations
filtered ring
Graded (mathematics)
Rees algebra
Eisenbud 1995
Zariski & Samuel 1975
Eisenbud, David
doi
10.1007/978-1-4612-5350-1
ISBN

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

↑