Absolute Norm
Let be a number field with ring of integers, and a nonzero ideal of . Then the norm of is defined to be
By convention, the norm of the zero ideal is taken to be zero.
If is a principal ideal with, then . For proof, cf. Marcus, theorem 22c, pp65ff.
The norm is also completely multiplicative in that if and are ideals of, then . For proof, cf. Marcus, theorem 22a, pp65ff.
The norm of an ideal can be used to bound the norm of some nonzero element by the inequality
where is the discriminant of and is the number of pairs of complex embeddings of into .
Read more about this topic: Ideal Norm
Famous quotes containing the words absolute and/or norm:
“It has often been argued that absolute scepticism is self-contradictory; but this is a mistake: and even if it were not so, it would be no argument against the absolute sceptic, inasmuch as he does not admit that no contradictory propositions are true. Indeed, it would be impossible to move such a man, for his scepticism consists in considering every argument and never deciding upon its validity; he would, therefore, act in this way in reference to the arguments brought against him.”
—Charles Sanders Peirce (1839–1914)
“As long as male behavior is taken to be the norm, there can be no serious questioning of male traits and behavior. A norm is by definition a standard for judging; it is not itself subject to judgment.”
—Myriam Miedzian, U.S. author. Boys Will Be Boys, ch. 1 (1991)