We construct the
C∗-algebra C(Lq(p;m1,…,mn)) of continuous functions on the quantum lens
space as the fixed point algebra for a suitable action of ℤp on the algebra
C(Sq2n−1), corresponding to the quantum odd dimensional sphere. We show that
C(Lq(p;m1,…,mn)) is isomorphic to the graph algebra C∗. This
allows us to determine the ideal structure and, at least in principle, calculate the
K-groups of C(Lq(p;m1,…,mn)). Passing to the limit with natural imbeddings of the
quantum lens spaces we construct the quantum infinite lens space, or the quantum
Eilenberg-MacLane space of type (ℤp,1).