5.3 Fractional ideals and ideal class group

Fractional ideals and the ideal class group are key concepts in understanding Dedekind domains. They extend the notion of ideals to submodules of the field of fractions, allowing for a more comprehensive study of factorization and divisibility in number fields.

The ideal class group measures how far a ring of integers is from being a unique factorization domain. Its finiteness, proven using geometry of numbers, has profound implications for ideal factorization and connects to various areas of number theory, including class field theory and cryptography.

Fractional ideals in Dedekind domains

Definition and properties

Top images from around the web for Definition and properties

• 

  Principalization (algebra) - Wikipedia, the free encyclopedia View original

  Is this image relevant?

• 

  number theory - What does the symbol $N(\mathfrak{p}_{i})=P^{k_i}$ mean in theorem of Dedekind ... View original

  Is this image relevant?

• 

  SqrtSpace | Wolfram Function Repository View original

  Is this image relevant?

• 

  Principalization (algebra) - Wikipedia, the free encyclopedia View original

  Is this image relevant?

• 

  number theory - What does the symbol $N(\mathfrak{p}_{i})=P^{k_i}$ mean in theorem of Dedekind ... View original

  Is this image relevant?

1 of 3

Top images from around the web for Definition and properties

• 

  Principalization (algebra) - Wikipedia, the free encyclopedia View original

  Is this image relevant?

• 

  number theory - What does the symbol $N(\mathfrak{p}_{i})=P^{k_i}$ mean in theorem of Dedekind ... View original

  Is this image relevant?

• 

  SqrtSpace | Wolfram Function Repository View original

  Is this image relevant?

• 

  Principalization (algebra) - Wikipedia, the free encyclopedia View original

  Is this image relevant?

• 

  number theory - What does the symbol $N(\mathfrak{p}_{i})=P^{k_i}$ mean in theorem of Dedekind ... View original

  Is this image relevant?

1 of 3

• Fractional ideals form submodules of the field of fractions of a Dedekind domain expressed as products of integral ideals and inverses of non-zero elements
• The set of fractional ideals creates a group under multiplication with the ring serving as the identity element
• Addition of fractional ideals involves the set of all sums of elements from each ideal
• Multiplication of fractional ideals encompasses the set of all products of elements from each ideal
• The inverse of a fractional ideal I follows the formula $\{x \in K | xI \subseteq R\}$ where K represents the field of fractions and R denotes the Dedekind domain
• Divisibility relation on fractional ideals utilizes ideal containment $I | J$ if and only if $J \subseteq I$
• Every non-zero fractional ideal in a Dedekind domain uniquely factors as a product of prime ideals with integer exponents (example: $I = P_1^{a_1} P_2^{a_2} \cdots P_n^{a_n}$)

Arithmetic operations and examples

• Addition of fractional ideals $I$ and $J$ yields $I + J = \{a + b | a \in I, b \in J\}$ (example: in $\mathbb{Z}[\sqrt{-5}]$, $(2, 1 + \sqrt{-5}) + (3, 1 - \sqrt{-5}) = (1)$)
• Multiplication of fractional ideals $I$ and $J$ produces $IJ = \{\sum_{i=1}^n a_i b_i | a_i \in I, b_i \in J, n \in \mathbb{N}\}$ (example: in $\mathbb{Q}(\sqrt{2})$, $(2, \sqrt{2})(3, \sqrt{2}) = (6, 2\sqrt{2})$)
• Inverse of a fractional ideal $I^{-1} = \{x \in K | xI \subseteq R\}$ (example: in $\mathbb{Z}[\frac{1+\sqrt{-3}}{2}]$, the inverse of $(2, 1+\sqrt{-3})$ equals $(\frac{1}{2}, \frac{1-\sqrt{-3}}{4})$)
• Divisibility of fractional ideals demonstrates $I | J$ when $J = IK$ for some fractional ideal K (example: in $\mathbb{Z}[\sqrt{-5}]$, $(2, 1 + \sqrt{-5}) | (2)$ since $(2) = (2, 1 + \sqrt{-5})(2, 1 - \sqrt{-5})$)

Ideal class group existence and finiteness

Definition and existence

• The ideal class group represents the quotient group of the group of fractional ideals modulo the subgroup of principal fractional ideals
• Existence of the ideal class group stems from the group structure of fractional ideals and the subgroup nature of principal fractional ideals
• The class group measures the deviation from unique factorization in the ring of integers
• Isomorphism classes of ideals correspond to elements in the ideal class group
• Principal ideals form the identity element in the class group (example: in $\mathbb{Z}[\sqrt{-5}]$, the ideal $(2)$ represents a non-trivial class)
• The class group operation involves ideal multiplication followed by taking the equivalence class (example: $[I][J] = [IJ]$)

Finiteness proof and implications

• Finiteness of the ideal class group relies on geometry of numbers, particularly Minkowski's theorem
• Minkowski's theorem guarantees a non-zero element of small norm in any ideal crucial for proving finiteness
• The proof constructs a finite set of ideals representing all ideal classes
• Class number defined as the order of the ideal class group remains finite but challenging to compute for large number fields
• Finiteness of the class group implies every ideal becomes principal when raised to a power equal to the class number
• The class number formula relates the class number to special values of L-functions (example: for imaginary quadratic fields, $h = \frac{\sqrt{|d|}}{2\pi} L(1, \chi)$)
• Dirichlet's unit theorem connects the class number to the regulator and other invariants of the number field

Ideal class group computation and structure

Computational techniques

• Ideal class group computation typically determines the group structure as a product of cyclic groups
• For quadratic number fields $Q(\sqrt{d})$, class number computation utilizes the class number formula involving special values of L-functions
• Genus theory of quadratic forms determines the 2-rank of the class group for quadratic number fields
• Cubic and higher degree number fields require advanced techniques (Buchmann-Lenstra algorithm, class field theory)
• Relation matrices and Smith normal form aid in computing the group structure
• Computation often involves finding a set of ideals generating the class group
• Subexponential algorithms exist for class group computation in certain cases (example: imaginary quadratic fields)

Structure analysis and applications

• Ideal class group structure provides information about ideal factorization in the number field
• Trivial ideal class group (class number 1) indicates the ring of integers forms a unique factorization domain (example: $\mathbb{Z}[\sqrt{-3}]$)
• Analyzing ideal class group structure reveals Galois module structure of ideals in relative extensions
• The p-part of the class group relates to ramification in p-extensions
• Genus theory connects the 2-torsion of the class group to the structure of quadratic forms
• Cohen-Lenstra heuristics predict class group distribution among quadratic number fields
• Class group structure influences the behavior of zeta functions and L-functions associated with the number field

Ideal class group applications in number theory

Factorization and unique factorization domains

• Ideal class group studies ideal factorization and extent of unique factorization failure in the ring of integers
• Class number 1 characterizes unique factorization domains among rings of integers (example: $\mathbb{Z}[\sqrt{-19}]$ has class number 1)
• Factorization of ideals into prime ideals relates to the structure of the class group
• The concept of distance between prime ideals in the same ideal class emerges from class group structure
• Failure of unique factorization quantified by the size and structure of the class group

Class field theory and extensions

• Class field theory uses the ideal class group to classify abelian extensions of a number field
• Artin reciprocity law connects ideal classes to Galois automorphisms in abelian extensions
• Hilbert class field, the maximal unramified abelian extension, has Galois group isomorphic to the ideal class group
• Ray class groups generalize the ideal class group for more refined control over ramification
• Genus theory of quadratic forms closely relates to the 2-torsion subgroup of the ideal class group
• Class field towers arise from studying successive Hilbert class fields

Diophantine equations and cryptography

• Ideal class group crucial for understanding solutions to Diophantine equations in number fields
• Applications to Hilbert's 10th problem for number fields involve class group computations
• Certain public-key cryptosystems base their security on ideal arithmetic in class groups
• Imaginary quadratic fields with large class numbers provide candidates for cryptographic applications
• The discrete logarithm problem in class groups forms the basis for some cryptographic protocols
• Solving norm equations in number fields often involves class group considerations