|
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 \mathbb of rational numbers. Generally speaking, a prime integer will factor into several ideal primes in the ring of algebraic integers of ''K''. There are only finitely many patterns of splitting that may occur. Although the full description of the splitting of every prime ''p'' in a general Galois extension is a major unsolved problem, the Chebotarev density theorem says that the frequency of the occurrence of a given pattern, for all primes ''p'' less than a large integer ''N'', tends to a certain limit as ''N'' goes to infinity. It was proved by Nikolai Chebotaryov in his thesis in 1922, published in . A special case that is easier to state says that if ''K'' is an algebraic number field which is a Galois extension of \mathbb of degree ''n'', then the prime numbers that completely split in ''K'' have density :1/''n'' among a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Number Theory
Algebraic number theory is a branch of number theory that uses the techniques of abstract algebra to study the integers, rational numbers, and their generalizations. Number-theoretic questions are expressed in terms of properties of algebraic objects such as algebraic number fields and their rings of integers, finite fields, and Algebraic function field, function fields. These properties, such as whether a ring (mathematics), ring admits unique factorization, the behavior of ideal (ring theory), ideals, and the Galois groups of field (mathematics), fields, can resolve questions of primary importance in number theory, like the existence of solutions to Diophantine equations. History of algebraic number theory Diophantus The beginnings of algebraic number theory can be traced to Diophantine equations, named after the 3rd-century Alexandrian mathematician, Diophantus, who studied them and developed methods for the solution of some kinds of Diophantine equations. A typical Diophantin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Georg Frobenius
Ferdinand Georg Frobenius (26 October 1849 – 3 August 1917) was a German mathematician, best known for his contributions to the theory of elliptic functions, differential equations, number theory, and to group theory. He is known for the famous determinantal identities, known as Frobenius–Stickelberger formulae, governing elliptic functions, and for developing the theory of biquadratic forms. He was also the first to introduce the notion of rational approximations of functions (nowadays known as Padé approximants), and gave the first full proof for the Cayley–Hamilton theorem. He also lent his name to certain differential-geometric objects in modern mathematical physics, known as Frobenius manifolds. Biography Ferdinand Georg Frobenius was born on 26 October 1849 in Charlottenburg, a suburb of Berlin from parents Christian Ferdinand Frobenius, a Protestant parson, and Christine Elizabeth Friedrich. He entered the Joachimsthal Gymnasium in 1860 when he was nearly eleven. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Siegel Zero
Siegel (also Segal or Segel), is a German and Ashkenazi Jewish surname. it can be traced to 11th century Bavaria and was used by people who made wax seals for or sealed official documents (each such male being described as a ''Siegelbeamter''). Alternate spellings include Sigel, Sigl, Siegl, and others. "Siegel" is also the modern German word for seal. The name ultimately derives from the Latin ''sigillum,'' meaning "seal" as in the Seal of the City of New York: ''Sigillum Civitatis Novi Eboraci''. The Germanicized derivative of the name was given to professional seal makers and engravers. Some researchers have attributed the surname to Sigel, referring to Sól (Sun), the goddess of the sun in Germanic mythology (Siȝel or sigel in Old English / Anglo-Saxon), but that is highly speculative. Variants, and false cognates Other variants may routinely include Siegelman, Siegle, Sigl, and Sigel. Presumably, some bearers of these names are lineal descendants of ethnic Jews who chan ... [...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] |
Natural Density
In number theory, natural density (also referred to as asymptotic density or arithmetic density) is one method to measure how "large" a subset of the set of natural numbers is. It relies chiefly on the probability of encountering members of the desired subset when combing through the interval as ''n '' grows large. Intuitively, it is thought that there are more positive integers than perfect squares, since every perfect square is already positive, and many other positive integers exist besides. However, the set of positive integers is not in fact larger than the set of perfect squares: both sets are infinite and countable and can therefore be put in one-to-one correspondence. Nevertheless if one goes through the natural numbers, the squares become increasingly scarce. The notion of natural density makes this intuition precise for many, but not all, subsets of the naturals (see Schnirelmann density, which is similar to natural density but defined for all subsets of \mathbb). If ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cycle Representation
In mathematics, a permutation of a set is, loosely speaking, an arrangement of its members into a sequence or linear order, or if the set is already ordered, a rearrangement of its elements. The word "permutation" also refers to the act or process of changing the linear order of an ordered set. Permutations differ from combinations, which are selections of some members of a set regardless of order. For example, written as tuples, there are six permutations of the set , namely (1, 2, 3), (1, 3, 2), (2, 1, 3), (2, 3, 1), (3, 1, 2), and (3, 2, 1). These are all the possible orderings of this three-element set. Anagrams of words whose letters are different are also permutations: the letters are already ordered in the original word, and the anagram is a reordering of the letters. The study of permutations of finite sets is an important topic in the fields of combinatorics and group theory. Permutations are used in almost every branch of mathematics, and in many other fields of scien ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symmetric Group
In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group \mathrm_n defined over a finite set of n symbols consists of the permutations that can be performed on the n symbols. Since there are n! (n factorial) such permutation operations, the order (number of elements) of the symmetric group \mathrm_n is n!. Although symmetric groups can be defined on infinite sets, this article focuses on the finite symmetric groups: their applications, their elements, their conjugacy classes, a finite presentation, their subgroups, their automorphism groups, and their representation theory. For the remainder of this article, "symmetric group" will mean a symmetric group on a finite set. The symmetric group is important to diverse areas of mathematics such as Galois theory, invariant theory, the representatio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Conjugate
In mathematics, in particular field theory, the conjugate elements or algebraic conjugates of an algebraic element , over a field extension , are the roots of the minimal polynomial of over . Conjugate elements are commonly called conjugates in contexts where this is not ambiguous. Normally itself is included in the set of conjugates of . Equivalently, the conjugates of are the images of under the field automorphisms of that leave fixed the elements of . The equivalence of the two definitions is one of the starting points of Galois theory. The concept generalizes the complex conjugation, since the algebraic conjugates over \R of a complex number are the number itself and its ''complex conjugate''. Example The cube roots of the number one are: : \sqrt = \begin1 \\ pt-\frac+\fraci \\ pt-\frac-\fraci \end The latter two roots are conjugate elements in with minimal polynomial : \left(x+\frac\right)^2+\frac=x^2+x+1. Properties If ''K'' is given inside an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Partition Of An Integer
In number theory and combinatorics, a partition of a positive integer , also called an integer partition, is a way of writing as a summation, sum of positive integers. Two sums that differ only in the order of their summands are considered the same partition. (If order matters, the sum becomes a composition (combinatorics), composition.) For example, can be partitioned in five distinct ways: : : : : : The order-dependent composition is the same partition as , and the two distinct compositions and represent the same partition as . A summand in a partition is also called a part. The number of partitions of is given by the partition function . So . The notation means that is a partition of . Partitions can be graphically visualized with Young diagrams or Ferrers diagrams. They occur in a number of branches of mathematics and physics, including the study of symmetric polynomials and of the symmetric group and in group representation, group representation theory in genera ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Prime Field
In mathematics, the characteristic of a ring , often denoted , is defined to be the smallest number of times one must use the ring's multiplicative identity (1) in a sum to get the additive identity (0). If this sum never reaches the additive identity the ring is said to have characteristic zero. That is, is the smallest positive number such that: :\underbrace_ = 0 if such a number exists, and otherwise. Motivation The special definition of the characteristic zero is motivated by the equivalent definitions characterized in the next section, where the characteristic zero is not required to be considered separately. The characteristic may also be taken to be the exponent of the ring's additive group, that is, the smallest positive integer such that: :\underbrace_ = 0 for every element of the ring (again, if exists; otherwise zero). Some authors do not include the multiplicative identity element in their requirements for a ring (see Multiplicative identity and the te ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Splitting Field
In abstract algebra, a splitting field of a polynomial with coefficients in a field is the smallest field extension of that field over which the polynomial ''splits'', i.e., decomposes into linear factors. Definition A splitting field of a polynomial ''p''(''X'') over a field ''K'' is a field extension ''L'' of ''K'' over which ''p'' factors into linear factors :p(X) = c\prod_^ (X - a_i) where c\in K and for each i we have X - a_i \in L /math> with ''ai'' not necessarily distinct and such that the roots ''ai'' generate ''L'' over ''K''. The extension ''L'' is then an extension of minimal degree over ''K'' in which ''p'' splits. It can be shown that such splitting fields exist and are unique up to isomorphism. The amount of freedom in that isomorphism is known as the Galois group of ''p'' (if we assume it is separable). Properties An extension ''L'' which is a splitting field for a set of polynomials ''p''(''X'') over ''K'' is called a normal extension of ''K''. Given an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rational Number Field
In mathematics, a rational number is a number that can be expressed as the quotient or fraction of two integers, a numerator and a non-zero denominator . For example, is a rational number, as is every integer (e.g. ). The set of all rational numbers, also referred to as "the rationals", the field of rationals or the field of rational numbers is usually denoted by boldface , or blackboard bold \mathbb. A rational number is a real number. The real numbers that are rational are those whose decimal expansion either terminates after a finite number of digits (example: ), or eventually begins to repeat the same finite sequence of digits over and over (example: ). This statement is true not only in base 10, but also in every other integer base, such as the binary and hexadecimal ones (see ). A real number that is not rational is called irrational. Irrational numbers include , , , and . Since the set of rational numbers is countable, and the set of real numbers is uncountable, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
