外直和：在代数中，把一族代数结构（常见如群、模、向量空间）“并排”组合成一个新结构。其元素是由各分量组成的序列（或函数），并且只有有限多个分量非零；运算按分量逐一进行。常记作 ⊕（例如 (\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