Definition:Indexed Iterated Binary Operation

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {G, *}$ be a magma.

Let $a, b \in \Z$ be integers.

Let $\closedint a b$ be the integer interval between $a$ and $b$.

Let $f: \closedint a b \to G$ be a mapping.


The indexed iteration of $*$ of $f$ from $a$ to $b$ is recursively defined and denoted:

$\ds \prod_{k \mathop = a}^b \map f k = \begin {cases} \map f a & : b = a \\ \paren {\ds \prod_{k \mathop = a}^{b - 1} \map f k} * \map f b & : b > a \end {cases}$


For each ordered $n$-tuple $\tuple {a_1, a_2, \ldots, a_n} \in S^n$, the composite of $\tuple {a_1, a_2, \ldots, a_n}$ for $\oplus$ is the value at $\tuple {a_1, a_2, \ldots, a_n}$ of the $n$-ary operation defined by $\oplus$.


This composite is recursively defined and denoted:

\(\ds \bigoplus_{k \mathop = 1}^n a_k\) \(=\) \(\ds \map {\oplus_n} {a_1, a_2, \ldots, a_n}\)
\(\ds \) \(=\) \(\ds \begin {cases} a & : n = 1 \\ \map {\oplus_m} {a_1, \ldots, a_m} \oplus a_{m + 1} & : n = m + 1 \end {cases}\)
\(\ds \) \(=\) \(\ds \paren {\paren {\cdots \paren {\paren {a_1 \oplus a_2} \oplus a_3} \oplus \cdots} \oplus a_{n - 1} } \oplus a_n\)


Degenerate case


This page has been identified as a candidate for refactoring of basic complexity.
In particular: Put this in its own transcluded page
Until this has been finished, please leave {{Refactor}} in the code.

New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only.

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.


Let $\struct {G, *}$ be a unitary magma with identity $e$.

Let $a, b \in \Z$ be integers such that $a < b$.


Then:

$\ds \prod_{i \mathop = a}^b \map f i = e$


Also known as

The indexed iterated binary operation of an ordered tuple is also known as its composite.


Also see


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Indexed_Iterated_Binary_Operation&oldid=565097"