Modulus (algebraic Number Theory) - Definition

Definition

Let K be a global 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 ν(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, and in the number field case, a modulus can be considered as special form of Arakelov divisor.

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:

  • if it is finite, then
where ordp is the normalized valuation associated to p;
  • if it is a real place (of a number field) and ν = 1, then
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.

Read more about this topic:  Modulus (algebraic Number Theory)

Famous quotes containing the word definition:

    Mothers often are too easily intimidated by their children’s negative reactions...When the child cries or is unhappy, the mother reads this as meaning that she is a failure. This is why it is so important for a mother to know...that the process of growing up involves by definition things that her child is not going to like. Her job is not to create a bed of roses, but to help him learn how to pick his way through the thorns.
    Elaine Heffner (20th century)

    ... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.
    George Eliot [Mary Ann (or Marian)

    I’m beginning to think that the proper definition of “Man” is “an animal that writes letters.”
    Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)