Set of Monomials is Closed Under Multiplication
Jump to navigation
Jump to search
Theorem
Let $M$ be the set of all monomials on the set $\set {X_j: j \in J}$, with multiplication $\circ$ defined by:
- $\ds \paren {\prod_{j \mathop \in J} X_j^{k_j} } \circ \paren {\prod_{j \mathop \in J} X_j^{k_j'} } = \paren {\prod_{j \mathop \in J} X_j^{k_j + k_j'} }$
Then $M$ is closed under $\circ$.
Proof
Let $\ds m_1 = \prod_{j \mathop \in J} X_j^{k_j}, m_2 = \prod_{j \mathop \in J} X_j^{k_j'}$ be two monomials.
Their product is:
- $\ds m_1 \circ m_2 = \paren {\prod_{j \mathop \in J} X_j^{k_j + k_j'} }$
If $k_j + k_j' \ne 0$ then either $k_j \ne 0$ or $k_j' \ne 0$ (or both are nonzero).
Therefore if $k_j + k_j' \ne 0$ for infinitely many $j$, then either $m_1$ or $m_2$ is not a monomial.
$\blacksquare$