A cyclic-generator conjecture for principal ℓ\ellℓ-adic units
Cyclic-generator conjecture. There exists ω∈US,1(K)\omega\in U_{S,1}(K)ω∈US,1(K) such that τ(ω)=ω\tau(\omega)=\omegaτ(ω)=ω and the set
MathDB