kummerian

In the cyclic case of degree p, j\_(L/K) is injective except if L/K is kummerian, p-ramified, non globally cyclotomic but locally cyclotomic at p (Theorem 3.1).