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 .
Articles by others on the same topic
There are currently no matching articles.