Definition:Monomial of Free Commutative Monoid/Degree

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

that is, the modulus of the corresponding multiindex.