子商 此条目介绍的是抽象代数的概念。关于子姓商族朝代,请见“商朝”。 此条目介绍的是抽象代数的概念。关于楚国公子子商,请见“子商 (楚国)”。 在抽象代数及范畴论中,子商(英语:Subquotient)是很常用的概念。这是子结构(例如子群、子模、子表示)与商结构(例如商群、商模、商表示)的推广。 固定一个范畴 C {\displaystyle {\mathcal {C}}} 。若 C {\displaystyle {\mathcal {C}}} 中的对象 X {\displaystyle X} 能表成某对象 Y {\displaystyle Y} 的子对象之商,则称 X {\displaystyle X} 为 Y {\displaystyle Y} 的子商。在群与阿贝尔范畴的框架下皆可定义子商。在群论中,有时也将子商称为截面。