- #1
Zoe-b
- 98
- 0
Homework Statement
Hi, sorry to be a pain, if anyone could help me understand this I'd be very grateful (exams next week, no more revision classes and no tutors I can easily ask...)
Let K be a number field, OK its ring of integers, and Δ(W)2 be the discriminant. Write Z for set of integers, Q for set of rationals.
Homework Equations
Dedekind's Theorem on decomposition of (p) for p a rational prime.
Theorem shown previously in the course that Δ ( Z[a] )2 = ± NormK/Q(m'(a)) where ' denotes derivative, m is the minimal polynomial of a over Z.
Corollary:
If p ramifies then p| Δ ( Z[a] )2
Proof:
If p | [OK : Z[a]] then p| Δ ( Z[a] ). So suppose p does not divide [OK : Z[a]] and so Dedekind's Theorem applies. By Dedekind, is p ramifies, with a factor p2, then n(x) := m(x) (mod p) has a multiple irreducible factor mod h(x) over the finite field with p elements, for which h(a) [itex]\in[/itex] (p, h(a)) = (p). We then have:
m(x) = g(x)2s(x) + pk(x) for some polynomials s, k, so that
m'(x) = g(x) (2g'(x)h(x) + g(x)h'(x)) + pk'(x) = g(x)j(x) + pl(x) say for polynomials j,l.
Thus m'(a) = g(a)j(a) + pb for b [itex]\in[/itex] OK.
It follows that:
NormK/Q(m'(a)) = ∏σ σ(m'(a)) = ∏σ σ(g(a)j(a)) + pβ for some algebraic integer β. ***
(and then some more...)
The Attempt at a Solution
I understand most of this, and I understand the bit following, I am stumped at how on the line *** we can take the term that's a multiple of p 'out of' the norm. Norm is multiplicative but not additive, in general, so what allows this step? Thank you in advance.