子商

在抽象代数及范畴论中，子商（英语：）是很常用的概念。这是子结构（例如子群、子模、子表示）与商结构（例如商群、商模、商表示）的推广。

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

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

固定一个范畴 ${\displaystyle {\mathcal {C}}}$。若 ${\displaystyle {\mathcal {C}}}$ 中的对象 ${\displaystyle X}$ 能表成某对象 ${\displaystyle Y}$ 的子对象之商，则称 ${\displaystyle X}$ 为 ${\displaystyle Y}$ 的子商。在群与阿贝尔范畴的框架下皆可定义子商。在群论中，有时也将子商称为截面。