Nonzero Ext of the rationals with integer coefficients

ID: nonzero-ext-of-the-rationals-with-integer-coefficients

A free resolution of has generators and independent relations . Thus the Ext functor gives the cokernel of the map on integer sequence products
The constant sequence one is not in its image. A preimage would require for every . For , the sum is below , tends to infinity, and its distance from also tends to infinity. No fixed integer satisfies all these congruences. Hence .

New to topics? Read the docs here!