complete intersection(代数几何与交换代数术语)指“完全交”:一个代数簇/代数集合(或相应的理想)能够用恰好等于其余维数(codimension,余维)个方程来刻画;等价地,在环论语言中,一个理想由一个正则序列(regular sequence)生成。直观上,它表示“交出来的约束数量刚好够用,不多不少”。(在不同语境下也可指“局部完全交” local complete intersection 等相关概念。)
/kəmˈpliːt ˌɪntərˈsɛkʃən/
A circle in the plane can be a complete intersection of two equations.
平面中的一个圆可以看作由两个方程给出的一个完全交(在合适的代数设定下)。
In projective space, many smooth varieties are studied as complete intersections defined by hypersurfaces.
在射影空间中,许多光滑代数簇常被作为由若干超曲面方程定义的完全交来研究。
complete 来自拉丁语 completus(“充满的、完成的”),强调“充分、恰当”;intersection 来自拉丁语 intersectio(“相交、交叉”)。合在一起,“complete intersection”在数学里表示一种“由足够且最少的方程相交得到”的对象:方程数量与余维相匹配,因此称为“完全/完备的交”。