对于 由定向集
索引的
-模族,设
为 -模同态。称
为在
上的直系,当
1. 对于所有
。
2. 当 时,
。
对于 由定向集
索引的
-模族,设
为 -模同态。称
为在
上的直系,当
1. 对于所有
。
2. 当 时,
。
此条目由 Bart Snapp 贡献
Snapp, Bart. “直系。” 来自 Web 资源,由 Eric W. Weisstein 创建。 https://mathworld.net.cn/DirectSystem.html