In this problem we determine the number of group homomorphisms



such that the image of has size exactly .

First, since , we have


On the other hand, is an element of so .

Thus

i.e.

whence
for some in .

On the other hand, the image of is a subgroup of the cyclic group . But a cyclic group has at most ONE subgroup of any given order, so if the image of has size then the elements of the image of must be (please enter your answer as an ORDERED list)

Combine this with and we see that in order for the image of to have size , the choices for are (please enter your answer as an ORDERED list)

Consequently, the number of such functions is . Please enter your answer as a number.

You can earn partial credit on this problem.