Modulus (algebraic number theory)

Modulus (algebraic number theory)

In mathematics, in the field of algebraic number theory, a modulus (plural moduli) (or cycle,[1] or extended ideal[2]) is a formal product of places of a global field (i.e. an algebraic number field or a global function field). It is used to encode ramification data for abelian extensions of a global field.

Contents

Definition

Let K be a global field with ring of integers R. A modulus is a formal product[3][4]

\mathbf{m} = \prod_{\mathbf{p}} \mathbf{p}^{\nu(\mathbf{p})},\,\,\nu(\mathbf{p})\geq0

where p runs over all places of K, finite or infinite, the exponents ν(p) are zero except for finitely many p. If K is a number field, ν(p) = 0 or 1 for real places and ν(p) = 0 for complex places. If K is a function field, ν(p) = 0 for all infinite places.

In the function field case, a modulus is the same thing as an effective divisor,[5] and in the number field case, a modulus can be considered as an Arakelov divisor.[6]

The notion of congruence can be extended to the setting of moduli. If a and b are elements of K×, the definition of a ≡b (mod pν) depends on what type of prime p is:[7][8]

  • if it is finite, then
a\equiv^\ast\!b\,(\mathrm{mod}\,\mathbf{p}^\nu)\Leftrightarrow \mathrm{ord}_\mathbf{p}\left(\frac{a}{b}-1\right)\geq\nu
where ordp is the normalized valuation associated to p;
  • if it is a real place (of a number field), then
a\equiv^\ast\!b\,(\mathrm{mod}\,\mathbf{p})\Leftrightarrow \frac{a}{b}>0
under the real embedding associated to p.
  • if it is any other infinite place, there is no condition.

Then, given a modulus m, a ≡b (mod m) if a ≡b (mod pν(p)) for all p such that ν(p) > 0.

Ray class group

The ray modulo m is[9][10][11]

K_{\mathbf{m},1}=\left\{ a\in K^\times : a\equiv^\ast\!1\,(\mathrm{mod}\,\mathbf{m})\right\}.

A modulus m can be split into two parts, mf and m, the product over the finite and infinite places, respectively. Let Im to be one of the following:

  • if K is a number field, the subgroup of the group of fractional ideals generated by ideals coprime to mf;[12]
  • if K is a function field of an algebraic curve over k, the group of divisors, rational over k, with support away from m.[13]

In both case, there is a group homomorphism i : Km,1Im obtained by sending a to the principal ideal (resp. divisor) (a).

The ray class group modulo m is the quotient Cm = Im / i(Km,1).[14][15] A coset of i(Km,1) is called a ray class modulo m.

Erich 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.[16]

Properties

When K is a number field, the following properties hold.[17]

  • 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 is divisible by the class number of K.

Notes

  1. ^ Lang 1994, §VI.1
  2. ^ Cohn 1985, definition 7.2.1
  3. ^ Janusz 1996, §IV.1
  4. ^ Serre 1988, §III.1
  5. ^ Serre 1988, §III.1
  6. ^ Neukirch 1999, §III.1
  7. ^ Janusz 1996, §IV.1
  8. ^ Serre 1988, §III.1
  9. ^ Milne 2008, §V.1
  10. ^ Janusz 1996, §IV.1
  11. ^ Serre 1988, §VI.6
  12. ^ Janusz 1996, §IV.1
  13. ^ Serre 1988, §V.1
  14. ^ Janusz 1996, §IV.1
  15. ^ Serre 1988, §VI.6
  16. ^ Neukirch 1999, §VII.6
  17. ^ Janusz & 1996 §4.1

References


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Modulus — may refer to: Modulus (gastropod) a genus of small sea snails Modulus (algebraic number theory), a formal product of places of a number field The absolute value of a real or complex number ( | a | ) Modular arithmetic, the modulus being the value …   Wikipedia

  • Partition (number theory) — Young diagrams associated to the partitions of the positive integers 1 through 8. They are so arranged that images under the reflection about the main diagonal of the square are conjugate partitions. In number theory and combinatorics, a… …   Wikipedia

  • Complex number — A complex number can be visually represented as a pair of numbers forming a vector on a diagram called an Argand diagram, representing the complex plane. Re is the real axis, Im is the imaginary axis, and i is the square root of –1. A complex… …   Wikipedia

  • Prime number — Prime redirects here. For other uses, see Prime (disambiguation). A prime number (or a prime) is a natural number greater than 1 that has no positive divisors other than 1 and itself. A natural number greater than 1 that is not a prime number is… …   Wikipedia

  • Conductor (class field theory) — In algebraic number theory, the conductor of a finite abelian extension of local or global fields provides a quantitative measure of the ramification in the extension. The definition of the conductor is related to the Artin map. Contents 1 Local… …   Wikipedia

  • Class number formula — In number theory, the class number formula relates many important invariants of a number field to a special value of its Dedekind zeta function Contents 1 General statement of the class number formula 2 Galois extensions of the rationals 3 A …   Wikipedia

  • Control theory — For control theory in psychology and sociology, see control theory (sociology) and Perceptual Control Theory. The concept of the feedback loop to control the dynamic behavior of the system: this is negative feedback, because the sensed value is… …   Wikipedia

  • List of mathematics articles (M) — NOTOC M M estimator M group M matrix M separation M set M. C. Escher s legacy M. Riesz extension theorem M/M/1 model Maass wave form Mac Lane s planarity criterion Macaulay brackets Macbeath surface MacCormack method Macdonald polynomial Machin… …   Wikipedia

  • Split-complex number — A portion of the split complex number plane showing subsets with modulus zero (red), one (blue), and minus one (green). In abstract algebra, the split complex numbers (or hyperbolic numbers) are a two dimensional commutative algebra over the real …   Wikipedia

  • Extended real number line — Positive infinity redirects here. For the band, see Positive Infinity. In mathematics, the affinely extended real number system is obtained from the real number system R by adding two elements: +∞ and −∞ (read as positive infinity and negative… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”