Exact Sequences - Diagrams that 'commute' - vertical arrows

Click For Summary
SUMMARY

The discussion focuses on creating commutative diagrams with vertical arrows in LaTeX, specifically using the amscd package and the array environment. User Peter seeks assistance with typesetting these diagrams as referenced in Dummit and Foote's "Abstract Algebra," particularly Section 10.5. Contributors provide examples of LaTeX code for constructing these diagrams, emphasizing the use of commands like \rlap and \smash for spacing adjustments. The conversation highlights the limitations of Mathjax in this forum, which does not support the amscd package.

PREREQUISITES
  • Familiarity with LaTeX typesetting
  • Understanding of commutative diagrams in category theory
  • Knowledge of the amscd package for LaTeX
  • Basic skills in using the array environment in LaTeX
NEXT STEPS
  • Explore the amscd package documentation for advanced diagram typesetting
  • Learn about the array environment in LaTeX for custom layouts
  • Study examples of commutative diagrams in category theory
  • Investigate alternatives to Mathjax for LaTeX rendering in online forums
USEFUL FOR

Mathematicians, educators, and students involved in category theory or algebra who need to create and understand commutative diagrams in LaTeX.

Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading Dummit and Foote on Exact Sequences and some of the 'diagrams that commute' have vertical arrows.

Can someone please help me with the LaTex for these diagrams.

I have given an example in the attachment "Exact Sequences - Diagrams with Vertical Arrows" - where I also frame my question (please see attachment)

I have also attached Dummit and Foote Section 10.5 page 381 which has two examples of the diagrams to which I refer.

Would be very grateful for help.

Peter
 
Physics news on Phys.org
$\mathcal{AMS}\TeX$ has a package amscd for typesetting commutative diagrams. It is not available with the Mathjax program used for TeX in this forum. But you can use the array environment to construct diagrams such as $\begin{array}{ccc} A & \stackrel{\alpha}{\longrightarrow} & B \\ \big\downarrow\vcenter{\rlap{\scriptsize\phi}} && \big\downarrow\vcenter{\rlap{\scriptsize\psi}} \\ C & \stackrel{\smash\beta}{\longrightarrow} & D \end{array}$.
Code:
\begin{array}{ccc} 
A & \stackrel{\alpha}{\longrightarrow} & B \\ 
\big\downarrow\vcenter{\rlap{\scriptsize\phi}} & & \big\downarrow\vcenter{\rlap{\scriptsize\psi}} \\ 
C & \stackrel{\smash\beta}{\longrightarrow} & D 
\end{array}
In that code, you can make the down arrows longer if you replace big by Big. (The commands \rlap and \smash are there to improve the spacing.)
 
Hello, Peter! Bernhard!

Here's one way . . .\begin{array}{ccccccccc} &&& \alpha && \beta && \gamma \\ O & \to & A & \to & B & \to & C & \to & O \\ && \quad\downarrow \phi && \quad\downarrow\psi && \quad\downarrow\tau \\ O & \to & A' & \to & B' & \to & C' & \to & O \end{array}
Code:
\begin{array}{ccccccccc} &&& \alpha && \beta && \gamma \\
O & \to & A & \to & B & \to & C & \to & O \\
&& \quad\downarrow \phi && \quad\downarrow\psi && \quad\downarrow\tau \\
O & \to & A' & \to & B' & \to & C' & \to & O \end{array}
Note: You may have to type all this in one continuous line.
 
Last edited:

Similar threads

  • · Replies 3 ·
Replies
3
Views
5K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 2 ·
Replies
2
Views
6K
Replies
8
Views
1K