Алгебраическая геометрия над свободной метабелевой алгеброй Ли. II. Случай конечного поля

Эта статья является второй из серии статей, цель которых — создание алгебраической геометрии над свободной метабелевой алгеброй Ли. Найдены достаточно удобные системы аксиом $\Phi_r$ и $\Phi'_r$ для универсального замыкания свободной метабелевой алгебры Ли $F_r$ конечного ранга $r\geq2$ над конечным полем $k$ в языке без констант и с константами. Описаны структура конечно порождённых алгебр из соответствующих универсальных замыканий алгебры $F_r$ и структура неприводимых алгебраических множеств над $F_r$ и соответствующих координатных алгебр. Также показана разрешимость универсальной теории свободной метабелевой алгебры Ли в обоих языках.