Well, you can turn any theorem about these groups into a property. For instance: $F_n \rtimes_\phi \mathbb{Z}$ satisfies the property ``hyperbolic if and only if no $\mathbb{Z}\oplus\mathbb{Z}$ subgroups''. That's Brinkmann's theorem.
Lee Mosher
- 15.4k
- 2
- 42
- 81