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:
“Powerful, yes, that is the word that I constantly rolled on my tongue, I dreamed of absolute power, the kind that forces others to kneel, that forces the enemy to capitulate, finally converting him, and the more the enemy is blind, cruel, sure of himself, buried in his conviction, the more his admission proclaims the royalty of he who has brought on his defeat.”
—Albert Camus (1913–1960)
“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)