Gauss's Lemma (polynomial)
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.
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 .
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.