Skip to main content
The correct formulation!
Source Link
Wlod AA
  • 4.8k
  • 17
  • 23

A typical classification result for a class $C$ of objects looks like that:

Theorem. Each object of $C$ is isomorphic to one object of the following list: [insert list here].

Examples are the classification of finite simple groups and the classification theorem of closed surfaces.

Now I noticed sometimes people also call theorems of the following type "classification results". Here, $I$ is a sufficiently strong invariant of the class $C$ of objects.

Theorem. Let $X$ and $Y$ be two objects of $C$. Then $X\cong Y$ if and only if $I(X)\cong I(Y)$$I(X)= I(Y)$.

Question: In which way are the two different types of "classification theorems" related? Does a classification theorem of the first type imply a classification theorem of the second type or vice versa?

A typical classification result for a class $C$ of objects looks like that:

Theorem. Each object of $C$ is isomorphic to one object of the following list: [insert list here].

Examples are the classification of finite simple groups and the classification theorem of closed surfaces.

Now I noticed sometimes people also call theorems of the following type "classification results". Here, $I$ is a sufficiently strong invariant of the class $C$ of objects.

Theorem. Let $X$ and $Y$ be two objects of $C$. Then $X\cong Y$ if and only if $I(X)\cong I(Y)$.

Question: In which way are the two different types of "classification theorems" related? Does a classification theorem of the first type imply a classification theorem of the second type or vice versa?

A typical classification result for a class $C$ of objects looks like that:

Theorem. Each object of $C$ is isomorphic to one object of the following list: [insert list here].

Examples are the classification of finite simple groups and the classification theorem of closed surfaces.

Now I noticed sometimes people also call theorems of the following type "classification results". Here, $I$ is a sufficiently strong invariant of the class $C$ of objects.

Theorem. Let $X$ and $Y$ be two objects of $C$. Then $X\cong Y$ if and only if $I(X)= I(Y)$.

Question: In which way are the two different types of "classification theorems" related? Does a classification theorem of the first type imply a classification theorem of the second type or vice versa?

edited tags
Link
YCor
  • 63.9k
  • 5
  • 187
  • 286
Source Link

Classification results

A typical classification result for a class $C$ of objects looks like that:

Theorem. Each object of $C$ is isomorphic to one object of the following list: [insert list here].

Examples are the classification of finite simple groups and the classification theorem of closed surfaces.

Now I noticed sometimes people also call theorems of the following type "classification results". Here, $I$ is a sufficiently strong invariant of the class $C$ of objects.

Theorem. Let $X$ and $Y$ be two objects of $C$. Then $X\cong Y$ if and only if $I(X)\cong I(Y)$.

Question: In which way are the two different types of "classification theorems" related? Does a classification theorem of the first type imply a classification theorem of the second type or vice versa?