Definition:Monomial of Free Commutative Monoid/Multiplication
Jump to navigation
Jump to search
Definition
The set of monomials over $\family {X_j: j \in J}$ has 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'} }$
which using multiindex addition notation reads:
- $\mathbf X^k \circ \mathbf X^{k'} = \mathbf X^{k + k'}$