Ideal number

In mathematics an ideal number is an algebraic integer which represents an ideal in the ring of integers of a number field; the idea was developed by Kummer while trying to solve Fermat's last theorem, and lead to Dedekind's definition of ideals for rings. An ideal in the ring of integers of an algebraic number field is principal if it consists of multiples of a single element of the ring, and nonprincipal otherwise. By the Principalization theorem any nonprincipal ideal becomes principal when extended to an ideal of the Hilbert class field. This means there is an element of the ring of integers of the class field, which is an ideal number, such that all multiples times elements of this ring of integers lying in the ring of integers of the original field define the nonprincipal ideal.

Example

For instance, let y be a root of y2 + y + 6 = 0, then the ring of integers of the field <math>\Bbb{Q}(y)<math> is <math>\Bbb{Z}[y]<math>, which means all a + by with a and b integers form the ring of integers. An example of a nonprincipal ideal in this ring is 2a + yb with a and b integers; the cube of this ideal is principal, and in fact the class group is cyclic of order three. The corresponding class field is obtained by adjoining an element w satisfying w3 - w - 1 = 0 to <math>\Bbb{Q}(y)<math>, giving <math>\Bbb{Q}(y,w)<math>. An ideal number for the nonprincipal ideal 2a + yb is <math>\iota = (-8-16y-18w+12w^2+10yw+yw^2)/23<math>. Since this satisfies the equation <math>\iota^6-2\iota^5+13\iota^4-15\iota^3+16\iota^2+28\iota+8 = 0<math> it is an algebraic integer.

All elements of the ring of integers of the class field which when multiplied by ι give a result in <math>\Bbb{Z}[y]<math> are of the form aα+bβ, where <math>\alpha = (-7+9y-33w-24w^2+3yw-2yw^2)/23<math> and <math>\beta = (-27-8y-9w+6w^2-18yw-11yw^2)/23.<math> The coefficients α and β are also algebraic integers, satisfying <math>\alpha^6+7\alpha^5+8\alpha^4-15\alpha^3+26\alpha^2-8\alpha+8=0<math> and <math>\beta^6+4\beta^5+35\beta^4+112\beta^3+162\beta^2+108\beta+27=0<math> respectively. Multiplying aα + bβ by the ideal number ι gives 2a + by, which is the nonprincipal ideal.

Navigation

  • Art and Cultures
    • Art (https://academickids.com/encyclopedia/index.php/Art)
    • Architecture (https://academickids.com/encyclopedia/index.php/Architecture)
    • Cultures (https://www.academickids.com/encyclopedia/index.php/Cultures)
    • Music (https://www.academickids.com/encyclopedia/index.php/Music)
    • Musical Instruments (http://academickids.com/encyclopedia/index.php/List_of_musical_instruments)
  • Biographies (http://www.academickids.com/encyclopedia/index.php/Biographies)
  • Clipart (http://www.academickids.com/encyclopedia/index.php/Clipart)
  • Geography (http://www.academickids.com/encyclopedia/index.php/Geography)
    • Countries of the World (http://www.academickids.com/encyclopedia/index.php/Countries)
    • Maps (http://www.academickids.com/encyclopedia/index.php/Maps)
    • Flags (http://www.academickids.com/encyclopedia/index.php/Flags)
    • Continents (http://www.academickids.com/encyclopedia/index.php/Continents)
  • History (http://www.academickids.com/encyclopedia/index.php/History)
    • Ancient Civilizations (http://www.academickids.com/encyclopedia/index.php/Ancient_Civilizations)
    • Industrial Revolution (http://www.academickids.com/encyclopedia/index.php/Industrial_Revolution)
    • Middle Ages (http://www.academickids.com/encyclopedia/index.php/Middle_Ages)
    • Prehistory (http://www.academickids.com/encyclopedia/index.php/Prehistory)
    • Renaissance (http://www.academickids.com/encyclopedia/index.php/Renaissance)
    • Timelines (http://www.academickids.com/encyclopedia/index.php/Timelines)
    • United States (http://www.academickids.com/encyclopedia/index.php/United_States)
    • Wars (http://www.academickids.com/encyclopedia/index.php/Wars)
    • World History (http://www.academickids.com/encyclopedia/index.php/History_of_the_world)
  • Human Body (http://www.academickids.com/encyclopedia/index.php/Human_Body)
  • Mathematics (http://www.academickids.com/encyclopedia/index.php/Mathematics)
  • Reference (http://www.academickids.com/encyclopedia/index.php/Reference)
  • Science (http://www.academickids.com/encyclopedia/index.php/Science)
    • Animals (http://www.academickids.com/encyclopedia/index.php/Animals)
    • Aviation (http://www.academickids.com/encyclopedia/index.php/Aviation)
    • Dinosaurs (http://www.academickids.com/encyclopedia/index.php/Dinosaurs)
    • Earth (http://www.academickids.com/encyclopedia/index.php/Earth)
    • Inventions (http://www.academickids.com/encyclopedia/index.php/Inventions)
    • Physical Science (http://www.academickids.com/encyclopedia/index.php/Physical_Science)
    • Plants (http://www.academickids.com/encyclopedia/index.php/Plants)
    • Scientists (http://www.academickids.com/encyclopedia/index.php/Scientists)
  • Social Studies (http://www.academickids.com/encyclopedia/index.php/Social_Studies)
    • Anthropology (http://www.academickids.com/encyclopedia/index.php/Anthropology)
    • Economics (http://www.academickids.com/encyclopedia/index.php/Economics)
    • Government (http://www.academickids.com/encyclopedia/index.php/Government)
    • Religion (http://www.academickids.com/encyclopedia/index.php/Religion)
    • Holidays (http://www.academickids.com/encyclopedia/index.php/Holidays)
  • Space and Astronomy
    • Solar System (http://www.academickids.com/encyclopedia/index.php/Solar_System)
    • Planets (http://www.academickids.com/encyclopedia/index.php/Planets)
  • Sports (http://www.academickids.com/encyclopedia/index.php/Sports)
  • Timelines (http://www.academickids.com/encyclopedia/index.php/Timelines)
  • Weather (http://www.academickids.com/encyclopedia/index.php/Weather)
  • US States (http://www.academickids.com/encyclopedia/index.php/US_States)

Information

  • Home Page (http://academickids.com/encyclopedia/index.php)
  • Contact Us (http://www.academickids.com/encyclopedia/index.php/Contactus)

  • Clip Art (http://classroomclipart.com)
Toolbox
Personal tools