Definition:Monomial of Free Commutative Monoid/Degree

Definition
The degree of a monomial is defined as:
 * $\ds \sum_{j \mathop \in J} k_j$

that is, the modulus of the corresponding multiindex.