Are there any examples other than using dimension for vector spaces where the easiest way to show that two objects are isomorphic is by using a classification theorem and showing that they must both be in the same class? (homeomorphisms count too)

  • $\begingroup$ Finite sets, of course. $\endgroup$ – Qiaochu Yuan Aug 3 '10 at 3:33
  • 1
    $\begingroup$ Finite fields, algebraically closed fields, Hilbert spaces. $\endgroup$ – Kevin Ventullo Aug 3 '10 at 5:02
  • 3
    $\begingroup$ I have a hard time understanding this question. Metamathematically speaking, isn't that a standard situation? Typically, a classification scheme (if available) involves constructing a robust set of invariants and isomorphism of two general objects is checked by computing and comparing them. $\endgroup$ – Victor Protsak Aug 3 '10 at 5:05
  • $\begingroup$ That's not the situation for isomorphism of groups given by presentations. $\endgroup$ – Ryan Budney Aug 3 '10 at 18:11

Genus for surfaces would be a simple example.

Connectedness for compact $1$-dimensional manifolds would be another!


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy