 Kummer map of an elliptic curve

The map is a connecting homomorphism from the multiplication exact sequence. Its image is constrained by the local conditions defining the Selmer group of an elliptic curve.

The multiplication-by-$n$ sequence gives an injective connecting mapLocal conditions restrict its image to the finite $n$-Selmer group.