代数独立 编辑
在抽象代数里，一个域



L


{\displaystyle L}

的子集



S


{\displaystyle S}

若被称做代数独立于一域



K


{\displaystyle K}

的话，表示



S


{\displaystyle S}

内的元素都不符合系数包含在



K


{\displaystyle K}

内的非平凡多项式。这表示任何以



S


{\displaystyle S}

内元素排成的有限序列




α

1


,
⋯
,

α

n




{\displaystyle \alpha _{1},\cdots ,\alpha _{n}}

和任一系数包含在



K


{\displaystyle K}

的非零多项式



P



{\displaystyle P}

，都会得到：
1
相关
在抽象代数中，一个域扩张



L

/

K


{\displaystyle L/K}

的超越次数是



L


{\displaystyle L}

中在



K


{\displaystyle K}

上代数独立子集的极大基数。