Talk:Gauss's Lemma on Irreducible Polynomials

Slightly stronger statement
I changed:
 * for h primitive, h is irred. in Z[X] iff irred. in Q[X]

to the slightly stronger:
 * for all h, h is irred. in Z[X] iff irred. in Q[X] and primitive

The only new information is Irreducible Integer Polynomial is Primitive. This should be more convenient (and the theorem may very well be known in this form). --barto (talk) (contribs) 14:13, 14 January 2018 (EST)


 * Well all very well to "make it stronger", but is this now Gauss's Lemma or Barto's Lemma? --prime mover (talk) 17:01, 14 January 2018 (EST)