- Algebra
- >
- Abstract algebra
- >
- Theorems in abstract algebra
- >
- Theorems in algebraic number theory

- Algebra
- >
- Theorems in algebra
- >
- Theorems in abstract algebra
- >
- Theorems in algebraic number theory

- Discrete mathematics
- >
- Number theory
- >
- Algebraic number theory
- >
- Theorems in algebraic number theory

- Discrete mathematics
- >
- Number theory
- >
- Theorems in number theory
- >
- Theorems in algebraic number theory

- Fields of mathematics
- >
- Number theory
- >
- Algebraic number theory
- >
- Theorems in algebraic number theory

- Fields of mathematics
- >
- Number theory
- >
- Theorems in number theory
- >
- Theorems in algebraic number theory

- Mathematical problems
- >
- Mathematical theorems
- >
- Theorems in number theory
- >
- Theorems in algebraic number theory

- Mathematical theorems
- >
- Theorems in algebra
- >
- Theorems in abstract algebra
- >
- Theorems in algebraic number theory

- Mathematics
- >
- Mathematical theorems
- >
- Theorems in number theory
- >
- Theorems in algebraic number theory

- Ring theory
- >
- Field (mathematics)
- >
- Algebraic number theory
- >
- Theorems in algebraic number theory

- Theorems
- >
- Mathematical theorems
- >
- Theorems in number theory
- >
- Theorems in algebraic number theory

Hasse's theorem on elliptic curves

Hasse's theorem on elliptic curves, also referred to as the Hasse bound, provides an estimate of the number of points on an elliptic curve over a finite field, bounding the value both above and below.

Reflection theorem

In algebraic number theory, a reflection theorem or Spiegelungssatz (German for reflection theorem – see Spiegel and Satz) is one of a collection of theorems linking the sizes of different ideal class

Neukirch–Uchida theorem

In mathematics, the Neukirch–Uchida theorem shows that all problems about algebraic number fields can be reduced to problems about their absolute Galois groups.Jürgen Neukirch showed that two algebrai

Ferrero–Washington theorem

In algebraic number theory, the Ferrero–Washington theorem, proved first by and later by , states that Iwasawa's μ-invariant vanishes for cyclotomic Zp-extensions of abelian algebraic number fields.

Grunwald–Wang theorem

In algebraic number theory, the Grunwald–Wang theorem is a local-global principle stating that—except in some precisely defined cases—an element x in a number field K is an nth power in K if it is an

Mordell–Weil theorem

In mathematics, the Mordell–Weil theorem states that for an abelian variety over a number field , the group of K-rational points of is a finitely-generated abelian group, called the Mordell–Weil group

Shafarevich–Weil theorem

In algebraic number theory, the Shafarevich–Weil theorem relates the fundamental class of a Galois extension of local or global fields to an extension of Galois groups. It was introduced by Shafarevic

Brauer–Siegel theorem

In mathematics, the Brauer–Siegel theorem, named after Richard Brauer and Carl Ludwig Siegel, is an asymptotic result on the behaviour of algebraic number fields, obtained by Richard Brauer and Carl L

Ostrowski's theorem

In number theory, Ostrowski's theorem, due to Alexander Ostrowski (1916), states that every non-trivial absolute value on the rational numbers is equivalent to either the usual real absolute value or

Thaine's theorem

In mathematics, Thaine's theorem is an analogue of Stickelberger's theorem for real abelian fields, introduced by Thaine. Thaine's method has been used to shorten the proof of the Mazur–Wiles theorem,

Hermite–Minkowski theorem

In mathematics, especially in algebraic number theory, the Hermite–Minkowski theorem states that for any integer N there are only finitely many number fields, i.e., finite field extensions K of the ra

Chebotarev theorem on roots of unity

The Chebotarev theorem on roots of unity was originally a conjecture made by Ostrowski in the context of lacunary series. Chebotarev was the first to prove it, in the 1930s. This proof involves tools

Dirichlet's unit theorem

In mathematics, Dirichlet's unit theorem is a basic result in algebraic number theory due to Peter Gustav Lejeune Dirichlet. It determines the rank of the group of units in the ring OK of algebraic in

Scholz's reciprocity law

In mathematics, Scholz's reciprocity law is a reciprocity law for quadratic residue symbols of real quadratic number fields discovered by Theodor Schönemann and rediscovered by Arnold Scholz.

Hasse–Arf theorem

In mathematics, specifically in local class field theory, the Hasse–Arf theorem is a result concerning jumps of the upper numbering filtration of the Galois group of a finite Galois extension. A speci

Hilbert's Theorem 90

In abstract algebra, Hilbert's Theorem 90 (or Satz 90) is an important result on cyclic extensions of fields (or to one of its generalizations) that leads to Kummer theory. In its most basic form, it

Local Tate duality

In Galois cohomology, local Tate duality (or simply local duality) is a duality for Galois modules for the absolute Galois group of a non-archimedean local field. It is named after John Tate who first

Hilbert–Speiser theorem

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

Gross–Koblitz formula

In mathematics, the Gross–Koblitz formula, introduced by Gross and Koblitz expresses a Gauss sum using a product of values of the p-adic gamma function. It is an analog of the Chowla–Selberg formula f

Gras conjecture

In algebraic number theory, the Gras conjecture relates the p-parts of the Galois eigenspaces of an ideal class group to the group of global units modulo cyclotomic units. It was proved by as a coroll

Stickelberger's theorem

In mathematics, Stickelberger's theorem is a result of algebraic number theory, which gives some information about the Galois module structure of class groups of cyclotomic fields. A special case was

Main conjecture of Iwasawa theory

In mathematics, the main conjecture of Iwasawa theory is a deep relationship between p-adic L-functions and ideal class groups of cyclotomic fields, proved by Kenkichi Iwasawa for primes satisfying th

Fundamental theorem of ideal theory in number fields

In number theory, the fundamental theorem of ideal theory in number fields states that every nonzero proper ideal in the ring of integers of a number field admits unique factorization into a product o

Hasse norm theorem

In number theory, the Hasse norm theorem states that if L/K is a cyclic extension of number fields, then if a nonzero element of K is a local norm everywhere, then it is a global norm.Here to be a glo

Bauerian extension

In mathematics, in the field of algebraic number theory, a Bauerian extension is a field extension of an algebraic number field which is characterized by the prime ideals with inertial degree one in t

Octic reciprocity

In number theory, octic reciprocity is a reciprocity law relating the residues of 8th powers modulo primes, analogous to the law of quadratic reciprocity, cubic reciprocity, and quartic reciprocity. T

Herbrand–Ribet theorem

In mathematics, the Herbrand–Ribet theorem is a result on the class group of certain number fields. It is a strengthening of Ernst Kummer's theorem to the effect that the prime p divides the class num

Landau prime ideal theorem

In algebraic number theory, the prime ideal theorem is the number field generalization of the prime number theorem. It provides an asymptotic formula for counting the number of prime ideals of a numbe

Minkowski's bound

In algebraic number theory, Minkowski's bound gives an upper bound of the norm of ideals to be checked in order to determine the class number of a number field K. It is named for the mathematician Her

Takagi existence theorem

In class field theory, the Takagi existence theorem states that for any number field K there is a one-to-one inclusion reversing correspondence between the finite abelian extensions of K (in a fixed a

Principal ideal theorem

In mathematics, the principal ideal theorem of class field theory, a branch of algebraic number theory, says that extending ideals gives a mapping on the class group of an algebraic number field to th

Albert–Brauer–Hasse–Noether theorem

In algebraic number theory, the Albert–Brauer–Hasse–Noether theorem states that a central simple algebra over an algebraic number field K which splits over every completion Kv is a matrix algebra over

Shintani's unit theorem

In mathematics, Shintani's unit theorem introduced by Shintani is a refinement of Dirichlet's unit theorem and states that a subgroup of finite index of the totally positive units of a number field ha

Yamamoto's reciprocity law

In mathematics, Yamamoto's reciprocity law is a reciprocity law related to class numbers of quadratic number fields, introduced by .

Stark–Heegner theorem

In number theory, the Baker–Heegner–Stark theorem states precisely which quadratic imaginary number fields admit unique factorisation in their ring of integers. It solves a special case of Gauss's cla

Ankeny–Artin–Chowla congruence

In number theory, the Ankeny–Artin–Chowla congruence is a result published in 1953 by N. C. Ankeny, Emil Artin and S. Chowla. It concerns the class number h of a real quadratic field of discriminant d

Chebotarev's density theorem

Chebotarev's density theorem in algebraic number theory describes statistically the splitting of primes in a given Galois extension K of the field of rational numbers. Generally speaking, a prime inte

Lafforgue's theorem

In mathematics, Lafforgue's theorem, due to Laurent Lafforgue, completes the Langlands program for general linear groups over algebraic function fields, by giving a correspondence between automorphic

Kronecker–Weber theorem

In algebraic number theory, it can be shown that every cyclotomic field is an abelian extension of the rational number field Q, having Galois group of the form . The Kronecker–Weber theorem provides a

Mazur's control theorem

In number theory, Mazur's control theorem, introduced by Mazur, describes the behavior in Zp extensions of the Selmer group of an abelian variety over a number field.

© 2023 Useful Links.