Definition:Multiindex Power Notation
Jump to navigation
Jump to search
Definition
Let $M$ be a commutative monoid.
Let $I$ be a set.
Let $\mathbf x = \family {x_i}_{i \mathop \in I}$ be a family of elements of $M$.
Let $\mathbf a = \family {a_i}_{i \mathop \in I}$ be a family of natural numbers of finite support.
We denote $\ds \mathbf x^{\mathbf a} = \prod_{i \mathop \in I} x_i^{a_i}$ where:
- $x_i^{a_i}$ is the $a_i$th power of $x_i$
- $\prod$ denotes product with finite support