The units of a finite extension are generated, up to finite index, by the units of the base field and $\mathrm{rk}\,E(\mathbb{K}) - \mathrm{rk}\,E(\mathbb{F})$ further units

Initializing...

The units of a finite extension are generated, up to finite index, by the units of the base field and $\mathrm{rk}\,E(\mathbb{K}) - \mathrm{rk}\,E(\mathbb{F})$ further units · Prove2Me