Codex Wiki OurBigBook logoOurBigBook.comSite Source code
Every rational function in fixed by exchanging and is a quotient of coprime symmetric polynomials. In a coprime presentation , symmetry gives
Unique factorization implies and . The alternative would make both divisible by , contradicting coprimality, so .

Ancestors (8)

  1. Gauss lemma for polynomials
  2. Primitive polynomial
  3. Polynomial content
  4. Commutative algebra
  5. Algebra
  6. Area of mathematics
  7. Mathematics
  8. Home