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.

Ancestors (8)

  1. Commutative ring
  2. Ring
  3. Commutative algebra
  4. Ring theory
  5. Algebra
  6. Area of mathematics
  7. Mathematics
  8. Home

Synonyms (1)

Discussion (0) New discussion

There are no discussions about this article yet.

Articles by others on the same topic (1)