How do you find a subgroup of arbitrary order?

Question

Let's say we want to find a subgroup of Zp of order q. What's a general way to go about doing this?

Answer 1

First, we must have that q|p, otherwise it will be impossible. Suppose we have this, then the cyclic subgroup of ℤ_p generated by [p/q] will have order q.