Q(√-1)

Q(√-1)
Name	Q(√-1)
Type	Number field
Discriminant	-4
Ring of integers	Z[i]
Galois group	C2
Signature	(0,1)

Q(√-1)

Introduction

Q(√-1) is the quadratic extension of Euclid's rational numbers obtained by adjoining a square root of −1; it arises in contexts involving Carl Friedrich Gauss, Leonhard Euler, Jacques Hadamard, David Hilbert, Emil Artin, Ernst Kummer, Srinivasa Ramanujan, Bernhard Riemann, Niels Henrik Abel, Évariste Galois, Henri Poincaré, Sophie Germain, Augustin-Louis Cauchy, Sofia Kovalevskaya, Alexandre Grothendieck, John von Neumann, Alan Turing, Ada Lovelace, Srinivasa Ramanujan, André Weil, Pierre Deligne, Richard Dedekind, Hermann Minkowski, Émile Picard, Hermann Weyl, Norbert Wiener, Paul Dirac, Werner Heisenberg, Max Planck, Erwin Schrödinger, Jules Henri Poincaré, Felix Klein, Sophus Lie, Georg Cantor, Émile Borel, Arthur Cayley, William Rowan Hamilton, Joseph-Louis Lagrange, Siméon Denis Poisson, Carl Gustav Jacobi, Adrien-Marie Legendre, Gottfried Wilhelm Leibniz, Isaac Newton, Albert Einstein, Niels Bohr, Michael Atiyah, Isadore Singer, Barry Mazur, Andrew Wiles, Peter Sarnak, Jean-Pierre Serre, Yuri Manin, Enrico Bombieri, Alexander Grothendieck, David Mumford, John Tate, Shing-Tung Yau, Ellen Swallow Richards, Mary Cartwright, Emmy Noether, Richard Feynman, Paul Erdős, Stanislaw Ulam, Norbert Wiener, Kurt Gödel, Saunders Mac Lane, Samuel Eilenberg.

Field Structure and Basic Properties

The field is a degree-2 extension with minimal polynomial x^2+1 over Euclid's rationals; its Galois group is cyclic of order 2, relating to Évariste Galois, David Hilbert, Emil Artin, Richard Dedekind, Niels Henrik Abel, Évariste Galois's foundational work. Its discriminant −4 connects to Bernhard Riemann and Carl Friedrich Gauss via quadratic reciprocity, and its embeddings into Carl Gustav Jacobi-inspired complex analysis relate to Augustin-Louis Cauchy and Sofia Kovalevskaya. The field is imaginary quadratic, sharing context with Ernst Kummer's cyclotomic investigations, Kurt Hensel's p-adic theory, Heinrich Weber's algebraic number theory, Hermann Minkowski's geometry of numbers, and modern perspectives of Alexander Grothendieck, Jean-Pierre Serre, and John Tate.

Ring of Integers and Ideals

Its ring of integers is Z[i], the Gaussian integers studied by Carl Friedrich Gauss and William Rowan Hamilton; Z[i] is a Dedekind domain per Richard Dedekind and Emil Artin's frameworks. Prime factorization in Z[i] interacts with norms N(a+bi)=a^2+b^2, linking to Fermat's theorem on sums of two squares and to investigations by Pierre de Fermat, Leonhard Euler, Adrien-Marie Legendre, Srinivasa Ramanujan, G. H. Hardy, John Littlewood, J. E. Littlewood, Hardy–Ramanujan-era analytic number theory such as work by G. H. Hardy, J. E. Littlewood, Bernhard Riemann, Atle Selberg, Hans Maass, and Atle Selberg's trace formula. Ramification of 2 in Z[i] connects to Carl Friedrich Gauss's class field ideas, Kronecker's Jugendtraum, Leopold Kronecker, and David Hilbert's class field program; ideals and fractional ideals are treated in the style of Richard Dedekind, Emmy Noether, Helmut Hasse, Heinrich Weber, Ernst Zermelo, Felix Klein, and Émile Picard.

Class Number and Unique Factorization

Q(√-1) has class number 1, a fact central to Carl Friedrich Gauss's classification of imaginary quadratic fields and later proven via methods of Heegner, Stark, Baker, Alan Baker, Harvey Cohn, H. M. Stark, Dorian Goldfeld, and connections to modular forms studied by Srinivasa Ramanujan, G. H. Hardy, John Littlewood, Harold Davenport, Atle Selberg, Jean-Pierre Serre, Andrew Wiles, Barry Mazur, Richard Taylor, Ken Ribet. Unique factorization in Z[i] was exploited by Ernst Kummer and Leopold Kronecker in attempts to resolve Fermat's Last Theorem, influencing work by Andrew Wiles, Gerhard Frey, Jean-Pierre Serre, Ken Ribet, Kummer's cyclotomic ideals, and modern algebraic number theory by David Hilbert, Emil Artin, Emmy Noether, Richard Dedekind, Hermann Minkowski, and Alexander Grothendieck.

Galois Theory and Automorphisms

The nontrivial automorphism is complex conjugation, familiar from Augustin-Louis Cauchy's complex analysis and exploited by Bernhard Riemann in his theta function theory; this automorphism generates the Galois group C2 as in Évariste Galois's foundational theory and later treatments by Emil Artin, Richard Dedekind, David Hilbert, Emmy Noether, Helmut Hasse, John Tate, Jean-Pierre Serre, Alexander Grothendieck, Pierre Deligne, and André Weil. The extension is abelian, fitting into Kronecker's class field ideas, Hilbert's reciprocity laws, and explicit reciprocity studied by Kummer, Hecke, Ernst Kummer, Erich Hecke, Heinrich Weber, Klaus Roth, John Coates, Andrew Wiles.

Units and Arithmetic of Gaussian Integers

Units in Z[i] are {±1, ±i}, reflecting symmetry studied by Leonhard Euler, Carl Friedrich Gauss, Sophus Lie's group ideas, Felix Klein's Erlangen program, William Rowan Hamilton's quaternions, Arthur Cayley, Élie Cartan, Hermann Weyl, John von Neumann, Richard Feynman, Paul Dirac, Werner Heisenberg, Max Planck. Arithmetic in Z[i] underpins results by Pierre de Fermat and Fermat's two-squares theorem, and has applications in algorithms developed by Alan Turing, John von Neumann, Claude Shannon, Norbert Wiener, Paul Erdős, Ronald Rivest, Adi Shamir, Leonard Adleman, Andrew Wiles, Manjul Bhargava, Terence Tao, Ben Green, Évariste Galois-inspired symmetry, Jean-Pierre Serre, Barry Mazur, Ken Ribet, Richard Taylor, Don Zagier.

Applications and Connections

Q(√-1) connects to classical and modern topics: complex multiplication and elliptic curves studied by Karl Weierstrass, Henri Poincaré, André Weil, John Tate, Goro Shimura, Yutaka Taniyama, Goro Shimura–Yutaka Taniyama conjectures (linked to Andrew Wiles), modular forms analyzed by Srinivasa Ramanujan, G. H. Hardy, Atle Selberg, Hecke operators by Erich Hecke, and L-functions central to Bernhard Riemann and Atle Selberg. Engineering and physics applications touch James Clerk Maxwell, Michael Faraday, Paul Dirac, Richard Feynman, Albert Einstein, Niels Bohr, Erwin Schrödinger, John von Neumann, Alan Turing, Claude Shannon, Ronald Rivest, Adi Shamir, Leonard Adleman in cryptographic contexts, and computational number theory led by Peter L. Montgomery, H. W. Lenstra Jr., Carl Pomerance, Andrew Odlyzko, Lenstra's algorithms. Connections extend to algebraic topology via Henri Poincaré and Leray, to arithmetic geometry via Alexander Grothendieck, Pierre Deligne, Jean-Pierre Serre, John Tate, Barry Mazur, Mazur's torsion theorems, and to mathematical physics through Edward Witten and Michael Atiyah.

Category:Imaginary quadratic fields