绘制 Stanley-Reisner 理想的自由解析

Question

我想编写下图中自由分辨率的 LaTex 代码。有谁能帮助我吗？

Answer 1

这是中间的箭头，你应该能够以相同的方式制作其余部分。

\documentclass{article}

%% needed packages
\usepackage{amsmath,mathtools}
\usepackage{blkarray}

%% abstract structures
\newsavebox{\smallblockbox}
\newenvironment{smallblockarray}
 {\begin{lrbox}{\smallblockbox}
  \scriptsize$\begin{blockarray}}
 {\end{blockarray}$\end{lrbox}%
  \raisebox{-1ex}[\dimexpr\height-2ex][\dimexpr\depth-1ex]{\usebox{\smallblockbox}}}

\newcommand{\module}[2]{%
  \underset{\mathclap{\begin{smallmatrix}\\#2\end{smallmatrix}}}{#1}%
}

\begin{document}

\[
\module{S_4}{00011\\11001\\10101\\11110}
\xleftarrow{
  \begin{smallblockarray}{rcccc}
  & abce & abde & acde & abcde \\
  \begin{block}{r[cccc]}
  de & 0 & -1 & -1 & -1 \\
  abc & 1 & 1 & 0 & 0 \\
  ace & -1 & 0 & 1 & 0 \\
  abcde & 0 & 0 & 0 & 1 \\
  \end{block}
  \end{smallblockarray}
}
\module{S_4}{11101\\11011\\10111\\11111}
\]

\end{document}