Abhyankar's lemma

Last updated

In mathematics, Abhyankar's lemma (named after Shreeram Shankar Abhyankar) allows one to kill tame ramification by taking an extension of a base field.

More precisely, Abhyankar's lemma states that if A, B, C are local fields such that A and B are finite extensions of C, with ramification indices a and b, and B is tamely ramified over C and b divides a, then the compositum AB is an unramified extension of A.

Related Research Articles

The Hahn–Banach theorem is a central tool in functional analysis. It allows the extension of bounded linear functionals defined on a subspace of some vector space to the whole space, and it also shows that there are "enough" continuous linear functionals defined on every normed vector space to make the study of the dual space "interesting". Another version of the Hahn–Banach theorem is known as the Hahn–Banach separation theorem or the hyperplane separation theorem, and has numerous uses in convex geometry.

Zorns lemma mathematical proposition equivalent to the axiom of choice

Zorn's lemma, also known as the Kuratowski–Zorn lemma, after mathematicians Max Zorn and Kazimierz Kuratowski, is a proposition of set theory. It states that a partially ordered set containing upper bounds for every chain necessarily contains at least one maximal element.

In mathematics, a local field is a special type of field that is a locally compact topological field with respect to a non-discrete topology. Given such a field, an absolute value can be defined on it. There are two basic types of local fields: those in which the absolute value is Archimedean and those in which it is not. In the first case, one calls the local field an Archimedean local field, in the second case, one calls it a non-Archimedean local field. Local fields arise naturally in number theory as completions of global fields.

In mathematics, a global field is a field that is either:

Oscar Zariski American mathematician

Oscar Zariski was a Russian-born American mathematician and one of the most influential algebraic geometers of the 20th century.

Ramification (mathematics) The branching out of a mathematical structure

In geometry, ramification is 'branching out', in the way that the square root function, for complex numbers, can be seen to have two branches differing in sign. The term is also used from the opposite perspective as when a covering map degenerates at a point of a space, with some collapsing of the fibers of the mapping.

In mathematics, a Galois module is a G-module, with G being the Galois group of some extension of fields. The term Galois representation is frequently used when the G-module is a vector space over a field or a free module over a ring in representation theory, but can also be used as a synonym for G-module. The study of Galois modules for extensions of local or global fields is an important tool in number theory.

In number theory, more specifically in local class field theory, the ramification groups are a filtration of the Galois group of a local field extension, which gives detailed information on the ramification phenomena of the extension.

In mathematics, local class field theory, introduced by Helmut Hasse, is the study of abelian extensions of local fields; here, "local field" means a field which is complete with respect to an absolute value or a discrete valuation with a finite residue field: hence every local field is isomorphic to the real numbers R, the complex numbers C, a finite extension of the p-adic numbersQp, or a finite extension of the field of formal Laurent series Fq( ) over a finite field Fq.

In mathematics, the Hilbert–Speiser theorem is a result on cyclotomic fields, characterising those with a normal integral basis. More generally, it applies to any finite abelian extension of Q, which by the Kronecker–Weber theorem are isomorphic to subfields of cyclotomic fields.

In algebraic number theory, the different ideal is defined to measure the (possible) lack of duality in the ring of integers of an algebraic number field K, with respect to the field trace. It then encodes the ramification data for prime ideals of the ring of integers. It was introduced by Richard Dedekind in 1882.

Absolute Galois group

In mathematics, the absolute Galois groupGK of a field K is the Galois group of Ksep over K, where Ksep is a separable closure of K. Alternatively it is the group of all automorphisms of the algebraic closure of K that fix K. The absolute Galois group is well-defined up to inner automorphism. It is a profinite group.

Discriminant of an algebraic number field Measures the size of the ring of integers of the algebraic number field

In mathematics, the discriminant of an algebraic number field is a numerical invariant that, loosely speaking, measures the size of the algebraic number field. More specifically, it is proportional to the squared volume of the fundamental domain of the ring of integers, and it regulates which primes are ramified.

In abstract algebra, Abhyankar's conjecture is a 1957 conjecture of Shreeram Abhyankar, on the Galois groups of algebraic function fields of characteristic p. The soluble case was solved by Serre in 1990 and the full conjecture was proved in 1994 by work of Michel Raynaud and David Harbater.

In number theory, more specifically in p-adic analysis, Krasner's lemma is a basic result relating the topology of a complete non-archimedean field to its algebraic extensions.

In mathematics, an algebraic number fieldF is a finite degree field extension of the field of rational numbers Q. Thus F is a field that contains Q and has finite dimension when considered as a vector space over Q.

Shreeram Shankar Abhyankar American mathematician

Shreeram Shankar Abhyankar was an Indian American mathematician known for his contributions to algebraic geometry. He, at the time of his death, held the Marshall distinguished professor of mathematics chair at Purdue University, and was also a professor of computer science and industrial engineering. He is known for Abhyankar's conjecture of finite group theory.

In algebraic number theory, through completion, the study of ramification of a prime ideal can often be reduced to the case of local fields where a more detailed analysis can be carried out with the aid of tools such as ramification groups.

In mathematics, a superelliptic curve is an algebraic curve defined by an equation of the form

In mathematics, the conductor of an elliptic curve over the field of rational numbers, or more generally a local or global field, is an integral ideal analogous to the Artin conductor of a Galois representation. It is given as a product of prime ideals, together with associated exponents, which encode the ramification in the field extensions generated by the points of finite order in the group law of the elliptic curve. The primes involved in the conductor are precisely the primes of bad reduction of the curve: this is the Néron–Ogg–Shafarevich criterion.

References