HOME
*





Takagi Existence Theorem
{{short description, Correspondence between finite abelian extensions and generalized ideal class groups 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 algebraic closure of ''K'') and the generalized ideal class groups defined via a modulus of ''K''. It is called an existence theorem because a main burden of the proof is to show the existence of enough abelian extensions of ''K''. Formulation Here a modulus (or ''ray divisor'') is a formal finite product of the valuations (also called primes or places) of ''K'' with positive integer exponents. The archimedean valuations that might appear in a modulus include only those whose completions are the real numbers (not the complex numbers); they may be identified with orderings on ''K'' and occur only to exponent one. The modulus ''m'' is a product of a non-archimedean (finite) ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Class Field Theory
In mathematics, class field theory (CFT) is the fundamental branch of algebraic number theory whose goal is to describe all the abelian Galois extensions of local and global fields using objects associated to the ground field. Hilbert is credited as one of pioneers of the notion of a class field. However, this notion was already familiar to Kronecker and it was actually Weber who coined the term before Hilbert's fundamental papers came out. The relevant ideas were developed in the period of several decades, giving rise to a set of conjectures by Hilbert that were subsequently proved by Takagi and Artin (with the help of Chebotarev's theorem). One of the major results is: given a number field ''F'', and writing ''K'' for the maximal abelian unramified extension of ''F'', the Galois group of ''K'' over ''F'' is canonically isomorphic to the ideal class group of ''F''. This statement was generalized to the so called Artin reciprocity law; in the idelic language, writing ''CF' ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Hilbert Class Field
In algebraic number theory, the Hilbert class field ''E'' of a number field ''K'' is the maximal abelian unramified extension of ''K''. Its degree over ''K'' equals the class number of ''K'' and the Galois group of ''E'' over ''K'' is canonically isomorphic to the ideal class group of ''K'' using Frobenius elements for prime ideals in ''K''. In this context, the Hilbert class field of ''K'' is not just unramified at the finite places (the classical ideal theoretic interpretation) but also at the infinite places of ''K''. That is, every real embedding of ''K'' extends to a real embedding of ''E'' (rather than to a complex embedding of ''E''). Examples *If the ring of integers of ''K'' is a unique factorization domain, in particular if K = \mathbb , then ''K'' is its own Hilbert class field. *Let K = \mathbb(\sqrt) of discriminant -15. The field L = \mathbb(\sqrt, \sqrt) has discriminant 225=(-15)^2 and so is an everywhere unramified extension of ''K'', and it is abelian. ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Helmut Hasse
Helmut Hasse (; 25 August 1898 – 26 December 1979) was a German mathematician working in algebraic number theory, known for fundamental contributions to class field theory, the application of ''p''-adic numbers to local class field theory and diophantine geometry (Hasse principle), and to local zeta functions. Life Hasse was born in Kassel, Province of Hesse-Nassau, the son of Judge Paul Reinhard Hasse, also written Haße (12 April 1868 – 1 June 1940, son of Friedrich Ernst Hasse and his wife Anna Von Reinhard) and his wife Margarethe Louise Adolphine Quentin (born 5 July 1872 in Milwaukee, daughter of retail toy merchant Adolph Quentin (b. May 1832, probably Berlin, Kingdom of Prussia) and Margarethe Wehr (b. about 1840, Prussia), then raised in Kassel). After serving in the Imperial German Navy in World War I, he studied at the University of Göttingen, and then at the University of Marburg under Kurt Hensel, writing a dissertation in 1921 containing the Hasse–Minkowsk ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Class Formation
In mathematics, a class formation is a topological group acting on a module satisfying certain conditions. Class formations were introduced by Emil Artin and John Tate to organize the various Galois groups and modules that appear in class field theory. Definitions A formation is a topological group ''G'' together with a topological ''G''-module ''A'' on which ''G'' acts continuously. A layer ''E''/''F'' of a formation is a pair of open subgroups ''E'', ''F'' of ''G'' such that ''F'' is a finite index subgroup of ''E''. It is called a normal layer if ''F'' is a normal subgroup of ''E'', and a cyclic layer if in addition the quotient group is cyclic. If ''E'' is a subgroup of ''G'', then ''A''''E'' is defined to be the elements of ''A'' fixed by ''E''. We write :''H''''n''(''E''/''F'') for the Tate cohomology group ''H''''n''(''E''/''F'', ''A''''F'') whenever ''E''/''F'' is a normal layer. (Some authors think of ''E'' and ''F'' as fixed fields rather than subgroup of ''G'', so w ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Mathematische Annalen
''Mathematische Annalen'' (abbreviated as ''Math. Ann.'' or, formerly, ''Math. Annal.'') is a German mathematical research journal founded in 1868 by Alfred Clebsch and Carl Neumann. Subsequent managing editors were Felix Klein, David Hilbert, Otto Blumenthal, Erich Hecke, Heinrich Behnke, Hans Grauert, Heinz Bauer, Herbert Amann, Jean-Pierre Bourguignon, Wolfgang Lück, and Nigel Hitchin. Currently, the managing editor of Mathematische Annalen is Thomas Schick. Volumes 1–80 (1869–1919) were published by Teubner. Since 1920 (vol. 81), the journal has been published by Springer. In the late 1920s, under the editorship of Hilbert, the journal became embroiled in controversy over the participation of L. E. J. Brouwer on its editorial board, a spillover from the foundational Brouwer–Hilbert controversy. Between 1945 and 1947 the journal briefly ceased publication. References External links''Mathematische Annalen''homepage at Springer''Mathematische Annalen''archive (1869 ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


International Congress Of Mathematicians
The International Congress of Mathematicians (ICM) is the largest conference for the topic of mathematics. It meets once every four years, hosted by the International Mathematical Union (IMU). The Fields Medals, the Nevanlinna Prize (to be renamed as the IMU Abacus Medal), the Carl Friedrich Gauss Prize, Gauss Prize, and the Chern Medal are awarded during the congress's opening ceremony. Each congress is memorialized by a printed set of Proceedings recording academic papers based on invited talks intended to be relevant to current topics of general interest. Being List of International Congresses of Mathematicians Plenary and Invited Speakers, invited to talk at the ICM has been called "the equivalent ... of an induction to a hall of fame". History Felix Klein and Georg Cantor are credited with putting forward the idea of an international congress of mathematicians in the 1890s.A. John Coleman"Mathematics without borders": a book review ''CMS Notes'', vol 31, no. 3, April 1999 ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

World War I
World War I (28 July 1914 11 November 1918), often abbreviated as WWI, was one of the deadliest global conflicts in history. Belligerents included much of Europe, the Russian Empire, the United States, and the Ottoman Empire, with fighting occurring throughout Europe, the Middle East, Africa, the Pacific, and parts of Asia. An estimated 9 million soldiers were killed in combat, plus another 23 million wounded, while 5 million civilians died as a result of military action, hunger, and disease. Millions more died in genocides within the Ottoman Empire and in the 1918 influenza pandemic, which was exacerbated by the movement of combatants during the war. Prior to 1914, the European great powers were divided between the Triple Entente (comprising France, Russia, and Britain) and the Triple Alliance (containing Germany, Austria-Hungary, and Italy). Tensions in the Balkans came to a head on 28 June 1914, following the assassination of Archduke Franz Ferdin ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Teiji Takagi
Teiji Takagi (高木 貞治 ''Takagi Teiji'', April 21, 1875 – February 28, 1960) was a Japanese mathematician, best known for proving the Takagi existence theorem in class field theory. The Blancmange curve, the graph of a nowhere-differentiable but uniformly continuous function, is also called the Takagi curve after his work on it. Biography He was born in the rural area of the Gifu Prefecture, Japan. He began learning mathematics in middle school, reading texts in English since none were available in Japanese. After attending a high school for gifted students, he went on to the Imperial University (later Tokyo Imperial University), at that time the only university in Japan before the Imperial University System was established on June 18, 1897. There he learned mathematics from such European classic texts as Salmon's ''Algebra'' and Weber's ''Lehrbuch der Algebra''. Aided by Hilbert, he then studied at Göttingen. Aside from his work in algebraic number theory he wrote a g ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Emil Artin
Emil Artin (; March 3, 1898 – December 20, 1962) was an Austrian mathematician of Armenian descent. Artin was one of the leading mathematicians of the twentieth century. He is best known for his work on algebraic number theory, contributing largely to class field theory and a new construction of L-functions. He also contributed to the pure theories of rings, groups and fields. Along with Emmy Noether, he is considered the founder of modern abstract algebra. Early life and education Parents Emil Artin was born in Vienna to parents Emma Maria, née Laura (stage name Clarus), a soubrette on the operetta stages of Austria and Germany, and Emil Hadochadus Maria Artin, Austrian-born of mixed Austrian and Armenian descent. His Armenian last name was Artinian which was shortened to Artin. Several documents, including Emil's birth certificate, list the father's occupation as “opera singer” though others list it as “art dealer.” It seems at least plausible that he and Emma had ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Phillip Furtwängler
Philip, also Phillip, is a male given name, derived from the Greek (''Philippos'', lit. "horse-loving" or "fond of horses"), from a compound of (''philos'', "dear", "loved", "loving") and (''hippos'', "horse"). Prominent Philips who popularized the name include kings of Macedonia and one of the apostles of early Christianity. ''Philip'' has many alternative spellings. One derivation often used as a surname is Phillips. It was also found during ancient Greek times with two Ps as Philippides and Philippos. It has many diminutive (or even hypocoristic) forms including Phil, Philly, Lip, Pip, Pep or Peps. There are also feminine forms such as Philippine and Philippa. Antiquity Kings of Macedon * Philip I of Macedon * Philip II of Macedon, father of Alexander the Great * Philip III of Macedon, half-brother of Alexander the Great * Philip IV of Macedon * Philip V of Macedon New Testament * Philip the Apostle * Philip the Evangelist Others * Philippus of Croton (c. 6th centu ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

David Hilbert
David Hilbert (; ; 23 January 1862 – 14 February 1943) was a German mathematician, one of the most influential mathematicians of the 19th and early 20th centuries. Hilbert discovered and developed a broad range of fundamental ideas in many areas, including invariant theory, the calculus of variations, commutative algebra, algebraic number theory, the foundations of geometry, spectral theory of operators and its application to integral equations, mathematical physics, and the foundations of mathematics (particularly proof theory). Hilbert adopted and defended Georg Cantor's set theory and transfinite numbers. In 1900, he presented a collection of problems that set the course for much of the mathematical research of the 20th century. Hilbert and his students contributed significantly to establishing rigor and developed important tools used in modern mathematical physics. Hilbert is known as one of the founders of proof theory and mathematical logic. Life Early life and edu ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Ramification (mathematics)
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 (branches coming together) as when a covering map degenerates at a point of a space, with some collapsing of the fibers of the mapping. In complex analysis In complex analysis, the basic model can be taken as the ''z'' → ''z''''n'' mapping in the complex plane, near ''z'' = 0. This is the standard local picture in Riemann surface theory, of ramification of order ''n''. It occurs for example in the Riemann–Hurwitz formula for the effect of mappings on the genus. See also branch point. In algebraic topology In a covering map the Euler–Poincaré characteristic should multiply by the number of sheets; ramification can therefore be detected by some dropping from that. The ''z'' → ''z''''n'' mapping shows this as a local ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]