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