子商

在抽象代數及範疇論中，子商（英語：）是很常用的概念。這是子結構（例如子群、子模、子表示）與商結構（例如商群、商模、商表示）的推廣。

  此條目介紹的是抽象代数的概念。关于子姓商族朝代，请见「商朝」。

  此條目介紹的是抽象代数的概念。关于楚國公子子商，请见「子商 (楚國)」。

固定一個範疇 ${\displaystyle {\mathcal {C}}}$。若 ${\displaystyle {\mathcal {C}}}$ 中的對象 ${\displaystyle X}$ 能表成某對象 ${\displaystyle Y}$ 的子對象之商，則稱 ${\displaystyle X}$ 為 ${\displaystyle Y}$ 的子商。在群與阿貝爾範疇的框架下皆可定義子商。在群論中，有時也將子商稱為截面。