transcendence degree

The transcendence degree of a set $S$ over a field $K$ , denoted $T_{S}$ , is the size of the maximal subset $S^{\\prime}$ of $S$ such that all the elements of $S^{\\prime}$ are algebraically independent.

The transcendence degree of a field extension $L$ over $K$ is the transcendence degree of the minimal subset of $L$ needed to generate $L$ over $K$ .

Heuristically speaking, the transcendence degree of a finite set $S$ is obtained by taking the number of elements in the set, subtracting the number of algebraic elements in that set, and then subtracting the number of algebraic relations between distinct pairs of elements in $S$ .

Example 1 (Computing the Transcendence Degree).

The set $S=\\{\\sqrt{7},\\pi,\\pi^{2},e\\}$ has transcendence $T_{S}\\leq 2$ over $\\mathbb{Q}$ since there arefour elements, $\\sqrt{7}$ is algebraic, and the polynomial $f(x,y)=x^{2}-y$ gives an algebraic dependence between $\\pi$ and $\\pi^{2}$ (i.e. $(\\pi,\\pi^{2})$ is a root of $f$ ), giving $T_{S}\\leq 4-1-1=2$ . Ifwe assume the conjecture that $e$ and $\\pi$ are algebraicallyindependent, then no more dependencies can exist, and we can concludethat, in fact, $T_{S}=2$ .

单词	TranscendenceDegree
释义	transcendence degree The transcendence degree of a set $S$ over a field $K$ , denoted $T_{S}$ , is the size of the maximal subset $S^{\\prime}$ of $S$ such that all the elements of $S^{\\prime}$ are algebraically independent. The transcendence degree of a field extension $L$ over $K$ is the transcendence degree of the minimal subset of $L$ needed to generate $L$ over $K$ . Heuristically speaking, the transcendence degree of a finite set $S$ is obtained by taking the number of elements in the set, subtracting the number of algebraic elements in that set, and then subtracting the number of algebraic relations between distinct pairs of elements in $S$ . Example 1 (Computing the Transcendence Degree). The set $S=\\{\\sqrt{7},\\pi,\\pi^{2},e\\}$ has transcendence $T_{S}\\leq 2$ over $\\mathbb{Q}$ since there arefour elements, $\\sqrt{7}$ is algebraic, and the polynomial $f(x,y)=x^{2}-y$ gives an algebraic dependence between $\\pi$ and $\\pi^{2}$ (i.e. $(\\pi,\\pi^{2})$ is a root of $f$ ), giving $T_{S}\\leq 4-1-1=2$ . Ifwe assume the conjecture that $e$ and $\\pi$ are algebraicallyindependent, then no more dependencies can exist, and we can concludethat, in fact, $T_{S}=2$ .
随便看	fundamental theorem of arithmetic, proof of the FundamentalTheoremOfCalculus fundamental theorem of calculus FundamentalTheoremOfCalculusForKurzweilHenstockIntegral fundamental theorem of calculus for Kurzweil-Henstock integral FundamentalTheoremOfCalculusForRiemannIntegration fundamental theorem of calculus for Riemann integration FundamentalTheoremOfCoalgebras fundamental theorem of coalgebras FundamentalTheoremOfDemography fundamental theorem of demography FundamentalTheoremOfDemographyProofOf fundamental theorem of demography, proof of FundamentalTheoremOfFinitelyGeneratedAbelianGroups fundamental theorem of finitely generated abelian groups FundamentalTheoremOfGaloisTheory fundamental theorem of Galois theory FundamentalTheoremOfIdealTheory fundamental theorem of ideal theory FundamentalTheoremOfIntegralCalculus fundamental theorem of integral calculus FundamentalTheoremOfProjectiveGeometry fundamental theorem of projective geometry FundamentalTheoremOfSpaceCurves fundamental theorem of space curves