Q(√−1)

Q(√−1)
Name	Q(√−1)
Type	Number field
Discriminant	−4
Signature	(0,1)
Ring of integers	Z[i]
Unit group	{±1, ±i}

Q(√−1).

Introduction

Q(√−1) is the quadratic extension of Rational numbers obtained by adjoining an imaginary unit; it plays a central role in the work of Carl Friedrich Gauss, Ernst Kummer, Richard Dedekind, Emil Artin, and David Hilbert. As a foundational example in algebraic number theory it connects to the theories of Gaussian integers, Fermat's Last Theorem (via early cyclotomic approaches), class field theory, and the development of complex multiplication in the work of Kurt Heegner and Goro Shimura. This field is prototypical in explicit calculations involving Dirichlet L-series, Dedekind zeta function, Kronecker's Jugendtraum, and the study of modular forms by Srinivasa Ramanujan and Hecke.

Field Construction and Basic Properties

The field is constructed by adjoining √−1 to Q in the manner used by Niels Henrik Abel and Évariste Galois for quadratic extensions; this mirrors constructions in Gauss's Disquisitiones Arithmeticae where Gaussian integers appear. It is a degree-2 extension with nontrivial automorphism corresponding to complex conjugation, as studied by Évariste Galois and formalized in Galois theory by Galois. Its discriminant equals −4, a value that surfaces in computations by Dedekind and Hecke when evaluating the Dedekind zeta and in the determination of ramification at primes studied by Frobenius and Chebotarev. The unique infinite place is complex, reflecting the classification by Archimedean placees used in the work of Ostrowski.

Ring of Integers and Units

The ring of integers of the field is the ring of Gaussian integers, denoted Z[i], which was intensively investigated by Gauss, Kummer, and later by Hilbert in his Zahlbericht. Z[i] is a principal ideal domain and Euclidean domain with norm map N(a+bi)=a^2+b^2, a fact exploited by Fermat and Sophie Germain in representations of primes as sums of two squares. The unit group is finite, consisting of the fourth roots of unity {±1, ±i} that connect to cyclotomic fields studied by Leopoldt and Kummer. Properties of Z[i] underlie explicit factorizations used by Évariste Galois in group-theoretic contexts and by Dedekind in ideal-theoretic formulations.

Class Number and Ideal Theory

The class number of the field equals 1, a classical result tied to work of Gauss and later proofs by Heegner, Baker, and Stark in broader contexts. As a consequence every nonzero ideal of Z[i] is principal, an observation central to factorization methods of Dirichlet and to explicit reciprocity laws studied by Artin and Tate. Ideal factorization of rational primes in this field is governed by splitting criteria: primes congruent to 1 modulo 4 split, primes congruent to 3 modulo 4 remain inert, and 2 ramifies, facts that appear in reciprocity statements of Legendre and Gauss. These splitting behaviors are essential in the explicit description of abelian extensions per Kronecker and Weber.

Galois Group and Extensions

The extension is Galois over Q with Galois group of order 2 generated by complex conjugation, a paradigmatic example in Galois theory discussed by Galois and applied in Artin's reciprocity law. It embeds into cyclotomic extensions like the fourth cyclotomic field studied by Leopoldt and Weber, and it appears as a quadratic subfield of many abelian extensions analyzed by Kronecker in his Jugendtraum. Quadratic twists, Kummer extensions, and composita with real quadratic fields have been used by Hilbert and Frobenius to illustrate local-global principles and local ramification phenomena described by Serre.

Analytic and Arithmetic Applications

Analytic objects attached to the field, such as its Dedekind zeta function and associated Dirichlet L-series, were central to investigations by Dirichlet, Hecke, and Riemann; explicit evaluations connect to class number formulas used by Dirichlet and later refined by Siegel. The representation of primes by a^2+b^2, foundational in the work of Fermat and Gauss, has arithmetic consequences for the behavior of elliptic curves with complex multiplication by Z[i] studied by Shimura and Taniyama. In modular forms theory, theta functions and Eisenstein series considered by Ramanujan and Hecke produce explicit formulas for counts of representations closely linked to this field. Computational algorithms for integer factorization and primality testing reference Gaussian integer arithmetic, as developed in applied strands influenced by Miller and Rabin.

Explicit Examples and Computations

Concrete calculations in the field illustrate classical results: 5 splits as (2+i)(2−i) in Z[i], reflecting Fermat's two-squares theorem; 3 remains inert, and 2 ramifies as (1+i)^2, examples that appear in expositions by Gauss and Euler. The unit group {±1, ±i} gives immediate solutions to norm equations encountered in work by Legendre and Lagrange; computations of ring class fields and complex multiplication values tie to explicit formulas pursued by Kronecker, Weber, and Stark. Computational algebra systems used in modern research—drawing on algorithms by Cohen, Lenstra, and Buchmann—implement arithmetic in Z[i] for explicit class field and L-series evaluations relevant to the field.

Category:Quadratic number fields