|
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 Ludwig Siegel. It attempts to generalise the results known on the class numbers of imaginary quadratic fields, to a more general sequence of number fields :K_1, K_2, \ldots.\ In all cases other than the rational field Q and imaginary quadratic fields, the regulator ''R''''i'' of ''K''''i'' must be taken into account, because ''K''i then has units of infinite order by Dirichlet's unit theorem. The quantitative hypothesis of the standard Brauer–Siegel theorem is that if ''D''''i'' is the discriminant of ''K''''i'', then : \frac \to 0\texti \to\infty. Assuming that, and the algebraic hypothesis that ''K''''i'' is a Galois extension of Q, the conclusion is that : \frac \to 1\texti \to\infty where ''h''''i'' is the class number of ''K''''i''. If one assumes that all the degree ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Richard Brauer
Richard Dagobert Brauer (February 10, 1901 – April 17, 1977) was a leading German and American mathematician. He worked mainly in abstract algebra, but made important contributions to number theory. He was the founder of modular representation theory. Education and career Alfred Brauer was Richard's brother and seven years older. They were born to a Jewish family. Both were interested in science and mathematics, but Alfred was injured in combat in World War I. As a boy, Richard dreamt of becoming an inventor, and in February 1919 enrolled in Technische Hochschule Berlin-Charlottenburg. He soon transferred to University of Berlin. Except for the summer of 1920 when he studied at University of Freiburg, he studied in Berlin, being awarded his PhD on 16 March 1926. Issai Schur conducted a seminar and posed a problem in 1921 that Alfred and Richard worked on together, and published a result. The problem also was solved by Heinz Hopf at the same time. Richard wrote his thesi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Carl Ludwig Siegel
Carl Ludwig Siegel (31 December 1896 – 4 April 1981) was a German mathematician specialising in analytic number theory. He is known for, amongst other things, his contributions to the Thue–Siegel–Roth theorem in Diophantine approximation, Siegel's method, Siegel's lemma and the Siegel mass formula for quadratic forms. He was named as one of the most important mathematicians of the 20th century.Pérez, R. A. (2011''A brief but historic article of Siegel'' NAMS 58(4), 558–566. André Weil, without hesitation, named Siegel as the greatest mathematician of the first half of the 20th century. Atle Selberg said of Siegel and his work: Biography Siegel was born in Berlin, where he enrolled at the Humboldt University in Berlin in 1915 as a student in mathematics, astronomy, and physics. Amongst his teachers were Max Planck and Ferdinand Georg Frobenius, whose influence made the young Siegel abandon astronomy and turn towards number theory instead. His best-known student was ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Number Field
In mathematics, an algebraic number field (or simply number field) is an extension field K of the field of rational numbers such that the field extension K / \mathbb has finite degree (and hence is an algebraic field extension). Thus K is a field that contains \mathbb and has finite dimension when considered as a vector space over The study of algebraic number fields, and, more generally, of algebraic extensions of the field of rational numbers, is the central topic of algebraic number theory. This study reveals hidden structures behind usual rational numbers, by using algebraic methods. Definition Prerequisites The notion of algebraic number field relies on the concept of a field. A field consists of a set of elements together with two operations, namely addition, and multiplication, and some distributivity assumptions. A prominent example of a field is the field of rational numbers, commonly denoted together with its usual operations of addition and multiplication. A ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Class Number (number Theory)
In number theory, the ideal class group (or class group) of an algebraic number field is the quotient group where is the group of fractional ideals of the ring of integers of , and is its subgroup of principal ideals. The class group is a measure of the extent to which unique factorization fails in the ring of integers of . The order of the group, which is finite, is called the class number of . The theory extends to Dedekind domains and their field of fractions, for which the multiplicative properties are intimately tied to the structure of the class group. For example, the class group of a Dedekind domain is trivial if and only if the ring is a unique factorization domain. History and origin of the ideal class group Ideal class groups (or, rather, what were effectively ideal class groups) were studied some time before the idea of an ideal was formulated. These groups appeared in the theory of quadratic forms: in the case of binary integral quadratic forms, as put into s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Imaginary Quadratic Field
In algebraic number theory, a quadratic field is an algebraic number field of degree two over \mathbf, the rational numbers. Every such quadratic field is some \mathbf(\sqrt) where d is a (uniquely defined) square-free integer different from 0 and 1. If d>0, the corresponding quadratic field is called a real quadratic field, and, if d<0, it is called an imaginary quadratic field or a complex quadratic field, corresponding to whether or not it is a subfield of the field of the s. Quadratic fields have been studied in great depth, initially as part of the theory of s. There remain some unsolved prob ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Regulator Of A Number Field
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 of algebraic integers of a number field . The regulator is a positive real number that determines how "dense" the units are. The statement is that the group of units is finitely generated and has rank (maximal number of multiplicatively independent elements) equal to where is the ''number of real embeddings'' and the ''number of conjugate pairs of complex embeddings'' of . This characterisation of and is based on the idea that there will be as many ways to embed in the complex number field as the degree n = : \mathbb/math>; these will either be into the real numbers, or pairs of embeddings related by complex conjugation, so that Note that if is Galois over \mathbb then either or . Other ways of determining and are * use the primitive element theorem to write K = \mathbb(\alpha), and then ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 of algebraic integers of a number field . The regulator is a positive real number that determines how "dense" the units are. The statement is that the group of units is finitely generated and has rank (maximal number of multiplicatively independent elements) equal to where is the ''number of real embeddings'' and the ''number of conjugate pairs of complex embeddings'' of . This characterisation of and is based on the idea that there will be as many ways to embed in the complex number field as the degree n = : \mathbb/math>; these will either be into the real numbers, or pairs of embeddings related by complex conjugation, so that Note that if is Galois over \mathbb then either or . Other ways of determining and are * use the primitive element theorem to write K = \mathbb(\alpha), and then ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Discriminant Of An Algebraic Number Field
In mathematics, the discriminant of an algebraic number field is a numerical invariant that, loosely speaking, measures the size of the (ring of integers 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. The discriminant is one of the most basic invariants of a number field, and occurs in several important analytic formulas such as the functional equation of the Dedekind zeta function of ''K'', and the analytic class number formula for ''K''. A theorem of Hermite states that there are only finitely many number fields of bounded discriminant, however determining this quantity is still an open problem, and the subject of current research. The discriminant of ''K'' can be referred to as the absolute discriminant of ''K'' to distinguish it from the relative discriminant of an extension ''K''/''L'' of number fields. The latter is an ideal in the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Galois Extension
In mathematics, a Galois extension is an algebraic field extension ''E''/''F'' that is normal and separable; or equivalently, ''E''/''F'' is algebraic, and the field fixed by the automorphism group Aut(''E''/''F'') is precisely the base field ''F''. The significance of being a Galois extension is that the extension has a Galois group and obeys the fundamental theorem of Galois theory. A result of Emil Artin allows one to construct Galois extensions as follows: If ''E'' is a given field, and ''G'' is a finite group of automorphisms of ''E'' with fixed field ''F'', then ''E''/''F'' is a Galois extension. Characterization of Galois extensions An important theorem of Emil Artin states that for a finite extension E/F, each of the following statements is equivalent to the statement that E/F is Galois: *E/F is a normal extension and a separable extension. *E is a splitting field of a separable polynomial with coefficients in F. *, \!\operatorname(E/F), = :F that is, the number o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Effective Results In Number Theory
For historical reasons and in order to have application to the solution of Diophantine equations, results in number theory have been scrutinised more than in other branches of mathematics to see if their content is effectively computable. Where it is asserted that some list of integers is finite, the question is whether in principle the list could be printed out after a machine computation. Littlewood's result An early example of an ineffective result was J. E. Littlewood's theorem of 1914, that in the prime number theorem the differences of both ψ(''x'') and π(''x'') with their asymptotic estimates change sign infinitely often. In 1933 Stanley Skewes obtained an effective upper bound for the first sign change, now known as Skewes' number. In more detail, writing for a numerical sequence ''f'' (''n''), an ''effective'' result about its changing sign infinitely often would be a theorem including, for every value of ''N'', a value ''M'' > ''N'' such that ''f'' ('' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Harold Stark
Harold Mead Stark (born August 6, 1939 in Los Angeles, California) is an American mathematician, specializing in number theory. He is best known for his solution of the Gauss class number 1 problem, in effect correcting and completing the earlier work of Kurt Heegner, and for Stark's conjecture. More recently, he collaborated with Audrey Terras to study zeta functions in graph theory. He is currently on the faculty of the University of California, San Diego. Stark received his bachelor's degree from California Institute of Technology in 1961 and his PhD from the University of California, Berkeley in 1964. He was on the faculty at the University of Michigan from 1964 to 1968, at the Massachusetts Institute of Technology from 1968 to 1980, and at the University of California, San Diego from 1980 to the present. Stark was elected to the American Academy of Arts and Sciences in 1983 and to the United States National Academy of Sciences in 2007. In 2012, he became a fellow of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
