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!