Modulus (algebraic number theory): Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Richard Pinch
(remove WPmarkup; subpages; added)
mNo edit summary
 
(3 intermediate revisions by 2 users not shown)
Line 1: Line 1:
{{subpages}}
{{subpages}}
In [[mathematics]], in the field of [[algebraic number theory]], a '''modulus''' (or an '''extended ideal''') is a formal product of [[Place (mathematics)|place]]s of an [[algebraic number field]].  It is used to encode [[ramification]] data for [[abelian extension]]s of number field.  
In [[mathematics]], in the field of [[algebraic number theory]], a '''modulus''' (or an '''extended ideal''' or '''cycle''') is a formal product of [[Place (mathematics)|place]]s of an [[algebraic number field]].  It is used to encode [[ramification]] data for [[abelian extension]]s of number field.


==Definition==
==Definition==
Line 30: Line 30:


==References==
==References==
* {{cite book | author=Harvey Cohn | title=A classicial invitation to algebraic numbers and class fields | publisher=[[Springer-Verlag]] | year=1978 | isbn=0-387-90345-3 | pages=163-187 }}
* {{cite book | author=Harvey Cohn | title=A classical invitation to algebraic numbers and class fields | publisher=[[Springer-Verlag]] | year=1978 | isbn=0-387-90345-3 | pages=163-187 }}
* {{cite book | author=Harvey Cohn | title=Introduction to the construction of class fields | series=Cambridge studies in advanced mathematics | volume=6 | publisher=[[Cambridge University Press]] | year=1985 | isbn=0-521-24762-4 | pages=99 }}
* {{cite book | author=Harvey Cohn | title=Introduction to the construction of class fields | series=Cambridge studies in advanced mathematics | volume=6 | publisher=[[Cambridge University Press]] | year=1985 | isbn=0-521-24762-4 | pages=99 }}
* {{cite book | author=Gerald J. Janusz | title=Algebraic Number Fields | publisher=[[Academic Press]] | series=Pure and Applied Mathematics | volume=55 | year=1973 | isbn=0-12-380250 | pages=107-113 }}
* {{cite book | author=Gerald J. Janusz | title=Algebraic Number Fields | publisher=[[Academic Press]] | series=Pure and Applied Mathematics | volume=55 | year=1973 | isbn=0-12-380250 | pages=107-113 }}
* {{cite book | author=Serge Lang | title=Algebraic Number Theory | publisher=[[Springer-Verlag]] | year=1994 | isbn=0-387-94225-4 | pages=123-124}}[[Category:Suggestion Bot Tag]]

Latest revision as of 12:01, 20 September 2024

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

In mathematics, in the field of algebraic number theory, a modulus (or an extended ideal or cycle) is a formal product of places of an algebraic number field. It is used to encode ramification data for abelian extensions of number field.

Definition

Let K be an algebraic number field with ring of integers R. A modulus is a formal product

where p runs over all places of K, finite or infinite, the exponents ν are zero except for finitely many p, for real places r we have ν(r)=0 or 1 and for complex places ν=0.

We extend the notion of congruence to this setting. Let x and y be elements of K. For a finite place p, that is, a prime ideal of the ring of integers, we define x and y to be congruent modulo pn if x/y is in the valuation ring Rp of p and congruent to 1 modulo pn in Rp in the usual sense of ring theory. For a real place r we define x and y to be congruent modulo r if x/y is positive in the real embedding of K associated to r. Finally, we define x and y to be congruent modulo m if they are congruent modulo pν(p) whenever ν(p) > 0.

Ray class group

We split the modulus m into mfin and minf, the product over the finite and infinite places respectively. Define

We call the group Km,1 the ray modulo m.

Further define the subgroup of the ideal group Im to be the subgroup generated by ideals coprime to mfin. The ray class group modulo m is the quotient Im / i(Km,1), where i is the map from K to principal ideals in the ideal group. A coset of i(Km,1) is a ray class.

Hecke's original definition of Hecke characters may be interpreted in terms of characters of the ray class group with respect to some modulus m.

Properties

  • When m = 1, the ray class group is just the ideal class group.
  • The ray class group is finite. Its order is the ray class number.
  • The ray class number divides the class number of K.

References