Bài tập 3, § 3

Với mỗi đường thẳng L trong V, ta ký hiệu $\mathfrak{m}_L$ là tập hợp các phần tử $u$ của A sao cho $u(L) = 0$. Chứng minh rằng $\mathfrak{m}_L$ là một iđêan cực đại của A, rằng ta có $\mathfrak{m}_L\not=\mathfrak{m}_{L'}$ khi $L\not= L'$, nhưng các A-môđun đơn $A/\mathfrak{m}_L$ đều đẳng cấu với A-môđun V.