子商

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

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

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

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