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!