子商

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

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