О порождающих и определяющих соотношениях подалгебр алгебр Ли

Изложен метод, аналогичный методу Редемейстера–Шрейера из теории групп, позволяющий выписывать порождающие и определяющие соотношения подалгебр, если известны порождающие алгебры Ли и семейство представителей по модулю подалгебры. Для $p$-алгебр Ли получено следствие: $p$-подалгебра конечной коразмерности в конечно определенной $p$-алгебре Ли конечно определена.
Библ. 6.