子商

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

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