# GetWiki

*Canonical map*

ARTICLE SUBJECTS

being →

database →

ethics →

fiction →

history →

internet →

language →

linux →

logic →

method →

news →

policy →

purpose →

religion →

science →

software →

truth →

unix →

wiki →

ARTICLE TYPES

essay →

feed →

help →

system →

wiki →

ARTICLE ORIGINS

critical →

forked →

imported →

original →

Canonical map

[ temporary import ]

**please note:**

- the content below is remote from Wikipedia

- it has been imported raw for GetWiki

**canonical map**, also called a

**natural map**, is a map or morphism between objects that arises naturally from the definition or the construction of the objects. In general it is the map which preserves the widest amount of structure, and it tends to be unique. In the rare cases where latitude in choice remains, the map is either conventionally agreed upon to be the most useful for further analysis, or sometimes the most elegant map known.A closely related notion is a

**structure map**or

**structure morphism**; the map or morphism that comes with the given structure on the object. These are also sometimes called canonical maps.A canonical isomorphism is a canonical map that is also an isomorphism (i.e., invertible).In some contexts, it is necessary to address an issue of

*choices*of canonical maps or canonical isomorphisms; see prestack for a typical example.

## Examples

- If
*N*is a normal subgroup of a group*G*, then there is a canonical surjective group homomorphism from*G*to the quotient group*G*/*N*that sends an element*g*to the coset that*g*belongs to. - If
*I*is an ideal of a ring*R*, there is a canonical surjective ring homomorphism {{nowrap|*R*â†’*R/I*}} from*R*onto the quotent ring*R/I*sending an element*r*to its coset*I+r*. - If
*V*is a vector space, then there is a canonical map from*V*to the second dual space of*V*that sends a vector*v*to the linear functional*f***'v****defined by***f**'v*(Î») = Î»(*v*). - If {{nowrap|f :
*R*â†’*S*}} is a homomorphism between commutative rings, then*S*can be viewed as an algebra over*R*. The ring homomorphism*f*is then called the structure map (for the algebra structure). The corresponding map on the prime spectra{{nowrap|f : Spec(*S*) â†’ Spec(*R*)}} is also called the structure map. - If
*E*is a vector bundle over a topological space*X*, then the projection map from*E*to*X*is the structure map. - In topology, a canonical map is a function
*f*mapping a set*X*â†’*X*(*X*modulo*R*), where*R*is an equivalence relation on*X*, that takes each*x*in*X*to the equivalence class [*x*] modulo*R*.BOOK,weblink Handbook of Mathematics, Vialar, Thierry, 2016-12-07, BoD - Books on Demand, 9782955199008, en, 274,

## References

{{reflist}}{{math-stub}}**- content above as imported from Wikipedia**

- "

- time: 1:00pm EDT - Mon, Jun 17 2019

- "

__Canonical map__" does not exist on GetWiki (yet)- time: 1:00pm EDT - Mon, Jun 17 2019

[ this remote article is provided by Wikipedia ]

LATEST EDITS [ see all ]

GETWIKI 09 MAY 2016

GETWIKI 18 OCT 2015

GETWIKI 20 AUG 2014

GETWIKI 19 AUG 2014

GETWIKI 18 AUG 2014

© 2019 M.R.M. PARROTT | ALL RIGHTS RESERVED