# Difference between revisions of "Gauss's Lemma (polynomial)"

Hashtagmath (talk | contribs) (→Generalizations) |
Hashtagmath (talk | contribs) (→Generalizations) |
||

Line 25: | Line 25: | ||

Formal power series over a family of variables? I think the result is still true, and the proof would follow along similar lines, but it would be more involved. | Formal power series over a family of variables? I think the result is still true, and the proof would follow along similar lines, but it would be more involved. | ||

+ | ==See Also== | ||

[[Category:Ring theory]] | [[Category:Ring theory]] | ||

[[Category:Commutative algebra]] | [[Category:Commutative algebra]] | ||

[[Category:Number theory]] | [[Category:Number theory]] | ||

[[Category:Theorems]] | [[Category:Theorems]] |

## Latest revision as of 12:23, 30 May 2019

**Gauss's Lemma for Polynomials** is a result in algebra.

The original statement concerns polynomials with integer coefficients. Such a polynomial is called *primitive* if the greatest common divisor of its coefficients is 1. The original lemma states that the product of two polynomials with integer coefficients is primitive if and only if each of the factor polynomials is primitive.

This result can be extended to more general settings. Specifically, let be a (not necessarily commutative) ring; let be the ring of formal power series over . For , let denote the two-sided ideal generated by the coefficients of . The more general result states that for any , if and only if and .

The original statement is a special case of the general statement, with , and and power series with finitely many nonzero coefficients.

## Proof

It follows from definitions that ; thus if , then . It remains to prove the converse.

Suppose now that , and suppose . Then by Krull's Theorem, there is a (proper) maximal ideal that contains . Let Since is maximal, there exist least positive integers such that . Then the coefficient of of , is not an element of , since is a maximal, and therefore a prime, ideal. This is a contradiction. Therefore if .

## Generalizations

One might be tempted to come to the more general conclusion that , but this is false. For instance, if are indeterminates, then the ideal generated by the coefficients of is a proper subset of .

Formal power series over a family of variables? I think the result is still true, and the proof would follow along similar lines, but it would be more involved.