Discriminant is a symmetric polynomial

Click For Summary
SUMMARY

The discussion focuses on proving that the sign of the discriminant of a monic polynomial \( f \) in \( \mathbb{Q}[X] \) with degree \( n \) and \( n \) distinct complex zeros is equal to \( (-1)^s \), where \( 2s \) represents the number of non-real zeros. The participants emphasize that complex zeros appear in conjugate pairs, which is crucial for understanding the discriminant's behavior. The proof involves analyzing the discriminant as a product of squares of differences between roots, particularly considering the interactions between real and non-real roots.

PREREQUISITES
  • Understanding of monic polynomials in \( \mathbb{Q}[X] \)
  • Knowledge of symmetric polynomials and their properties
  • Familiarity with complex conjugates and their implications in polynomial roots
  • Basic understanding of the discriminant and its definition in relation to polynomial roots
NEXT STEPS
  • Study the properties of symmetric polynomials in algebra
  • Learn about the discriminant of polynomials and its geometric interpretations
  • Explore complex analysis, focusing on the behavior of complex conjugates
  • Investigate the implications of root behavior on polynomial factorization
USEFUL FOR

Mathematicians, algebra students, and anyone studying polynomial theory, particularly those interested in the properties of discriminants and complex roots.

Pietjuh
Messages
75
Reaction score
0
I've got to proof the following:

Let f be a monic polynomial in Q[X] with deg(f) = n different complex zeroes. Show that the sign of the discriminant of f is equal to (-1)^s, with 2s the number of non real zeroes of f.

I know the statement makes sense, because the discriminant is a symmetric polynomial over Q, so it can be written as a polynomial in elementary symmetric polynomials.

The question seems to suggest that the complex zeroes always come in pairs of a zero and its conjugate. But even if this is true, i still don't know how to proceed :(

Can anyone give me a hint?
 
Physics news on Phys.org
Prove that if z is a root of the polynomial, then so is [itex]\bar{z}[/itex]. Use the fact that rational numbers are self-conjugate, and that

[tex]\overline{ab + c} = \overline{a}\overline{b} + \overline{c}[/tex]

Next, go to the definition of the descriminant as a product of squares of differences of roots. You know that if ri is a non-real root and if rj is a real root, then both [itex](r_i - r_j)^2[/itex] and [itex](\overline{r_i} - r_j)^2[/itex] will occur in the product, so consider what the product of these two factors will be (well, just consider the sign). Consider the case when both roots under consideration are real, when both are complex and not conjugate to one another, and when they are complex and conjugate to one another.
 

Similar threads

  • · Replies 24 ·
Replies
24
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
9
Views
3K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 0 ·
Replies
0
Views
3K
Replies
6
Views
2K
  • · Replies 24 ·
Replies
24
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 18 ·
Replies
18
Views
5K
  • · Replies 5 ·
Replies
5
Views
2K