我想使用braid
TikZ-PGF 中的包来说明置换群,例如此图(来自维基百科):
实际上,我想说明 N = 3 的置换群,它应该有 6 种配置。按照提供的示例,到目前为止,我已经:
\documentclass[tikz]{standalone}
\usepackage{pgfplots}
\usepackage{braids}
\pgfplotsset{compat=newest}
\begin{document}
\begin{tikzpicture}
\braid[style strands={1}{red},style
strands={2}{blue},style strands={3}{green}] (TEST2) at (5,0) s_1
s_3^{-1} s_1 s_2^{−1} s_1 s_2^{−1};
\end{tikzpicture}
\end{document}
但是,我发现很难理解如何更改顺序。如能得到任何帮助,我将不胜感激。
答案1
抱歉我来晚了,但这里是用braids
包裹。
\documentclass[tikz,border=1cm]{standalone}
%\url{https://tex.stackexchange.com/q/455488/86}
\usepackage{tikz}
\usepackage{braids}
\begin{document}
\begin{tikzpicture}[
/pgf/braid/.cd,
style strands={1}{red},
style strands={2}{blue},
style strands={3}{green},
number of strands=3
]
\braid (identity) at (0,0) 1 1 1;
\node at ([yshift=-1cm]identity-rev-2-e) {Identity};
\braid (123) at ([xshift=2cm]identity-3-s) 1 s_2^{-1} s_1;
\node at ([yshift=-1cm]123-rev-2-e) {\((123)\)};
\braid (321) at ([xshift=2cm]123-3-s) 1 s_1^{-1} s_2;
\node at ([yshift=-1cm]321-rev-2-e) {\((321)\)};
\braid (12) at ([yshift=-2cm]identity-rev-1-e) 1 s_1^{-1} 1;
\node at ([yshift=-1cm]12-rev-2-e) {\((12)\)};
\braid (23) at ([yshift=-2cm]123-rev-1-e) 1 s_2 1;
\node at ([yshift=-1cm]23-rev-2-e) {\((23)\)};
\braid (31) at ([yshift=-2cm]321-rev-1-e) s_1^{-1} s_2 s_1^{-1};
\node at ([yshift=-1cm]31-rev-2-e) {\((31)\)};
\end{tikzpicture}
\end{document}
显然,我可以自由选择上下穿越。
结果: