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 childrens 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 wags definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
—George Eliot [Mary Ann (or Marian)
“Im beginning to think that the proper definition of Man is an animal that writes letters.”
—Lewis Carroll [Charles Lutwidge Dodgson] (18321898)