Classification theorem: Difference between revisions

Revision as of 16:20, 26 August 2009

Revision as of 05:48, 20 November 2009

Line 3:

A few related issues to classification are the following.

*The isomorphismequivalence problem is "given two objects, determine if they are equivalent"

*A [[complete set of invariants]], together with which invariants are realizable, solves the classification problem, and is often a step in solving it

*A computable [[complete set of invariants]] (together with which invariants are realizable) solves both the classification problem and the isomorphismequivalence problem.

* A [[canonical form]] solves the classification problem, and is more data: it not only classifies every class, but gives a distinguished (canonical) element of each class.