Đại số, VII, p. 59
Cho (pn) là một dãy tăng ngặt các số nguyên tố sao cho pn không chia hết cho bất kỳ số nào trong các số
a+b(1+p1+p1p2+⋯+p1p2⋯pn−1)với∣a∣≤nvaˋ∣b∣≤n.
Trong mặt phẳng hữu tỉ Q2, xét Z-môđun M sinh bởi dãy (xi) được xác định như sau:
x0=(1,0),x1=(0,1),xn+1=pn−1(x0+xn)với n≥1.
Chứng minh rằng M có hạng 2, và mọi môđun con hạng 1 của M đều là cyclic (chú ý rằng x0 và xn lập thành một cơ sở của môđun con của M sinh bởi các xi với i≤n).