Number of $K$-rational points with given $j$-invariant on modular curves

In this article, we study how to compute the number of $K$-rational points with a given $j$-invariant on an arbitrary modular curve. As an application, for each positive integer $n$, we determine the list of possible numbers of cyclic $n$-isogenies an elliptic curve over some number field can admit. Similarly, for an odd prime power $p^k$, we calculate the possible values for the number of points above some $j$-invariant on Cartan modular curves $X_{\mathrm{s}}(p^k)$, $X_{\mathrm{n}\mathrm{s}}(p^k)$ and their normalizers. Combining known results about images of Galois representations of CM elliptic curves with our work, we also devise a simple algorithm to determine the number of rational CM points on any modular curve.