The dual-number ring over a field consists of elements with . The element is a nonzero nilpotent element; its ideal is the ring's only prime ideal. Hence its affine scheme has the same one-point topology as while its structure sheaf differs.
For and , the kernel and image of multiplication by both equal . Thus the displayed sequence is a free resolution. Applying makes every differential zero, so for every . The module therefore has infinite projective dimension.

Discussion (0)

New discussion

There are no discussions about this article yet.

Articles by others on the same topic (1)