LaTeX 中的商（A / B）

用途

A 对 B 的商：将 B 塌缩或商掉后得到的群、环、模或空间。

商出现在 \mathbb{Z}/n\mathbb{Z}、表示陪集的 G/H，以及把子空间塌缩为一点的 X/A 中。在数学模式中，/ 是普通符号，两侧没有空白，这正是标准外观。对于按等价关系取商，请给波浪号加花括号，写成 X/{\sim}，否则 \sim 会获得关系符间距并留下空隙。操作数较高时，\big/ 或 \left. \middle/ \right. 结构能让斜线保持相称。这里不要用 \setminus，那是集合差，是另一种运算。请说明商带有哪种结构，因为只有当 H 是正规子群时 G/H 才是群。

最小可编译示例

将其粘贴到空白 .tex 文件中，用 pdfLaTeX、XeLaTeX 或 LuaLaTeX 编译。

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Quotient: $A / B$

\[ \mathbb{Z}/6\mathbb{Z} \cong \mathbb{Z}/2 \times \mathbb{Z}/3 \]
\end{document}

相关符号

• 基本群\pi_1
• 星号运算符\star
• 同调群H_n
• 楔积符号\wedge
• 上同调群H^n
• 张量积符号\otimes

常见问题

如何在 LaTeX 中输入商？

在数学模式中输入 A / B，例如 $\mathbb{Z}/6\mathbb{Z} \cong \mathbb{Z}/2 \times \mathbb{Z}/3$。无需加载任何宏包即可在标准 LaTeX 中使用。

A / B 需要哪个宏包？

不需要。A / B 是标准 LaTeX 的一部分，导言区只需文档类即可编译。

A / B 能在文本模式中使用，还是只能用于数学模式？

两者皆可。A / B 在正文和 $...$ 中都能编译；在公式中请保持数学模式，以获得数学字体和间距。