Polyadization of Algebraic Structures

Abstract

A generalization of the semisimplicity concept for polyadic algebraic structures is proposed. If semisimple structures can be presented as block diagonal matrices (resulting in the Wedderburn decomposition), general forms of polyadic structures are given by block-shift matrices. We combine these forms to get a general shape of semisimple nonderived polyadic structures (“double” decomposition of two kinds). We then introduce the polyadization concept (a “polyadic constructor”), according to which one can construct a nonderived polyadic algebraic structure of any arity from a given binary structure. The polyadization of supersymmetric structures is also discussed. The “deformation” by shifts of operations on the direct power of binary structures is defined and used to obtain a nonderived polyadic multiplication. Illustrative concrete examples for the new constructions are given.

1. Introduction

I am no poet, but if you think for yourselves, as I proceed, the facts will form a poem in your minds. Michael Faraday.

“The Life and Letters of Faraday” (1870) by Bence Jones.

The concept of simple and semisimple rings, modules, and algebras (see, e.g., [1,2,3,4]) plays a crucial role in the investigation of Lie algebras and representation theory [5,6,7], as well as in category theory [8,9,10].

Here we first propose a generalization of this concept for polyadic algebraic structures [11], which can also be important, e.g., in the operad theory [12,13] and nonassociative structures [14,15]. If semisimple structures can be presented in block-diagonal matrix form (resulting to the Wedderburn decomposition [16,17,18]), corresponding general forms for polyadic rings can be decomposed to block-shift matrices [19]. We combine these forms and introduce a general shape of semisimple polyadic structures, which are nonderived in the sense that they cannot be obtained as successive compositions of binary operations, which can be treated as polyadic (“double”) decomposition.

Second, going in the opposite direction, we define the polyadization concept (“polyadic constructor”) according to which one can construct a nonderived polyadic algebraic structure of any arity from a given binary structure. Then, we briefly describe supersymmetric structure polyadization.

Third, we propose operations “deformed” by shifts to obtain a nonderived n-ary multiplication on the direct power of binary algebraic structures.

For these new constructions, some illustrative concrete examples are given.

2. Preliminaries

We use notation from [11,20]. In brief, a (one-set) polyadic algebraic structure $\mathcal{A}$ is a set A closed with respect to polyadic operations (or n-ary multiplication) ${\mu }^{\left[n\right]}:A^n\to A$ (n-ary magma). We denote polyads [21] by bold letters $\mathbf{a}={\mathbf{a}}^{\left(n\right)}=\left(a_1,\dots ,a_n\right)$, $a_i\in A$. A polyadic zero is defined by ${\mu }^{\left[n\right]}\left[{\mathbf{a}}^{\left(n-1\right)},z\right]=z$, $z\in A$, ${\mathbf{a}}^{\left(n-1\right)}\in A^{n-1}$, where z can be on any place. A (positive) polyadic power ${\ell }_{\mu }\in \mathbb{N}$ is $a^{⟨{\ell }_{\mu }⟩}={\left({\mu }^{\left[n\right]}\right)}^{\circ {\ell }_{\mu }}\left[a^{{\ell }_{\mu }\left(n-1\right)+1}\right],a\in A$. An element of a polyadic algebraic structure a is called ${\ell }_{\mu }$-nilpotent (or simply nilpotent for ${\ell }_{\mu }=1$), if there exist ${\ell }_{\mu }$ such that $a^{⟨{\ell }_{\mu }⟩}=z$. A polyadic (orn-ary) identity (or neutral element) is defined by ${\mu }^{\left[n\right]}\left[a,e^{n-1}\right]=a,\forall a\in A$, where a can be on any place in the left-hand side. A one-set polyadic algebraic structure $⟨A\mid {\mu }^{\left[n\right]}⟩$ is totally associative if ${\left({\mu }^{\left[n\right]}\right)}^{\circ 2}\left[\mathbf{a},\mathbf{b},\mathbf{c}\right]={\mu }^{\left[n\right]}\left[\mathbf{a},{\mu }^{\left[n\right]}\left[\mathbf{b}\right],\mathbf{c}\right]=invariant$, with respect to placement of the internal multiplication on any of the n places, and $\mathbf{a},\mathbf{b},\mathbf{c}$ are polyads of the necessary sizes [22,23]. A polyadic semigroup ${\mathcal{S}}^{\left(n\right)}$ is a one-set and one-operation structure in which ${\mu }^{\left[n\right]}$ is totally associative. A polyadic structure is commutative, if ${\mu }^{\left[n\right]}={\mu }^{\left[n\right]}\circ \sigma$, or ${\mu }^{\left[n\right]}\left[\mathbf{a}\right]={\mu }^{\left[n\right]}\left[\sigma \circ \mathbf{a}\right]$, $\mathbf{a}\in A^n$, for all $\sigma \in S_n$.

A polyadic structure is solvable, if for all polyads $\mathbf{b}$, $\mathbf{c}$ and an element x, one can (uniquely) resolve the equation (with respect to h) for ${\mu }^{\left[n\right]}\left[\mathbf{b},x,\mathbf{c}\right]=a$, where x can be on any place, and $\mathbf{b},\mathbf{c}$ are polyads of the needed lengths. A solvable polyadic structure is called a polyadic quasigroup [24]. An associative polyadic quasigroup is called a n-ary (or polyadic) group [25]. In an n-ary group the only solution of

$${\mu }^{\left[n\right]}\left[\mathbf{b},\overline{a}\right]=a,a,\overline{a}\in A,\mathbf{b}\in A^{n-1}$$

(1)

is called a querelement of a and denoted by $\overline{a}$ [26], where $\overline{a}$ can be on any place. Any idempotent a coincides with its querelement $\overline{a}=a$. The relation (1) can be considered as a definition of the unary queroperation ${\overline{\mu }}^{\left(1\right)}\left[a\right]=\overline{a}$ [27]. For further details and definitions, see [11].

3. Polyadic Semisimplicity

In general, simple algebraic structures are building blocks (direct summands) for the semisimple ones satisfying special conditions (see, e.g., [1,3]).

3.1. Simple Polyadic Structures

According to the Wedderburn–Artin theorem (see, e.g., [17,18,28]), a ring which is simple (having no two-sided ideals, except zero and the ring itself) and Artinian (having minimal right ideals) ${\mathcal{R}}_{simple}$ is isomorphic to a full $d\times d$ matrix ring

$${\mathcal{R}}_{simple}\cong Ma{t}_{d\times d}^{full}\left(\mathcal{D}\right)$$

(2)

over a division ring $\mathcal{D}$. As a corollary,

$${\mathcal{R}}_{simple}\cong {Hom}_{\mathcal{D}}\left(V\left(d\mid \mathcal{D}\right),V\left(d\mid \mathcal{D}\right)\right)\equiv {End}_{\mathcal{D}}\left(V\left(d\mid \mathcal{D}\right)\right),$$

(3)

where $V\left(d\mid \mathcal{D}\right)$ is a d-finite-dimensional vector space (left module) over $\mathcal{D}$. In the same way, a finite-dimensional simple associative algebra $\mathcal{A}$ over an algebraically closed field $\mathcal{F}$ is

$$\mathcal{A}\cong Ma{t}_{d\times d}^{full}\left(\mathcal{F}\right).$$

(4)

In the polyadic case, the structure of a simple Artinian $\left[2,n\right]$-ring ${\mathcal{R}}_{simple}^{\left[2,n\right]}$ (with binary addition and n-ary multiplication ${\mu }^{\left[n\right]}$) was obtained in [19], where the Wedderburn–Artin theorem for $\left[2,n\right]$-rings was proved. Thus, instead of one vector space $V\left(d\mid \mathcal{D}\right)$, one should consider a direct sum of $\left(n-1\right)$ vector spaces (over the same division ring $\mathcal{D}$), that is,

$$V_1\left(d_1\mid \mathcal{D}\right)\oplus V_2\left(d_2\mid \mathcal{D}\right)\oplus \dots \dots \oplus V_{n-1}\left(d_{n-1}\mid \mathcal{D}\right),$$

(5)

where $V_i\left(d_i\mid \mathcal{D}\right)$ is a $d_i$-dimensional polyadic vector space [23], $i=1,\dots ,n-1$. Then, instead of (3) we have the cyclic direct sum of homomorphisms

$$\begin{array}{cc}\hfill {\mathcal{R}}_{simple}^{\left[2,n\right]}& \cong {Hom}_{\mathcal{D}}\left(V_1\left(d_1\mid \mathcal{D}\right),V_2\left(d_2\mid \mathcal{D}\right)\right)\oplus {Hom}_{\mathcal{D}}\left(V_2\left(d_2\mid \mathcal{D}\right),V_3\left(d_3\mid \mathcal{D}\right)\right)\oplus \dots \hfill \\ \hfill & \dots \oplus {Hom}_{\mathcal{D}}\left(V_{n-1}\left(d_{n-1}\mid \mathcal{D}\right),V_1\left(d_1\mid \mathcal{D}\right)\right).\hfill \end{array}$$

(6)

This means that after choosing a suitable basis in terms of matrices (when the ring multiplication ${\mu }^{\left[n\right]}$ coincides with the product of n matrices) we have

Theorem 1.

The simple polyadic ring ${\mathcal{R}}_{simple}^{\left[2,n\right]}$ is isomorphic to the $d\times d$ matrix ring (cf. (2)):

$${\mathcal{R}}_{simple}^{\left[2,n\right]}\cong Ma{t}_{d\times d}^{shift\left(n\right)}\left(\mathcal{D}\right)=\left\{{\mathrm{M}}^{shift\left(n\right)}\left(d\times d\right)\mid {\nu }^{\left[2\right]},{\mu }^{\left[n\right]}\right\},$$

(7)

where ${\nu }^{\left[2\right]}$ and ${\mu }^{\left[n\right]}$ are the binary addition and ordinary product of n matrices, ${\mathrm{M}}_{d\times d}^{shift}$ is the block-shift (traceless) matrix over $\mathcal{D}$ of the form (which follows from (6))

$$\begin{array}{c}{\mathrm{M}}^{shift\left(n\right)}\left(d\times d\right)\hfill \\ \hfill =\left(\begin{array}{ccccc}0& {\mathrm{B}}_1\left(d_1\times d_2\right)& \dots & 0& 0\\ 0& 0& {\mathrm{B}}_2\left(d_2\times d_3\right)& \dots & 0\\ 0& 0& \ddots & \ddots & ⋮\\ ⋮& ⋮& \ddots & 0& {\mathrm{B}}_{n-2}\left(d_{n-2}\times d_{n-1}\right)\\ {\mathrm{B}}_{n-1}\left(d_{n-1}\times d_1\right)& 0& \dots & 0& 0\end{array}\right),\end{array}$$

(8)

where $\left(n-1\right)$ blocks are nonsquare matrices ${\mathrm{B}}_i\left(d^{\prime }\times d^{″}\right)\in Ma{t}_{d^{\prime }\times d^{″}}^{full}\left(\mathcal{D}\right)$ over the division ring $\mathcal{D}$, and $d=d_1+d_2+\dots +d_{n-1}$.

Remark 1.

The set of the fixed size blocks $\left\{{\mathrm{B}}_i\left(d^{\prime }\times d^{″}\right)\right\}$ does not form a binary ring, because $d^{\prime }\ne d^{″}$.

Assertion 1.

The block-shift matrices of the form (8) are closed with respect to n-ary multiplication and binary addition, and we call them n-ary matrices.

Taking distributivity into account, we arrive at the polyadic ring structure (7).

Corollary 1.

In the limiting case $n=2$, we have

$${\mathrm{M}}^{shift\left(n=2\right)}\left(d\times d\right)={\mathrm{B}}_1\left(d_1\times d_1\right)$$

(9)

and $d=d_1$, giving a binary ring (2).

Assertion 2.

A finite-dimensional simple associative n-ary algebra ${\mathcal{A}}^{\left(n\right)}$ over an algebraically closed field $\mathcal{F}$ [29] is isomorphic to the block-shift n-ary matrix (8) over $\mathcal{F}$

$${\mathcal{A}}^{\left(n\right)}\cong Ma{t}_{d\times d}^{shift\left(n\right)}\left(\mathcal{F}\right).$$

(10)

3.2. Semisimple Polyadic Structures

The Wedderburn–Artin theorem for semisimple Artinian rings ${\mathcal{R}}_{semispl}$ states that ${\mathcal{R}}_{semispl}$ is a finite direct product of k simple rings, each of which has the form (2). Using (3) for each component, we decompose the d-finite-dimensional vector space (left module) into a direct sum of length k

$$V\left(d\right)=W^{\left(1\right)}\left(q^{\left(1\right)}\mid {\mathcal{D}}^{\left(1\right)}\right)\oplus W^{\left(2\right)}\left(q^{\left(2\right)}\mid {\mathcal{D}}^{\left(2\right)}\right)\oplus \dots \oplus W^{\left(k\right)}\left(q^{\left(k\right)}\mid {\mathcal{D}}^{\left(k\right)}\right),$$

(11)

where $d=q^{\left(1\right)}+q^{\left(2\right)}+\dots +q^{\left(k\right)}$. Then, instead of (3) we have the following isomorphism. (We enumerate simple components by an upper index in round brackets $\left(k\right)$ and block-shift components by lower index without brackets, and the arity is an upper index in square brackets $\left[n\right]$.)

$$\begin{array}{c}{\mathcal{R}}_{semispl}\cong {End}_{{\mathcal{D}}^{\left(1\right)}}{W}^{\left(1\right)}\left(q^{\left(1\right)}\mid {\mathcal{D}}^{\left(1\right)}\right)\hfill \\ \oplus {End}_{{\mathcal{D}}^{\left(2\right)}}{W}^{\left(2\right)}\left(q^{\left(2\right)}\mid {\mathcal{D}}^{\left(2\right)}\right)\oplus \dots \oplus {End}_{{\mathcal{D}}^{\left(k\right)}}{W}^{\left(k\right)}\left(q^{\left(k\right)}\mid {\mathcal{D}}^{\left(k\right)}\right).\hfill \end{array}$$

(12)

With a suitable basis, the Wedderburn–Artin theorem follows.

Theorem 2.

A semisimple Artinian (binary) ring ${\mathcal{R}}_{semispl}$ is isomorphic to the $d\times d$ matrix ring

$${\mathcal{R}}_{semispl}\cong Ma{t}_{q^{\left(j\right)}\times q^{\left(j\right)}}^{diag\left(k\right)}\left(\mathcal{D}\right)=\left\{{\mathrm{M}}^{diag\left(k\right)}\left(d\times d\right)\mid {\nu }^{\left[2\right]},{\mu }^{\left[2\right]}\right\},$$

(13)

where ${\nu }^{\left[2\right]}$ and ${\mu }^{\left[2\right]}$ are binary addition and binary product of matrices, and ${\mathrm{M}}^{diag\left(k\right)}\left(d\times d\right)$ are block-diagonal matrices of the form (which follows from (12))

$${\mathrm{M}}^{diag\left(k\right)}\left(d\times d\right)=\left(\begin{array}{cccc}{\mathrm{A}}^{\left(1\right)}\left(q^{\left(1\right)}\times q^{\left(1\right)}\right)& 0& \dots & 0\\ 0& {\mathrm{A}}^{\left(2\right)}\left(q^{\left(2\right)}\times q^{\left(2\right)}\right)& \ddots & ⋮\\ ⋮& ⋮& \ddots & 0\\ 0& 0& \dots & {\mathrm{A}}^{\left(k\right)}\left(q^{\left(k\right)}\times q^{\left(k\right)}\right)\end{array}\right),$$

(14)

where k square blocks are full matrix rings over division rings ${\mathcal{D}}^{\left(j\right)}$

$${\mathrm{A}}^{\left(j\right)}\left(q^{\left(j\right)}\times q^{\left(j\right)}\right)\in Ma{t}_{q^{\left(j\right)}\times q^{\left(j\right)}}^{full}\left({\mathcal{D}}^{\left(j\right)}\right),j=1,\dots ,k,d=q^{\left(1\right)}+q^{\left(2\right)}+\dots +q^{\left(k\right)}.$$

(15)

The same matrix structure has a finite-dimensional semisimple associative algebra $\mathcal{A}$ over an algebraically closed field $\mathcal{F}$ (see (4)). For further details, see, e.g., [17,18,28].

General properties of semisimple Artinian $\left[2,n\right]$-rings were considered in [19] (for ternary rings, see [30,31]). Here we propose a new manifest matrix structure for them.

Thus, our task is to decompose each of the $V_i\left(d_i\right)$, in (5) into components as in (11)

$$V_i\left(d_i\right)=W_i^{\left(1\right)}\left(q_i^{\left(1\right)}\mid {\mathcal{D}}^{\left(1\right)}\right)\oplus W_i^{\left(2\right)}\left(q_i^{\left(2\right)}\mid {\mathcal{D}}^{\left(2\right)}\right)\oplus \dots \oplus W_i^{\left(k\right)}\left(q_i^{\left(k\right)}\mid {\mathcal{D}}^{\left(k\right)}\right),i=1,\dots ,n-1.$$

(16)

In matrix language, this means that each block ${\mathrm{B}}_{d^{\prime }\times d^{″}}$ from the polyadic ring (8) should have the semisimple decomposition (14), i.e., be a block-diagonal square matrix of the same size $p\times p$, where $p=d_1=d_2=\dots =d_{n-1}$ and the total matrix size becomes $d=\left(n-1\right)p$. Moreover, all blocks $\mathrm{B}$ should have diagonal blocks $\mathrm{A}$ of the same size, and therefore $q^{\left(j\right)}\equiv q_1^{\left(j\right)}=q_2^{\left(j\right)}=\dots =q_{n-1}^{\left(j\right)}$ for all $j=1,\dots ,k$ and $p=q^{\left(1\right)}+q^{\left(2\right)}+\dots +q^{\left(k\right)}$, where k is the number of semisimple components. In this way, the cyclic direct sum of homomorphisms for the semisimple polyadic rings becomes (we use different division rings for each semisimple component as in (15))

$$\begin{array}{cc}\hfill {\mathcal{R}}_{semispl}^{\left[2,n\right]}& \cong {Hom}_{{\mathcal{D}}^{\left(1\right)}}\left(W_1^{\left(1\right)}\left(q^{\left(1\right)}\mid {\mathcal{D}}^{\left(1\right)}\right),W_2^{\left(1\right)}\left(q^{\left(1\right)}\mid {\mathcal{D}}^{\left(1\right)}\right)\right)\hfill \\ \hfill & \oplus {Hom}_{{\mathcal{D}}^{\left(2\right)}}\left(W_1^{\left(2\right)}\left(q^{\left(2\right)}\mid {\mathcal{D}}^{\left(2\right)}\right),W_2^{\left(2\right)}\left(q^{\left(2\right)}\mid {\mathcal{D}}^{\left(2\right)}\right)\right)\oplus \dots \hfill \\ \hfill & \dots \oplus {Hom}_{{\mathcal{D}}^{\left(k\right)}}\left(W_1^{\left(k\right)}\left(q^{\left(k\right)}\mid {\mathcal{D}}^{\left(k\right)}\right),W_2^{\left(k\right)}\left(q^{\left(k\right)}\mid {\mathcal{D}}^{\left(k\right)}\right)\right)\hfill \\ \hfill & \oplus {Hom}_{{\mathcal{D}}^{\left(1\right)}}\left(W_2^{\left(1\right)}\left(q^{\left(1\right)}\mid {\mathcal{D}}^{\left(1\right)}\right),W_3^{\left(1\right)}\left(q^{\left(1\right)}\mid {\mathcal{D}}^{\left(1\right)}\right)\right)\hfill \\ \hfill & \oplus {Hom}_{{\mathcal{D}}^{\left(2\right)}}\left(W_2^{\left(2\right)}\left(q^{\left(2\right)}\mid {\mathcal{D}}^{\left(2\right)}\right),W_3^{\left(2\right)}\left(q^{\left(2\right)}\mid {\mathcal{D}}^{\left(2\right)}\right)\right)\oplus \dots \hfill \\ \hfill & \dots \oplus {Hom}_{{\mathcal{D}}^{\left(k\right)}}\left(W_2^{\left(k\right)}\left(q^{\left(k\right)}\mid {\mathcal{D}}^{\left(k\right)}\right),W_3^{\left(k\right)}\left(q^{\left(k\right)}\mid {\mathcal{D}}^{\left(k\right)}\right)\right)\hfill \\ \hfill & ⋮\hfill \\ \hfill & \oplus {Hom}_{{\mathcal{D}}^{\left(1\right)}}\left(W_{n-2}^{\left(1\right)}\left(q^{\left(1\right)}\mid {\mathcal{D}}^{\left(1\right)}\right),W_{n-1}^{\left(1\right)}\left(q^{\left(1\right)}\mid {\mathcal{D}}^{\left(1\right)}\right)\right)\hfill \\ \hfill & \oplus {Hom}_{{\mathcal{D}}^{\left(2\right)}}\left(W_{n-2}^{\left(2\right)}\left(q^{\left(2\right)}\mid {\mathcal{D}}^{\left(2\right)}\right),W_{n-1}^{\left(2\right)}\left(q^{\left(2\right)}\mid {\mathcal{D}}^{\left(2\right)}\right)\right)\oplus \dots \hfill \\ \hfill & \dots \oplus {Hom}_{{\mathcal{D}}^{\left(k\right)}}\left(W_{n-2}^{\left(k\right)}\left(q^{\left(k\right)}\mid {\mathcal{D}}^{\left(k\right)}\right),W_{n-1}^{\left(k\right)}\left(q^{\left(k\right)}\mid {\mathcal{D}}^{\left(k\right)}\right)\right)\hfill \\ \hfill & \oplus {Hom}_{{\mathcal{D}}^{\left(1\right)}}\left(W_{n-1}^{\left(1\right)}\left(q^{\left(1\right)}\mid {\mathcal{D}}^{\left(1\right)}\right),W_1^{\left(1\right)}\left(q^{\left(1\right)}\mid {\mathcal{D}}^{\left(1\right)}\right)\right)\hfill \\ \hfill & \oplus {Hom}_{{\mathcal{D}}^{\left(2\right)}}\left(W_{n-1}^{\left(2\right)}\left(q^{\left(2\right)}\mid {\mathcal{D}}^{\left(2\right)}\right),W_1^{\left(2\right)}\left(q^{\left(2\right)}\mid {\mathcal{D}}^{\left(2\right)}\right)\right)\oplus \dots \hfill \\ \hfill & \dots \oplus {Hom}_{{\mathcal{D}}^{\left(k\right)}}\left(W_{n-1}^{\left(k\right)}\left(q^{\left(k\right)}\mid {\mathcal{D}}^{\left(k\right)}\right),W_1^{\left(k\right)}\left(q^{\left(k\right)}\mid {\mathcal{D}}^{\left(k\right)}\right)\right).\hfill \end{array}$$

(17)

After choosing a suitable basis, we obtained a polyadic analog of the Wedderburn–Artin theorem for semisimple Artinian $\left[2,n\right]$-rings ${\mathcal{R}}_{semispl}^{\left[2,n\right]}$, which can be called as the double decomposition (of the first kind or shift-diagonal).

Theorem 3.

The semisimple polyadic Artinian ring ${\mathcal{R}}_{semispl}^{\left[2,n\right]}$ (of the first kind) is isomorphic to the $d\times d$ matrix ring

$${\mathcal{R}}_{semispl}^{\left[2,n\right]}\cong Ma{t}_{d\times d}^{shift\text{-}diag\left(n,k\right)}\left(\mathcal{D}\right)=⟨\left\{{\mathrm{N}}^{shift\text{-}diag\left(n,k\right)}\left(d\times d\right)\right\}\mid {\nu }^{\left[2\right]},{\mu }^{\left[n\right]}⟩,$$

(18)

where ${\nu }^{\left[2\right]},{\mu }^{\left[n\right]}$ are the binary addition and ordinary product of n matrices, ${\mathrm{N}}_{d\times d}^{shift\text{-}diag\left(n,k\right)}$ (n is the arity of $\mathrm{N}$ s and k is number of simple components of $\mathrm{N}$’s) are the block-shift n-ary matrices with block-diagonal square blocks (which follows from (17))

$${\mathrm{N}}^{shift\text{-}diag\left(n,k\right)}\left(d\times d\right)=\left(\begin{array}{ccccc}0& {\mathrm{B}}_1^{\left(k\right)}\left(p\times p\right)& \dots & 0& 0\\ 0& 0& {\mathrm{B}}_2^{\left(k\right)}\left(p\times p\right)& \dots & 0\\ 0& 0& \ddots & \ddots & ⋮\\ ⋮& ⋮& \ddots & 0& {\mathrm{B}}_{n-2}^{\left(k\right)}\left(p\times p\right)\\ {\mathrm{B}}_{n-1}^{\left(k\right)}\left(p\times p\right)& 0& \dots & 0& 0\end{array}\right),$$

(19)

$${\mathrm{B}}_i^{\left(k\right)}\left(p\times p\right)=\left(\begin{array}{cccc}{\mathrm{A}}_i^{\left(1\right)}\left(q^{\left(1\right)}\times q^{\left(1\right)}\right)& 0& \dots & 0\\ 0& {\mathrm{A}}_i^{\left(2\right)}\left(q^{\left(2\right)}\times q^{\left(2\right)}\right)& \ddots & ⋮\\ ⋮& ⋮& \ddots & 0\\ 0& 0& \dots & {\mathrm{A}}_i^{\left(k\right)}\left(q^{\left(k\right)}\times q^{\left(k\right)}\right)\end{array}\right),$$

(20)

where

$$\begin{array}{ccc}\hfill d& =& \left(n-1\right)p,\hfill \end{array}$$

(21)

$$\begin{array}{ccc}\hfill p& =& q^{\left(1\right)}+q^{\left(2\right)}+\dots +q^{\left(k\right)},\hfill \end{array}$$

(22)

and the k square blocks $\mathrm{A}$ are full matrix rings over the division rings ${\mathcal{D}}^{\left(j\right)}$

$${\mathrm{A}}_i^{\left(j\right)}\left(q^{\left(j\right)}\times q^{\left(j\right)}\right)\in Ma{t}_{q^{\left(j\right)}\times q^{\left(j\right)}}^{full}\left({\mathcal{D}}^{\left(j\right)}\right),j=1,\dots ,k,i=1,\dots ,n-1.$$

(23)

Remark 2.

By analogy with (9), in the limiting case $n=2$, we have in (19) one block ${\mathrm{B}}_1^{\left(k\right)}\left(p\times p\right)$ only, and (20) gives its standard (binary) semisimple ring decomposition.

This allows us to introduce another possible double decomposition in the opposite sequence to (19) and (20); we call it the second kind or reverse, or diagonal-shift. Indeed, for a suitable basis, we first provide the standard block-diagonal decomposition (14), and then each block obeys the block-shift decomposition (8). Here we do not write the “reverse” analog of (17) and arrive directly at

Theorem 4.

The semisimple polyadic Artinian ring ${\widehat{\mathcal{R}}}_{semispl}^{\left[2,n\right]}$ (of the second kind) is isomorphic to the $d\times d$ matrix ring

$${\widehat{\mathcal{R}}}_{semispl}^{\left[2,n\right]}\cong Ma{t}_{d\times d}^{diag\text{-}shift\left(n,k\right)}\left(\mathcal{D}\right)=⟨\left\{{\widehat{\mathrm{N}}}^{diag\text{-}shift\left(n,k\right)}\left(d\times d\right)\right\}\mid {\nu }^{\left[2\right]},{\mu }^{\left[n\right]}⟩,$$

(24)

where ${\nu }^{\left[2\right]},{\mu }^{\left[n\right]}$ are the binary addition and ordinary product of n matrices, ${\widehat{\mathrm{N}}}_{d\times d}^{diag\text{-}shift\left(n,k\right)}$ (n is arity of $\widehat{\mathrm{N}}$’s and k is number of simple components of $\widehat{\mathrm{N}}$’s) are the block-diagonal n-ary matrices with block-shift nonsquare blocks

$$\begin{array}{cc}\hfill & {\widehat{\mathrm{N}}}^{diag\text{-}shift\left(n,k\right)}\left(d\times d\right)=\left(\begin{array}{cccc}{\widehat{\mathrm{A}}}^{\left(1\right)}\left(q^{\left(1\right)}\times q^{\left(1\right)}\right)& 0& \dots & 0\\ 0& {\widehat{\mathrm{A}}}^{\left(2\right)}\left(q^{\left(2\right)}\times q^{\left(2\right)}\right)& \ddots & ⋮\\ ⋮& ⋮& \ddots & 0\\ 0& 0& \dots & {\widehat{\mathrm{A}}}^{\left(k\right)}\left(q^{\left(k\right)}\times q^{\left(k\right)}\right)\end{array}\right),\hfill \\ \hfill & {\widehat{\mathrm{A}}}^{\left(j\right)}\left(q^{\left(j\right)}\times q^{\left(j\right)}\right)=\hfill \end{array}$$

(25)

$$\begin{array}{cc}\hfill & \left(\begin{array}{ccccc}0& {\widehat{\mathrm{B}}}_1^{\left(j\right)}\left(p_1^{\left(j\right)}\times p_2^{\left(j\right)}\right)& \dots & 0& 0\\ 0& 0& {\widehat{\mathrm{B}}}_2^{\left(j\right)}\left(p_2^{\left(j\right)}\times p_3^{\left(j\right)}\right)& \dots & 0\\ 0& 0& \ddots & \ddots & ⋮\\ ⋮& ⋮& \ddots & 0& {\widehat{\mathrm{B}}}_{n-2}^{\left(j\right)}\left(p_{n-2}^{\left(j\right)}\times p_{n-1}^{\left(j\right)}\right)\\ {\widehat{\mathrm{B}}}_{n-1}^{\left(j\right)}\left(p_{n-1}^{\left(j\right)}\times p_1^{\left(j\right)}\right)& 0& \dots & 0& 0\end{array}\right),\hfill \end{array}$$

(26)

where

$$\begin{array}{ccc}\hfill q^{\left(j\right)}& =& p_1^{\left(j\right)}+p_2^{\left(j\right)}+\dots +p_{n-1}^{\left(j\right)},\hfill \end{array}$$

(27)

$$\begin{array}{ccc}\hfill d& =& q^{\left(1\right)}+q^{\left(2\right)}+\dots +q^{\left(k\right)},\hfill \end{array}$$

(28)

and the $\left(n-1\right)k$ blocks $\widehat{\mathrm{B}}$ are nonsquare matrices over the division rings ${\mathcal{D}}^{\left(j\right)}$

$${\widehat{\mathrm{B}}}_i^{\left(j\right)}\left(p_i^{\left(j\right)}\times p_{i+1}^{\left(j\right)}\right)\in Ma{t}_{p_i^{\left(j\right)}\times p_{i+1}^{\left(j\right)}}^{full}\left({\mathcal{D}}^{\left(j\right)}\right),j=1,\dots ,k,i=1,\dots ,n-1.$$

(29)

Definition 1.

The ring obeying the double decomposition of the first kind (19) and (20) (of the second kind (25) and (26)) is called apolyadic ring of the first kind(resp.of the second kind).

Proposition 1.

The polyadic rings of the first and second kind are not isomorphic.

Proof. 

This follows from the manifest forms (19), (20), and (25), (26). In addition, in general case, the $\widehat{\mathrm{B}}$-matrices can be nonsquare (29). □

Thus, the two double decompositions introduced above can lead to a new classification for polyadic analogs of semisimple rings.

Example 1.

Let us consider the double decomposition of two kinds for ternary ($n=3$) rings with two semisimple components ($k=2$) and blocks as full $q\times q$ matrix rings over $\mathbb{C}$. Indeed, we have for the ternary nonderived rings ${\mathcal{R}}_{semispl}^{\left[2,3\right]}$ and ${\widehat{\mathcal{R}}}_{semispl}^{\left[2,3\right]}$ of the first and second kind, respectively, the following block structures:

$$\begin{array}{cc}\hfill {\mathrm{N}}^{shift\text{-}diag\left(3,2\right)}\left(4q\times 4q\right)& =\left(\begin{array}{cccc}0& 0& A_1& 0\\ 0& 0& 0& A_2\\ B_1& 0& 0& 0\\ 0& B_2& 0& 0\end{array}\right),\hfill \\ \hfill {\widehat{\mathrm{N}}}^{diag\text{-}shift\left(3,2\right)}\left(4q\times 4q\right)& =\left(\begin{array}{cccc}0& {\widehat{A}}_1& 0& 0\\ {\widehat{A}}_2& 0& 0& 0\\ 0& 0& 0& {\widehat{B}}_1\\ 0& 0& {\widehat{B}}_2& 0\end{array}\right),\hfill \end{array}$$

(30)

where $A_i,B_i,{\widehat{A}}_i,{\widehat{B}}_i\in Ma{t}_{q\times q}^{full}\left(\mathbb{C}\right)$. In terms of component blocks, the ternary multiplications in the rings ${\mathcal{R}}_{semispl}^{\left[2,n\right]}$ and ${\widehat{\mathcal{R}}}_{semispl}^{\left[2,3\right]}$ are

kind I:

$$\begin{array}{cc}\hfill A_1^{\prime }{B}_1^{″}{A}_1^{‴}& =A_1,A_2^{\prime }{B}_2^{″}{A}_2^{‴}=A_2,\hfill \end{array}$$

(31)

$$\begin{array}{cc}\hfill B_1^{\prime }{A}_1^{″}{B}_1^{‴}& =B_1,B_2^{\prime }{A}_2^{″}{B}_2^{‴}=B_2.\hfill \end{array}$$

(32)

kind II:

$$\begin{array}{cc}\hfill {\widehat{A}}_1^{\prime }{\widehat{A}}_2^{″}{\widehat{A}}_1^{‴}& ={\widehat{A}}_1,{\widehat{A}}_2^{\prime }{\widehat{A}}_1^{″}{\widehat{A}}_2^{‴}={\widehat{A}}_2,\hfill \end{array}$$

(33)

$$\begin{array}{cc}\hfill {\widehat{B}}_1^{\prime }{\widehat{B}}_2^{″}{\widehat{B}}_1^{‴}& ={\widehat{B}}_1,{\widehat{B}}_2^{\prime }{\widehat{B}}_1^{″}{\widehat{B}}_2^{‴}={\widehat{B}}_2.\hfill \end{array}$$

(34)

It follows from (31), (32), and (33), (34) that ${\mathcal{R}}_{semispl}^{\left[2,3\right]}$ and ${\widehat{\mathcal{R}}}_{semispl}^{\left[2,3\right]}$ are not ternary isomorphic.

Note that the sum of the block structures (30) obeys nontrivial properties.

Remark 3.

Consider a binary sum of the block matrices of the first and second kind: (30)

$$\begin{array}{cc}\hfill {\mathrm{P}}^{\left(3,2\right)}\left(4q\times 4q\right)& ={\mathrm{N}}^{shift\text{-}diag\left(3,2\right)}\left(4q\times 4q\right)+{\widehat{\mathrm{N}}}^{diag\text{-}shift\left(3,2\right)}\left(4q\times 4q\right)\hfill \\ & =\left(\begin{array}{cccc}0& {\widehat{A}}_1& A_1& 0\\ {\widehat{A}}_2& 0& 0& A_2\\ B_1& 0& 0& {\widehat{B}}_1\\ 0& B_2& {\widehat{B}}_2& 0\end{array}\right).\hfill \end{array}$$

(35)

The set of matrices (35) forms the nonderived $\left[2,3\right]$-ring ${\mathcal{P}}^{\left[2,3\right]}$ over $\mathbb{C}$

$${\mathcal{P}}^{\left[2,3\right]}=⟨\left\{{\mathrm{P}}^{\left(3,2\right)}\left(4q\times 4q\right)\right\}\mid {\nu }^{\left[2\right]},{\mu }^{\left[3\right]}⟩,$$

(36)

where ${\nu }^{\left[2\right]},{\mu }^{\left[3\right]}$ are the binary addition and ordinary product of 3 matrices (35).

Notice that the $\mathrm{P}$-matrices (35) are the block-matrix versions of the circle matrices ${\mathsf{M}}_{circ}$, which were studied in [32] in connection with 8-vertex solutions to the constant Yang–Baxter equation [33] and the corresponding braiding quantum gates [34,35].

Supersymmetric Double Decomposition

Let us generalize the above double decomposition (of the first kind) to superrings and superalgebras. For that we first assume that the constituent vector spaces (entering in (17)) are super vector spaces (${\mathbb{Z}}_2$-graded vector spaces) obeying the standard decomposition into even and odd parts:

$$W_i^{\left(j\right)}\left(q^{\left(j\right)}\mid {\mathcal{D}}^{\left(j\right)}\right)=W_i^{\left(j\right)}{\left(q_{even}^{\left(j\right)}\mid {\mathcal{D}}^{\left(j\right)}\right)}_{even}\oplus W_i^{\left(j\right)}{\left(q_{odd}^{\left(j\right)}\mid {\mathcal{D}}^{\left(j\right)}\right)}_{odd},i=1,\dots ,n-1,j=1,\dots ,k,$$

(37)

where $q_{even}^{\left(j\right)}$ and $q_{odd}^{\left(j\right)}$ are dimensions of the even and odd spaces, respectively; $q^{\left(j\right)}=q_{even}^{\left(j\right)}+q_{odd}^{\left(j\right)}$.

The parity of a homogeneous element of the vector space $v\in W_i^{\left(j\right)}\left(q^{\left(j\right)}\mid {\mathcal{D}}^{\left(j\right)}\right)$ is defined by $\left|v\right|=\overline{0}$ (resp. $\overline{1}$), if $v\in W_i^{\left(j\right)}{\left(q_{even}^{\left(j\right)}\mid {\mathcal{D}}^{\left(j\right)}\right)}_{even}$ (resp. $W_i^{\left(j\right)}{\left(q_{odd}^{\left(j\right)}\mid {\mathcal{D}}^{\left(j\right)}\right)}_{odd}$), and $\overline{0},\overline{1}\in {\mathbb{Z}}_2$. For details, see [36,37]. In the graded case, the k square blocks $\mathrm{A}$ in (23) are full supermatrix rings of the size $\left(q_{even}^{\left(j\right)}\mid q_{odd}^{\left(j\right)}\right)\times \left(q_{even}^{\left(j\right)}\mid q_{odd}^{\left(j\right)}\right)$, while the square $\mathrm{B}$s (20) are block-diagonal supermatrices, and the block-shift n-ary supermatrices have a nonstandard form (19).

We assume that in super case a polyadic analog of the Wedderburn–Artin theorem for semisimple Artinian superrings (of the first kind) is also valid, with the forms of the double decomposition (19) and (20) being the same; however, now the $\mathrm{A}$s and $\mathrm{B}$ are corresponding supermatrices.

4. Polyadization Concept

Here we propose a general procedure for how to construct new polyadic algebraic structures from binary (or lower arity) ones, using the “inverse” (informally) to the block-shift matrix decomposition (8). It can be considered as a polyadic analog of the inverse problem of the determination of an algebraic structure from the knowledge of its Wedderburn decomposition [38].

4.1. Polyadization of Binary Algebraic Structures

Let a binary algebraic structure $\mathcal{X}$ be represented by $p\times p$ matrices ${\mathrm{B}}_{\mathbf{y}}\equiv {\mathrm{B}}_{\mathbf{y}}\left(p\times p\right)$ over a ring $\mathcal{R}$ (a linear representation), where $\mathbf{y}$ is the set of $N_y$ parameters corresponding to an element x of $\mathcal{X}$. As the binary addition in $\mathcal{R}$ transfers to the matrix addition without restrictions (as opposed to the polyadic case, see below), we will consider only the multiplicative part of the resulting polyadic matrix ring. In this way, we propose a special block-shift matrix method to obtain n-ary semigroups (n-ary groups) from the binary ones, but the former are not derived from the latter [11,25]. In general, this can lead to new algebraic structures that were not known before.

Definition 2.

A (block-matrix) polyadization ${\Phi }_{pol}$ of a binary semigroup (or group) $\mathcal{X}$ represented by square $p\times p$ matrices ${\mathrm{B}}_{\mathbf{y}}$ is an n-ary semigroup (or an n-ary group) represented by the $d\times d$ block-shift matrices (over a ring $\mathcal{R}$) of the form (8) as follows:

$${\mathrm{Q}}_{{\mathbf{y}}_1,\dots ,{\mathbf{y}}_{n-1}}\equiv {\mathrm{Q}}_{{\mathbf{y}}_1,\dots ,{\mathbf{y}}_{n-1}}^{Bshift\left(n\right)}\left(d\times d\right)=\left(\begin{array}{ccccc}0& {\mathrm{B}}_{{\mathbf{y}}_1}& \dots & 0& 0\\ 0& 0& {\mathrm{B}}_{{\mathbf{y}}_2}& \dots & 0\\ 0& 0& \ddots & \ddots & ⋮\\ ⋮& ⋮& \ddots & 0& {\mathrm{B}}_{{\mathbf{y}}_{n-2}}\\ {\mathrm{B}}_{{\mathbf{y}}_{n-1}}& 0& \dots & 0& 0\end{array}\right),$$

(38)

where $d=\left(n-1\right)p$, and the n-ary multiplication ${\mu }^{\left[\left[n\right]\right]}$ is given by the product of n matrices (38).

In terms of the block-matrices $\mathrm{B}$, the multiplication

$${\mu }^{\left[\left[n\right]\right]}\left[\stackrel{n}{\overbrace{{\mathrm{Q}}_{{\mathbf{y}}_1^{\prime },\dots ,{\mathbf{y}}_{n-1}^{\prime }},{\mathrm{Q}}_{{\mathbf{y}}_1^{″},\dots ,{\mathbf{y}}_{n-1}^{″}},\dots ,{\mathrm{Q}}_{{\mathbf{y}}_1^{‴},\dots ,{\mathbf{y}}_{n-1}^{‴}}{\mathrm{Q}}_{{\mathbf{y}}_1^{⁗},\dots ,{\mathbf{y}}_{n-1}^{⁗}}}}\right]={\mathrm{Q}}_{{\mathbf{y}}_1,\dots ,{\mathbf{y}}_{n-1}}$$

(39)

has the cyclic product form (see [39])

$$\begin{array}{cc}\hfill \stackrel{n}{\overbrace{{\mathrm{B}}_{{\mathbf{y}}_1^{\prime }}{\mathrm{B}}_{{\mathbf{y}}_2^{″}}\dots {\mathrm{B}}_{{\mathbf{y}}_{n-1}^{‴}}{\mathrm{B}}_{{\mathbf{y}}_1^{⁗}}}}& ={\mathrm{B}}_{{\mathbf{y}}_1},\hfill \end{array}$$

(40)

$$\begin{array}{cc}\hfill {\mathrm{B}}_{{\mathbf{y}}_2^{\prime }}{\mathrm{B}}_{{\mathbf{y}}_3^{″}}\dots {\mathrm{B}}_{{\mathbf{y}}_1^{‴}}{\mathrm{B}}_{{\mathbf{y}}_2^{⁗}}& ={\mathrm{B}}_{{\mathbf{y}}_2},\hfill \\ \hfill & ⋮\hfill \end{array}$$

(41)

$$\begin{array}{cc}\hfill {\mathrm{B}}_{{\mathbf{y}}_{n-1}^{\prime }}{\mathrm{B}}_{{\mathbf{y}}_1^{″}}\dots {\mathrm{B}}_{{\mathbf{y}}_{n-2}^{‴}}{\mathrm{B}}_{{\mathbf{y}}_{n-1}^{⁗}}& ={\mathrm{B}}_{{\mathbf{y}}_{n-1}}.\hfill \end{array}$$

(42)

Remark 4.

The number of parameters $N_y$ describing an element $x\in \mathcal{X}$ increases to $\left(n-1\right)N_y$, and the corresponding algebraic structure $⟨\left\{{\mathrm{Q}}_{{\mathbf{y}}_1,\dots ,{\mathbf{y}}_{n-1}}\right\}\mid {\mu }^{\left[\left[n\right]\right]}⟩$ becomes n-ary, and so (38) can be treated as a new algebraic structure, which we denote by the same letter with the arities in double square brackets ${\mathcal{X}}^{\left[\left[n\right]\right]}$.

We now analyze some of the most general properties of the polyadization map ${\Phi }_{pol}$, which are independent of the concrete form of the block-matrices $\mathrm{B}$ and over which algebraic structure (ring, field, etc.) they are defined. We then present some concrete examples.

Definition 3.

A unique polyadization ${\Phi }_{Upol}$ is a polyadization where all sets of parameters coincide

$$\mathbf{y}={\mathbf{y}}_1={\mathbf{y}}_2\dots ={\mathbf{y}}_{n-1}.$$

(43)

Proposition 2.

The unique polyadization is an n-ary-binary homomorphism.

Proof. 

In the case of (43), all $\left(n-1\right)$ relations (40)–(42) coincide

$$\stackrel{n}{\overbrace{{\mathrm{B}}_{{\mathbf{y}}^{\prime }}{\mathrm{B}}_{{\mathbf{y}}^{″}}\dots {\mathrm{B}}_{{\mathbf{y}}^{‴}}{\mathrm{B}}_{{\mathbf{y}}^{⁗}}}}={\mathrm{B}}_{\mathbf{y}},$$

(44)

which means that the ordinary (binary) product of n matrices ${\mathrm{B}}_{\mathbf{y}}$ is mapped to the n-ary product of matrices ${\mathrm{Q}}_{\mathbf{y}}$ (39)

$${\mu }^{\left[\left[n\right]\right]}\left[\stackrel{n}{\overbrace{{\mathrm{Q}}_{{\mathbf{y}}^{\prime }},{\mathrm{Q}}_{{\mathbf{y}}^{″}},\dots ,{\mathrm{Q}}_{{\mathbf{y}}^{‴}}{\mathrm{Q}}_{{\mathbf{y}}^{⁗}}}}\right]={\mathrm{Q}}_{\mathbf{y}},$$

(45)

as it should be for an n-ary-binary homomorphism, but not for a homomorphism. □

Assertion 3.

If matrices ${\mathrm{B}}_{\mathbf{y}}\equiv {\mathrm{B}}_{\mathbf{y}}\left(p\times p\right)$ contain the identity matrix ${\mathrm{E}}_p$, then the n-ary identity ${\mathrm{E}}_d^{\left(n\right)}$ in $⟨\left\{{\mathrm{Q}}_{\mathbf{y}}\left(d\times d\right)\right\}\mid {\mu }^{\left[\left[n\right]\right]}⟩$, $d=\left(n-1\right)p$ has the form

$${\mathrm{E}}_d^{\left(n\right)}=\left(\begin{array}{ccccc}0& {\mathrm{E}}_p& \dots & 0& 0\\ 0& 0& {\mathrm{E}}_p& \dots & 0\\ 0& 0& \ddots & \ddots & ⋮\\ ⋮& ⋮& \ddots & 0& {\mathrm{E}}_p\\ {\mathrm{E}}_p& 0& \dots & 0& 0\end{array}\right).$$

(46)

Proof. 

It follows from (38), (39), and (44). □

In this case, the unique polyadization maps the identity matrix to the n-ary identity ${\Phi }_{Upol}:{\mathrm{E}}_p\to {\mathrm{E}}_d^{\left(n\right)}$.

Assertion 4.

If the matrices ${\mathrm{B}}_{\mathbf{y}}$ are invertible ${\mathrm{B}}_{\mathbf{y}}{\mathrm{B}}_{\mathbf{y}}^{-1}={\mathrm{B}}_{\mathbf{y}}^{-1}{\mathrm{B}}_{\mathbf{y}}={\mathrm{E}}_p$, then each ${\mathrm{Q}}_{{\mathbf{y}}_1,\dots ,{\mathbf{y}}_{n-1}}$ has a querelement

$${\overline{\mathrm{Q}}}_{{\mathbf{y}}_1,\dots ,{\mathbf{y}}_{n-1}}=\left(\begin{array}{ccccc}0& {\overline{\mathrm{B}}}_{{\mathbf{y}}_1}& \dots & 0& 0\\ 0& 0& {\overline{\mathrm{B}}}_{{\mathbf{y}}_2}& \dots & 0\\ 0& 0& \ddots & \ddots & ⋮\\ ⋮& ⋮& \ddots & 0& {\overline{\mathrm{B}}}_{{\mathbf{y}}_{n-2}}\\ {\overline{\mathrm{B}}}_{{\mathbf{y}}_{n-1}}& 0& \dots & 0& 0\end{array}\right),$$

(47)

satisfying

$${\mu }^{\left[\left[n\right]\right]}\left[\stackrel{n}{\overbrace{{\mathrm{Q}}_{{\mathbf{y}}_1,\dots ,{\mathbf{y}}_{n-1}},{\mathrm{Q}}_{{\mathbf{y}}_1,\dots ,{\mathbf{y}}_{n-1}},\dots ,{\mathrm{Q}}_{{\mathbf{y}}_1,\dots ,{\mathbf{y}}_{n-1}}{\overline{\mathrm{Q}}}_{{\mathbf{y}}_1,\dots ,{\mathbf{y}}_{n-1}}}}\right]={\mathrm{Q}}_{{\mathbf{y}}_1,\dots ,{\mathbf{y}}_{n-1}}$$

(48)

where ${\overline{\mathrm{Q}}}_{{\mathbf{y}}_1,\dots ,{\mathbf{y}}_{n-1}}$ can be on any places and

$${\overline{\mathrm{B}}}_{{\mathbf{y}}_i}={\mathrm{B}}_{{\mathbf{y}}_{i-1}}^{-1}{\mathrm{B}}_{{\mathbf{y}}_{i-2}}^{-1}\dots {\mathrm{B}}_{{\mathbf{y}}_2}^{-1}{\mathrm{B}}_{{\mathbf{y}}_1}^{-1}{\mathrm{B}}_{{\mathbf{y}}_{n-1}}^{-1}{\mathrm{B}}_{{\mathbf{y}}_{n-2}}^{-1}\dots {\mathrm{B}}_{{\mathbf{y}}_{i+2}}^{-1}{\mathrm{B}}_{{\mathbf{y}}_{i+1}}^{-1}.$$

(49)

Proof. 

This follows from (47), (48), and (40), (42); consequently, by applying ${\mathrm{B}}_{{\mathbf{y}}_i}^{-1}$ (with suitable indices) on both sides, we obtain (49). □

Let us suppose that on the set of matrices $\left\{{\mathrm{B}}_{\mathbf{y}}\right\}$ over a binary ring $\mathcal{R}$, one can consider some analog of a multiplicative character $\chi :\left\{{\mathrm{B}}_{\mathbf{y}}\right\}\to \mathcal{R}$, being a (binary) homomorphism, such that

$$\chi \left({\mathrm{B}}_{{\mathbf{y}}_1}\right)\chi \left({\mathrm{B}}_{{\mathbf{y}}_2}\right)=\chi \left({\mathrm{B}}_{{\mathbf{y}}_1}{\mathrm{B}}_{{\mathbf{y}}_2}\right).$$

(50)

For instance, in case $\mathrm{B}\in GL\left(p,\mathbb{C}\right)$, the determinant can be considered to have a (binary) multiplicative character. Similarly, we can introduce

Definition 4.

A polyadized multiplicative character $\varnothing :\left\{{\mathrm{Q}}_{{\mathbf{y}}_1,\dots ,{\mathbf{y}}_{n-1}}\right\}\to \mathcal{R}$ is proportional to a product of the binary multiplicative characters of the blocks $\chi \left({\mathrm{B}}_{{\mathbf{y}}_i}\right)$

$$\varnothing \left({\mathrm{Q}}_{{\mathbf{y}}_1,\dots ,{\mathbf{y}}_{n-1}}\right)={\left(-1\right)}^n\chi \left({\mathrm{B}}_{{\mathbf{y}}_1}\right)\chi \left({\mathrm{B}}_{{\mathbf{y}}_2}\right)\dots \chi \left({\mathrm{B}}_{{\mathbf{y}}_{n-1}}\right).$$

(51)

The normalization factor ${\left(-1\right)}^n$ in (51) is needed to be consistent with the case when $\mathcal{R}$ is commutative, and the multiplicative characters are determinants. It can also be consistent in other cases.

Proposition 3.

If the ring $\mathcal{R}$ is commutative, then the polyadized multiplicative character ∅ is an n-ary-binary homomorphism.

Proof. 

It follows from (44), (45), (51), and the commutativity of $\mathcal{R}$. □

Proposition 4.

If the ring $\mathcal{R}$ is commutative and unital with the unit $E_p$, then the algebraic structure $⟨\left\{{\mathrm{Q}}_{{\mathbf{y}}_1,\dots ,{\mathbf{y}}_{n-1}}\right\}\mid {\mu }^{\left[\left[n\right]\right]}⟩$ contains polyadic (n-ary) idempotents satisfying

$${\mathrm{B}}_{{\mathbf{y}}_1}{\mathrm{B}}_{{\mathbf{y}}_2}\dots {\mathrm{B}}_{{\mathbf{y}}_{n-1}}=E_p.$$

(52)

Proof. 

It follows from (45) and (46). □

4.2. Concrete Examples of the Polyadization Procedure

4.2.1. Polyadization of $GL\left(2,\mathbb{C}\right)$

Consider the polyadization procedure for the general linear group $GL\left(2,\mathbb{C}\right)$. We have for the 4-parameter block matrices ${\mathrm{B}}_{{\mathbf{y}}_i}=\left(\begin{array}{cc}{a}_i& b_i\\ c_i& d_i\end{array}\right)\in GL\left(2,\mathbb{C}\right)$, ${\mathbf{y}}_i=\left(a_i,b_i,c_i,d_i\right)\in \mathbb{C}\times \mathbb{C}\times \mathbb{C}\times \mathbb{C},$ $i=1,2,3$. Thus, the 12-parameter 4-ary group $G{L}^{\left[\left[4\right]\right]}\left(2,\mathbb{C}\right)=⟨\left\{{\mathrm{Q}}_{{\mathbf{y}}_1,{\mathbf{y}}_2,{\mathbf{y}}_3}\right\}\mid {\mu }^{\left[\left[4\right]\right]}⟩$ is represented by the following $6\times 6$$\mathrm{Q}$-matrices:

$${\mathrm{Q}}_{{\mathbf{y}}_1,{\mathbf{y}}_2,{\mathbf{y}}_3}=\left(\begin{array}{ccc}0& {\mathrm{B}}_{{\mathbf{y}}_1}& 0\\ 0& 0& {\mathrm{B}}_{{\mathbf{y}}_2}\\ {\mathrm{B}}_{{\mathbf{y}}_3}& 0& 0\end{array}\right)\in G{L}^{\left[\left[4\right]\right]}\left(2,\mathbb{C}\right),{\mathrm{B}}_{{\mathbf{y}}_i}\in GL\left(2,\mathbb{C}\right),i=1,2,3,$$

(53)

obeying the 4-ary multiplication:

$$\begin{array}{c}\hfill {\mu }^{\left[\left[4\right]\right]}\left[{\mathrm{Q}}_{{\mathbf{y}}_1^{\prime },{\mathbf{y}}_2^{\prime },{\mathbf{y}}_3^{\prime }},{\mathrm{Q}}_{{\mathbf{y}}_1^{″},{\mathbf{y}}_2^{″},{\mathbf{y}}_3^{″}},{\mathrm{Q}}_{{\mathbf{y}}_1^{‴},{\mathbf{y}}_2^{‴},{\mathbf{y}}_3^{‴}},{\mathrm{Q}}_{{\mathbf{y}}_1^{⁗},{\mathbf{y}}_2^{⁗},{\mathbf{y}}_3^{⁗}}\right]\\ \hfill ={\mathrm{Q}}_{{\mathbf{y}}_1^{\prime },{\mathbf{y}}_2^{\prime },{\mathbf{y}}_3^{\prime }}{\mathrm{Q}}_{{\mathbf{y}}_1^{″},{\mathbf{y}}_2^{″},{\mathbf{y}}_3^{″}}{\mathrm{Q}}_{{\mathbf{y}}_1^{‴},{\mathbf{y}}_2^{‴},{\mathbf{y}}_3^{‴}}{\mathrm{Q}}_{{\mathbf{y}}_1^{⁗},{\mathbf{y}}_2^{⁗},{\mathbf{y}}_3^{⁗}}={\mathrm{Q}}_{{\mathbf{y}}_1,{\mathbf{y}}_2,{\mathbf{y}}_3}.\end{array}$$

(54)

In terms of the block matrices ${\mathrm{B}}_{{\mathbf{y}}_i}$, the multiplication (54) becomes (see (39)–(42))

$${\mathrm{B}}_{{\mathbf{y}}_1^{\prime }}{\mathrm{B}}_{{\mathbf{y}}_2^{″}}{\mathrm{B}}_{{\mathbf{y}}_3^{‴}}{\mathrm{B}}_{{\mathbf{y}}_1^{⁗}}={\mathrm{B}}_{{\mathbf{y}}_1},$$

(55)

$${\mathrm{B}}_{{\mathbf{y}}_2^{\prime }}{\mathrm{B}}_{{\mathbf{y}}_3^{″}}{\mathrm{B}}_{{\mathbf{y}}_1^{‴}}{\mathrm{B}}_{{\mathbf{y}}_2^{⁗}}={\mathrm{B}}_{{\mathbf{y}}_2},$$

(56)

$${\mathrm{B}}_{{\mathbf{y}}_3^{\prime }}{\mathrm{B}}_{{\mathbf{y}}_1^{″}}{\mathrm{B}}_{{\mathbf{y}}_2^{‴}}{\mathrm{B}}_{{\mathbf{y}}_3^{⁗}}={\mathrm{B}}_{{\mathbf{y}}_3},$$

(57)

which can be further expressed in the $\mathrm{B}$-matrix entries (its manifest form is too cumbersome to give here).

For $\left\{{\mathrm{Q}}_{{\mathbf{y}}_1,{\mathbf{y}}_2,{\mathbf{y}}_3}\right\}$ to be a 4-ary group, each $\mathrm{Q}$-matrix should have the unique querelement determined by the equation (see (48)):

$${\mathrm{Q}}_{{\mathbf{y}}_1,{\mathbf{y}}_2,{\mathbf{y}}_3}{\mathrm{Q}}_{{\mathbf{y}}_1,{\mathbf{y}}_2,{\mathbf{y}}_3}{\mathrm{Q}}_{{\mathbf{y}}_1,{\mathbf{y}}_2,{\mathbf{y}}_3}{\overline{\mathrm{Q}}}_{{\mathbf{y}}_1,{\mathbf{y}}_2,{\mathbf{y}}_3}={\mathrm{Q}}_{{\mathbf{y}}_1,{\mathbf{y}}_2,{\mathbf{y}}_3},$$

(58)

which has the solution

$${\overline{\mathrm{Q}}}_{{\mathbf{y}}_1,{\mathbf{y}}_2,{\mathbf{y}}_3}=\left(\begin{array}{ccc}0& {\overline{\mathrm{B}}}_{{\mathbf{y}}_1}& 0\\ 0& 0& {\overline{\mathrm{B}}}_{{\mathbf{y}}_2}\\ {\overline{\mathrm{B}}}_{{\mathbf{y}}_3}& 0& 0\end{array}\right),$$

(59)

where (see (49))

$${\overline{\mathrm{B}}}_{{\mathbf{y}}_1}={\mathrm{B}}_{{\mathbf{y}}_3}^{-1}{\mathrm{B}}_{{\mathbf{y}}_2}^{-1},{\overline{\mathrm{B}}}_{{\mathbf{y}}_2}={\mathrm{B}}_{{\mathbf{y}}_1}^{-1}{\mathrm{B}}_{{\mathbf{y}}_3}^{-1},{\overline{\mathrm{B}}}_{{\mathbf{y}}_3}={\mathrm{B}}_{{\mathbf{y}}_2}^{-1}{\mathrm{B}}_{{\mathbf{y}}_1}^{-1}.$$

(60)

In the manifest form, the querelements of $G{L}^{\left[\left[4\right]\right]}\left(2,\mathbb{C}\right)$ are (59), where

$${\overline{\mathrm{B}}}_{{\mathbf{y}}_1}=\frac{1}{{\Delta }_3{\Delta }_2}\left(\begin{array}{cc}{b}_3{c}_2+d_3{d}_2& -b_3{a}_2-d_3{b}_2\\ -a_3{c}_2-c_3{d}_2& a_3{a}_2+c_3{b}_2\end{array}\right)$$

(61)

$${\overline{\mathrm{B}}}_{{\mathbf{y}}_2}=\frac{1}{{\Delta }_2{\Delta }_3}\left(\begin{array}{cc}{b}_1{c}_3+d_1{d}_3& -b_1{a}_3-d_1{b}_3\\ -a_1{c}_3-c_1{d}_3& a_1{a}_3+c_1{b}_3\end{array}\right)$$

(62)

$${\overline{\mathrm{B}}}_{{\mathbf{y}}_3}=\frac{1}{{\Delta }_2{\Delta }_1}\left(\begin{array}{cc}{b}_2{c}_1+d_2{d}_1& -b_2{a}_1-d_2{b}_1\\ -a_2{c}_1-c_2{d}_1& a_2{a}_1+c_2{b}_1\end{array}\right),$$

(63)

where ${\Delta }_i=a_i{d}_i-b_i{c}_i\ne 0$ are the (nonvanishing) determinants of ${\mathrm{B}}_{{\mathbf{y}}_i}$.

Definition 5.

We call $G{L}^{\left[\left[4\right]\right]}\left(2,\mathbb{C}\right)$ a polyadic (4-ary) general linear group.

If we take the binary multiplicative characters to be determinants $\chi \left({\mathrm{B}}_{{\mathbf{y}}_i}\right)={\Delta }_i\ne 0$, then the polyadized multiplicative character in $G{L}^{\left[\left[4\right]\right]}\left(2,\mathbb{C}\right)$ becomes

$$\varnothing \left({\mathrm{Q}}_{{\mathbf{y}}_1,{\mathbf{y}}_2,{\mathbf{y}}_3}\right)={\Delta }_1{\Delta }_2{\Delta }_3,$$

(64)

which is a 4-ary-binary homomorphism, because (see (55)–(57))

$$\begin{array}{c}\varnothing \left({\mathrm{Q}}_{{\mathbf{y}}_1^{\prime },{\mathbf{y}}_2^{\prime },{\mathbf{y}}_3^{\prime }}\right)\varnothing \left({\mathrm{Q}}_{{\mathbf{y}}_1^{″},{\mathbf{y}}_2^{″},{\mathbf{y}}_3^{″}}\right)\varnothing \left({\mathrm{Q}}_{{\mathbf{y}}_1^{‴},{\mathbf{y}}_2^{‴},{\mathbf{y}}_3^{‴}}\right)\varnothing \left({\mathrm{Q}}_{{\mathbf{y}}_1^{‴},{\mathbf{y}}_2^{‴},{\mathbf{y}}_3^{‴}}\right)\hfill \\ =\left({\Delta }_1^{\prime }{\Delta }_2^{\prime }{\Delta }_3^{\prime }\right)\left({\Delta }_1^{″}{\Delta }_2^{″}{\Delta }_3^{″}\right)\left({\Delta }_1^{‴}{\Delta }_2^{‴}{\Delta }_3^{‴}\right)\left({\Delta }_1^{⁗}{\Delta }_2^{⁗}{\Delta }_3^{⁗}\right)\hfill \\ =\left({\Delta }_1^{\prime }{\Delta }_2^{″}{\Delta }_3^{‴}{\Delta }_1^{⁗}\right)\left({\Delta }_2^{\prime }{\Delta }_3^{″}{\Delta }_1^{‴}{\Delta }_2^{⁗}\right)\left({\Delta }_3^{\prime }{\Delta }_1^{″}{\Delta }_2^{‴}{\Delta }_3^{⁗}\right)\hfill \\ =\varnothing \left({\mathrm{Q}}_{{\mathbf{y}}_1^{\prime },{\mathbf{y}}_2^{\prime },{\mathbf{y}}_3^{\prime }}{\mathrm{Q}}_{{\mathbf{y}}_1^{″},{\mathbf{y}}_2^{″},{\mathbf{y}}_3^{″}}{\mathrm{Q}}_{{\mathbf{y}}_1^{‴},{\mathbf{y}}_2^{‴},{\mathbf{y}}_3^{‴}}{\mathrm{Q}}_{{\mathbf{y}}_1^{⁗},{\mathbf{y}}_2^{⁗},{\mathbf{y}}_3^{⁗}}\right).\hfill \end{array}$$

(65)

The 4-ary identity ${\mathrm{E}}_6^{\left(4\right)}$ of $G{L}^{\left[\left[4\right]\right]}\left(2,\mathbb{C}\right)$ is unique and has the form (see (46))

$${\mathrm{E}}_6^{\left(4\right)}=\left(\begin{array}{ccc}0& {\mathrm{E}}_2& 0\\ 0& 0& {\mathrm{E}}_2\\ {\mathrm{E}}_2& 0& 0\end{array}\right),$$

(66)

where $E_2$ is the identity of $GL\left(2,\mathbb{C}\right)$. The 4-ary identity ${\mathrm{E}}_6^{\left(4\right)}$ satisfies the 4-ary idempotence relation

$${\mathrm{E}}_6^{\left(4\right)}{\mathrm{E}}_6^{\left(4\right)}{\mathrm{E}}_6^{\left(4\right)}{\mathrm{E}}_6^{\left(4\right)}={\mathrm{E}}_6^{\left(4\right)}.$$

(67)

In general, the 4-ary group $G{L}^{\left[\left[4\right]\right]}\left(2,\mathbb{C}\right)$ contains an infinite number of 4-ary idempotents ${\mathrm{Q}}_{{\mathbf{y}}_1,{\mathbf{y}}_2,{\mathbf{y}}_3}^{idemp}$ defined by the system of equations

$${\mathrm{Q}}_{{\mathbf{y}}_1,{\mathbf{y}}_2,{\mathbf{y}}_3}^{idemp}{\mathrm{Q}}_{{\mathbf{y}}_1,{\mathbf{y}}_2,{\mathbf{y}}_3}^{idemp}{\mathrm{Q}}_{{\mathbf{y}}_1,{\mathbf{y}}_2,{\mathbf{y}}_3}^{idemp}{\mathrm{Q}}_{{\mathbf{y}}_1,{\mathbf{y}}_2,{\mathbf{y}}_3}^{idemp}={\mathrm{Q}}_{{\mathbf{y}}_1,{\mathbf{y}}_2,{\mathbf{y}}_3}^{idemp},$$

(68)

which gives

$${\mathrm{B}}_{{\mathbf{y}}_1}^{idemp}{\mathrm{B}}_{{\mathbf{y}}_2}^{idemp}{\mathrm{B}}_{{\mathbf{y}}_3}^{idemp}={\mathrm{E}}_2,$$

(69)

or manifestly

$$a_1{a}_2{a}_3+a_1{b}_2{c}_3+a_3{b}_1{c}_2+b_1{c}_3{d}_2=1,$$

(70)

$$a_2{b}_3{c}_1+b_2{c}_1{d}_3+b_3{c}_2{d}_1+d_1{d}_2{d}_3=1,$$

(71)

$$a_1{a}_2{b}_3+a_1{b}_2{d}_3+b_1{b}_3{c}_2+b_1{d}_2{d}_3=0,$$

(72)

$$a_2{a}_3{c}_1+a_3{c}_2{d}_1+b_2{c}_1{c}_3+c_3{d}_1{d}_2=0.$$

(73)

The infinite set of idempotents in $G{L}^{\left[\left[4\right]\right]}\left(2,\mathbb{C}\right)$ is determined by $12-4=8$ complex parameters, because one block matrix (with 4 complex parameters) can always be excluded using the Equation (69).

Remark 5.

The above example shows how “far” polyadic groups can be formed from ordinary (binary) groups: the former can contain an infinite number of 4-ary idempotents determined by (70)–(73), in addition to the standard idempotent in any group, the 4-ary identity (66).

4.2.2. Polyadization of $SO\left(2,\mathbb{R}\right)$

Here we provide a polyadization for the simplest subgroup of $GL\left(2,\mathbb{C}\right)$, the special orthogonal group $SO\left(2,\mathbb{R}\right)$. In the matrix form, $SO\left(2,\mathbb{R}\right)$ is represented by the one-parameter rotation matrix

$$B\left(\alpha \right)=\left(\begin{array}{cc}cos\alpha & -sin\alpha \\ sin\alpha & cos\alpha \end{array}\right)\in SO\left(2,\mathbb{R}\right),\alpha \in \mathbb{R}∕2\pi \mathbb{Z},$$

(74)

satisfying the commutative multiplication

$$B\left(\alpha \right)B\left(\beta \right)=B\left(\alpha +\beta \right),$$

(75)

and the (binary) identity ${\mathrm{E}}_2$ is $B\left(0\right)$. Therefore, the inverse element for $B\left(\alpha \right)$ is $B\left(-\alpha \right)$.

The 4-ary polyadization of $SO\left(2,\mathbb{R}\right)$ is given by the 3-parameter 4-ary group of Q-matrices $S{O}^{\left[\left[4\right]\right]}\left(2,\mathbb{R}\right)=⟨\left\{Q\left(\alpha ,\beta ,\gamma \right)\right\}\mid {\mu }^{\left[\left[4\right]\right]}⟩$, where (cf. (53))

$$\begin{array}{cc}\hfill & Q\left(\alpha ,\beta ,\gamma \right)=\left(\begin{array}{ccc}0& B\left(\alpha \right)& 0\\ 0& 0& B\left(\beta \right)\\ B\left(\gamma \right)& 0& 0\end{array}\right)\hfill \end{array}$$

(76)

$$\begin{array}{cc}\hfill & =\left(\begin{array}{cccccc}0& 0& cos\alpha & -sin\alpha & 0& 0\\ 0& 0& sin\alpha & cos\alpha & 0& 0\\ 0& 0& 0& 0& cos\beta & -sin\beta \\ 0& 0& 0& 0& sin\beta & cos\beta \\ cos\gamma & -sin\gamma & 0& 0& 0& 0\\ sin\gamma & cos\gamma & 0& 0& 0& 0\end{array}\right),\alpha ,\beta ,\gamma \in \mathbb{R}∕2\pi \mathbb{Z},\hfill \end{array}$$

(77)

and the 4-ary multiplication is

$$\begin{array}{c}{\mu }^{\left[\left[4\right]\right]}\left[Q\left({\alpha }_1,{\beta }_1,{\gamma }_1\right),Q\left({\alpha }_2,{\beta }_2,{\gamma }_2\right),Q\left({\alpha }_3,{\beta }_3,{\gamma }_3\right),Q\left({\alpha }_4,{\beta }_4,{\gamma }_4\right)\right]\hfill \\ =Q\left({\alpha }_1,{\beta }_1,{\gamma }_1\right)Q\left({\alpha }_2,{\beta }_2,{\gamma }_2\right)Q\left({\alpha }_3,{\beta }_3,{\gamma }_3\right)Q\left({\alpha }_4,{\beta }_4,{\gamma }_4\right)\hfill \\ =Q\left({\alpha }_1+{\beta }_2+{\gamma }_3+{\alpha }_4,{\beta }_1+{\gamma }_2+{\alpha }_3+{\beta }_4,{\gamma }_1+{\alpha }_2+{\beta }_3+{\gamma }_4\right)=Q\left(\alpha ,\beta ,\gamma \right),\hfill \end{array}$$

(78)

which is noncommutative, as opposed to the binary product of B-matrices (75).

The querelement $\overline{Q}\left(\alpha ,\beta ,\gamma \right)$ for a given $Q\left(\alpha ,\beta ,\gamma \right)$ is defined by the equation (see (58))

$$Q\left(\alpha ,\beta ,\gamma \right)Q\left(\alpha ,\beta ,\gamma \right)Q\left(\alpha ,\beta ,\gamma \right)\overline{Q}\left(\alpha ,\beta ,\gamma \right)=Q\left(\alpha ,\beta ,\gamma \right),$$

(79)

which has the solution

$$\overline{Q}\left(\alpha ,\beta ,\gamma \right)=Q\left(-\beta -\gamma ,-\alpha -\gamma ,-\alpha -\beta \right).$$

(80)

Definition 6.

We call $S{O}^{\left[\left[4\right]\right]}\left(2,\mathbb{R}\right)$ a polyadic (4-ary) special orthogonal group, and $Q\left(\alpha ,\beta ,\gamma \right)$ is called a polyadic (4-ary) rotation matrix.

Informally, the matrix $Q\left(\alpha ,\beta ,\gamma \right)$ represents the polyadic (4-ary) rotation. There is an infinite number of polyadic (4-ary) identities (neutral elements) $E\left(\alpha ,\beta ,\gamma \right)$ which are defined by

$$E\left(\alpha ,\beta ,\gamma \right)E\left(\alpha ,\beta ,\gamma \right)E\left(\alpha ,\beta ,\gamma \right)Q\left(\alpha ,\beta ,\gamma \right)=Q\left(\alpha ,\beta ,\gamma \right),$$

(81)

and the solution is

$$E\left(\alpha ,\beta ,\gamma \right)=Q\left(\alpha ,\beta ,\gamma \right),\alpha +\beta +\gamma =0.$$

(82)

It follows from (81) that $E\left(\alpha ,\beta ,\gamma \right)$ are 4-ary idempotents (see (67) and Remark 5).

The determinants of $B\left(\alpha \right)$ and $Q\left(\alpha ,\beta ,\gamma \right)$ are 1, and therefore the corresponding multiplicative characters and polyadized multiplicative characters (51) are also equal to one.

Compared with the successive products of four B-matrices (74)

$$B\left({\alpha }_1\right)B\left({\alpha }_2\right)B\left({\alpha }_3\right)B\left({\alpha }_4\right)=B\left({\alpha }_1+{\alpha }_2+{\alpha }_3+{\alpha }_4\right),$$

(83)

we observe that 4-ary multiplication (78) gives a shifted sum of four angles.

More exactly, for the triple $\left(\alpha ,\beta ,\gamma \right)$ we introduce the circle (left) shift operator by

$$\mathsf{s}\alpha =\beta ,\mathsf{s}\beta =\gamma ,\mathsf{s}\gamma =\alpha$$

(84)

with the property ${\mathsf{s}}^3=\mathsf{id}$. Then, the 4-ary multiplication (78) becomes

$$\begin{array}{c}{\mu }^{\left[\left[4\right]\right]}\left[Q\left({\alpha }_1,{\beta }_1,{\gamma }_1\right),Q\left({\alpha }_2,{\beta }_2,{\gamma }_2\right),Q\left({\alpha }_3,{\beta }_3,{\gamma }_3\right),Q\left({\alpha }_4,{\beta }_4,{\gamma }_4\right)\right]\hfill \\ =Q\left({\alpha }_1+\mathsf{s}{\alpha }_2+{\mathsf{s}}^2{\alpha }_3+{\alpha }_4,{\beta }_1+\mathsf{s}{\beta }_2+{\mathsf{s}}^2{\beta }_3+{\beta }_4,{\gamma }_1+\mathsf{s}{\gamma }_2+{\mathsf{s}}^2{\gamma }_3+{\gamma }_4\right).\hfill \end{array}$$

(85)

The querelement has the form

$$\overline{Q}\left(\alpha ,\beta ,\gamma \right)=Q\left(-\mathsf{s}\alpha -{\mathsf{s}}^2\alpha ,-\mathsf{s}\beta -{\mathsf{s}}^2\beta ,-\mathsf{s}\gamma -{\mathsf{s}}^2\gamma \right).$$

(86)

The multiplication (85) can be (informally) expressed in terms of a new operation, the 4-ary “cyclic shift addition” defined on $\mathbb{R}\times \mathbb{R}\times \mathbb{R}$ by (see (78))

$$\begin{array}{c}{\nu }_{\mathsf{s}}^{\left[4\right]}\left[\left({\alpha }_1,{\beta }_1,{\gamma }_1\right),\left({\alpha }_2,{\beta }_2,{\gamma }_2\right),\left({\alpha }_3,{\beta }_3,{\gamma }_3\right),\left({\alpha }_4,{\beta }_4,{\gamma }_4\right)\right]\hfill \\ =\left({\alpha }_1+{\beta }_2+{\gamma }_3+{\alpha }_4,{\beta }_1+{\gamma }_2+{\alpha }_3+{\beta }_4,{\gamma }_1+{\alpha }_2+{\beta }_3+{\gamma }_4\right)\hfill \\ =\left({\nu }_{\mathsf{s}}^{\left[4\right]}\left[{\alpha }_1,{\alpha }_2,{\alpha }_3,{\alpha }_4\right],{\nu }_{\mathsf{s}}^{\left[4\right]}\left[{\beta }_1,{\beta }_2,{\beta }_3,{\beta }_4\right],{\nu }_{\mathsf{s}}^{\left[4\right]}\left[{\gamma }_1,{\gamma }_2,{\gamma }_3,{\gamma }_4\right]\right),\hfill \end{array}$$

(87)

where ${\nu }_{\mathsf{s}}^{\left[4\right]}$ is (informally)

$${\nu }_{\mathsf{s}}^{\left[4\right]}\left[{\alpha }_1,{\alpha }_2,{\alpha }_3,{\alpha }_4\right]={\mathsf{s}}^0{\alpha }_1+{\mathsf{s}}^1{\alpha }_2+{\mathsf{s}}^2{\alpha }_3+{\mathsf{s}}^3{\alpha }_4={\alpha }_1+\mathsf{s}{\alpha }_2+{\mathsf{s}}^2{\alpha }_3+{\alpha }_4,$$

(88)

and ${\mathsf{s}}^0=\mathsf{id}$. This can also be treated as some “deformation” of the repeated binary additions by shifts. It is seen that the 4-ary operation ${\nu }_{\mathsf{s}}^{\left[4\right]}$ (87) is not derived and cannot be obtained by consequent binary operations on the triples $\left(\alpha ,\beta ,\gamma \right)$ as (83).

In terms of the 4-ary cyclic shift addition, the 4-ary multiplication (85) becomes

$$\begin{array}{c}{\mu }^{\left[\left[4\right]\right]}\left[Q\left({\alpha }_1,{\beta }_1,{\gamma }_1\right),Q\left({\alpha }_2,{\beta }_2,{\gamma }_2\right),Q\left({\alpha }_3,{\beta }_3,{\gamma }_3\right),Q\left({\alpha }_4,{\beta }_4,{\gamma }_4\right)\right]\hfill \\ =Q\left({\nu }_{\mathsf{s}}^{\left[4\right]}\left[\left({\alpha }_1,{\beta }_1,{\gamma }_1\right),\left({\alpha }_2,{\beta }_2,{\gamma }_2\right),\left({\alpha }_3,{\beta }_3,{\gamma }_3\right),\left({\alpha }_4,{\beta }_4,{\gamma }_4\right)\right]\right).\hfill \end{array}$$

(89)

The binary case corresponds to $\mathsf{s}=\mathsf{id}$, because in (74) we have only one angle $\alpha$, as opposed to three angles in (84).

Thus, we conclude that just as the binary product of B-matrices corresponds to the ordinary angle addition (75), the 4-ary multiplication of polyadic rotation Q-matrices (76) corresponds to the 4-ary cyclic shift addition (88) through (89).

4.3. "Deformation" of Binary Operations by Shifts

The concrete example from the previous subsection shows the strong connection (89) between the polyadization procedure and the shifted operations (88). Here we generalize it to an n-ary case for any semigroup.

Let $\mathcal{A}=⟨A\mid \left(+\right)⟩$ be a binary semigroup, where A is its underlying set and $\left(+\right)$ is the binary operation (which can be noncommutative). The simplest way to construct an n-ary operation ${\nu }^{\left[n\right]}:A^n\to A$ is the consequent repetition of the binary operation (see (83))

$${\nu }^{\left[n\right]}\left[{\alpha }_1,{\alpha }_2,\dots ,{\alpha }_n\right]={\alpha }_1+{\alpha }_2+\dots +{\alpha }_n,$$

(90)

where the n-ary multiplication ${\nu }^{\left[n\right]}$ (90) is called derived [26,40].

To construct a nonderived operation, we now consider the (external) mth direct power ${\mathcal{A}}^m$ of the semigroup $\mathcal{A}$ by introducing m-tuples

$$\mathbf{a}\equiv {\mathbf{a}}^{\left(m\right)}=\stackrel{m}{\left(\overbrace{\alpha ,\beta ,\dots ,\gamma }\right)},\alpha ,\beta ,\dots ,\gamma \in A,\mathbf{a}\in A^m.$$

(91)

The mth direct power becomes a binary semigroup by endowing m-tuples with the componentwise binary operation $\left(\widehat{+}\right)$ as

$${\mathbf{a}}_1\widehat{+}{\mathbf{a}}_2=\stackrel{m}{\left(\overbrace{{\alpha }_1,{\beta }_1,\dots ,{\gamma }_1}\right)}\widehat{+}\stackrel{m}{\left(\overbrace{{\alpha }_2,{\beta }_2,\dots ,{\gamma }_2}\right)}=\stackrel{m}{\left(\overbrace{{\alpha }_1+{\alpha }_2,{\beta }_1+{\beta }_2,\dots ,{\gamma }_1+{\gamma }_2}\right)}.$$

(92)

The derived n-ary operation for m-tuples (on the mth direct power) is then defined componentwise by analogy with (90)

$${\nu }^{\left[n\right]}\left[{\mathbf{a}}_1,{\mathbf{a}}_2,\dots ,{\mathbf{a}}_n\right]={\mathbf{a}}_1\widehat{+}{\mathbf{a}}_2\widehat{+}\dots \widehat{+}{\mathbf{a}}_n.$$

(93)

Now using shifts, instead of (93) we construct a nonderived n-ary operation on the direct power.

Definition 7.

A cyclic m-shift operator $\mathsf{s}$ is defined for the m-tuple (91) by

$$\stackrel{m}{\overbrace{\mathsf{s}\alpha =\beta ,\mathsf{s}\beta =\gamma ,\dots ,\mathsf{s}\gamma =\alpha }},$$

(94)

and ${\mathsf{s}}^m=\mathsf{id}$.

For instance, in this notation, if $m=3$ and $\mathbf{a}=\left(\alpha ,\beta ,\gamma \right)$, then $\mathsf{s}\mathbf{a}=\left(\gamma ,\alpha ,\beta \right)$, ${\mathsf{s}}^2\mathbf{a}=\left(\beta ,\gamma ,\alpha \right)$, ${\mathsf{s}}^3\mathbf{a}=\mathbf{a}$ (as in the previous subsection).

To obtain a nonderived n-ary operation, by analogy with (87), we deform by shifts the derived n-ary operation (93).

Definition 8.

The shift deformation by (94) of the derived operation ${\nu }^{\left[n\right]}$ on the direct power ${\mathcal{A}}^m$ is defined noncomponentwise by

$${\nu }_{\mathsf{s}}^{\left[n\right]}\left[{\mathbf{a}}_1,{\mathbf{a}}_2,\dots ,{\mathbf{a}}_n\right]={\displaystyle \sum _{i=1}^n}{\mathsf{s}}^{i-1}{\mathbf{a}}_i={\mathbf{a}}_1\widehat{+}\mathsf{s}{\mathbf{a}}_2\widehat{+}\dots \widehat{+}{\mathsf{s}}^{n-1}{\mathbf{a}}_n,$$

(95)

where $\mathbf{a}\in A^m$ (91) and ${\mathsf{s}}^0=\mathsf{id}$.

Note that till now there exist no relations between n and m.

Proposition 5.

The shift deformed operation ${\nu }_{\mathsf{s}}^{\left[n\right]}$ is totally associative, if

$${\mathsf{s}}^{n-1}=\mathsf{id},$$

(96)

$$m=n-1.$$

(97)

Proof. 

We compute

$$\begin{array}{c}{\nu }_{\mathsf{s}}^{\left[n\right]}\left[{\nu }_{\mathsf{s}}^{\left[n\right]}\left[{\mathbf{a}}_1,{\mathbf{a}}_2,\dots ,{\mathbf{a}}_n\right],{\mathbf{a}}_{n+1},{\mathbf{a}}_{n+2},\dots ,{\mathbf{a}}_{2n-1}\right]\hfill \\ =\left({\mathbf{a}}_1\widehat{+}\mathsf{s}{\mathbf{a}}_2\widehat{+}\dots \widehat{+}{\mathsf{s}}^{n-1}{\mathbf{a}}_n\right)\widehat{+}\mathsf{s}{\mathbf{a}}_{n+1}\widehat{+}{\mathsf{s}}^2{\mathbf{a}}_{n+2}\widehat{+}\dots \widehat{+}{\mathsf{s}}^{n-1}{\mathbf{a}}_{2n-1}\hfill \\ ={\mathbf{a}}_1\widehat{+}\mathsf{s}\left({\mathbf{a}}_2\widehat{+}\mathsf{s}{\mathbf{a}}_3\widehat{+}\dots \widehat{+}{\mathsf{s}}^{n-1}{\mathbf{a}}_{n+1}\right)\widehat{+}{\mathsf{s}}^2{\mathbf{a}}_{n+2}\widehat{+}{\mathsf{s}}^3{\mathbf{a}}_{n+3}\widehat{+}\dots \widehat{+}{\mathsf{s}}^{n-1}{\mathbf{a}}_{2n-1}\hfill \\ ⋮\hfill \\ {\mathbf{a}}_1\widehat{+}\mathsf{s}{\mathbf{a}}_2\widehat{+}\dots \widehat{+}{\mathsf{s}}^{n-2}{\mathbf{a}}_n\widehat{+}{\mathsf{s}}^{n-1}\left({\mathbf{a}}_{n+1}\widehat{+}\mathsf{s}{\mathbf{a}}_{n+2}\widehat{+}{\mathsf{s}}^2{\mathbf{a}}_{n+3}\widehat{+}\dots \widehat{+}{\mathsf{s}}^{n-1}{\mathbf{a}}_{2n-1}\right)\hfill \\ {\nu }_{\mathsf{s}}^{\left[n\right]}\left[{\mathbf{a}}_1,{\mathbf{a}}_2,\dots ,{\mathbf{a}}_{n-1},{\nu }_{\mathsf{s}}^{\left[n\right]}\left[{\mathbf{a}}_n,{\mathbf{a}}_{n+1},{\mathbf{a}}_{n+2},\dots ,{\mathbf{a}}_{2n-1}\right]\right],\hfill \end{array}$$

(98)

which are satisfied in all lines, if ${\mathsf{s}}^{n-1}=\mathsf{id}$ (96). □

Corollary 2.

The set of $\left(n-1\right)$-tuples (91) with the shift deformed associative operation (95) is a nonderived n-ary semigroup ${\mathcal{S}}_{shift}^{\left[n\right]}=⟨\left\{\mathbf{a}\right\}\mid {\nu }_{\mathsf{s}}^{\left[n\right]}⟩$ constructed from the binary semigroup $\mathcal{A}$.

Proposition 6.

If the binary semigroup $\mathcal{A}$ is commutative, then ${\mathcal{S}}_{shift}^{\left[n\right]}$ becomes a nonderived n-ary group ${\mathcal{G}}_{shift}^{\left[n\right]}=⟨\left\{\mathbf{a}\right\}\mid {\nu }_{\mathsf{s}}^{\left[n\right]},{\overline{\nu }}_{\mathsf{s}}^{\left[1\right]}⟩$, such that each element $\mathbf{a}\in {\mathcal{A}}^{n-1}$ has a unique querelement $\overline{\mathbf{a}}$ (an analog of inverse) by

$$\overline{\mathbf{a}}={\overline{\nu }}_{\mathsf{s}}^{\left[1\right]}\left[\mathbf{a}\right]=-\left(\mathsf{s}\mathbf{a}\widehat{+}{\mathsf{s}}^2\mathbf{a}\widehat{+}\dots \widehat{+}{\mathsf{s}}^{n-2}\mathbf{a}\right),$$

(99)

where ${\overline{\nu }}_{\mathsf{s}}^{\left[1\right]}:{\mathcal{A}}^{n-1}\to {\mathcal{A}}^{n-1}$ is an unary queroperation.

Proof. 

We have the definition of the querelement

$${\nu }_{\mathsf{s}}^{\left[n\right]}\left[\overline{\mathbf{a}},\mathbf{a},\dots ,\mathbf{a}\right]=\mathbf{a},$$

(100)

where $\overline{\mathbf{a}}$ can be on any place. Thus, (95) gives the equation

$$\overline{\mathbf{a}}\widehat{+}\mathsf{s}\mathbf{a}\widehat{+}{\mathsf{s}}^2\mathbf{a}\widehat{+}\dots \widehat{+}{\mathsf{s}}^{n-2}\mathbf{a}\widehat{+}\mathbf{a}=\mathbf{a},$$

(101)

which can be resolved for the commutative and cancellative semigroup $\mathcal{A}$ only, and the solution is (99). If $\overline{\mathbf{a}}$ is on the ith place in (100), then it has the coefficient ${\mathsf{s}}^{i-1}$, and we multiply both sides by ${\mathsf{s}}^{n-i}$ to get $\overline{\mathbf{a}}$ without any shift operator coefficient using (96), which gives the same solution (99). □

For $n=4$ and $\mathbf{a}=\left(\alpha ,\beta ,\gamma \right)$, the equation (100) is

$$\overline{\mathbf{a}}\widehat{+}\mathsf{s}\mathbf{a}\widehat{+}{\mathsf{s}}^2\mathbf{a}\widehat{+}\mathbf{a}=\mathbf{a}$$

(102)

and (see (86))

$$\overline{\mathbf{a}}=-\left(\mathsf{s}\mathbf{a}\widehat{+}{\mathsf{s}}^2\mathbf{a}\right)$$

(103)

so (cf. (80))

$$\overline{\mathbf{a}}=\overline{\left(\alpha ,\beta ,\gamma \right)}=-\left(\gamma +\beta ,\alpha +\gamma ,\beta +\alpha \right).$$

(104)

It is known that the existence of an identity (as a neutral element) is not necessary for polyadic groups, and only a querelement is important [26,27]. Nevertheless, we have

Proposition 7.

If the commutative and cancellative semigroup $\mathcal{A}$ has zero $0\in A$, then the n-ary group ${\mathcal{G}}_{shift}^{\left[n\right]}$ has a set of polyadic identities (idempotents) satisfying

$$\mathbf{e}\widehat{+}\mathsf{s}\mathbf{e}\widehat{+}\dots \widehat{+}{\mathsf{s}}^{n-2}\mathbf{e}=\mathbf{0},$$

(105)

where $\mathbf{0}=\stackrel{n-1}{\left(\overbrace{0,0,\dots ,0}\right)}$ is the zero $\left(n-1\right)$-tuple.

Proof. 

The definition of polyadic identity in terms of the deformed n-ary product in the direct power is

$${\nu }_{\mathsf{s}}^{\left[n\right]}\left[\stackrel{n-1}{\overbrace{\mathbf{e},\mathbf{e},\dots ,\mathbf{e}}},\mathbf{a}\right]=\mathbf{a},\forall \mathbf{a}\in {\mathcal{A}}^{n-1}.$$

(106)

Using (95) we get the equation

$$\mathbf{e}\widehat{+}\mathsf{s}\mathbf{e}\widehat{+}{\mathsf{s}}^2\mathbf{e}\widehat{+}\dots \widehat{+}{\mathsf{s}}^{n-2}\mathbf{e}\widehat{+}\mathbf{a}=\mathbf{a}.$$

(107)

After cancellation by $\mathbf{a}$, we obtain (105). □

For $n=4$ and $\mathbf{e}=\left({\alpha }_0,{\beta }_0,{\gamma }_0\right)$, we obtain an infinite set of identities satisfying

$$\mathbf{e}=\left({\alpha }_0,{\beta }_0,{\gamma }_0\right),{\alpha }_0+{\beta }_0+{\gamma }_0=0.$$

(108)

To see that they are 4-ary idempotents, insert $\mathbf{a}=\mathbf{e}$ into (106).

Thus, starting from a binary semigroup $\mathcal{A}$, using our polyadization procedure, we have obtained a nonderived n-ary group on $\left(n-1\right)$ th direct power ${\mathcal{A}}^{n-1}$ with the shift deformed multiplication. This construction draws on the post-like associative quiver from [11,22], and allows us to construct a nonderived n-ary group from any semigroup in the unified way presented here.

4.4. Polyadization of Binary Supergroups

Here we consider a more exotic possibility, when the $\mathrm{B}$-matrices are defined over the Grassmann algebra, and therefore can represent supergroups (see (37) and below). In this case, $\mathrm{B}$s can be supermatrices of two kinds, even and odd, which have different properties [36,37]. The general polyadization procedure remains the same as for the ordinary matrices considered before (see Definition 2), and therefore we confine ourselves to examples only.

Indeed, to obtain an n-ary matrix (semi)group represented now by the $\mathrm{Q}$-supermatrices (38) of the nonstandard form, we should take $\left(n-1\right)$ initial $\mathrm{B}$-supermatrices which present a simple ($k=1$ in (20)) binary (semi)supergroup, which now have different parameters ${\mathrm{B}}_{{\mathbf{y}}_i}\equiv {\mathrm{B}}_{{\mathbf{y}}_i}\left(\left(p_{even}\mid p_{odd}\right)\times \left(p_{even}\mid p_{odd}\right)\right)$, $i=1,\dots ,n-1$, where $p_{even}$ and $p_{odd}$ are even and odd dimensions of the $\mathrm{B}$-supermatrix. The closure of the $\mathrm{Q}$-supermatrix multiplication is governed by the closure of $\mathrm{B}$-supermatrix multiplication (40)–(42) in the initial binary (semi)supergroup.

Polyadization of $GL\left(1\mid 1,\Lambda \right)$

Let $\Lambda ={\Lambda }_{even}\oplus {\Lambda }_{odd}$ be a Grassmann algebra over $\mathbb{C}$, where ${\Lambda }_{even}$ and ${\Lambda }_{odd}$ are its even and odd parts (it can be also any commutative superalgebra). We provide (in brief) the polyadization procedure of the general linear supergroup $GL\left(1\mid 1,\Lambda \right)$ for $n=3$. The 4-parameter block (invertible) supermatrices become ${\mathrm{B}}_{{\mathbf{y}}_i}=\left(\begin{array}{cc}{a}_i& {\alpha }_i\\ {\beta }_i& b_i\end{array}\right)\in GL\left(1\mid 1,\Lambda \right)$, where the parameters are ${\mathbf{y}}_i=\left(a_i,b_i,{\alpha }_i,{\beta }_i\right)\in {\Lambda }_{even}\times {\Lambda }_{even}\times {\Lambda }_{odd}\times {\Lambda }_{odd},$ $i=1,2$. Thus, the 8-parameter ternary supergroup $G{L}^{\left[\left[3\right]\right]}\left(1\mid 1,\Lambda \right)=⟨\left\{{\mathrm{Q}}_{{\mathbf{y}}_1,{\mathbf{y}}_2}\right\}\mid {\mu }^{\left[\left[3\right]\right]}⟩$ is represented by the following $4\times 4$ $\mathrm{Q}$-supermatrices:

$${\mathrm{Q}}_{{\mathbf{y}}_1,{\mathbf{y}}_2}=\left(\begin{array}{cc}0& {\mathrm{B}}_{{\mathbf{y}}_1}\\ {\mathrm{B}}_{{\mathbf{y}}_2}& 0\end{array}\right)=\left(\begin{array}{cccc}0& 0& a_1& {\alpha }_1\\ 0& 0& {\beta }_1& b_1\\ a_2& {\alpha }_2& 0& 0\\ {\beta }_2& b_2& 0& 0\end{array}\right)\in G{L}^{\left[\left[3\right]\right]}\left(1\mid 1,\Lambda \right),$$

(109)

which satisfy the ternary (nonderived) multiplication

$${\mu }^{\left[\left[3\right]\right]}\left[{\mathrm{Q}}_{{\mathbf{y}}_1^{\prime },{\mathbf{y}}_2^{\prime }},{\mathrm{Q}}_{{\mathbf{y}}_1^{″},{\mathbf{y}}_2^{″}},{\mathrm{Q}}_{{\mathbf{y}}_1^{‴},{\mathbf{y}}_2^{‴}}\right]={\mathrm{Q}}_{{\mathbf{y}}_1^{\prime },{\mathbf{y}}_2^{\prime }}{\mathrm{Q}}_{{\mathbf{y}}_1^{″},{\mathbf{y}}_2^{″}}{\mathrm{Q}}_{{\mathbf{y}}_1^{‴},{\mathbf{y}}_2^{‴}}={\mathrm{Q}}_{{\mathbf{y}}_1,{\mathbf{y}}_2}.$$

(110)

In terms of the block matrices ${\mathrm{B}}_{{\mathbf{y}}_i}$, the multiplication (54) becomes (see (39)–(42))

$${\mathrm{B}}_{{\mathbf{y}}_1^{\prime }}{\mathrm{B}}_{{\mathbf{y}}_2^{″}}{\mathrm{B}}_{{\mathbf{y}}_1^{‴}}={\mathrm{B}}_{{\mathbf{y}}_1},$$

(111)

$${\mathrm{B}}_{{\mathbf{y}}_2^{\prime }}{\mathrm{B}}_{{\mathbf{y}}_1^{‴}}{\mathrm{B}}_{{\mathbf{y}}_2^{‴}}={\mathrm{B}}_{{\mathbf{y}}_2}.$$

(112)

In terms of the B-supermatrix parameters, the supergroup $G{L}^{\left[\left[3\right]\right]}\left(1\mid 1,\Lambda \right)$ is defined by the following component ternary multiplication

$$\begin{array}{cc}{\alpha }_1^{\prime }{\beta }_2^{″}{a}_1^{‴}+a_1^{\prime }{\alpha }_2^{″}{\beta }_1^{‴}+{\alpha }_1^{\prime }{b}_2^{″}{\beta }_1^{‴}+a_1^{\prime }{a}_2^{″}{a}_1^{‴}\hfill & =a_1,{\beta }_1^{\prime }{a}_2^{″}{\alpha }_1^{‴}+{\beta }_1^{\prime }{\alpha }_2^{″}{b}_1^{‴}+b_1^{\prime }{\beta }_2^{″}{\alpha }_1^{‴}+b_1^{\prime }{b}_2^{″}{b}_1^{‴}=b_1,\hfill \\ {\alpha }_1^{\prime }{\beta }_2^{″}{\alpha }_1^{‴}+a_1^{\prime }{a}_2^{″}{\alpha }_1^{‴}+a_1^{\prime }{\alpha }_2^{″}{b}_1^{‴}+{\alpha }_1^{\prime }{b}_2^{″}{b}_1^{‴}\hfill & ={\alpha }_1,{\beta }_1^{\prime }{\alpha }_2^{″}{\beta }_1^{‴}+{\beta }_1^{\prime }{a}_2^{″}{a}_1^{‴}+b_1^{\prime }{\beta }_2^{″}{a}_1^{‴}+b_1^{\prime }{b}_2^{″}{\beta }_1^{‴}={\beta }_1,\hfill \\ {\alpha }_2^{\prime }{\beta }_1^{″}{a}_2^{‴}+a_2^{\prime }{\alpha }_1^{″}{\beta }_2^{‴}+{\alpha }_2^{\prime }{b}_1^{″}{\beta }_2^{‴}+a_2^{\prime }{a}_1^{″}{a}_2^{‴}\hfill & =a_2,{\beta }_2^{\prime }{a}_1^{″}{\alpha }_2^{‴}+{\beta }_2^{\prime }{\alpha }_1^{″}{b}_2^{‴}+b_2^{\prime }{\beta }_1^{″}{\alpha }_2^{‴}+b_2^{\prime }{b}_1^{″}{b}_2^{‴}=b_2,\hfill \\ {\alpha }_2^{\prime }{\beta }_1^{″}{\alpha }_2^{‴}+a_2^{\prime }{a}_1^{″}{\alpha }_2^{‴}+a_2^{\prime }{\alpha }_1^{″}{b}_2^{‴}+{\alpha }_2^{\prime }{b}_1^{″}{b}_2^{‴}\hfill & ={\alpha }_2,{\beta }_2^{\prime }{\alpha }_1^{″}{\beta }_2^{‴}+{\beta }_2^{\prime }{a}_1^{″}{a}_2^{‴}+b_2^{\prime }{\beta }_1^{″}{a}_2^{‴}+b_2^{\prime }{b}_1^{″}{\beta }_2^{‴}={\beta }_2.\hfill \end{array}$$

(113)

The unique querelement in $G{L}^{\left[\left[3\right]\right]}\left(1\mid 1,\Lambda \right)$ can be found from the equation (see (48)):

$${\mathrm{Q}}_{{\mathbf{y}}_1,{\mathbf{y}}_2}{\mathrm{Q}}_{{\mathbf{y}}_1,{\mathbf{y}}_2}{\overline{\mathrm{Q}}}_{{\mathbf{y}}_1,{\mathbf{y}}_2}={\mathrm{Q}}_{{\mathbf{y}}_1,{\mathbf{y}}_2},$$

(114)

where the solution is

$${\overline{\mathrm{Q}}}_{{\mathbf{y}}_1,{\mathbf{y}}_2}=\left(\begin{array}{cc}0& {\overline{\mathrm{B}}}_{{\mathbf{y}}_1}\\ {\overline{\mathrm{B}}}_{{\mathbf{y}}_2}& 0\end{array}\right),$$

(115)

with (see (49))

$${\overline{\mathrm{B}}}_{{\mathbf{y}}_1}={\mathrm{B}}_{{\mathbf{y}}_2}^{-1},{\overline{\mathrm{B}}}_{{\mathbf{y}}_2}={\mathrm{B}}_{{\mathbf{y}}_1}^{-1},$$

(116)

and ${\mathrm{B}}_{{\mathbf{y}}_1}^{-1},{\mathrm{B}}_{{\mathbf{y}}_2}^{-1}\in GL\left(1\mid 1,\Lambda \right)$.

Definition 9.

We call $G{L}^{\left[\left[3\right]\right]}\left(1\mid 1,\Lambda \right)$ a polyadic (ternary) general linear supergroup obtained by the polyadization procedure from the binary linear supergroup $GL\left(1\mid 1,\Lambda \right)$.

The ternary identity ${\mathrm{E}}_4^{\left(3\right)}$ of $G{L}^{\left[\left[3\right]\right]}\left(1\mid 1,\Lambda \right)$ has the form (see (46))

$${\mathrm{E}}_4^{\left(3\right)}=\left(\begin{array}{cc}0& {\mathrm{E}}_2\\ {\mathrm{E}}_2& 0\end{array}\right),$$

(117)

where ${\mathrm{E}}_2$ is the identity of $GL\left(1\mid 1,\Lambda \right)$, and it is ternary idempotent:

$${\mathrm{E}}_4^{\left(3\right)}{\mathrm{E}}_4^{\left(3\right)}{\mathrm{E}}_4^{\left(3\right)}={\mathrm{E}}_4^{\left(3\right)}.$$

(118)

The ternary supergroup $G{L}^{\left[\left[3\right]\right]}\left(1\mid 1,\Lambda \right)$ contains the infinite number of ternary idempotents ${\mathrm{Q}}_{{\mathbf{y}}_1,{\mathbf{y}}_2}^{idemp}$ defined by the system of equations

$${\mathrm{Q}}_{{\mathbf{y}}_1,{\mathbf{y}}_2}^{idemp}{\mathrm{Q}}_{{\mathbf{y}}_1,{\mathbf{y}}_2}^{idemp}{\mathrm{Q}}_{{\mathbf{y}}_1,{\mathbf{y}}_2}^{idemp}={\mathrm{Q}}_{{\mathbf{y}}_1,{\mathbf{y}}_2}^{idemp},$$

(119)

which gives

$${\mathrm{B}}_{{\mathbf{y}}_1}^{idemp}{\mathrm{B}}_{{\mathbf{y}}_2}^{idemp}={\mathrm{E}}_2.$$

(120)

Therefore, the idempotents are determined by $8-4=4$ Grassmann parameters. One of the ways to realize this is to exclude from (120) the $2\times 2$ $\mathrm{B}$-supermatrix. In this case, the idempotents in the supergroup $G{L}^{\left[\left[3\right]\right]}\left(1\mid 1,\Lambda \right)$ become

$${\mathrm{Q}}_{{\mathbf{y}}_1,{\mathbf{y}}_2}^{idemp}=\left(\begin{array}{cc}0& {\mathrm{B}}_{{\mathbf{y}}_1}\\ {\left({\mathrm{B}}_{{\mathbf{y}}_1}\right)}^{-1}& 0\end{array}\right),$$

(121)

where ${\mathrm{B}}_{{\mathbf{y}}_i}\in GL\left(1\mid 1,\Lambda \right)$ is an invertible $2\times 2$ supermatrix of the standard form (see Remark 5).

In the same way one, can polyadize any supergroup that can be presented by supermatrices.

5. Conclusions

In this paper we have given answers to the following important questions: how can one obtain nonderived polyadic structures from binary ones, and what would be a matrix form of their semisimple versions? First, we introduced a general matrix form for polyadic structures in terms of block-shift matrices. If the blocks correspond to a binary structure (a ring, semigroup, group, or supergroup), this can be treated as a polyadization procedure for them. Second, the semisimple blocks which further have a block-diagonal form give rise to semisimple nonderived polyadic structures. For a deeper and expanded understanding of the new constructions introduced, we have given clarifying examples. The polyadic structures presented can be used, e.g., for the further development of differential geometry and operad theory, as well as in other directions which use higher arity and nontrivial properties of the constituent universal objects.