Ostrowski's theoremIn 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 a p-adic absolute value. Two absolute values and on the rationals are defined to be equivalent if they induce the same topology; this can be shown to be equivalent to the existence of a positive real number such that (Note: In general, if is an absolute value, is not necessarily an absolute value anymore; however if two absolute values are equivalent, then each is a positive power of the other.
Topological ringIn mathematics, a topological ring is a ring that is also a topological space such that both the addition and the multiplication are continuous as maps: where carries the product topology. That means is an additive topological group and a multiplicative topological semigroup. Topological rings are fundamentally related to topological fields and arise naturally while studying them, since for example completion of a topological field may be a topological ring which is not a field.
Hasse principleIn mathematics, Helmut Hasse's local–global principle, also known as the Hasse principle, is the idea that one can find an integer solution to an equation by using the Chinese remainder theorem to piece together solutions modulo powers of each different prime number. This is handled by examining the equation in the completions of the rational numbers: the real numbers and the p-adic numbers. A more formal version of the Hasse principle states that certain types of equations have a rational solution if and only if they have a solution in the real numbers and in the p-adic numbers for each prime p.
Andrew WilesSir Andrew John Wiles (born 11 April 1953) is an English mathematician and a Royal Society Research Professor at the University of Oxford, specialising in number theory. He is best known for proving Fermat's Last Theorem, for which he was awarded the 2016 Abel Prize and the 2017 Copley Medal by the Royal Society. He was appointed Knight Commander of the Order of the British Empire in 2000, and in 2018, was appointed the first Regius Professor of Mathematics at Oxford. Wiles is also a 1997 MacArthur Fellow.
Absolute Galois groupIn mathematics, the absolute Galois group GK 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. (When K is a perfect field, Ksep is the same as an algebraic closure Kalg of K. This holds e.g. for K of characteristic zero, or K a finite field.) The absolute Galois group of an algebraically closed field is trivial.
Profinite integerIn mathematics, a profinite integer is an element of the ring (sometimes pronounced as zee-hat or zed-hat) where indicates the profinite completion of , the index runs over all prime numbers, and is the ring of p-adic integers. This group is important because of its relation to Galois theory, étale homotopy theory, and the ring of adeles. In addition, it provides a basic tractable example of a profinite group. The profinite integers can be constructed as the set of sequences of residues represented as such that .
Iwasawa theoryIn number theory, Iwasawa theory is the study of objects of arithmetic interest over infinite towers of number fields. It began as a Galois module theory of ideal class groups, initiated by (岩澤 健吉), as part of the theory of cyclotomic fields. In the early 1970s, Barry Mazur considered generalizations of Iwasawa theory to abelian varieties. More recently (early 1990s), Ralph Greenberg has proposed an Iwasawa theory for motives.
Kurt HenselKurt Wilhelm Sebastian Hensel (29 December 1861 – 1 June 1941) was a German mathematician born in Königsberg. Hensel was born in Königsberg, Province of Prussia (today Kaliningrad, Russia), the son of Julia (née von Adelson) and landowner and entrepreneur Sebastian Hensel. He was the brother of philosopher Paul Hensel. Kurt and Paul's paternal grandparents were painter Wilhelm Hensel and composer Fanny Mendelssohn. Fanny was the sister of Felix Mendelssohn Bartholdy, daughter of Abraham Mendelssohn Bartholdy, and granddaughter of philosopher Moses Mendelssohn, and entrepreneur Daniel Itzig.
Valuation ringIn abstract algebra, a valuation ring is an integral domain D such that for every element x of its field of fractions F, at least one of x or x−1 belongs to D. Given a field F, if D is a subring of F such that either x or x−1 belongs to D for every nonzero x in F, then D is said to be a valuation ring for the field F or a place of F. Since F in this case is indeed the field of fractions of D, a valuation ring for a field is a valuation ring.
Construction of the real numbersIn mathematics, there are several equivalent ways of defining the real numbers. One of them is that they form a complete ordered field that does not contain any smaller complete ordered field. Such a definition does not prove that such a complete ordered field exists, and the existence proof consists of constructing a mathematical structure that satisfies the definition. The article presents several such constructions. They are equivalent in the sense that, given the result of any two such constructions, there is a unique isomorphism of ordered field between them.
