代数幾何学
Algebraic geometry for groups, that was introduced by Baumslag, Myasnikov, Remeslennikov and Kharlampovich