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.
Articles by others on the same topic
There are currently no matching articles.