Definition:Monomial of Free Commutative Monoid/Degree

From ProofWiki
Jump to navigation Jump to search

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.