Open main menu
Home
Random
Recent changes
Special pages
Community portal
Preferences
About Wikipedia
Disclaimers
Incubator escapee wiki
Search
User menu
Talk
Dark mode
Contributions
Create account
Log in
Editing
Universal property
(section)
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
{{other uses|Universal (disambiguation)}} {{Short description|Characterizing property of mathematical constructions}} [[File:Universal morphism definition.svg|thumb|The typical diagram of the definition of a universal morphism.]] In [[mathematics]], more specifically in [[category theory]], a '''universal property''' is a property that characterizes [[up to]] an [[isomorphism]] the result of some constructions. Thus, universal properties can be used for defining some objects independently from the method chosen for constructing them. For example, the definitions of the [[integer]]s from the [[natural number]]s, of the [[rational number]]s from the integers, of the [[real number]]s from the rational numbers, and of [[polynomial ring]]s from the [[field (mathematics)|field]] of their coefficients can all be done in terms of universal properties. In particular, the concept of universal property allows a simple proof that all [[constructions of real numbers]] are equivalent: it suffices to prove that they satisfy the same universal property. Technically, a universal property is defined in terms of [[category (mathematics)|categories]] and [[functor]]s by means of a '''universal morphism''' (see {{slink||Formal definition}}, below). Universal morphisms can also be thought more abstractly as [[Initial and terminal objects|initial or terminal objects]] of a [[comma category]] (see {{slink||Connection with comma categories}}, below). Universal properties occur almost everywhere in mathematics, and the use of the concept allows the use of general properties of universal properties for easily proving some properties that would need boring verifications otherwise. For example, given a [[commutative ring]] {{mvar|R}}, the [[field of fractions]] of the [[quotient ring]] of {{mvar|R}} by a [[prime ideal]] {{mvar|p}} can be identified with the [[residue field]] of the [[localization (commutative algebra)|localization]] of {{mvar|R}} at {{mvar|p}}; that is <math>R_p/pR_p\cong \operatorname {Frac}(R/p)</math> (all these constructions can be defined by universal properties). Other objects that can be defined by universal properties include: all [[free object]]s, [[direct product]]s and [[direct sum]]s, [[free group]]s, [[free lattice]]s, [[Grothendieck group]], [[completion of a metric space]], [[completion of a ring]], [[Dedekind–MacNeille completion]], [[product topology|product topologies]], [[Stone–Čech compactification]], [[tensor product]]s, [[inverse limit]] and [[direct limit]], [[kernel (linear algebra)|kernel]]s and [[cokernel]]s, [[quotient group]]s, [[quotient vector space]]s, and other [[quotient space (disambiguation)|quotient space]]s.
Edit summary
(Briefly describe your changes)
By publishing changes, you agree to the
Terms of Use
, and you irrevocably agree to release your contribution under the
CC BY-SA 4.0 License
and the
GFDL
. You agree that a hyperlink or URL is sufficient attribution under the Creative Commons license.
Cancel
Editing help
(opens in new window)