Periodic resolution over dual numbers

ID: periodic-resolution-over-dual-numbers

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.

New to topics? Read the docs here!