ramified extension

Мат. разветвленное расширение