Photo:1
Photo:2
Photo:3
Photo:4
Photo:1 Photo:2 Photo:3 Photo:4 |
| Examples | |
| 2>
In the following diagram expressing the first isomorphism theorem, commutativity means that :
Below is a generic commutative square, in which
[edit] Tags:Diagram,Morphism, | |
| Symbols | |
| 3>
In algebra texts, the type of morphism can be denoted with different arrow usages: monomorphisms with a , epimorphisms with a , and isomorphisms with a . The dashed arrow typically represents the claim that the indicated morphism exists whenever the rest of the diagram holds. This is common enough that texts often do not explain the meanings of the different types of arrow.
[edit] Tags:Morphisms,Algebra, | |
| Verifying commutativity | |
| 2>
Commutativity makes sense for a polygon of any finite number of sides (including just 1 or 2), and a diagram is commutative if every polygonal subdiagram is commutative.
[edit] Tags:Polygon, | |
| Diagram chasing | |
| 2>
Diagram chasing is a method of mathematical proof used especially in homological algebra. Given a commutative diagram, a proof by diagram chasing involves the formal use of the properties of the diagram, such as injective or surjective maps, or exact sequences. A syllogism is constructed, for which the graphical display of the diagram is just a visual aid. It follows that one ends up "chasing" elements around the diagram, until the desired element or result is constructed or verified.
Examples of proofs by diagram chasing include those typically given for the five lemma, the snake lemma, the zig-zag lemma, and the nine lemma.
[edit] Tags:Mathematical Proof,Homological Algebra,Injective,Surjective,Exact Sequences,Syllogism,Five Lemma,Snake Lemma,Zig-zag Lemma,Nine Lemma, | |
| Diagrams as functors | |
| 2>
Main article: Diagram (category theory)
A commutative diagram in a category C can be interpreted as a functor from an index category J to C; one calls the functor a diagram.
More formally, a commutative diagram is a visualization of a diagram indexed by a poset category:
one draws a node for every object in the index category,
an arrow for a generating set of morphisms,
omitting identity maps and morphisms that can be expressed as compositions,
and the commutativity of the diagram (the equality of different compositions of maps between two objects) corresponds to the uniqueness of a map between two objects in a poset category.
Conversely, given a commutative diagram, it defines a poset category:
the objects are the nodes,
there is a morphism between any two objects if and only if there is a (directed) path between the nodes,
with the relation that this morphism is unique (any composition of maps is defined by its domain and target: this is the commutativity axiom).
However, not every diagram commutes (the notion of diagram strictly generalizes commutative diagram): most simply, the diagram of a single object with an endomorphism (), or with two parallel arrows (; ), as used in the definition of equalizer need not commute. Further, diagrams may be messy or impossible to draw when the number of objects or morphisms is large (or even infinite).
[edit] Tags:Category Theory,Diagram (category Theory),Functor,Equalizer,Diagrams, | |
| External links | |
| 2>
Diagram Chasing at MathWorld
Retrieved from "http://en.wikipedia.org/w/index.php?title=Commutative_diagram&oldid=474298870"
Categories: Homological algebraCategory theoryMathematical proofsMathematical terminologyDiagramsHidden categories: Articles lacking sources from January 2010All articles lacking sources
Personal tools
Log in / create account
Namespaces
Article
Talk
Variants
Views
Read
Edit
View history
Actions
Search
Navigation
Main page
Contents
Featured content
Current events
Random article
Donate to Wikipedia
Interaction
Help
About Wikipedia
Community portal
Recent changes
Contact Wikipedia
Toolbox
What links here
Related changes
Upload file
Special pages
Permanent link
Cite this page
Print/export
Create a bookDownload as PDFPrintable version
Languages
Deutsch
Español
Français
Italiano
עברית
Nederlands
Polski
Русский
Suomi
中文
This page was last modified on 31 January 2012 at 23:17.
Text is available under the Creative Commons Attribution-ShareAlike License;
additional terms may apply.
See Terms of use for details.
Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a non-profit organization.Contact us
Privacy policy
About Wikipedia
Disclaimers
Mobile view
if ( window.isMSIE55 ) fixalpha();
if ( window.mediaWiki ) {
mw.loader.load(["mediawiki.user", "mediawiki.util", "mediawiki.page.ready", "mediawiki.legacy.wikibits", "mediawiki.legacy.ajax", "mediawiki.legacy.mwsuggest", "ext.gadget.wmfFR2011Style", "ext.vector.collapsibleNav", "ext.vector.collapsibleTabs", "ext.vector.editWarning", "ext.vector.simpleSearch", "ext.UserBuckets", "ext.articleFeedback.startup", "ext.articleFeedbackv5.startup", "ext.markAsHelpful"]);
}
if ( window.mediaWiki ) {
mw.user.options.set({"ccmeonemails":0,"cols":80,"date":"default","diffonly":0,"disablemail":0,"disablesuggest":0,"editfont":"default","editondblclick":0,"editsection":1,"editsectiononrightclick":0,"enotifminoredits":0,"enotifrevealaddr":0,"enotifusertalkpages":1,"enotifwatchlistpages":0,"extendwatchlist":0,"externaldiff":0,"externaleditor":0,"fancysig":0,"forceeditsummary":0,"gender":"unknown","hideminor":0,"hidepatrolled":0,"highlightbroken":1,"imagesize":2,"justify":0,"math":1,"minordefault":0,"newpageshidepatrolled":0,"nocache":0,"noconvertlink":0,"norollbackdiff":0,"numberheadings":0,"previewonfirst":0,"previewontop":1,"quickbar":5,"rcdays":7,"rclimit":50,"rememberpassword":0,"rows":25,"searchlimit":20,"showhiddencats":false,"showjumplinks":1,"shownumberswatching":1,"showtoc":1,"showtoolbar":1,"skin":"vector","stubthreshold":0,"thumbsize":4,"underline":2,"uselivepreview":0,"usenewrc":0,"watchcreations":1,"watchdefault":0,"watchdeletion":0,"watchlistdays":3,"watchlisthideanons":0,
"watchlisthidebots":0,"watchlisthideliu":0,"watchlisthideminor":0,"watchlisthideown":0,"watchlisthidepatrolled":0,"watchmoves":0,"wllimit":250,"flaggedrevssimpleui":1,"flaggedrevsstable":0,"flaggedrevseditdiffs":true,"flaggedrevsviewdiffs":false,"vector-simplesearch":1,"useeditwarning":1,"vector-collapsiblenav":1,"usebetatoolbar":1,"usebetatoolbar-cgd":1,"wikilove-enabled":1,"variant":"en","language":"en","searchNs0":true,"searchNs1":false,"searchNs2":false,"searchNs3":false,"searchNs4":false,"searchNs5":false,"searchNs6":false,"searchNs7":false,"searchNs8":false,"searchNs9":false,"searchNs10":false,"searchNs11":false,"searchNs12":false,"searchNs13":false,"searchNs14":false,"searchNs15":false,"searchNs100":false,"searchNs101":false,"searchNs108":false,"searchNs109":false,"gadget-wmfFR2011Style":1});;mw.user.tokens.set({"editToken":"+\\","watchToken":false});;mw.loader.state({"user.options":"ready","user.tokens":"ready"});
/* cache key: enwiki:resourceloader:filter:minify-js:4:b41a86ec4e0fe8329bc3ce917e792339 */
}
Tags:Cite,Mathworld,Categories,Mathematical Proofs,Mathematical Terminology,Articles Lacking Sources From January 2010,All Articles Lacking Sources,Log In / Create Account,Main Page, | |
zote monety click here click here click here click here |