论文信息 - Malnormality is Decidable in Free Groups

Malnormality is Decidable in Free Groups

We prove here that there is an algorithm whereby one can decide whether or not any finitely generated subgroup of a finitely generated free group is malnormal.

[1] Equations in a free Q-group , 1996, math/9605204.

[2] Olga Kharlampovich,et al. HYPERBOLIC GROUPS AND FREE CONSTRUCTIONS , 1996 .

[3] Alexei Myasnikov,et al. Algebraic Geometry over Groups , 2000 .

[4] R. Lyndon,et al. Combinatorial Group Theory , 1977 .