“…In this case, k/k is a Z ⊕2 p -extension. Similar to the case of Q c /Q, any prime q ∈ S satisfying N q ≡ 1 (mod p) does not have an effect on the structure of X S ( k), where N q is the absolute norm of q (see also, e.g., [12,13]). Hence, it is sufficient to consider S satisfying the following condition.…”