# Definition:Multiindex

This page has been identified as a candidate for refactoring of advanced complexity.In particular: The definitions define different things in different contexts. This needs to be sorted and possibly solved by transclusion/splitting as appropriate.Until this has been finished, please leave
`{{Refactor}}` in the code.
Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Refactor}}` from the code. |

## Definition

### Definition 1

Let $\ds m = \prod_{j \mathop \in J} X_j^{k_j}$ be a monomial in the indexed set $\set {X_j: j \mathop \in J}$.

Such a monomial can be expressed implicitly and more compactly by referring only to the sequence of indices:

- $k = \sequence {k_j}_{j \mathop \in J}$

and write $m = \mathbf X^k$ without explicit reference to the indexing set.

Such an expression is called a **multiindex** (or **multi-index**).

### Definition 2

Let $J$ be a set.

A **$J$-multiindex** is a sequence of natural numbers indexed by $J$:

- $\ds k = \sequence {k_j}_{j \mathop \in J}$

with only finitely many of the $k_j$ non-zero.

### Definition 3

A **multiindex** is an element of $\Z^J$, the free $\Z$-module on $J$, an abelian group of rank over $\Z$ equal to the cardinality of $J$.

### Modulus

Let $k = \sequence {k_j}_{j \mathop \in J}$ be a multiindex.

The **modulus** of such a multiindex $k$ is defined by:

- $\ds \size k = \sum_{j \mathop \in J} k_j$

## Also known as

Some sources hyphenate for clarity: **multi-index**.

## Also see

## Linguistic Note

The plural of **multiindex** (or **multi-index**) is **multiindices** (or **multi-indices**).

## Sources

There are no source works cited for this page.Source citations are highly desirable, and mandatory for all definition pages.Definition pages whose content is wholly or partly unsourced are in danger of having such content deleted. To discuss this page in more detail, feel free to use the talk page. |