Content deleted Content added
m It think this sectioning is a bit better. |
Connection to canonical forms |
||
Line 6:
*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 isomorphism 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.
There exist many '''classification theorems''' in [[mathematics]], as described below.
|