MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

For definitions of graph minors and topological minors, see wikipedia's article on graph minors.

Theorem: For every graph H, there is a finite set of graphs, say S(H), such that G contains H as a minor if and only if G contains some graph from S(H) as a topological minor.

Can anyone point me to a paper/book where this is proved? (I know how to prove it, I just want a reference to cite.)

share|cite|improve this question
up vote 4 down vote accepted

Hello !!! You will find this theorem as results 2.2 and 2.3 in Graph minors VIII : A Kuratowski theorem for general surfaces.


share|cite|improve this answer
The paper Nathann refers to is online at – András Salamon Aug 30 '10 at 8:12
Perfect. That's exactly what I needed. – Robin Kothari Aug 30 '10 at 15:31

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.