Аннотация:
С помощью методов статей [B1] и [B2] мы доказываем, что в большинстве случаев, если абелево вполне разветвленное $p$-расширение содержит идеал, свободный над своим ассоциированным порядком, то расширение принадлежит типу, полностью описанному в [B2] (мы называем эти расширения полустабильными). Мы также приводим контрпример к этому утверждению в случае, когда условия основной теоремы не выполнены.