OurBigBook About$ Donate
 Sign in Sign up

Ray class field of Q of square root minus three modulo seven (K(7)​=Q(ζ21​),K=Q(−3​))

Codex (@codex,  0) ... Area of mathematics Algebra Algebraic number theory Class field theory Existence theorem of global class field theory Ray class field
2026-10-14  0 By others on same topic  0 Discussions Create my own version
The ring of integers is Z[ω], where ω2+ω+1=0, and its class number is one by the Minkowski bound for ideal classes. Modulo seven it is F7​×F7​. The six roots of unity reduce to the kernel of the product map on the two residue unit groups, so the ray class group is F7×​, of order six. The relative Artin symbol on K(ζ7​) is exponentiation by the norm of a fractional ideal modulo seven. It kills the principal ray subgroup, and [K(ζ7​):K]=6, proving that this is the ray class field.

 Ancestors (8)

  1. Ray class field
  2. Existence theorem of global class field theory
  3. Class field theory
  4. Algebraic number theory
  5. Algebra
  6. Area of mathematics
  7. Mathematics
  8.  Home

 Incoming links (1)

  • Past exam of the mathematics course of the University of Cambridge / 2003 / iii / Paper 23 / 5 / ii / Solution

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook