Knowledge (XXG)

Hilbert–Poincaré series

Source 📝

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

Index

Hilbert series and Hilbert polynomial

verification
improve this article
adding citations to reliable sources
"Hilbert–Poincaré series"
news
newspapers
books
scholar
JSTOR
Learn how and when to remove this message
mathematics
algebra
Hilbert series
David Hilbert
Henri Poincaré
dimension
graded
formal power series
Hilbert polynomial
rational function
graded vector space
formal power series
commutative ring
free
rational function
Artinian ring
Hilbert's syzygy theorem
projective resolution

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