Polyadic analogs of the Cayley and Birkhoff theorems (Q1599407)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Polyadic analogs of the Cayley and Birkhoff theorems |
scientific article |
Statements
Polyadic analogs of the Cayley and Birkhoff theorems (English)
0 references
9 June 2002
0 references
Let \(A\) be an \(n\)-ary group with \(n\)-ary operation \(f\). On the set \(A^{n-1}\) define an \(n\)-ary operation \(g\) analogous with the \(n\)-ary operation, defined by Post for the \(n\)-ary transformations, by \[ \begin{multlined} g((a_1',\dots,a_{n-1}'),(a_1'',\dots,a_{n-1}''),\dots,(a_1^{(n)},\dots,a_{n-1}^{(n)}))=\\ =(f(a_1',a_2'',\dots,a_{n-1}^{(n)},a_1^{(n)}),f(a_2',\dots,a_{n-1}^{(n-2)},a_1^{(n-1)},a_2^{(n)}),\dots,f(a_{n-1}',a_1'',\dots,a_{n-1}^{(n)})).\end{multlined} \] The Cartesian product \(A^{n-1}\) endowed with the \(n\)-ary operation \(g\) is an \(n\)-ary group. The author establishes some results analogous with the Cayley and Birkhoff theorems. The main result is the following: For each \(n\)-ary group \((A,f)\) there exists an isomorphism of \((A^{n-1},g)\) with the \(n\)-ary group of all \(n\)-ary automorphisms of some sequence of universal algebras.
0 references
\(n\)-ary groups
0 references
Cayley theorem
0 references
Birkhoff theorem
0 references
\(n\)-ary automorphisms
0 references