Integral Extension
In commutative algebra, an element ''b'' of a commutative ring ''B'' is said to be integral over a subring ''A'' of ''B'' if ''b'' is a root of some monic polynomial over ''A''. If ''A'', ''B'' are fields, then the notions of "integral over" and of an "integral extension" are precisely " algebraic over" and " algebraic extensions" in field theory (since the root of any polynomial is the root of a monic polynomial). The case of greatest interest in number theory is that of complex numbers integral over Z (e.g., \sqrt or 1+i); in this context, the integral elements are usually called algebraic integers. The algebraic integers in a finite extension field ''k'' of the rationals Q form a subring of ''k'', called the ring of integers of ''k'', a central object of study in algebraic number theory. In this article, the term '' ring'' will be understood to mean ''commutative ring'' with a multiplicative identity. Definition Let B be a ring and let A \subset B be a subring of B. An el ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Commutative Algebra
Commutative algebra, first known as ideal theory, is the branch of algebra that studies commutative rings, their ideal (ring theory), ideals, and module (mathematics), modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prominent examples of commutative rings include polynomial rings; rings of algebraic integers, including the ordinary integers \mathbb; and p-adic number, ''p''-adic integers. Commutative algebra is the main technical tool of algebraic geometry, and many results and concepts of commutative algebra are strongly related with geometrical concepts. The study of rings that are not necessarily commutative is known as noncommutative algebra; it includes ring theory, representation theory, and the theory of Banach algebras. Overview Commutative algebra is essentially the study of the rings occurring in algebraic number theory and algebraic geometry. Several concepts of commutative algebras have been developed in ... [...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 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 Diophantine problem is to find two in ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Idempotent (ring Theory)
In ring theory, a branch of mathematics, an idempotent element or simply idempotent of a ring is an element such that . That is, the element is idempotent under the ring's multiplication. Inductively then, one can also conclude that for any positive integer . For example, an idempotent element of a matrix ring is precisely an idempotent matrix. For general rings, elements idempotent under multiplication are involved in decompositions of modules, and connected to homological properties of the ring. In Boolean algebra, the main objects of study are rings in which all elements are idempotent under both addition and multiplication. Examples Quotients of Z One may consider the ring of integers modulo , where is square-free. By the Chinese remainder theorem, this ring factors into the product of rings of integers modulo , where is prime. Now each of these factors is a field, so it is clear that the factors' only idempotents will be and . That is, each factor h ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Nilpotent Element
In mathematics, an element x of a ring R is called nilpotent if there exists some positive integer n, called the index (or sometimes the degree), such that x^n=0. The term, along with its sister idempotent, was introduced by Benjamin Peirce in the context of his work on the classification of algebras. Examples *This definition can be applied in particular to square matrices. The matrix :: A = \begin 0 & 1 & 0\\ 0 & 0 & 1\\ 0 & 0 & 0 \end :is nilpotent because A^3=0. See nilpotent matrix for more. * In the factor ring \Z/9\Z, the equivalence class of 3 is nilpotent because 32 is congruent to 0 modulo 9. * Assume that two elements a and b in a ring R satisfy ab=0. Then the element c=ba is nilpotent as \beginc^2&=(ba)^2\\ &=b(ab)a\\ &=0.\\ \end An example with matrices (for ''a'', ''b''):A = \begin 0 & 1\\ 0 & 1 \end, \;\; B =\begin 0 & 1\\ 0 & 0 \end. Here AB=0 and BA=B. *By definition, any element of a nilsemigroup is nilpot ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Roots Of Unity
In mathematics, a root of unity is any complex number that yields 1 when 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. It is occasionally called a de Moivre number after French mathematician Abraham de Moivre. Roots of unity can be defined in any field. If the 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, 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 z^n = 1. Unless otherwise specified, the root ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Eisenstein's Criterion
In mathematics, Eisenstein's criterion gives a sufficient condition for a polynomial with integer coefficients to be irreducible over the rational numbers – that is, for it to not be factorizable into the product of non-constant polynomials with rational coefficients. This criterion is not applicable to all polynomials with integer coefficients that are irreducible over the rational numbers, but it does allow in certain important cases for irreducibility to be proved with very little effort. It may apply either directly or after transformation of the original polynomial. This criterion is named after Gotthold Eisenstein. In the early 20th century, it was also known as the Schönemann–Eisenstein theorem because Theodor Schönemann was the first to publish it. Criterion Suppose we have the following polynomial with integer coefficients: Q(x) = a_n x^n + a_ x^ + \cdots + a_1 x + a_0. If there exists a prime number such that the following three conditions all apply: * divid ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Cyclotomic Field
In algebraic number theory, a cyclotomic field is a number field obtained by adjoining a complex root of unity to \Q, the field of rational numbers. Cyclotomic fields played a crucial role in the development of modern algebra and number theory because of their relation with Fermat's Last Theorem. It was in the process of his deep investigations of the arithmetic of these fields (for prime n)—and more precisely, because of the failure of unique factorization in their rings of integers—that Ernst Kummer first introduced the concept of an ideal number and proved his celebrated congruences. Definition For n \geq 1, let :\zeta_n=e^\in\C. This is a primitive nth root of unity. Then the nth cyclotomic field is the field extension \mathbb(\zeta_n) of \mathbb generated by \zeta_n. Properties * The nth cyclotomic polynomial :: \Phi_n(x) = \prod_\stackrel\!\!\! \left(x-e^\right) = \prod_\stackrel\!\!\! (x-^k) :is irreducible, so it is the minimal polynomial of \zeta_n o ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Root Of Unity
In mathematics, a root of unity 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. It is occasionally called a de Moivre number after French mathematician Abraham de Moivre. 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 nu ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Quadratic Integer
In number theory, quadratic integers are a generalization of the usual integers to quadratic fields. A complex number is called a quadratic integer if it is a root of some monic polynomial (a polynomial whose leading coefficient is 1) of degree two whose coefficients are integers, i.e. quadratic integers are algebraic integers of degree two. Thus quadratic integers are those complex numbers that are solutions of equations of the form : with and (usual) integers. When algebraic integers are considered, the usual integers are often called ''rational integers''. Common examples of quadratic integers are the square roots of rational integers, such as \sqrt, and the complex number i=\sqrt, which generates the Gaussian integers. Another common example is the non- real cubic root of unity \frac, which generates the Eisenstein integers. Quadratic integers occur in the solutions of many Diophantine equations, such as Pell's equations, and other questions related to integral quadrati ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Minimal Polynomial (field Theory)
In field theory, a branch of mathematics, the minimal polynomial of an element of an extension field of a field is, roughly speaking, the polynomial of lowest degree having coefficients in the smaller field, such that is a root of the polynomial. If the minimal polynomial of exists, it is unique. The coefficient of the highest-degree term in the polynomial is required to be 1. More formally, a minimal polynomial is defined relative to a field extension and an element of the extension field . The minimal polynomial of an element, if it exists, is a member of , the ring of polynomials in the variable with coefficients in . Given an element of , let be the set of all polynomials in such that . The element is called a root or zero of each polynomial in More specifically, ''J''''α'' is the kernel of the ring homomorphism from ''F'' 'x''to ''E'' which sends polynomials ''g'' to their value ''g''(''α'') at the element ''α''. Because it is the kernel of a ring homom ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Quadratic Integer
In number theory, quadratic integers are a generalization of the usual integers to quadratic fields. A complex number is called a quadratic integer if it is a root of some monic polynomial (a polynomial whose leading coefficient is 1) of degree two whose coefficients are integers, i.e. quadratic integers are algebraic integers of degree two. Thus quadratic integers are those complex numbers that are solutions of equations of the form : with and (usual) integers. When algebraic integers are considered, the usual integers are often called ''rational integers''. Common examples of quadratic integers are the square roots of rational integers, such as \sqrt, and the complex number i=\sqrt, which generates the Gaussian integers. Another common example is the non- real cubic root of unity \frac, which generates the Eisenstein integers. Quadratic integers occur in the solutions of many Diophantine equations, such as Pell's equations, and other questions related to integral quadrati ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Gaussian Integer
In number theory, a Gaussian integer is a complex number whose real and imaginary parts are both integers. The Gaussian integers, with ordinary addition and multiplication of complex numbers, form an integral domain, usually written as \mathbf[i] or \Z[i]. Gaussian integers share many properties with integers: they form a Euclidean domain, and thus have a Euclidean division and a Euclidean algorithm; this implies unique factorization and many related properties. However, Gaussian integers do not have a total order that respects arithmetic. Gaussian integers are algebraic integers and form the simplest ring of quadratic integers. Gaussian integers are named after the German mathematician Carl Friedrich Gauss. Basic definitions The Gaussian integers are the set :\mathbf[i]=\, \qquad \text i^2 = -1. In other words, a Gaussian integer is a complex number such that its real part, real and imaginary parts are both integers. Since the Gaussian integers are closed under addition a ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |