If was cyclic, then being the image of under the projection mapping would be cyclic, so it suffices to show that is not cyclic. To see this suppose that there was an isomorphism we see then so that is divisible by for every and so , but since this contradicts injectivity of .