HOME
*





Lüroth's Theorem
In mathematics, Lüroth's theorem asserts that every field that lies between a field ''K'' and the rational function field ''K''(''X'') must be generated as an extension of ''K'' by a single element of ''K''(''X''). This result is named after Jacob Lüroth, who proved it in 1876. Statement Let K be a field and M be an intermediate field between K and K(X), for some indeterminate ''X''. Then there exists a rational function f(X)\in K(X) such that M=K(f(X)). In other words, every intermediate extension between K and K(X) is a simple extension. Proofs The proof of Lüroth's theorem can be derived easily from the theory of rational curves, using the geometric genus. This method is non-elementary, but several short proofs using only the basics of field theory have long been known, mainly using the concept of transcendence degree In abstract algebra, the transcendence degree of a field extension ''L'' / ''K'' is a certain rather coarse measure of the "size" of the extension. Specific ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Field (mathematics)
In mathematics, a field is a set on which addition, subtraction, multiplication, and division are defined and behave as the corresponding operations on rational and real numbers do. A field is thus a fundamental algebraic structure which is widely used in algebra, number theory, and many other areas of mathematics. The best known fields are the field of rational numbers, the field of real numbers and the field of complex numbers. Many other fields, such as fields of rational functions, algebraic function fields, algebraic number fields, and ''p''-adic fields are commonly used and studied in mathematics, particularly in number theory and algebraic geometry. Most cryptographic protocols rely on finite fields, i.e., fields with finitely many elements. The relation of two fields is expressed by the notion of a field extension. Galois theory, initiated by Évariste Galois in the 1830s, is devoted to understanding the symmetries of field extensions. Among other results, thi ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Rational Function Field
In mathematics, a rational function is any function that can be defined by a rational fraction, which is an algebraic fraction such that both the numerator and the denominator are polynomials. The coefficients of the polynomials need not be rational numbers; they may be taken in any field ''K''. In this case, one speaks of a rational function and a rational fraction ''over K''. The values of the variables may be taken in any field ''L'' containing ''K''. Then the domain of the function is the set of the values of the variables for which the denominator is not zero, and the codomain is ''L''. The set of rational functions over a field ''K'' is a field, the field of fractions of the ring of the polynomial functions over ''K''. Definitions A function f(x) is called a rational function if and only if it can be written in the form : f(x) = \frac where P\, and Q\, are polynomial functions of x\, and Q\, is not the zero function. The domain of f\, is the set of all values of ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Field Extension
In mathematics, particularly in algebra, a field extension is a pair of fields E\subseteq F, such that the operations of ''E'' are those of ''F'' restricted to ''E''. In this case, ''F'' is an extension field of ''E'' and ''E'' is a subfield of ''F''. For example, under the usual notions of addition and multiplication, the complex numbers are an extension field of the real numbers; the real numbers are a subfield of the complex numbers. Field extensions are fundamental in algebraic number theory, and in the study of polynomial roots through Galois theory, and are widely used in algebraic geometry. Subfield A subfield K of a field L is a subset K\subseteq L that is a field with respect to the field operations inherited from L. Equivalently, a subfield is a subset that contains 1, and is closed under the operations of addition, subtraction, multiplication, and taking the inverse of a nonzero element of K. As , the latter definition implies K and L have the same zero eleme ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Jacob Lüroth
Jacob Lüroth (18 February 1844, Mannheim, Germany – 14 September 1910, Munich, Germany) was a German mathematician who proved Lüroth's theorem and introduced Lüroth quartics. His name is sometimes written Lueroth, following the common printing convention for umlauted characters. He began his studies in astronomy at the University of Bonn, but switched to mathematics when his poor eyesight made taking astronomical observations impossible. He received his doctorate in 1865 from Heidelberg University, for a thesis on Pascal's theorem. From 1868 he was at the Karlsruhe Institute of Technology, where he became a professor in 1869, and from 1880 he was a professor at the Technical University of Munich, succeeding Felix Klein. In 1883, he became a professor at the University of Freiburg, where he remained until his retirement. Following up on Carl Friedrich Gauss' work on statistics, Lüroth discovered the ''t''-distribution usually credited to William Sealy Gosset. In modern ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Rational Function
In mathematics, a rational function is any function that can be defined by a rational fraction, which is an algebraic fraction such that both the numerator and the denominator are polynomials. The coefficients of the polynomials need not be rational numbers; they may be taken in any field ''K''. In this case, one speaks of a rational function and a rational fraction ''over K''. The values of the variables may be taken in any field ''L'' containing ''K''. Then the domain of the function is the set of the values of the variables for which the denominator is not zero, and the codomain is ''L''. The set of rational functions over a field ''K'' is a field, the field of fractions of the ring of the polynomial functions over ''K''. Definitions A function f(x) is called a rational function if and only if it can be written in the form : f(x) = \frac where P\, and Q\, are polynomial functions of x\, and Q\, is not the zero function. The domain of f\, is the set of all values of x\ ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Simple Extension
In field theory, a simple extension is a field extension which is generated by the adjunction of a single element. Simple extensions are well understood and can be completely classified. The primitive element theorem provides a characterization of the finite simple extensions. Definition A field extension is called a simple extension if there exists an element in ''L'' with :L = K(\theta). This means that every element of can be expressed as a rational fraction in , with coefficients in . There are two different sort of simple extensions. The element may be transcendental over , which means that it is not a root of any polynomial with coefficients in . In this case K(\theta) is isomorphic to the field of rational functions K(X). Otherwise, is algebraic over ; that is, is a root of a polynomial over . The monic polynomial F(X) of minimal degree , with as a root, is called the minimal polynomial of . Its degree equals the degree of the field extension, that is, the ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Rational Curve
In mathematics, an affine algebraic plane curve is the zero set of a polynomial in two variables. A projective algebraic plane curve is the zero set in a projective plane of a homogeneous polynomial in three variables. An affine algebraic plane curve can be completed in a projective algebraic plane curve by homogenizing its defining polynomial. Conversely, a projective algebraic plane curve of homogeneous equation can be restricted to the affine algebraic plane curve of equation . These two operations are each inverse to the other; therefore, the phrase algebraic plane curve is often used without specifying explicitly whether it is the affine or the projective case that is considered. More generally, an algebraic curve is an algebraic variety of dimension one. Equivalently, an algebraic curve is an algebraic variety that is birationally equivalent to an algebraic plane curve. If the curve is contained in an affine space or a projective space, one can take a projection for such a ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Geometric Genus
In algebraic geometry, the geometric genus is a basic birational invariant of algebraic varieties and complex manifolds. Definition The geometric genus can be defined for non-singular complex projective varieties and more generally for complex manifolds as the Hodge number (equal to by Serre duality), that is, the dimension of the canonical linear system plus one. In other words for a variety of complex dimension it is the number of linearly independent holomorphic -forms to be found on .Danilov & Shokurov (1998), p. 53/ref> This definition, as the dimension of : then carries over to any base field, when is taken to be the sheaf of Kähler differentials and the power is the (top) exterior power, the canonical line bundle. The geometric genus is the first invariant of a sequence of invariants called the plurigenera. Case of curves In the case of complex varieties, (the complex loci of) non-singular curves are Riemann surfaces. The algebraic definition of genus agre ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Field Theory (mathematics)
Field theory may refer to: Science * Field (mathematics), the theory of the algebraic concept of field * Field theory (physics), a physical theory which employs fields in the physical sense, consisting of three types: ** Classical field theory, the theory and dynamics of classical fields ** Quantum field theory, the theory of quantum mechanical fields ** Statistical field theory, the theory of critical phase transitions **Grand unified theory Social science * Field theory (psychology) Field theory is a psychological theory (more precisely: Topological and vector psychology) which examines patterns of interaction between the individual and the total field, or environment. The concept first made its appearance in psychology with r ..., a psychological theory which examines patterns of interaction between the individual and his or her environment * Field theory (sociology), a sociological theory concerning the relationship between social actors and local social orders {{Disambig ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Transcendence Degree
In abstract algebra, the transcendence degree of a field extension ''L'' / ''K'' is a certain rather coarse measure of the "size" of the extension. Specifically, it is defined as the largest cardinality of an algebraically independent subset of ''L'' over ''K''. A subset ''S'' of ''L'' is a transcendence basis of ''L'' / ''K'' if it is algebraically independent over ''K'' and if furthermore ''L'' is an algebraic extension of the field ''K''(''S'') (the field obtained by adjoining the elements of ''S'' to ''K''). One can show that every field extension has a transcendence basis, and that all transcendence bases have the same cardinality; this cardinality is equal to the transcendence degree of the extension and is denoted trdeg''K'' ''L'' or trdeg(''L'' / ''K''). If no field ''K'' is specified, the transcendence degree of a field ''L'' is its degree relative to the prime field of the same characteristic, i.e., the rational numbers field Q if ''L'' is of characteristic 0 and ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Gauss's Lemma (polynomial)
In algebra, Gauss's lemma, named after Carl Friedrich Gauss, is a statementThis theorem is called a lemma for historical reasons. about polynomials over the integers, or, more generally, over a unique factorization domain (that is, a ring that has a unique factorization property similar to the fundamental theorem of arithmetic). Gauss's lemma underlies all the theory of factorization and greatest common divisors of such polynomials. Gauss's lemma asserts that the product of two primitive polynomials is primitive (a polynomial with integer coefficients is ''primitive'' if it has 1 as a greatest common divisor of its coefficients). A corollary of Gauss's lemma, sometimes also called ''Gauss's lemma'', is that a primitive polynomial is irreducible over the integers if and only if it is irreducible over the rational numbers. More generally, a primitive polynomial has the same complete factorization over the integers and over the rational numbers. In the case of coefficients in ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]