5.1 Integral bases and their properties

Integral bases are the backbone of number fields, giving us a way to understand and work with algebraic integers. They're like a special set of building blocks that let us construct and analyze all the integers in a number field.

These bases are crucial for studying number fields, helping us calculate important values and solve tricky equations. They connect different areas of math, making them a key tool in algebraic number theory and beyond.

Integral Bases in Number Fields

Definition and Fundamental Concepts

• Integral basis forms a set of elements in a number field serving as a basis for the ring of integers over the integers
• Elements of an integral basis remain linearly independent over the integers and generate the entire ring of integers of the number field
• Integral bases generalize the notion of a basis in linear algebra to algebraic number theory, providing a structured approach to studying algebraic integers
• These bases facilitate systematic description and manipulation of algebraic integers, enabling computations and theoretical analysis in number fields
• Integral bases play a crucial role in determining important invariants of number fields (discriminant, index of subfields)

Representation and Structure

• Any algebraic integer in the number field can be uniquely represented as a Z-linear combination of integral basis elements
• Integral bases form a free Z-module with rank equal to the degree of the number field over the rational numbers
• The structure of integral bases connects to the general linear group GL_n(Z), which describes relationships between different bases of the same number field
• Isomorphisms of number fields preserve integral bases, making them valuable tools for classification and study of number fields

Applications in Algebraic Number Theory

• Integral bases enable efficient computation of norms and traces of algebraic integers using coefficients of their representation
• These bases prove crucial in defining and studying ideals within the ring of integers (ideal factorization, class group theory)
• Integral bases facilitate the study of important number-theoretic concepts (prime factorization, Diophantine equations)

Existence and Uniqueness of Integral Bases

Existence Proof

• Existence of integral bases stems from the finiteness of the ring of integers as a Z-module, a consequence of integral closure of number rings
• Proof often involves constructing a basis using the primitive element theorem, then refining it to obtain an integral basis
• Construction methods may utilize techniques from Galois theory and algebraic geometry
• Existence proofs frequently employ advanced concepts (Dedekind domains, localization, theory of modules over principal ideal domains)

Uniqueness Theorem

• Uniqueness of integral bases established up to a unimodular transformation, meaning any two integral bases relate through an invertible integer matrix
• Proof relies on the fact that any two bases for a free Z-module of finite rank connect via an invertible integer matrix
• Uniqueness theorem demonstrates the fundamental nature of integral bases as invariants of number fields
• Understanding uniqueness proofs requires solid foundation in abstract algebra (ring theory, module theory)

Dimensional Properties

• Dimension of an integral basis equals the degree of the number field over the rational numbers
• This property links the algebraic structure of the number field to the geometric notion of dimension
• Dimensional equality provides insights into the complexity and structure of the number field

Properties of Integral Bases

Structural Characteristics

• Integral bases form a free Z-module with rank equal to the number field degree, concretely realizing the ring of integers
• Discriminant of an integral basis serves as a fundamental invariant of the number field, independent of basis choice
• Norm and trace of algebraic integers can be efficiently computed using coefficients of their representation with respect to an integral basis
• Integral bases allow representation of any algebraic integer in the number field as a unique Z-linear combination of basis elements

Relationships and Transformations

• Different integral bases of the same number field relate through the action of the general linear group GL_n(Z) on the set of bases
• This relationship highlights the geometric and algebraic connections between various representations of the same algebraic structure
• Transformations between integral bases provide insights into the symmetries and automorphisms of the number field

Invariance and Classification

• Integral bases remain preserved under isomorphisms of number fields, serving as important tools in classifying and studying number fields
• This invariance property allows for the development of classification schemes for number fields based on their integral bases
• Studying the properties of integral bases aids in understanding the deeper structure of algebraic number fields

Computing Integral Bases

Methods for Quadratic Number Fields

• Round method (round-2 method) serves as a fundamental technique for computing integral bases in quadratic number fields
• This method involves finding the smallest positive integer that, when added to the quadratic irrational, produces an algebraic integer
• Round method proves particularly effective for real quadratic fields ($\mathbb{Q}(\sqrt{d})$ where d is a square-free positive integer)

Techniques for Higher Degree Fields

• Higher degree number fields require more sophisticated algorithms (Dedekind-Hasse criterion, polynomial method)
• Dedekind-Hasse criterion utilizes properties of the field discriminant to determine integral bases
• Polynomial method involves analyzing the minimal polynomial of a primitive element of the number field

Advanced Computational Approaches

• Index calculus method determines whether a given basis is integral and computes the conductor of an order
• Computational techniques often involve factoring the discriminant of the defining polynomial and analyzing its relationship to the field discriminant
• For cyclotomic fields, integral bases can be constructed using cyclotomic polynomials and their properties
• LLL (Lenstra-Lenstra-Lovász) algorithm serves as a powerful tool for computing integral bases in general number fields, especially those of high degree
• Practical computation of integral bases often requires use of computer algebra systems and specialized number theory software packages (PARI/GP, Sage)