Definition:Operation/Operation on Set
< Definition:Operation(Redirected from Definition:Operation on Set)
Jump to navigation
Jump to search
Definition
An $n$-ary operation on a set $S$ is an $n$-ary operation where:
- the domain is the cartesian space $S^n$
- the codomain is $S$:
- $\odot: S^n \to S: \forall \tuple {s_1, s_2, \ldots, s_n} \in S^n: \map \odot {s_1, s_2, \ldots, s_n} \in S$
That is:
- an $n$-ary operation on $S$ needs to be defined for all tuples in $S^n$
- the image of $\odot$ is itself in $S$.
Also see
- General Operation from Binary Operation, where it is shown that this can be defined recursively as:
- $\forall \tuple {s_1, s_2, \ldots, s_n} \in S^n: \map \odot {s_1, s_2, \ldots, s_n} = \begin{cases}
s_1 & : n = 1 \\ \map \odot {s_1, s_2, \ldots, s_{n - 1} } \odot s_n & : n > 1 \end{cases}$
where $\map \odot {s_1, s_2, \ldots, s_{n - 1} }$ is the $n - 1$-ary operation defined in the same way.
Hence:
- $\forall \tuple {s_1, s_2, \ldots, s_n} \in S^n: \map \odot {s_1, s_2, \ldots, s_n} := \paren {\cdots \paren {\paren {s_1 \odot s_2} \odot s_3} \odot \cdots} \odot s_n$
- Definition:Composite (Abstract Algebra): the specific element of $S$ to which $\map \odot {s_1, s_2, \ldots, s_n}$ maps for a given $\tuple {s_1, s_2, \ldots, s_n} \in S^n$
Sources
- 1965: Seth Warner: Modern Algebra ... (previous) ... (next): Chapter $\text {III}$: The Natural Numbers: $\S 18$: Induced $N$-ary Operations