Can the Diagram in the Article Be Interpreted as Commutative?

Click For Summary
SUMMARY

The discussion centers on the interpretation of a commutative diagram presented in the article "Jordan Form" by Jerry Marsden. The diagram features the ring of polynomials ##k[x]##, a vector space ##V##, and a linear transformation ##T## on ##V##. Participants analyze the nature of the arrows in the diagram, particularly questioning whether the vertical arrows represent mappings from a map to its argument. The consensus is that the arrows indicate a relationship between elements, with vertical arrows suggesting an isomorphism mapping ##V## to a direct sum of quotient modules.

PREREQUISITES
  • Understanding of commutative diagrams in category theory
  • Familiarity with linear transformations and vector spaces
  • Knowledge of polynomial rings, specifically ##k[x]##
  • Basic concepts of isomorphisms and quotient modules
NEXT STEPS
  • Study the properties of commutative diagrams in category theory
  • Explore the concept of isomorphisms in linear algebra
  • Learn about quotient modules and their applications in vector spaces
  • Review the Jordan canonical form and its implications in linear transformations
USEFUL FOR

Mathematicians, students of abstract algebra, and anyone interested in the applications of commutative diagrams in linear algebra and category theory.

Stephen Tashi
Science Advisor
Homework Helper
Education Advisor
Messages
7,864
Reaction score
1,602
TL;DR
Does the given example of commutative diagram use conventional notation?
I'm used to seeing commutative diagrams where the vertices are mathematical objects and the edges (arrows) are mappings between them. Can the diagram ( from the interesting article https://people.reed.edu/~jerry/332/25jordan.pdf ) in the attached photo be interpreted that way?

In the article:

##k[x]## is the ring of polynomials over a field k.

##V## is a vector space.

##T## is a linear transformation on ##V##

CommDiagScreenshot.jpg


I understand ##T## and ##X## as maps, but do the vertical arrows go from a map to the argument of a map?
 
Physics news on Phys.org
The arrows (all of them, vertical and horizontal) go from element to element. Their LaTeX code is \mapsto.
 
I'll understand the vertical arrow on the left this way: There is an (unnamed) isomorphism mapping ##V## to a direct sum of quotient modules. So ##g(x) + <f_i(X)>## is one element of that direct sum and it is in the coset of the ##<f_i(X)>##. So the unnamed isomorphism maps an element of the direct sum to a vector ##v## in ##V##.
 
the visual clue to what fresh and Stephen are saying is that the arrows have little tails at the beginning which are perpendicular to the arrow.
 
  • Like
Likes   Reactions: Stephen Tashi

Similar threads

  • · Replies 3 ·
Replies
3
Views
983
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 25 ·
Replies
25
Views
3K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
2K
  • · Replies 24 ·
Replies
24
Views
4K