[Tex/LaTex] a commutative diagram compatible with group actions

diagramsxy-pic

I'm trying to draw the following commutative diagram using xymatrix:

enter image description here

\documentclass{article}
\usepackage[all]{xy}     

\begin{document}

$\xymatrix{A \ar[rr] & & B  \\ & C \ar[ul] \ar[ur] & }$

\end{document}

How can I draw symbols of group action?

Best Answer

Or like this:

% arara: pdflatex

\documentclass{article} 
\usepackage{tikz-cd} 

\begin{document}  
\[
    \begin{tikzcd}  
        A \arrow{rr}\arrow[loop left, "G_1"] & & B \arrow[loop right, "G_2"] \\ 
        & C \arrow{ul} \arrow{ur} \arrow[loop below, "G_3"] & 
    \end{tikzcd}
\] 
\end{document}

enter image description here

Related Solutions

[Tex/LaTex] Changing the Label Font Size for xypic Commutative Diagrams

\[
\renewcommand{\labelstyle}{\textstyle}
\xymatrix@R=5pc@C=5pc{
X \ar[d]_{\pi} \ar[rd]^f \\
X/\sim \ar[r]_{\xoversim{f}} & Y
}
\]

I suggest to leave the setting of \labelstyle inside the math environment, unless you want that all diagrams inherit this setting. Notice a simpler way to specify row and column separation.

[Tex/LaTex] Can’t draw a commutative diagram

Here's one possible solution for the lower part using both xy and tikz-cd:

\documentclass{article}
\usepackage[all]{xy}
\usepackage{tikz-cd}

\begin{document}

$\xymatrix{
& S \ar[ld]^{\pi_{i}} \ar[rd]_{\pi_{j}} &\\
R_{i} \ar[rr]_{\mu_{ji}} & & R_{j} }$

\begin{tikzcd}[column sep=normal]
& S \arrow{dl}{\pi_{i}}\arrow{dr}[swap]{\pi_{j}} & \\
R_{i} \arrow{rr}[swap]{\mu_{ji}} & & R_{j}
\end{tikzcd}

\end{document}

enter image description here

Here's the complete diagram using tikz-cd:

\documentclass{article}
\usepackage{tikz-cd}

\begin{document}

\begin{tikzcd}[column sep=normal,row sep=large]
& Y\arrow{ddl}[swap]{\psi_{i}}\arrow{ddr}{\psi_{j}}\arrow{d}{h} & \\
& S \arrow{dl}{\pi_{i}}\arrow{dr}[swap]{\pi_{j}} & \\
R_{i} \arrow{rr}[swap]{\mu_{ji}} & & R_{j}
\end{tikzcd}

\end{document}

enter image description here

And now using xy:

\documentclass{article}
\usepackage[all]{xy}

\begin{document}

$\xymatrix{
& Y\ar[ldd]_{\psi_{i}}\ar[rdd]^{\psi_{j}}\ar[d]^{h} & \\
& S \ar[ld]^{\pi_{i}} \ar[rd]_{\pi_{j}} & \\
R_{i} \ar[rr]_{\mu_{ji}} & & R_{j} }$

\end{document}

enter image description here

And now, as requested in a comment, with some arrows curved:

\documentclass{article}
\usepackage{tikz-cd}

\begin{document}

\begin{tikzcd}[column sep=normal,row sep=large]
& Y\arrow[bend right]{ddl}[swap]{\psi_{i}}\arrow[bend left]{ddr}{\psi_{j}}\arrow{d}{h} & \\
& S \arrow{dl}{\pi_{i}}\arrow{dr}[swap]{\pi_{j}} & \\
R_{i} \arrow{rr}[swap]{\mu_{ji}} & & R_{j}
\end{tikzcd}

\end{document}

enter image description here

And with xy:

\documentclass{article}
\usepackage[all]{xy}

\begin{document}

$\xymatrix{
& Y\ar@/_/[ldd]_{\psi_{i}}\ar@/^/[rdd]^{\psi_{j}}\ar[d]^{h} & \\
& S \ar[ld]^{\pi_{i}} \ar[rd]_{\pi_{j}} & \\
R_{i} \ar[rr]_{\mu_{ji}} & & R_{j} }$

\end{document}

enter image description here

Best Answer

Related Solutions

[Tex/LaTex] Changing the Label Font Size for xypic Commutative Diagrams

[Tex/LaTex] Can’t draw a commutative diagram

Related Question