Definition:Iterated Binary Operation over Finite Set

From ProofWiki
Jump to navigation Jump to search


This page has been identified as a candidate for refactoring of advanced complexity.
In particular: Lots of stuff going on here which is not up to par
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.


Definition

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

Let $S$ be a finite non-empty set.

Let $f: S \to G$ be a mapping.

Let $n \in \N$ be the cardinality of $S$.

Let $g: \N_{<n} \to S$ be a bijection, where $\N_{<n}$ is an initial segment of the natural numbers.


The iteration of $*$ of $f$ over $S$, denoted $\displaystyle \prod_{s \mathop \in S} \map f s$, is the indexed iteration of $*$ of the composition $f \circ g$ over $\N_{<n}$:

$\displaystyle \prod_{s \mathop \in S} \map f s = \displaystyle \prod_{i \mathop = 0}^{n - 1} \map f {\map g i}$


Commutative Monoid

Let $G$ be a commutative monoid.

Let $S$ be a non-empty set.

Let $f: S \to G$ be a mapping


Work In Progress
In particular: unitary monoids allow empty sets
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by completing it.
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 {{WIP}} from the code.



Also known as

The iterated binary operation over a finite set can be referred to as the summation over a finite set.


Also see


Special cases


Generalizations

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