Fundamental Unit (number Theory)
   HOME
*





Fundamental Unit (number Theory)
In algebraic number theory, a fundamental unit is a generator (modulo the roots of unity) for the unit group of the ring of integers of a number field, when that group has rank 1 (i.e. when the unit group modulo its torsion subgroup is infinite cyclic). Dirichlet's unit theorem shows that the unit group has rank 1 exactly when the number field is a real quadratic field, a complex cubic field, or a totally imaginary quartic field. When the unit group has rank ≥ 1, a basis of it modulo its torsion is called a fundamental system of units. Some authors use the term fundamental unit to mean any element of a fundamental system of units, not restricting to the case of rank 1 (e.g. ). Real quadratic fields For the real quadratic field K=\mathbf(\sqrt) (with ''d'' square-free), the fundamental unit ε is commonly normalized so that (as a real number). Then it is uniquely characterized as the minimal unit among those that are greater than 1. If Δ denotes the discriminant of ''K'', ...
[...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]  


Totally Imaginary Number Field
In algebraic number theory, a number field is called totally imaginary (or totally complex) if it cannot be embedded in the real numbers. Specific examples include imaginary quadratic fields, cyclotomic fields, and, more generally, CM fields. Any number field that is Galois over the rationals must be either totally real In number theory, a number field ''F'' is called totally real if for each embedding of ''F'' into the complex numbers the image lies inside the real numbers. Equivalent conditions are that ''F'' is generated over Q by one root of an integer poly ... or totally imaginary. References *Section 13.1 of Algebraic number theory {{numtheory-stub ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Springer-Verlag
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second largest academic publisher with 65 staff in 1872.Chronology
". Springer Science+Business Media.
In 1964, Springer expanded its business internationally, o ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Cambridge University Press
Cambridge University Press is the university press of the University of Cambridge. Granted letters patent by Henry VIII of England, King Henry VIII in 1534, it is the oldest university press A university press is an academic publishing house specializing in monographs and scholarly journals. Most are nonprofit organizations and an integral component of a large research university. They publish work that has been reviewed by schola ... in the world. It is also the King's Printer. Cambridge University Press is a department of the University of Cambridge and is both an academic and educational publisher. It became part of Cambridge University Press & Assessment, following a merger with Cambridge Assessment in 2021. With a global sales presence, publishing hubs, and offices in more than 40 Country, countries, it publishes over 50,000 titles by authors from over 100 countries. Its publishing includes more than 380 academic journals, monographs, reference works, school and uni ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Narrow Class Group
In algebraic number theory, the narrow class group of a number field ''K'' is a refinement of the class group of ''K'' that takes into account some information about embeddings of ''K'' into the field of real numbers. Formal definition Suppose that ''K'' is a finite extension of Q. Recall that the ordinary class group of ''K'' is defined to be :C_K = I_K / P_K,\,\! where ''I''''K'' is the group of fractional ideals of ''K'', and ''P''''K'' is the group of principal fractional ideals of ''K'', that is, ideals of the form ''aO''''K'' where ''a'' is an element of ''K''. The narrow class group is defined to be the quotient :C_K^+ = I_K / P_K^+, where now ''P''''K''+ is the group of totally positive principal fractional ideals of ''K''; that is, ideals of the form ''aO''''K'' where ''a'' is an element of ''K'' such that σ(''a'') is ''positive'' for every embedding :\sigma : K \to \mathbf R. Uses The narrow class group features prominently in the theory of representing of in ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Class Group
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]  


picture info

Continued Fraction
In mathematics, a continued fraction is an expression (mathematics), expression obtained through an iterative process of representing a number as the sum of its integer part and the multiplicative inverse, reciprocal of another number, then writing this other number as the sum of its integer part and another reciprocal, and so on. In a finite continued fraction (or terminated continued fraction), the iteration/recursion is terminated after finitely many steps by using an integer in lieu of another continued fraction. In contrast, an infinite continued fraction is an infinite expression (mathematics), infinite expression. In either case, all integers in the sequence, other than the first, must be positive number, positive. The integers a_i are called the coefficients or terms of the continued fraction. It is generally assumed that the numerator of all of the fractions is 1. If arbitrary values and/or function (mathematics), functions are used in place of one or more of the numerat ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Pell's Equation
Pell's equation, also called the Pell–Fermat equation, is any Diophantine equation of the form x^2 - ny^2 = 1, where ''n'' is a given positive nonsquare integer, and integer solutions are sought for ''x'' and ''y''. In Cartesian coordinates, the equation is represented by a hyperbola; solutions occur wherever the curve passes through a point whose ''x'' and ''y'' coordinates are both integers, such as the trivial solution with ''x'' = 1 and ''y'' = 0. Joseph Louis Lagrange proved that, as long as ''n'' is not a perfect square, Pell's equation has infinitely many distinct integer solutions. These solutions may be used to accurately approximate the square root of ''n'' by rational numbers of the form ''x''/''y''. This equation was first studied extensively in India starting with Brahmagupta, who found an integer solution to 92x^2 + 1 = y^2 in his ''Brāhmasphuṭasiddhānta'' circa 628. Bhaskara II in the 12th century and Narayana Pandit i ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

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]  


Quartic Field
In mathematics, the term quartic describes something that pertains to the "fourth order", such as the function x^4. It may refer to one of the following: * Quartic function, a polynomial function of degree 4 * Quartic equation, a polynomial equation of degree 4 * Quartic curve, an algebraic curve of degree 4 * Quartic reciprocity, a theorem from number theory * Quartic surface, a surface defined by an equation of degree 4 ; See also * * * Quart (other) * Quintic, relating to degree 5, as next higher above ''quartic'' * Cubic (other), relating to degree 3 or a cube In geometry, a cube is a three-dimensional solid object bounded by six square faces, facets or sides, with three meeting at each vertex. Viewed from a corner it is a hexagon and its net is usually depicted as a cross. The cube is the only r ...
, as next lower below ''quartic'' {{mathematical disambiguation ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Complex Cubic Field
In mathematics, specifically the area of algebraic number theory, a cubic field is an algebraic number field of degree three. Definition If ''K'' is a field extension of the rational numbers Q of degree 'K'':Qnbsp;= 3, then ''K'' is called a cubic field. Any such field is isomorphic to a field of the form :\mathbf (f(x)) where ''f'' is an irreducible cubic polynomial with coefficients in Q. If ''f'' has three real roots, then ''K'' is called a totally real cubic field and it is an example of a totally real field. If, on the other hand, ''f'' has a non-real root, then ''K'' is called a complex cubic field. A cubic field ''K'' is called a cyclic cubic field if it contains all three roots of its generating polynomial ''f''. Equivalently, ''K'' is a cyclic cubic field if it is a Galois extension of Q, in which case its Galois group over Q is cyclic of order three. This can only happen if ''K'' is totally real. It is a rare occurrence in the sense that if the set of cubic field ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Root Of Unity
In mathematics, a root of unity, occasionally called a Abraham de Moivre, de Moivre number, is any complex number that yields 1 when exponentiation, raised to some positive integer power . Roots of unity are used in many branches of mathematics, and are especially important in number theory, the theory of group characters, and the discrete Fourier transform. Roots of unity can be defined in any field (mathematics), field. If the characteristic of a field, characteristic of the field is zero, the roots are complex numbers that are also algebraic integers. For fields with a positive characteristic, the roots belong to a finite field, and, converse (logic), conversely, every nonzero element of a finite field is a root of unity. Any algebraically closed field contains exactly th roots of unity, except when is a multiple of the (positive) characteristic of the field. General definition An ''th root of unity'', where is a positive integer, is a number satisfying the equation ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]