外直和：在代数中，把一族代数结构（常见如群、模、向量空间）“并排”组合成一个新结构。其元素是由各分量组成的序列（或函数），并且只有有限多个分量非零；运算按分量逐一进行。常记作 ⊕（例如 \(\bigoplus_{i\in I} A_i\)）。
（注：与“直积 direct product”相对，直积允许无限多个分量非零。）
/ɪkˈstɜːrnəl dəˈrɛkt sʌm/
The external direct sum of two vector spaces is written \(V \oplus W\).
两个向量空间的外直和记作 \(V \oplus W\)。
For an indexed family of modules \(\{M_i\}_{i\in I}\), the external direct sum \(\bigoplus_{i\in I} M_i\) consists of tuples with only finitely many nonzero entries.
对一族以 \(I\) 为指标的模 \(\{M_i\}_{i\in I}\)，外直和 \(\bigoplus_{i\in I} M_i\) 由那些只有有限多个分量非零的元组构成。
external 源自拉丁语 externus（“外部的”），强调这是在“原结构之外”新构造出的对象；direct sum 是 20 世纪代数中固定下来的术语，direct（直） 表示各分量“互不混合、按分量相加”，sum（和） 表示以加法式的方式组合结构。与之对应的 internal direct sum（内直和） 则发生在同一个大结构内部，用子结构来实现“分解”。
Select Language