在抽象代数中，若一个环
A
{\displaystyle A}
上的模
M
{\displaystyle M}
其子群只有
{
0
}
{\displaystyle \{0\}}
及自身，则称
M
{\displaystyle M}
为单模。换言之，环
A
{\displaystyle A}
上的单模是
A
{\displaystyle A}
-模范畴论中的单对象。单模又称不可约模。
6
三叠藻食科是鞘翅目藻食亚目下一个已经灭绝的科别。该科属于单模，其下仅有一属一种，即三叠藻食属属的龙粪三叠藻食甲虫。龙粪三叠藻食甲虫生活在距今2.3亿年前的三叠纪，由研究团队在奥波莱西里龙的粪化石中发现。。
在抽象代数中。合成列是借着将代数对象拆解为简单的成分，以萃取不变量的方式之一。以模为例，一般环上的模未必能表成单模的直和。但是我们可退而求其次，考虑一组过滤
{
0
}
=
M
0
⊂
⋯
⊂
M
n
=
M
{\displaystyle \{0\}=M_{0}\subset \cdots \subset M_{n}=M}
，使每个子商
M
i
/
M
i
+
1
{\displaystyle M_{i}/M_{i+1}}
皆为单模；这些单模称为合成因子，
n
{\displaystyle n}
称为合成长度，都是
M
{\displaystyle M}
的不变量。亦可考虑
M
{\displaystyle M}
的子模范畴论
A
{\displaystyle {\mathcal {A}}}
，此时
[
M
]
∈
K
{\displaystyle [M]\in K}
可唯一表为合成因子之和；在此意义下，K-群提供了模的半单化。
在抽象代数中。合成列是借着将代数对象拆解为简单的成分，以萃取不变量的方式之一。以模为例，一般环上的模未必能表成单模的直和。但是我们可退而求其次，考虑一组过滤
{
0
}
=
M
0
⊂
⋯
⊂
M
n
=
M
{\displaystyle \{0\}=M_{0}\subset \cdots \subset M_{n}=M}
，使每个子商
M
i
/
M
i
+
1
{\displaystyle M_{i}/M_{i+1}}
皆为单模；这些单模称为合成因子，
n
{\displaystyle n}
称为合成长度，都是
M
{\displaystyle M}
的不变量。亦可考虑
M
{\displaystyle M}
的子模范畴论
A
{\displaystyle {\mathcal {A}}}
，此时
[
M
]
∈
K
{\displaystyle [M]\in K}
可唯一表为合成因子之和；在此意义下，K-群提供了模的半单化。
在模论中，一个环
A
{\displaystyle A}
上的左模
M
{\displaystyle M}
若可表为单模的直和，便称
M
{\displaystyle M}
为半单模。
在模论中，一个环
A
{\displaystyle A}
上的左模
M
{\displaystyle M}
若可表为单模的直和，便称
M
{\displaystyle M}
为半单模。
Mini wiki
