Đại số, X, p. 182
Cho A là một vành địa phương Noether, m là iđêan cực đại của nó, k=A/m. Cho P là một giải xạ ảnh cực tiểu của A-môđun k; với n⩾0, ký hiệu bn là hạng của A-môđun tự do Pn. (a) Chứng minh rằng ta có b0=1 và rằng b1=dimk(m/m2) là số cực tiểu các phần tử sinh của m. (b) Nếu A giao hoán, ta có b2⩾21b1(b1−1) (xét dãy khớp P2→mP1→m2→0). (c) Giả sử rằng vành A là Artin (không nhất thiết giao hoán). Chứng minh bất đẳng thức b2⩾41b12 (gọi Mt là môđun con của P2 tạo bởi các phần tử x sao cho d2(x)∈mtP1; chứng minh rằng ta có
mtP2⊂Mt+1 và rằng tồn tại một dãy khớp
0→Mt/Mt+1→mtP1/mt+1P1→mt+1/mt+2→0. Suy ra rằng đa thức
p(t)=∑l(dimk(ml/ml+1))tl thỏa mãn
(b2t2−b1t+1)p(t)⩾0 với
0⩽t⩽1. Kết luận bằng cách xét riêng các trường hợp
b1=1,b1⩾2.