Fact-checked by Grok 2 weeks ago

Algebraic integer

In mathematics, particularly in algebraic number theory, an algebraic integer is a complex number that is a root of a monic polynomial with integer coefficients.^[1] This means there exists a polynomial of the form x^n + a_{n-1}x^{n-1} + \cdots + a_1 x + a_0 = 0, where n \geq 1, the leading coefficient is 1, and all a_i are integers, such that the complex number satisfies the equation.^[2] Unlike general algebraic numbers, which are roots of polynomials with rational coefficients, algebraic integers are characterized by this integrality condition, generalizing the ordinary integers \mathbb{Z}.^[3] The set of all algebraic integers, often denoted \overline{\mathbb{Z}}, forms a subring of the complex numbers under addition and multiplication, meaning it is closed under these operations and contains additive inverses.^[1] Notable examples include all rational integers, such as $3(root ofx - 3 = 0), quadratic irrationals like \sqrt{2}(root ofx^2 - 2 = 0) and i(root ofx^2 + 1 = 0), roots of unity, and the [golden ratio](/page/Golden_ratio) \frac{1 + \sqrt{5}}{2}(root ofx^2 - x - 1 = 0).[4][5] More generally, nth roots of integers, such as \sqrt^[4]{5}$, qualify as algebraic integers.^[5] Within a number field K, a finite extension of the rationals \mathbb{Q}, the algebraic integers of K form the ring of integers \mathcal{O}_K, which is the maximal integrally closed subring of K containing \mathbb{Z}.^[5] For instance, in the Gaussian rationals \mathbb{Q}(i), the ring of integers is \mathbb{Z} = \{a + bi \mid a, b \in \mathbb{Z}\}.^[6] These rings play a central role in studying unique factorization, ideal theory, and arithmetic properties beyond the rationals, often exhibiting behaviors like unique prime ideal factorization in Dedekind domains.^[7] The concept of algebraic integers was formalized by Richard Dedekind in the 1870s as part of his foundational work in algebraic number theory, particularly in his 1871 supplement to Dirichlet's Vorlesungen über Zahlentheorie and his 1882 paper Über die Begründung der idealen Theorie der höheren algebraischen Zahlkörper.^[8] Dedekind's development of ideals resolved failures of unique factorization in rings like \mathbb{Z}[\sqrt{-5}], paving the way for modern commutative algebra and class field theory.^[9]

Definitions

Formal Definition

An algebraic integer is a complex number \alpha that satisfies f(\alpha) = 0 for some monic polynomial f(x) \in \mathbb{Z}, meaning there exists a polynomial of the form

f(x) = x^n + a_{n-1} x^{n-1} + \cdots + a_1 x + a_0

with a_i \in \mathbb{Z} for all i = 0, \dots, n-1 and n \geq 1.^[10]^[11] A monic polynomial is one whose leading coefficient (the coefficient of the highest-degree term) is $1, which ensures that the roots are "integral" in a sense analogous to the ordinary integers \mathbb{Z}being roots of monic polynomials likex - kfork \in \mathbb{Z}. The requirement for integer coefficients arises from the desire to generalize the ring structure of \mathbb{Z}$ to algebraic extensions, preserving properties such as closure under addition and multiplication.^[10]^[11] This definition distinguishes algebraic integers from the broader class of algebraic numbers, which are complex numbers that are roots of non-zero polynomials with rational coefficients (not necessarily monic or with integer coefficients). For instance, \frac{1}{2} is an algebraic number as a root of $2x - 1 = 0, but it is not an algebraic integer.^[10]^[11] Equivalently, \alpha is an algebraic integer if and only if its minimal polynomial over \mathbb{Q}—the monic polynomial of least degree in \mathbb{Q} having \alpha as a root—lies in \mathbb{Z}, meaning it has integer coefficients.^[10]^[11]

Equivalent Characterizations

An element \alpha in a ring extension A \subset B is said to be integral over A if there exists a monic polynomial f(x) \in A such that f(\alpha) = 0.^[12] This general notion of integrality captures the idea of "integer-like" behavior in more abstract settings, where the coefficients lie in the base ring A. Algebraic integers are precisely the complex numbers that are integral over \mathbb{Z}.^[12] A key equivalent characterization arises from module theory: \alpha \in \mathbb{C} is an algebraic integer if and only if the ring \mathbb{Z}[\alpha] is a finitely generated \mathbb{Z}-module.^[13] This means there exist finitely many elements \beta_1, \dots, \beta_k \in \mathbb{Z}[\alpha] such that every element of \mathbb{Z}[\alpha] can be expressed as an integer linear combination \sum m_i \beta_i with m_i \in \mathbb{Z}. The equivalence holds because the existence of a monic polynomial in \mathbb{Z} with root \alpha implies that powers of \alpha satisfy a linear relation over \mathbb{Z}, bounding the module's generators; conversely, finite generation allows construction of such a polynomial via the Cayley-Hamilton theorem applied to the multiplication-by-\alpha map.^[13] In the context of algebraic number fields, the algebraic integers coincide with the integral closure of \mathbb{Z} in the field. Specifically, for an algebraic number field K (a finite extension of \mathbb{Q}), the algebraic integers in K are exactly those elements of K that are integral over \mathbb{Z}.^[12] This integral closure forms a ring, denoted \mathcal{O}_K, which plays a central role in the arithmetic of K. For quadratic fields K = \mathbb{Q}(\sqrt{d}) where d is a square-free integer not equal to 0 or 1, an explicit criterion determines which elements are algebraic integers. Consider an element \alpha = \frac{a + \sqrt{d}}{b} with a, b \in \mathbb{Z}, b \neq 0. The minimal polynomial of \alpha over \mathbb{Q} is derived from its conjugates: the other root is \frac{a - \sqrt{d}}{b}, so

\left( x - \frac{a + \sqrt{d}}{b} \right) \left( x - \frac{a - \sqrt{d}}{b} \right) = x^2 - \frac{2a}{b} x + \frac{a^2 - d}{b^2} = 0.

Multiplying through by b^2 yields the polynomial b^2 x^2 - 2 a b x + (a^2 - d) \in \mathbb{Z}. For \alpha to be an algebraic integer, this polynomial must be monic after normalization, requiring the coefficients of the monic form x^2 - \frac{2a}{b} x + \frac{a^2 - d}{b^2} to lie in \mathbb{Z}. Thus, \frac{2a}{b} \in \mathbb{Z} (so b divides $2a) and \frac{a^2 - d}{b^2} \in \mathbb{Z} (so b^2 divides a^2 - d).^[12]^[14] This criterion allows direct verification without computing the full ring of integers, which is \mathbb{Z}[\sqrt{d}] if d \equiv 2, 3 \pmod{4} and \mathbb{Z}\left[\frac{1 + \sqrt{d}}{2}\right] if d \equiv 1 \pmod{4}.^[12]

Examples

Elementary Examples

The rational integers, that is, all elements of \mathbb{Z}, are algebraic integers, as each integer n satisfies the monic polynomial x - n = 0 with integer coefficients.^[2] Simple examples of algebraic integers beyond the rationals include quadratic algebraic integers such as \sqrt{2}, which is a root of the monic polynomial x^2 - 2 = 0; i, the imaginary unit, which satisfies x^2 + 1 = 0; and the golden ratio \phi = \frac{1 + \sqrt{5}}{2}, which is a root of x^2 - x - 1 = 0. The real cube root of 5, denoted

\sqrt{{grok:render&&&type=render_inline_citation&&&citation_id=3&&&citation_type=wikipedia}}{5}

, is also an algebraic integer, as it satisfies the monic polynomial x^3 - 5 = 0 with integer coefficients.^[5] In each case, the minimal polynomial is monic with integer coefficients, confirming their integrality.^[15] Not every algebraic number is an algebraic integer; for instance, \frac{1}{2} is an algebraic number as a root of $2x - 1 = 0, but it fails to be an algebraic integer because no monic polynomial with integer coefficients has \frac{1}{2} as a root—its minimal polynomial over \mathbb{Q} is not monic when cleared of denominators.^[16]

Examples from Number Fields

In the quadratic number field \mathbb{Q}(i), the ring of algebraic integers is the Gaussian integers \mathbb{Z} = \{a + bi \mid a, b \in \mathbb{Z}\}, where i = \sqrt{-1}. These elements satisfy monic polynomials with integer coefficients, such as a + bi being a root of (x - a)^2 + b^2 = 0. A notable example is $1 + i, which has norm N(1 + i) = 1^2 + 1^2 = 2 and is a prime element in \mathbb{Z} up to units, as its norm is a prime in \mathbb{Z}.^[17]^[18] In the cyclotomic field \mathbb{Q}(\omega), where \omega = e^{2\pi i / 3} = -\frac{1}{2} + i \frac{\sqrt{3}}{2} is a primitive cube root of unity satisfying \omega^2 + \omega + 1 = 0, the ring of algebraic integers is the Eisenstein integers \mathbb{Z}[\omega] = \{a + b\omega \mid a, b \in \mathbb{Z}\}. This ring consists of elements integral over \mathbb{Z}, forming a Euclidean domain under the norm N(a + b\omega) = a^2 - ab + b^2.^[19] For a general quadratic number field \mathbb{Q}(\sqrt{d}) with d < 0 or d > 0 square-free and not equal to 1, the ring of integers depends on the congruence class of d modulo 4. If d \equiv 2, 3 \pmod{4}, the ring is \mathbb{Z}[\sqrt{d}] = \{a + b\sqrt{d} \mid a, b \in \mathbb{Z}\}; if d \equiv 1 \pmod{4}, it is \mathbb{Z}\left[\frac{1 + \sqrt{d}}{2}\right] = \left\{a + b \frac{1 + \sqrt{d}}{2} \mid a, b \in \mathbb{Z}\right\}. As a specific example, in \mathbb{Q}(\sqrt{5}) where $5 \equiv 1 \pmod{4}, the ring of integers is \mathbb{Z}\left[\frac{1 + \sqrt{5}}{2}\right], generated by the golden ratio \phi = \frac{1 + \sqrt{5}}{2}, which satisfies the monic equation x^2 - x - 1 = 0.^[20] In the nth cyclotomic field \mathbb{Q}(\zeta_n), generated by a primitive nth root of unity \zeta_n = e^{2\pi i / n} satisfying the nth cyclotomic polynomial \Phi_n(x) = 0, the ring of algebraic integers is \mathbb{Z}[\zeta_n], the smallest ring containing \mathbb{Z} and \zeta_n. This ring has \mathbb{Z}-basis \{1, \zeta_n, \zeta_n^2, \dots, \zeta_n^{\phi(n)-1}\}, where \phi is Euler's totient function, and it is the full integral closure of \mathbb{Z} in \mathbb{Q}(\zeta_n).^[21]

Ring Extensions

Finite Generation

A fundamental property of algebraic integers is that adjoining a single such element to the integers yields a finitely generated module over \mathbb{Z}. Specifically, if \alpha is an algebraic integer of degree n, then the ring \mathbb{Z}[\alpha] is finitely generated as a \mathbb{Z}-module with basis \{1, \alpha, \dots, \alpha^{n-1}\}.^[22] This follows from the fact that \alpha satisfies a monic minimal polynomial of degree n with integer coefficients, allowing higher powers of \alpha to be expressed linearly in terms of the basis elements using integer coefficients.^[23] This finite generation extends naturally to rings generated by finitely many algebraic integers. If \alpha_1, \dots, \alpha_k are algebraic integers, then the ring \mathbb{Z}[\alpha_1, \dots, \alpha_k] is finitely generated as a \mathbb{Z}-module, as it can be constructed inductively: adjoining each \alpha_i to the previously generated ring preserves finite generation since each step adds a finitely generated submodule.^[22] For instance, \mathbb{Z}[\alpha, \beta] is finitely generated for algebraic integers \alpha and \beta, and subrings like \mathbb{Z}[\alpha + \beta] or \mathbb{Z}[\alpha \beta] inherit this property as submodules.^[22] This finite generation property is a cornerstone of commutative algebra, influencing later results such as Hilbert's basis theorem on Noetherian rings and Noether's normalization lemma for finite extensions of polynomial rings.^[24] It underscores the module-finiteness inherent in integral extensions over \mathbb{Z}, distinguishing algebraic integers from more general algebraic numbers. In contrast, adjoining a non-integral algebraic number like $1/2 to \mathbb{Z} produces \mathbb{Z}[1/2], which is not finitely generated as a \mathbb{Z}-module; elements such as $1/2^k for k \geq 0 require infinitely many generators.^[23] This highlights the role of the monic integer polynomial condition in ensuring finite generation.

Integral Extensions

In commutative algebra, a ring extension A \subseteq B is called an integral extension if every element b \in B is integral over A, meaning that b satisfies a monic polynomial equation with coefficients in A.^[25] Specifically, there exist n \geq 1 and a_0, a_1, \dots, a_{n-1} \in A such that

b^n + a_{n-1} b^{n-1} + \cdots + a_1 b + a_0 = 0.

This notion generalizes the concept of algebraic integers, where elements integral over \mathbb{Z} are precisely the algebraic integers.^[25] Integral extensions exhibit several key properties that facilitate their study in algebraic number theory and beyond. First, integrality is transitive: if C/B and B/A are integral extensions, then C/A is integral.^[25] Second, if A is Noetherian and B is integral over A, then B is finitely generated as an A-module.^[25] These properties ensure that integral extensions behave well under composition and maintain finite structure when starting from Noetherian base rings like \mathbb{Z}. A fundamental example arises in the context of algebraic integers: if \alpha is an algebraic integer, then the ring extension \mathbb{Z} \subseteq \mathbb{Z}[\alpha] is integral, as every element of \mathbb{Z}[\alpha] is a polynomial in \alpha with integer coefficients and thus satisfies a monic polynomial over \mathbb{Z} via the minimal polynomial of \alpha.^[26] More generally, adjoining multiple algebraic integers yields integral extensions of \mathbb{Z}. The lying-over theorem provides a crucial connection between the prime ideals of A and B in an integral extension A \subseteq B: for every prime ideal \mathfrak{p} of A, there exists a prime ideal \mathfrak{q} of B such that \mathfrak{q} \cap A = \mathfrak{p}.^[25] This theorem implies that primes in the base ring "lift" to primes in the extension, preserving the spectrum in a controlled way. In the special case where A is a Dedekind domain (such as the ring of integers of a number field), the lying-over theorem, combined with other properties like going-up and going-down, ensures unique factorization of ideals into primes, underpinning the arithmetic of algebraic number fields.^[26] The modern theory of integral extensions traces its origins to Richard Dedekind's foundational work in the 1871 supplements to Dirichlet's Vorlesungen über Zahlentheorie, where he first rigorously defined integral elements in algebraic number fields using monic polynomials and developed the associated ring-theoretic framework to resolve issues in ideal factorization.^[26]

Ring Structure

The Ring of All Algebraic Integers

The ring of all algebraic integers, denoted \overline{\mathbb{Z}}, comprises all elements of the algebraic closure \overline{\mathbb{Q}} of the rational numbers \mathbb{Q} that are roots of monic polynomials with coefficients in \mathbb{Z}. This ring arises as the direct limit of the rings of integers \mathcal{O}_K over all finite extensions K/\mathbb{Q}, ordered by inclusion, with transition maps given by the natural embeddings. Every algebraic integer lies in \mathcal{O}_K for some number field K containing its minimal field of definition, allowing it to embed into the corresponding ring of integers.^[12] \overline{\mathbb{Z}} is integrally closed in \overline{\mathbb{Q}}, serving as the maximal integral extension of \mathbb{Z} within the algebraic numbers.^[27] As a domain, it possesses the Bézout property: every finitely generated ideal is principal.^[28] However, \overline{\mathbb{Z}} is not a principal ideal domain, as it is not Noetherian, owing to the existence of infinite strictly ascending chains of ideals.^[29] In arithmetic geometry, \overline{\mathbb{Z}} facilitates the study of universal arithmetic structures, such as local-global principles for solving Diophantine equations over algebraic integers, extending classical Hasse principles beyond individual number fields.^[30]

Integral Closure in Fields

In algebraic number theory, for a number field K / \mathbb{Q} of degree n = [K : \mathbb{Q}], the ring of integers \mathcal{O}_K is defined as the integral closure of \mathbb{Z} in K, consisting precisely of those elements \alpha \in K that are integral over \mathbb{Z}. This means \alpha satisfies a monic polynomial with coefficients in \mathbb{Z}. As a subring of K, \mathcal{O}_K contains \mathbb{Z} and is contained in K, serving as the maximal order in K with respect to integrality over \mathbb{Z}.^[31] Computing \mathcal{O}_K explicitly depends on the structure of K. For quadratic fields K = \mathbb{Q}(\sqrt{d}) with d a square-free integer not equal to 0 or 1, the ring \mathcal{O}_K takes an explicit form: it is \mathbb{Z}[\sqrt{d}] when d \equiv 2 or $3 \pmod{4}, and \mathbb{Z}\left[ \frac{1 + \sqrt{d}}{2} \right] when d \equiv 1 \pmod{4}. In cubic fields, computation typically begins with a primitive element \alpha whose minimal polynomial over \mathbb{Q} is known; one then determines if \mathbb{Z}[\alpha] equals \mathcal{O}_K by calculating the index [\mathcal{O}_K : \mathbb{Z}[\alpha]] using discriminant formulas derived from the polynomial, adjusting the basis if the index exceeds 1 to include additional integral elements. For higher-degree fields, advanced algorithms such as the Round 2 method, originally developed by Zassenhaus, systematically find an integral basis by iteratively testing potential integral elements and refining modules over \mathbb{Z}.^[32] Key structural properties follow from this definition. The ring \mathcal{O}_K is a finitely generated \mathbb{Z}-module of rank n, admitting a \mathbb{Z}-basis known as an integral basis. Moreover, \mathcal{O}_K is a Dedekind domain, meaning it is an integrally closed Noetherian domain of dimension 1. The integral closure of \mathbb{Z} in K is unique as a subring, and more generally, in algebraic field extensions, the integral closure of an integrally closed domain like \mathbb{Z} is unique up to isomorphism over the base.^[33]

Properties

Basic Arithmetic Properties

Algebraic integers form a ring under the usual addition and multiplication of complex numbers. Specifically, the sum and product of any two algebraic integers are themselves algebraic integers. To see this, suppose \alpha and \beta are algebraic integers satisfying monic polynomials of degrees m and n with integer coefficients, respectively. Consider the \mathbb{Z}-module M = \mathbb{Z}[\alpha, \beta], which is finitely generated by the basis \{1, \alpha, \dots, \alpha^{m-1}, \beta, \alpha\beta, \dots, \alpha^{m-1}\beta^{n-1}\}. For z = \alpha + \beta or z = \alpha\beta, multiplication by z maps M into itself, implying z is an algebraic integer by the characterization that algebraic integers are precisely the elements for which \mathbb{Z} is a finitely generated \mathbb{Z}-module.^[3] In a number field K, the norm and trace of an algebraic integer \alpha \in K take integer values. Let \sigma_1, \dots, \sigma_n be the embeddings of K into \mathbb{C}, where n = [K : \mathbb{Q}]. The trace \operatorname{Tr}_{K/\mathbb{Q}}(\alpha) = \sum_{i=1}^n \sigma_i(\alpha) and the norm N_{K/\mathbb{Q}}(\alpha) = \prod_{i=1}^n \sigma_i(\alpha) are both integers, as they are the negative of the coefficient of x^{n-1} and (-1)^n times the constant term in the monic minimal polynomial of \alpha over \mathbb{Q}, respectively, which has integer coefficients since \alpha is an algebraic integer.^[34] These maps are additive for the trace and multiplicative for the norm, providing key tools for studying arithmetic in K.^[35] The units in the ring of integers \mathcal{O}_K of a number field K consist of elements with multiplicative inverses also in \mathcal{O}_K. By Dirichlet's unit theorem, the unit group \mathcal{O}_K^\times is finitely generated of rank r_1 + r_2 - 1, where r_1 is the number of real embeddings of K and $2r_2 is the number of complex embeddings, and it takes the form \mu_K \times \mathbb{Z}^{r_1 + r_2 - 1}, with \mu_K the finite group of roots of unity in K. This structure arises from the logarithmic embedding of units into \mathbb{R}^{r_1 + r_2}, whose image is a lattice of full rank in a hyperplane, reflecting the regulator as the volume of the fundamental domain.^[36] The Galois group of the algebraic closure \overline{\mathbb{Q}} over \mathbb{Q} acts on the ring of all algebraic integers by sending each element to its conjugates, preserving the ring structure. Any \sigma \in \mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) maps an algebraic integer \alpha, root of a monic polynomial with integer coefficients, to \sigma(\alpha), which satisfies the same polynomial since coefficients are fixed by \sigma, hence is also an algebraic integer. This action is a ring automorphism, maintaining addition and multiplication.^[37]

Discriminants and Ideals

In the ring of integers \mathcal{O}_K of a number field K of degree n over \mathbb{Q}, the discriminant is a fundamental invariant defined relative to an integral basis \{\omega_1, \dots, \omega_n\} as \operatorname{disc}(\mathcal{O}_K) = \det\left( \operatorname{Tr}_{K/\mathbb{Q}}(\omega_i \omega_j) \right), where \operatorname{Tr}_{K/\mathbb{Q}} denotes the field trace; this determinant is an integer independent of the choice of basis.^[38] The absolute value of the discriminant provides a measure of the ramification of prime ideals in \mathcal{O}_K, with smaller discriminants often corresponding to less ramified extensions and simpler arithmetic structure.^[38] Rings of algebraic integers \mathcal{O}_K are Dedekind domains, in which every nonzero ideal factors uniquely as a product of prime ideals, restoring a form of unique factorization at the ideal level despite potential failures for individual elements.^[39] This ideal factorization theorem underpins much of algebraic number theory, enabling the study of arithmetic via ideals rather than elements alone.^[39] The ideal class group \mathrm{Cl}_K of \mathcal{O}_K is the quotient of the group of fractional ideals by the subgroup of principal ideals, measuring the deviation from \mathcal{O}_K being a principal ideal domain (PID); its order, the class number h_K = |\mathrm{Cl}_K|, is finite.^[40] Finiteness follows from Minkowski's geometry of numbers, which guarantees that every ideal class contains an integral ideal of norm at most the Minkowski bound M_K = \frac{n!}{n^n} \left( \frac{4}{\pi} \right)^{r_2} |\operatorname{disc}(K)|^{1/2}, where r_2 is the number of complex conjugate pairs in the embeddings of K; thus, h_K divides the number of ideals of norm up to M_K, yielding an explicit though crude upper bound like h_K < C \cdot |\operatorname{disc}(K)|^{1/2 + \epsilon} for suitable constants C, \epsilon > 0.^[40] When h_K = 1, \mathcal{O}_K is a PID; notable examples include the Gaussian integers \mathbb{Z} for K = \mathbb{Q}(i) and the Eisenstein integers \mathbb{Z}[\omega] for K = \mathbb{Q}(\omega) with \omega = e^{2\pi i / 3}, both of which admit Euclidean algorithms ensuring unique factorization.^[41]^[42] Recent advances in computational algebraic number theory have refined bounds and algorithms for class numbers, particularly for quadratic fields. For instance, explicit upper bounds on h_K for real quadratic fields \mathbb{Q}(\sqrt{d}) with large fundamental units have been derived using estimates on L-functions and squarefree values, improving on classical limits for d up to $10^{12} or more via optimized sieving and modular methods.^[43] These developments, building on software like PARI/GP and SageMath, enable efficient computation of class groups for fields with discriminants exceeding $10^{20}, facilitating searches for fields with small class numbers.^[44]

References

[1]
[PDF] Algebraic Integers
Jan 17, 2007 · An algebraic number is called an algebraic integer if it is a root of polynomial xn + a1xn−1 + ... + an with integer coefficients.Missing: mathematics | Show results with:mathematics
[2]
[PDF] Math 784: algebraic NUMBER THEORY
Definition. An algebraic number α is an algebraic integer if it is a root of some monic polynomial f(x) ∈ Z[x] (i.e. ...
[3]
[PDF] Math 154 Notes 1 These are some notes on algebraic integers. Let ...
Let C denote the complex num- bers. Definition 1: An algebraic integer is a number x ∈ C that satisfies an integer monic polynomial. That is xn + an ...
[4]
[PDF] another short proof that rational algebraic integers are ... - OU Math
Definition. An algebraic integer is a complex number that is a root of a monic polynomial with integer coefficients. Some examples. 1. An ordinary integer k ...
[5]
[PDF] Contents 0 Algebraic Number Theory - Evan Dummit
Sep 4, 2024 · Proposition (Rings of Integers): Suppose K is a number field. 1. For α ∈ K, the following are equivalent: (a) α is an algebraic integer. ( ...
[6]
[PDF] 6 Gaussian Integers and Rings of Algebraic Integers
Gaussian integers are complex numbers with real and imaginary parts that are both integers, defined as Z[i] = {x + iy : x, y ∈ Z}.
[7]
[PDF] Introduction to Algebraic Number Theory Lecture 3
Jan 20, 2014 · The ring of integers is said to be the maximal order. Some examples later. (2.2) Having shown that for a number field K the algebraic integers ...
[8]
[PDF] A brief history of rings - OU Math
Mar 24, 2015 · This lead Dedekind to define a domain of algebraic integers as any set that's just the integers plus some other stuff in 1871. Technical ...
[9]
[PDF] Notes on Chapters 3 and 4 of Dedekind's Theory of Algebraic Integers
Nov 15, 2002 · These notes are intended as a high-level overview of some of the central ideas of Dedekind's theory of ideals, as presented in Chapters 3 and 4.
[10]
[PDF] ALGEBRAIC NUMBER THEORY Contents Introduction ...
the ring of integers in the number field, the ideals in the ring of integers, the ...
[11]
[PDF] Math 6370: Algebraic Number Theory - Cornell University
May 13, 2018 · We often write Q(α) = Q[α]. Definition 1.4 (Working definition). We say that α ∈ K is an algebraic integer. if pα(x) has coefficients in Z.
[12]
[PDF] Algebraic Number Theory
Let D be a squarefree rational integer # 0, 1 and d the discriminant of the quadratic number field K = Q(&). Show that d = D,. ifD=l mod4, d=4D,. ifD=2or3.
[13]
[PDF] On the Definition of Algebraic Integers
The complex numbers satisfying either of the equivalent conditions in Theorem 1 are called algebraic integers. When α is an algebraic integer, the ring Z[α] is ...
[14]
[PDF] Notes on Algebraic Numbers
All integers are algebraic integers, and all rationals are algebraic numbers. Some examples of algebraic integers are i,. √. 2, 3. √. 10, (1 +. √. 5)/2 and 2 ...
[15]
[PDF] Algebraic numbers - Math
Here we will see in a sequence of exercises how to show that certain numbers are algebraic. Recall that α ∈ C is an algebraic number if it is a root of a.
[16]
Gaussian Integer -- from Wolfram MathWorld
A Gaussian integer is a complex number a+bi where a and b are integers. The Gaussian integers are members of the imaginary quadratic field Q(sqrt(-1)) and form
[17]
Gaussian Prime -- from Wolfram MathWorld
Gaussian primes are Gaussian integers z=a+bi satisfying one of the following properties. 1. If both a and b are nonzero then, a+bi is a Gaussian prime iff ...
[18]
Eisenstein Integer -- from Wolfram MathWorld
Eisenstein integers are complex numbers that are members of the imaginary quadratic field Q(sqrt(-3)), which is precisely the ring Z[omega].
[19]
[PDF] Factoring in quadratic fields - Keith Conrad
This is called a quadratic field and it has degree 2 over Q. Similarly, set Z[ √ d] = {a + b √ d : a, b ∈ Z}.
[20]
[PDF] Daniel A. Marcus - Number Fields
As we have indicated, the ring of algebraic integers in the mth cyclotomic field is just Z[ω], and hence an integral basis consists of 1,ω,...,ωϕ(m)−1 . At ...
[21]
Rings of Algebraic Integers - William Stein
$$ \mathbf{Z}[\alpha + \beta]$ is a submodule of the finitely-generated module $ \mathbf{Z}[\alpha, \beta]$ , it is finitely generated, so $ \alpha+\beta$ is ...
[22]
[PDF] MATH 361: NUMBER THEORY — NINTH LECTURE 1. Algebraic ...
Definition 1.5. An algebraic number α is an algebraic integer if its minimal polynomial has integer coefficients. The set of algebraic integers is denoted Z.
[23]
[PDF] Efficient algorithms for Noether Normalization
May 26, 2016 · Theorem 1.6. Noether's Normalization Lemma was, in fact, proved by Hilbert [43] to give an algorithm for constructing a finite set of generators ...
[24]
[PDF] atiyahmacdonald.pdf
We define the extension a² of a to be the ideal Bƒ(a) generated by f(a) in B: explicitly, a is the set of all sums Σyf(x) where x; e a, y₁ = B. If b is an ...
[25]
[PDF] Dedekind's 1871 version of the theory of ideals∗ - andrew.cmu.ed
Mar 19, 2004 · definition for the domain of algebraic integers: Two nonzero integers α, β are said to be relatively prime if every number that is divisible ...
[26]
Embedding algebraic integers as a lattice - MathOverflow
Mar 22, 2010 · So we take the direct limit. The result should be some embedding of the ring of all algebraic integers into a countable dimension Euclidean ...Has anyone found an error in an early version of Neukirch?A ring map from algebraic integers to algebraic closure of $\mathbb ...More results from mathoverflow.net
[27]
Algebraic and integral closures
The integral closure of A in B is a ring, and is integrally closed in B. The proof is much the same as for algebraic closures. For instance, if u and v are ...
[28]
Elimination theory for the ring of algebraic integers. - EuDML
Dries, Lou van den. "Elimination theory for the ring of algebraic integers.." Journal für die reine und angewandte Mathematik 388 (1988): 189-205.Missing: pdf | Show results with:pdf
[29]
[PDF] Arithmetic over the ring of all algebraic integers. - UChicago Math
This paper establishes a local-global principle for diophantine equations over the ring of algebraic integers and shows Hilbert's Tenth Problem has a positive ...
[30]
[PDF] Math 210B Lecture 26 Notes - Pillowmath
Mar 13, 2019 · Let Z, the algebraic integers, be the integral closure of Z in Q ⊆ C. Then. Z is integrally closed. Example 1.8. Let K ⊆ Q be a number field.
[31]
[PDF] lecture 2 - UCSB Math
Sep 28, 2021 · Let x1,...,xn ∈ S where R ⊆ S is a subring so that each xi is integral over R[x1,···xi−1]. Then R[x1,...,xn] is a finitely generated. R-module.
[32]
[PDF] Math 210B. Quadratic integer rings 1. Computing the integral ...
Already with quadratic integer rings one can begin to see some ring-theoretic subtleties emerge. As a basic example, one might wonder: for a finite extension K ...Missing: Keith | Show results with:Keith
[33]
[PDF] Rings of integers without a power basis - Keith Conrad
That the ring of integers of Dedekind's cubic field Q(θ) lacks a power basis can be proved using the same principle as Theorem 2.1: show 2 splits completely in ...
[34]
Compute a basis for the integers of a number field - Macaulay2
This is an implementation of the Zassenhaus' Round 2 algorithm, following the textbook A course in computational algebraic number theory by Henri Cohen ( ...
[35]
[PDF] notes on introductory algebraic number theory - UChicago Math
Aug 20, 2013 · An integral domain is a discrete valuation ring if it is. Noetherian, integrally closed, and has exactly one non-zero prime ideal. Definition ...
[36]
[PDF] Algebraic Number Theory Lecture Notes - Joshua P. Swanson
Dec 9, 2015 · Our main source of example of Dedekind domain are rings of integers. (These should be all the Dedekind domains which are finite rank Z-modules ...<|control11|><|separator|>
[37]
10.36 Finite and integral ring extensions - Stacks Project
Integral closure commutes with localization: If A \to B is a ring map, and S \subset A is a multiplicative subset, then the integral closure of S^{-1}A in S ...
[38]
[PDF] TRACE AND NORM 1. Introduction Let L/K be a finite extension of ...
Initial Properties of the Trace and Norm. The most basic properties of the trace and norm follow from the way mα depends on α. Lemma 3.1. Let α and β belong ...
[39]
Norms and Traces - William Stein
In this section we develop some basic properties of norms, traces, and discriminants, and give more properties of rings of integers in the general context of ...
[40]
[PDF] dirichlet's unit theorem - keith conrad
Table 1 describes the unit group in the ring of integers of several number fields. ... Each field has a real quadratic subfield (the fixed field of complex ...
[41]
[PDF] 21 Ring class fields and the CM method - MIT Mathematics
Apr 25, 2022 · maps algebraic integers to algebraic integers, so it preserves the set OL. For the RHS, it is. 1This is an abuse of terminology: as a ring, K ...
[42]
[PDF] Algebraic Number Theory - James Milne
4If you know the ring of integers of a field, it is easy to find the discriminant. ... For example, this is true for the number fields with discriminants 23 and ...
[43]
[PDF] ideal factorization - keith conrad
The ring OK is a unique factorization domain if and only if it is a principal ideal domain. Proof. It is a general theorem of algebra that every PID is a UFD.
[44]
[PDF] 14 The Minkowski bound and finiteness results - MIT Mathematics
Oct 25, 2017 · We now use the Minkowski bound to prove that every ideal class [I] ∈ clOK can be represented by an ideal I ⊆ OK of small norm. It will then ...
[45]
[PDF] GAUSSIAN INTEGERS Contents 1. Principal Ideal Domain and ...
For example, consider the ring Z. √. −5 = {a + b. √. −5 : a, b ∈ Z}. It is easy to check that this ring is an integral domain (because it is a subset of the ...Missing: Eisenstein | Show results with:Eisenstein
[46]
[PDF] The Eisenstein integers and cubic reciprocity - Uppsala University
Our main goal for this section is to prove that the set of algebraic integers forms a ring. Before advancing, we show that any r ∈ Q∖Z is not an algebraic ...
[47]
[2506.21301] Upper bounds on class numbers of real quadratic fields
Jun 26, 2025 · Finally, we provide algebraic conditions to give a lower bound for the size of the fundamental unit of \mathbb{Q}(\sqrt{d}), generalizing a ...
[48]
[PDF] Computational Number Theory, Past, Present, and Future - Hal-Inria
Sep 30, 2023 · This paper surveys computational number theory, highlighting significant advances, and is a personal account using the Pari/GP system.Missing: 2020s | Show results with:2020s<|control11|><|separator|>