Формульность множества мальцевских баз и элементарные теории конечных алгебр. I

Доказано, что для любой нильпотентной $k$-группы (поле $k$ – регулярно выделяемое), центр которой содержится в коммутанте, существует формула групповой сигнатуры, выделяющая мальцевские базы, приуроченные к верхнему центральному ряду. Получена классификация элементарных теорий конечномерных $k$-алгебр с рациональными структурными константами.
Библ. 5.