Rational isolated j-invariants from X₁ (ⁿ) and X₀ (ⁿ)

Let and n be positive integers with prime. The modular curves X₁ (ⁿ) and X₀ (ⁿ) are algebraic curves over Q whose non-cuspidal points parameterize elliptic curves with a distinguished point of order ⁿ or a distinguished cyclic subgroup of order ⁿ, respectively. We wish to understand isolated points on these curves, which are roughly those not belonging to an infinite parameterized family of points having the same degree. Our first main result is that there are precisely 15 j-invariants in Q which arise as the image of an isolated point x X₁ (ⁿ) under the natural map j: X₁ (ⁿ) X₁ (1). This completes a prior partial classification of Ejder. We also identify the 19 rational j-invariants which correspond to isolated points on X₀ (ⁿ).