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 productsThe 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!