mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

, a classification theorem answers the classification problem "What are the objects of a given type, up to some equivalence?". It gives a non-redundant enumeration: each object is equivalent to exactly one class. A few issues related to classification are the following. *The equivalence problem is "given two objects, determine if they are equivalent". *A

complete set of invariants In mathematics, a complete set of invariants for a classification problem is a collection of maps :f_i : X \to Y_i (where X is the collection of objects being classified, up to some equivalence relation \sim, and the Y_i are some sets), such tha ...

, together with which invariants are solves the classification problem, and is often a step in solving it. *A (together with which invariants are realizable) solves both the classification problem and the equivalence problem. * A

canonical form In mathematics and computer science, a canonical, normal, or standard form of a mathematical object is a standard way of presenting that object as a mathematical expression. Often, it is one which provides the simplest representation of an obje ...

solves the classification problem, and is more data: it not only classifies every class, but provides a distinguished (canonical) element of each class. There exist many classification theorems in

, as described below.

Geometry

* Classification of Euclidean plane isometries * Classification theorems of surfaces **

Classification of two-dimensional closed manifolds In the part of mathematics referred to as topology, a surface is a two-dimensional manifold. Some surfaces arise as the boundaries of three-dimensional solids; for example, the sphere is the boundary of the solid ball. Other surfaces arise as g ...

Enriques–Kodaira classification In mathematics, the Enriques–Kodaira classification is a classification of compact complex surfaces into ten classes. For each of these classes, the surfaces in the class can be parametrized by a moduli space. For most of the classes the modu ...

algebraic surfaces In mathematics, an algebraic surface is an algebraic variety of dimension two. In the case of geometry over the field of complex numbers, an algebraic surface has complex dimension two (as a complex manifold, when it is non-singular) and so of di ...

(complex dimension two, real dimension four) **

Nielsen–Thurston classification In mathematics, Thurston's classification theorem characterizes homeomorphisms of a compact orientable surface. William Thurston's theorem completes the work initiated by . Given a homeomorphism ''f'' : ''S'' → ''S'', ther ...

which characterizes homeomorphisms of a compact surface * Thurston's eight model geometries, and the

geometrization conjecture In mathematics, Thurston's geometrization conjecture states that each of certain three-dimensional topological spaces has a unique geometric structure that can be associated with it. It is an analogue of the uniformization theorem for two-dimens ...

* Berger classification * Classification of Riemannian symmetric spaces * Classification of 3-dimensional lens spaces * Classification of manifolds

Algebra

Classification of finite simple groups In mathematics, the classification of the finite simple groups is a result of group theory stating that every finite simple group is either cyclic, or alternating, or it belongs to a broad infinite class called the groups of Lie type, or else it ...

** Classification of Abelian groups ** Classification of Finitely generated abelian group ** Classification of Rank 3 permutation group ** Classification of 2-transitive permutation groups * Artin–Wedderburn theorem — a classification theorem for semisimple rings *

Classification of Clifford algebras In abstract algebra, in particular in the theory of nondegenerate quadratic forms on vector spaces, the structures of finite-dimensional real and complex Clifford algebras for a nondegenerate quadratic form have been completely classified. In ea ...

* Classification of low-dimensional real Lie algebras *

Bianchi classification In mathematics, the Bianchi classification provides a list of all real 3-dimensional Lie algebras ( up to isomorphism). The classification contains 11 classes, 9 of which contain a single Lie algebra and two of which contain a continuum-sized fam ...

ADE classification In mathematics, the ADE classification (originally ''A-D-E'' classifications) is a situation where certain kinds of objects are in correspondence with simply laced Dynkin diagrams. The question of giving a common origin to these classifications, r ...

Langlands classification In mathematics, the Langlands classification is a description of the irreducible representations of a reductive Lie group ''G'', suggested by Robert Langlands (1973). There are two slightly different versions of the Langlands classification. One ...

Linear algebra

Finite-dimensional vector space In mathematics, the dimension of a vector space ''V'' is the cardinality (i.e., the number of vectors) of a basis of ''V'' over its base field. p. 44, §2.36 It is sometimes called Hamel dimension (after Georg Hamel) or algebraic dimension to di ...

s (by dimension) *

Rank–nullity theorem The rank–nullity theorem is a theorem in linear algebra, which asserts that the dimension of the domain of a linear map is the sum of its rank (the dimension of its image) and its ''nullity'' (the dimension of its kernel). p. 70, §2.1, Theor ...

(by rank and nullity) *

Structure theorem for finitely generated modules over a principal ideal domain In mathematics, in the field of abstract algebra, the structure theorem for finitely generated modules over a principal ideal domain is a generalization of the fundamental theorem of finitely generated abelian groups and roughly states that finitel ...

Jordan normal form In linear algebra, a Jordan normal form, also known as a Jordan canonical form (JCF), is an upper triangular matrix of a particular form called a Jordan matrix representing a linear operator on a finite-dimensional vector space with respect to som ...

Sylvester's law of inertia Sylvester's law of inertia is a theorem in matrix algebra about certain properties of the coefficient matrix of a real number, real quadratic form that remain invariant (mathematics), invariant under a change of basis. Namely, if ''A'' is the symme ...

Analysis

Classification of discontinuities Continuous functions are of utmost importance in mathematics, functions and applications. However, not all functions are continuous. If a function is not continuous at a point in its domain, one says that it has a discontinuity there. The set of ...

Complex analysis

Classification of Fatou components In mathematics, Fatou components are components of the Fatou set. They were named after Pierre Fatou. Rational case If f is a rational function :f = \frac defined in the extended complex plane, and if it is a nonlinear function (degree > 1) : ...

Mathematical physics

Classification of electromagnetic fields In differential geometry and theoretical physics, the classification of electromagnetic fields is a pointwise classification of bivectors at each point of a Lorentzian manifold. It is used in the study of solutions of Maxwell's equations and has ap ...

Petrov classification In differential geometry and theoretical physics, the Petrov classification (also known as Petrov–Pirani–Penrose classification) describes the possible algebraic symmetries of the Weyl tensor at each event in a Lorentzian manifold. It is mos ...

* Segre classification *