Important results in this field include the [[Poincare conjecture]], the unclassifiable nature of four-dimensional manifolds, and the proof that subgroups of free groups are necessarily free themselves. | Important results in this field include the [[Poincare conjecture]], the unclassifiable nature of four-dimensional manifolds, and the proof that subgroups of free groups are necessarily free themselves. |