Three-isogeny descent
= Three-isogeny descent
For a degree-three isogeny whose kernel becomes $\mu_3$ under the <Weil pairing>, the Kummer connecting map embeds the quotient by the isogeny into $K^\times/(K^\times)^3$. Valuations outside the primes of bad reduction restrict its image to an <S-unramified power class group>.