2 problems

Let $\mathrm{UN}^b_n=\mathrm{UN}^b_n(T,L_\infty)$ denote the module of basic universal norms at level $n$, defined as the image of the basic norm-coherent module under the finite-l…

Let $E/K$ be as in the source, let $p$ be a prime, and suppose that the $p$-primary part of the Tate–Shafarevich group of $E/K$ is finite. Let $\mathcal{U}$ be the universal norm m…