Ray class groups and ray class fields for orders of number fields

Abstract

This paper contributes to the theory of orders of number fields. This paper defines a notion of "ray class group" associated to an arbitrary order in a number field together with an arbitrary ray class modulus for that order (including Archimedean data), constructed using invertible fractional ideals of the order. It shows existence of "ray class fields" corresponding to the class groups. These ray class groups (resp., ray class fields) specialize to classical ray class groups (resp., fields) of a number field in the case of the maximal order, and they specialize to ring class groups (resp., fields) of orders in the case of trivial modulus. The paper gives exact sequences for simultaneous change of order and change of modulus. As a consequence, we identify the ray class field of an order with a given modulus as a specific subfield of a ray class field of the maximal order with a larger modulus. We also uniquely describe each ray class field of an order in terms of the splitting behavior of primes.

51 pages, 1 figure

References in corpus (6)

• SICs and Algebraic Number Theory
• Generating Ray Class Fields of Real Quadratic Fields via Complex Equiangular Lines
• Torsion points and Galois representations on CM elliptic curves
• Entanglement in the family of division fields of elliptic curves with complex multiplication
• On Orders in Number Fields: Picard Groups, Ring Class Fields and Applications
• Super-multiplicativity of ideal norms in number fields