線性代數是代數的一個分支，它以研究向量空間(或A-模)與線性映射為對象；由於費馬和笛卡兒的工作，線性代數基本上出現於十七世紀。 直到十八世紀末，線性代數的領域還只限於平面與空間。
超越基(transcendence basis)亦稱極大超越集。域論的基本概念之一。它是線性代數中基概念的推廣，是擴域的極大代數無關集。
基本介紹
- 中文名：超越基
- 外文名：transcendence basis
- 領域：數學
- 別稱：極大超越集
- 學科：域論
- 性質：擴域的極大代數無關集
概念,基,域論,擴域,
概念
超越基(transcendence basis)亦稱極大超越集。域論的基本概念之一。它是線性代數中基概念的推廣，是擴域的極大代數無關集。設K是域F的擴域，K的一個子集S稱為K在F上的超越基，是指：S在F上代數無關，K是F(S)的代數擴域。域F的任一擴域K都存在超越基。超越基不是惟一的，但它的基數相等，稱此基數為K在F上的超越次數，記為tr.degFK或tr.deg(K/F)。若L是F的擴域，K為中間域，則：
代數擴域的超越基為空集，它的超越次數規定為零。
基
代數數域作為有理數域上的線性空間的基。設K=Q(θ)為n次代數數域，記θ=θ(1)，並以θ(2)，…，θ(n)表示θ所適合的不可約多項式的其他n-1個根。於是，K中任一數α必可表為α=α(θ)=a1+a1θ+…+an-1θn-1，其中aj為有理數。設α(1)=α，則稱α(k)=α(θ(k))(k=2，3，…，n)為α的共軛數，稱S(α)=α(1)+α(2)+…+α(n)=α(θ(1))+α(θ(2))+…+α(θ(n))與N(α)=α(1)，α(2)，…，α(n)=α(θ(1))，α(θ(2))，…，α(θ(n))為α的跡與范。有S(α+β)=S(α)+S(β)，N(αβ)=N(α)N(β).S(α)，N(α)均為有理數。特別地，若α為有理數時，則S(α)=nα，N(α)=α。若α為代數整數，則S(α)，N(α)均為代數整數，從而為有理整數。若在K中能找到一組數α1，α2，…，αn，使K中任何一數都可以惟一地表為a1α1+a2α2+…+amαm的形式，其中aj(1≤j≤m)為有理數，則稱α1，α2，…，αm為K之基.K中任何基所含元素個數相同，且均等於n。若α1，α2，…，αn及β1，β2，…，βn為R(θ)之兩組基，則有有理數ajk(1≤j，k≤n)使：
且其係數行列式|ajk|≠0。
域論
1893年，安里西·韋伯給出抽象域的首個清晰定義。
1910年，施泰尼茨於1911年發表了論文《域的代數理論》（英文：Algebraic Theory of Fields、德文：Algebraische Theorie der Körper）。論文中他以公理化的方式研究了域的性質並給出了多個域的有關術語，比如素域、完全域，和域擴張的超越次數。
擴域
域論的基本概念之一。若域K包含域F作為它的子域，則稱K是F的一個擴張(或擴域)，F稱為基域，常記為K/F。此時，K可以看成F上的向量空間。研究擴域K(相對於基域F)的代數性質，是域論研究的一個基本內容。
若域E是F的擴域，K是E的擴域，則稱E是域擴張K/F的中間域。若K/F是域擴張，S是K的子集，且F(S)是K的含F與S的最小子域，稱F(S)為F添加S的擴域。當S={α1，α2，…，αn}是有限集合時，F(α1，α2，…，αn)稱為添加α1，α2，…，αn於F的有限生成擴域(或者F上的有限生成擴張).它由一切形如：
f(α1，α2，…，αn)/g(α1，α2，…，αn)
的元組成，其中α1，α2，…，αn∈S，f，g是F上的n元多項式且：
g(α1，α2，…，αn)≠0.
由於這個原因，當F(α1，α2，…，αn)關於F的超越次數≥1時，F(α1，α2，…，αn)也稱為F上的代數函式域。當S={α}時，稱F(α)為F的單擴張域，也稱本原擴域。F的有限代數擴域K是單擴域的充分必要條件是，擴域K與基域間存在有限箇中間域。這是施泰尼茨(Steinitz，E.)證明的。
