|
Purely Inseparable Field Extension
In algebra, a purely inseparable extension of fields is an extension ''k'' ⊆ ''K'' of fields of characteristic ''p'' > 0 such that every element of ''K'' is a root of an equation of the form ''x''''q'' = ''a'', with ''q'' a power of ''p'' and ''a'' in ''k''. Purely inseparable extensions are sometimes called radicial extensions, which should not be confused with the similar-sounding but more general notion of radical extensions. Purely inseparable extensions An algebraic extension E\supseteq F is a ''purely inseparable extension'' if and only if for every \alpha\in E\setminus F, the minimal polynomial of \alpha over ''F'' is ''not'' a separable polynomial.Isaacs, p. 298 If ''F'' is any field, the trivial extension F\supseteq F is purely inseparable; for the field ''F'' to possess a ''non-trivial'' purely inseparable extension, it must be imperfect as outlined in the above section. Several equivalent and more concrete definitions for the notion of a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Radical Extension
In mathematics and more specifically in field theory, a radical extension of a field ''K'' is an extension of ''K'' that is obtained by adjoining a sequence of ''n''th roots of elements. Definition A simple radical extension is a simple extension ''F''/''K'' generated by a single element \alpha satisfying \alpha^n = b for an element ''b'' of ''K''. In characteristic ''p'', we also take an extension by a root of an Artin–Schreier polynomial to be a simple radical extension. A radical series is a tower K = F_0 < F_1 < \cdots < F_k where each extension is a simple radical extension. Properties # If ''E'' is a radical extension of ''F'' and ''F'' is a radical extension of ''K'' then ''E'' is a radical extension of ''K''. # If ''E'' and ''F'' are radical extensions of ''K'' in an ''C'' of ...[...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Separable Polynomial
In mathematics, a polynomial ''P''(''X'') over a given field ''K'' is separable if its roots are distinct in an algebraic closure of ''K'', that is, the number of distinct roots is equal to the degree of the polynomial. This concept is closely related to square-free polynomial. If ''K'' is a perfect field then the two concepts coincide. In general, ''P''(''X'') is separable if and only if it is square-free over any field that contains ''K'', which holds if and only if ''P''(''X'') is coprime to its formal derivative ''D'' ''P''(''X''). Older definition In an older definition, ''P''(''X'') was considered separable if each of its irreducible factors in ''K'' 'X''is separable in the modern definition.N. Jacobson, Basic Algebra I, p. 233 In this definition, separability depended on the field ''K''; for example, any polynomial over a perfect field would have been considered separable. This definition, although it can be convenient for Galois theory, is no longer in use. Separabl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical problems about these sets of zeros. The fundamental objects of study in algebraic geometry are algebraic varieties, which are geometric manifestations of solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are: plane algebraic curves, which include lines, circles, parabolas, ellipses, hyperbolas, cubic curves like elliptic curves, and quartic curves like lemniscates and Cassini ovals. A point of the plane belongs to an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of the points of special interest like the singular points, the inflection points and the points at infinity. More advanced questions involve the topology of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Variety
Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Modern definitions generalize this concept in several different ways, while attempting to preserve the geometric intuition behind the original definition. Conventions regarding the definition of an algebraic variety differ slightly. For example, some definitions require an algebraic variety to be irreducible, which means that it is not the union of two smaller sets that are closed in the Zariski topology. Under this definition, non-irreducible algebraic varieties are called algebraic sets. Other conventions do not require irreducibility. The fundamental theorem of algebra establishes a link between algebra and geometry by showing that a monic polynomial (an algebraic object) in one variable with complex number coefficients is determined ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Function Field Of An Algebraic Variety
In algebraic geometry, the function field of an algebraic variety ''V'' consists of objects which are interpreted as rational functions on ''V''. In classical algebraic geometry they are ratios of polynomials; in complex algebraic geometry these are meromorphic functions and their higher-dimensional analogues; in modern algebraic geometry they are elements of some quotient ring's field of fractions. Definition for complex manifolds In complex algebraic geometry the objects of study are complex analytic varieties, on which we have a local notion of complex analysis, through which we may define meromorphic functions. The function field of a variety is then the set of all meromorphic functions on the variety. (Like all meromorphic functions, these take their values in \mathbb\cup\infty.) Together with the operations of addition and multiplication of functions, this is a field in the sense of algebra. For the Riemann sphere, which is the variety \mathbb^1 over the complex numbers, th ... [...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] |
Elliptic Curve
In mathematics, an elliptic curve is a smooth, projective, algebraic curve of genus one, on which there is a specified point . An elliptic curve is defined over a field and describes points in , the Cartesian product of with itself. If the field's characteristic is different from 2 and 3, then the curve can be described as a plane algebraic curve which consists of solutions for: :y^2 = x^3 + ax + b for some coefficients and in . The curve is required to be non-singular, which means that the curve has no cusps or self-intersections. (This is equivalent to the condition , that is, being square-free in .) It is always understood that the curve is really sitting in the projective plane, with the point being the unique point at infinity. Many sources define an elliptic curve to be simply a curve given by an equation of this form. (When the coefficient field has characteristic 2 or 3, the above equation is not quite general enough to include all non-singular cubic cu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Restricted Lie Algebra
In mathematics, a restricted Lie algebra is a Lie algebra together with an additional "''p'' operation." Definition Let ''L'' be a Lie algebra over a field ''k'' of characteristic ''p>0''. A ''p'' operation on ''L'' is a map X \mapsto X^ satisfying * \mathrm(X^) = \mathrm(X)^p for all X \in L, * (tX)^ = t^pX^ for all t \in k, X \in L, * (X+Y)^ = X^ + Y^ + \sum_^ \frac, for all X,Y \in L, where s_i(X,Y) is the coefficient of t^ in the formal expression \mathrm(tX+Y)^(X). If the characteristic of ''k'' is 0, then ''L'' is a restricted Lie algebra where the ''p'' operation is the identity map. Examples For any associative algebra ''A'' defined over a field of characteristic ''p'', the bracket operation ,Y:= XY-YX and ''p'' operation X^ := X^p make ''A'' into a restricted Lie algebra \mathrm(A). Let ''G'' be an algebraic group over a field k of characteristic ''p'', and \mathrm(G) be the Zariski tangent space at the identity element of ''G''. Each element of \mathrm(G) uniquely def ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jacobson–Bourbaki Theorem
In algebra, the Jacobson–Bourbaki theorem is a theorem used to extend Galois theory to field extensions that need not be separable. It was introduced by for commutative field (mathematics), fields and extended to non-commutative fields by , and who credited the result to unpublished work by Nicolas Bourbaki. The extension of Galois theory to normal extensions is called the Jacobson–Bourbaki correspondence, which replaces the correspondence between some Field extension, subfields of a field and some subgroups of a Galois group by a correspondence between some sub division rings of a division ring and some subalgebras of an associative algebra. The Jacobson–Bourbaki theorem implies both the usual Galois correspondence for subfields of a Galois extension, and Jacobson's Galois correspondence for subfields of a purely inseparable extension of exponent at most 1. Statement Suppose that ''L'' is a division ring. The Jacobson–Bourbaki theorem states that there is a natural 1:1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bulletin Of The American Mathematical Society
The ''Bulletin of the American Mathematical Society'' is a quarterly mathematical journal published by the American Mathematical Society. Scope It publishes surveys on contemporary research topics, written at a level accessible to non-experts. It also publishes, by invitation only, book reviews and short ''Mathematical Perspectives'' articles. History It began as the ''Bulletin of the New York Mathematical Society'' and underwent a name change when the society became national. The Bulletin's function has changed over the years; its original function was to serve as a research journal for its members. Indexing The Bulletin is indexed in Mathematical Reviews, Science Citation Index, ISI Alerting Services, CompuMath Citation Index, and Current Contents/Physical, Chemical & Earth Sciences. See also *'' Journal of the American Mathematical Society'' *''Memoirs of the American Mathematical Society'' *''Notices of the American Mathematical Society'' *'' Proceedings of the American M ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
American Mathematical Society
The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, advocacy and other programs. The society is one of the four parts of the Joint Policy Board for Mathematics and a member of the Conference Board of the Mathematical Sciences. History The AMS was founded in 1888 as the New York Mathematical Society, the brainchild of Thomas Fiske, who was impressed by the London Mathematical Society on a visit to England. John Howard Van Amringe was the first president and Fiske became secretary. The society soon decided to publish a journal, but ran into some resistance, due to concerns about competing with the American Journal of Mathematics. The result was the ''Bulletin of the American Mathematical Society'', with Fiske as editor-in-chief. The de facto journal, as intended, was influential in in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Transactions Of The American Mathematical Society
The ''Transactions of the American Mathematical Society'' is a monthly peer-reviewed scientific journal of mathematics published by the American Mathematical Society. It was established in 1900. As a requirement, all articles must be more than 15 printed pages. See also * ''Bulletin of the American Mathematical Society'' * '' Journal of the American Mathematical Society'' * ''Memoirs of the American Mathematical Society'' * ''Notices of the American Mathematical Society'' * ''Proceedings of the American Mathematical Society'' External links * ''Transactions of the American Mathematical Society''on JSTOR JSTOR (; short for ''Journal Storage'') is a digital library founded in 1995 in New York City. Originally containing digitized back issues of academic journals, it now encompasses books and other primary sources as well as current issues of j ... American Mathematical Society academic journals Mathematics journals Publications established in 1900 {{math-journal-st ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
