Vanishing of infinitely divisible integer sequences

ID: vanishing-of-infinitely-divisible-integer-sequences

If an element of the module is divisible by every power of two within that module, then every coordinate is an integer divisible by every power of two. A nonzero integer cannot be divisible by , so each coordinate is zero and . This argument applies to any index set and to powers of any fixed integer with .

New to topics? Read the docs here!