(a) We indicated the codomain of the norm function as Z, but it is not quite obvious that Na actually takes values in Z (as opposed to Z[√d]). Writing z = a +b√d for (unique!) a, b = Z, give an explicit formula for Na(z) in terms of a and b, and explain why this formula confirms that Na(z) does in fact lie in Z. (b) Prove that, for all 2₁, 22 € Z[√d], Na(2122) = Na(21)Na(22). (Hint: if you use Home- work 2.5(b), this should be painless.) (c) Let z € Z[√d]. Prove that ze Z[√d] if and only if Na(z) € {±1}. (Hint: If z € Z[√d]x, use the multiplicativity of Na established in (b) to show that Na(z) € ZX. For the converse, you should be able to exhibit an inverse for z in Z[√d using od.)

Advanced Engineering Mathematics
10th Edition
ISBN:9780470458365
Author:Erwin Kreyszig
Publisher:Erwin Kreyszig
Chapter2: Second-order Linear Odes
Section: Chapter Questions
Problem 1RQ
icon
Related questions
Question

2

2. Let d € Z - {0}, assume that √d & Q, and let od : Z[√d] → Z[√d] be the conjugation
function. We define the norm function Na : Z[√d] → Z by Na(z) = zoa(z). (For example,
when d = -1, σa(z) = z is the usual complex conjugate, and Na(z) = |z|² is the square of
the complex absolute value.)
(a) We indicated the codomain of the norm function as Z, but it is not quite obvious
that Na actually takes values in Z (as opposed to Z[√d]). Writing z = a +b√d for
(unique!) a, b = Z, give an explicit formula for Na(z) in terms of a and b, and explain
why this formula confirms that Na(z) does in fact lie in Z.
(b) Prove that, for all 2₁, 22 € Z[√d], Na(2122) = Na(2₁)Na(22). (Hint: if you use Home-
work 2.5(b), this should be painless.)
(c) Let z € Z[√d]. Prove that ze Z[√d] if and only if Na(z) € {±1}. (Hint: If
z € Z[√d]x, use the multiplicativity of Na established in (b) to show that Na(z) € ZX.
For the converse, you should be able to exhibit an inverse for z in Z[√d] using od.)
Transcribed Image Text:2. Let d € Z - {0}, assume that √d & Q, and let od : Z[√d] → Z[√d] be the conjugation function. We define the norm function Na : Z[√d] → Z by Na(z) = zoa(z). (For example, when d = -1, σa(z) = z is the usual complex conjugate, and Na(z) = |z|² is the square of the complex absolute value.) (a) We indicated the codomain of the norm function as Z, but it is not quite obvious that Na actually takes values in Z (as opposed to Z[√d]). Writing z = a +b√d for (unique!) a, b = Z, give an explicit formula for Na(z) in terms of a and b, and explain why this formula confirms that Na(z) does in fact lie in Z. (b) Prove that, for all 2₁, 22 € Z[√d], Na(2122) = Na(2₁)Na(22). (Hint: if you use Home- work 2.5(b), this should be painless.) (c) Let z € Z[√d]. Prove that ze Z[√d] if and only if Na(z) € {±1}. (Hint: If z € Z[√d]x, use the multiplicativity of Na established in (b) to show that Na(z) € ZX. For the converse, you should be able to exhibit an inverse for z in Z[√d] using od.)
Expert Solution
steps

Step by step

Solved in 5 steps with 5 images

Blurred answer
Recommended textbooks for you
Advanced Engineering Mathematics
Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated
Numerical Methods for Engineers
Numerical Methods for Engineers
Advanced Math
ISBN:
9780073397924
Author:
Steven C. Chapra Dr., Raymond P. Canale
Publisher:
McGraw-Hill Education
Introductory Mathematics for Engineering Applicat…
Introductory Mathematics for Engineering Applicat…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY
Mathematics For Machine Technology
Mathematics For Machine Technology
Advanced Math
ISBN:
9781337798310
Author:
Peterson, John.
Publisher:
Cengage Learning,
Basic Technical Mathematics
Basic Technical Mathematics
Advanced Math
ISBN:
9780134437705
Author:
Washington
Publisher:
PEARSON
Topology
Topology
Advanced Math
ISBN:
9780134689517
Author:
Munkres, James R.
Publisher:
Pearson,