1: \begin{abstract}\vspace*{-2.5mm}

2: Our main theorem is that the pullback of an associated noncommutative vector bundle induced by 

3: an equivariant map of quantum principal bundles is a noncommutative vector bundle associated 

4: via the same finite-dimensional representation of the structural quantum group. On the level of $K_{0}$-groups, 

5: we realize the induced map by the pullback of explicit matrix idempotents.  

6: We also show how to extend our result to the case when the quantum-group representation  is infinite dimensional, and then

7:  apply it to the Ehresmann-Schauenburg

8: quantum groupoid.

9: Finally, using noncommutative Milnor's join construction, we define quantum quaternionic projective spaces together with noncommutative

10: tautological quaternionic line bundles and their duals.

11: As a key application of the main theorem, we show that these bundles are stably non-trivial as noncommutative complex vector

12: bundles. 

13: \end{abstract}