Polyadic Analogs of Direct Product

Abstract

We propose a generalization of the external direct product concept to polyadic algebraic structures which introduces novel properties in two ways: the arity of the product can differ from that of the constituents, and the elements from different multipliers can be “entangled” such that the product is no longer componentwise. The main property which we want to preserve is associativity, which is gained by using the associativity quiver technique, which was provided previously. For polyadic semigroups and groups we introduce two external products: (1) the iterated direct product, which is componentwise but can have an arity that is different from the multipliers and (2) the hetero product (power), which is noncomponentwise and constructed by analogy with the heteromorphism concept introduced earlier. We show in which cases the product of polyadic groups can itself be a polyadic group. In the same way, the external product of polyadic rings and fields is generalized. The most exotic case is the external product of polyadic fields, which can be a polyadic field (as opposed to the binary fields), in which all multipliers are zeroless fields. Many illustrative concrete examples are presented.

1. Introduction

The concept of a direct product plays a crucial role in algebraic structures in the study of their internal constitution and their representation in terms of better known/simpler structures (see, e.g., [1,2]). For instance, in elementary particle physics, the decomposition of a gauge symmetry group of the model to the direct product gives its particle content [3,4]. Furthermore, the concept of semisimplicity in representation theory is totally based on the direct product (see, e.g., [5,6]).

The general method of the construction of the external direct product is to take the Cartesian product of the underlying sets and endow it with the operations from the algebraic structures under consideration. Usually this is an identical repetition of the initial multipliers’ operations componentwise [7]. In the case of polyadic algebraic structures, their arity comes into the game, such that endowing the product with operations becomes nontrivial in two aspects: the arities of all structures can be different (but “quantized” and not unique) and the elements from different multipliers can be “entangled” meaning that the product is not componentwise. The direct (componentwise) product of n-ary groups was considered in [8,9]. We propose two corresponding polyadic analogs (changing arity and “entangling”) of the external direct product which preserve its associativity, and therefore allow us to analyze polyadic semigroups, groups, rings and fields.

From a mathematical viewpoint, the direct product is also important, especially because it plays the role of a product in a corresponding category (see, e.g., [10,11]). For instance, the class of all polyadic groups for objects and polyadic group homomorphisms for morphisms form a category which is well-defined, because it has the polyadic direct product [12,13] as a product.

Here we also consider polyadic rings and fields in the same way. Since there exist zeroless polyadic fields [14], the well-known statement (see, e.g., [2]) of the absence of binary fields that are a direct product of fields does not hold in the polyadic case. We construct polyadic fields which are products of zeroless fields, which can lead to a new category (which does not exist for binary fields): the category of polyadic fields.

The proposed constructions are accompanied by concrete illustrative examples.

2. Preliminaries

In this section we briefly introduce the usual notation; for details see [15]. For a non-empty (underlying) set G the n-tuple (or polyad [16]) of elements is denoted by $\left(g_1,\dots ,g_n\right)$, $g_i\in G$, $i=1,\dots ,n$, and the Cartesian product is denoted by $G^{\times n}\equiv \stackrel{n}{\overbrace{G\times \dots \times G}}$ and consists of all such n-tuples. For all elements equal to $g\in G$, we denote n-tuple (polyad) by a power $\left(g^n\right)$. To avoid unneeded indices we denote with one bold letter $\left(g\right)$ a polyad for which the number of elements in the n-tuple is clear from the context, and sometimes we will write $\left(g^{\left(n\right)}\right)$. On the Cartesian product $G^{\times n}$ we define a polyadic (or n-ary) operation ${\mu }^{\left(n\right)}:G^{\times n}\to G$ such that ${\mu }^{\left(n\right)}\left[g\right]\mapsto h$, where $h\in G$. The operations with $n=1,2,3$ are called unary, binary and ternary.

Recall the definitions of some algebraic structures and their special elements (in the notation of [15]). A (one-set) polyadic algebraic structure $\mathcal{G}$ is a set that is G-closedwith respect to polyadic operations. In the case of one n-ary operation ${\mu }^{\left(n\right)}:G^{\times n}\to G$, it is called polyadic multiplication (or n-ary multiplication). A one-set n-ary algebraic structure ${\mathcal{M}}^{\left(n\right)}=〈G\mid {\mu }^{\left(n\right)}〉$ or polyadic magma (n-ary magma) is a set that is G-closed with respect to one n-ary operation ${\mu }^{\left(n\right)}$ and without any other additional structure. In the binary case ${\mathcal{M}}^{\left(2\right)}$ was also called a groupoid by Hausmann and Ore [17] (and [18]). Since the term “groupoid” was widely used in category theory for a different construction, the so-called Brandt groupoid [19,20], Bourbaki [21] later introduced the term “magma”.

Denote the number of iterating multiplications by ${\ell }_{\mu }$, and call the resulting composition an iterated product ${\left({\mu }^{\left(n\right)}\right)}^{\circ {\ell }_{\mu }}$, such that

$${\mu }^{\prime \left(n^{\prime }\right)}={\left({\mu }^{\left(n\right)}\right)}^{\circ {\ell }_{\mu }}\stackrel{def}{=}\stackrel{{\ell }_{\mu }}{\overbrace{{\mu }^{\left(n\right)}\circ \left({\mu }^{\left(n\right)}\circ \dots \left({\mu }^{\left(n\right)}\times {id}^{\times \left(n-1\right)}\right)\dots \times {id}^{\times \left(n-1\right)}\right)}},$$

(1)

where the arities are connected by

$$n^{\prime }=n_{iter}={\ell }_{\mu }\left(n-1\right)+1,$$

(2)

which gives the length of an iterated polyad $\left(g\right)$ in our notation ${\left({\mu }^{\left(n\right)}\right)}^{\circ {\ell }_{\mu }}\left[g\right]$.

A polyadic zero of a polyadic algebraic structure ${\mathcal{G}}^{\left(n\right)}〈G\mid {\mu }^{\left(n\right)}〉$ is a distinguished element $z\in G$ (and the corresponding 0-ary operation ${\mu }_z^{\left(0\right)}$) such that for any $\left(n-1\right)$-tuple (polyad) $g^{\left(n-1\right)}\in G^{\times \left(n-1\right)}$ we have

$${\mu }^{\left(n\right)}\left[g^{\left(n-1\right)},z\right]=z,$$

(3)

where z can be in any place on the l.h.s. of (3). If its place is not fixed it can be a single zero. As in the binary case, an analog of positive powers of an element [16] should coincide with the number of multiplications ${\ell }_{\mu }$ in the iteration (1).

A (positive) polyadic power of an element is

$$g^{〈{\ell }_{\mu }〉}={\left({\mu }^{\left(n\right)}\right)}^{\circ {\ell }_{\mu }}\left[g^{{\ell }_{\mu }\left(n-1\right)+1}\right].$$

(4)

We define associativity as the invariance of the composition of two n-ary multiplications. An element of a polyadic algebraic structure g is called ${\ell }_{\mu }$-nilpotent (or simply nilpotent for ${\ell }_{\mu }=1$), if there exist ${\ell }_{\mu }$ such that

$$g^{〈{\ell }_{\mu }〉}=z.$$

(5)

A polyadic (n-ary) identity (or neutral element) of a polyadic algebraic structure is a distinguished element e (and the corresponding 0-ary operation ${\mu }_e^{\left(0\right)}$) such that for any element $g\in G$ we have

$${\mu }^{\left(n\right)}\left[g,e^{n-1}\right]=g,$$

(6)

where g can be in any place on the l.h.s. of (6).

In polyadic algebraic structures, there exist neutral polyads $n\in G^{\times \left(n-1\right)}$ satisfying

$${\mu }^{\left(n\right)}\left[g,n\right]=g,$$

(7)

where g can be in any of n places on the l.h.s. of (7). Obviously, the sequence of polyadic identities $e^{n-1}$ is a neutral polyad (6).

A one-set polyadic algebraic structure $〈G\mid {\mu }^{\left(n\right)}〉$ is called totally associative if

$${\left({\mu }^{\left(n\right)}\right)}^{\circ 2}\left[g,h,u\right]={\mu }^{\left(n\right)}\left[g,{\mu }^{\left(n\right)}\left[h\right],u\right]=invariant,$$

(8)

with respect to the placement of the internal multiplication ${\mu }^{\left(n\right)}\left[h\right]$ on the r.h.s. on any of n places, with a fixed order of elements in the any fixed polyad of $\left(2n-1\right)$ elements $t^{\left(2n-1\right)}=\left(g,h,u\right)\in G^{\times \left(2n-1\right)}$.

A polyadic semigroup ${\mathcal{S}}^{\left(n\right)}$ is a one-set S one-operation ${\mu }^{\left(n\right)}$ algebraic structure in which the n-ary multiplication is associative, ${\mathcal{S}}^{\left(n\right)}=〈S\mid {\mu }^{\left(n\right)}\mid \mathrm{associativity}\left(8\right)〉$. A polyadic algebraic structure ${\mathcal{G}}^{\left(n\right)}=〈G\mid {\mu }^{\left(n\right)}〉$ is $\sigma$-commutative, if ${\mu }^{\left(n\right)}={\mu }^{\left(n\right)}\circ \sigma$, or

$${\mu }^{\left(n\right)}\left[g\right]={\mu }^{\left(n\right)}\left[\sigma \circ g\right],g\in G^{\times n},$$

(9)

where $\sigma \circ g=\left(g_{\sigma \left(1\right)},\dots ,g_{\sigma \left(n\right)}\right)$ is a permutated polyad and $\sigma$ is a fixed element of $S_n$, the permutation group on n elements. If (9) holds for all $\sigma \in S_n$, then a polyadic algebraic structure is commutative. A special type of the $\sigma$-commutativity

$${\mu }^{\left(n\right)}\left[g,t^{\left(n-2\right)},h\right]={\mu }^{\left(n\right)}\left[h,t^{\left(n-2\right)},g\right],$$

(10)

where $t^{\left(n-2\right)}\in G^{\times \left(n-2\right)}$ is any fixed $\left(n-2\right)$-polyad, is referred to as semicommutativity. If an n-ary semigroup ${\mathcal{S}}^{\left(n\right)}$ is iterated from a commutative binary semigroup with identity, then ${\mathcal{S}}^{\left(n\right)}$ is semicommutative. A polyadic algebraic structure is called (uniquely) i-solvable, if for all polyads t, u and element h, one can (uniquely) resolve the equation (with respect to h) for the fundamental operation

$${\mu }^{\left(n\right)}\left[u,h,t\right]=g$$

(11)

where h can be on any place, and $u,t$ are polyads of the needed length.

A polyadic algebraic structure which is uniquely i-solvable for all places $i=1,\dots ,n$ is called a n-ary (or polyadic) quasigroup ${\mathcal{Q}}^{\left(n\right)}=〈Q\mid {\mu }^{\left(n\right)}\mid \mathrm{solvability}〉$. An associative polyadic quasigroup is called an n-ary (or polyadic) group. In an n-ary group ${\mathcal{G}}^{\left(n\right)}=〈G\mid {\mu }^{\left(n\right)}〉$ the only solution of (11) is called a querelement of g and is denoted by $\overline{g}$ [22], such that

$${\mu }^{\left(n\right)}\left[h,\overline{g}\right]=g,g,\overline{g}\in G,$$

(12)

where $\overline{g}$ can be on any place. Any idempotent g coincides with its querelement $\overline{g}=g$. The unique solvability relation (12) in an n-ary group can be treated as a definition of the unary (multiplicative) queroperation

$${\overline{\mu }}^{\left(1\right)}\left[g\right]=\overline{g}.$$

(13)

We observe from (12) and (7) that the polyad

$$n_g=\left(g^{n-2}\overline{g}\right)$$

(14)

is neutral for any element of a polyadic group, where $\overline{g}$ can be on any place. If this i-th place is important, then we write $n_{g;i}$. In a polyadic group the Dörnte relations [22]

$${\mu }^{\left(n\right)}\left[g,n_{h;i}\right]={\mu }^{\left(n\right)}\left[n_{h;j},g\right]=g$$

(15)

hold true for any allowable $i,j$. In the case of a binary group, the relations (15) become $g·h·h^{-1}=h·h^{-1}·g=g$.

Using the queroperation (13) one can give a diagrammatic definition of a polyadic group [23]: an n-ary group is a one-set algebraic structure (universal algebra)

$${\mathcal{G}}^{\left(n\right)}=〈G\mid {\mu }^{\left(n\right)},{\overline{\mu }}^{\left(1\right)}\mid \mathrm{associativity}\left(8\right),\mathrm{D}\mathsf{ö}\mathrm{rnte}\mathrm{relations}\left(15\right)〉,$$

(16)

where ${\mu }^{\left(n\right)}$ is an n-ary associative multiplication and ${\overline{\mu }}^{\left(1\right)}$ is the queroperation (13).

3. Polyadic Products of Semigroups and Groups

We start from the standard external direct product construction for semigroups. Then we show that consistent “polyadization” of the semigroup direct product, which preserves associativity, can lead to additional properties:

(1)

The arities of the polyadic direct product and power can differ from that of the initial semigroups.

(2)

The components of the polyadic power can contain elements from different multipliers.

We use here a vector-like notation for clarity and convenience in passing to higher arity generalizations. Begin from the direct product of two (binary) semigroups ${\mathcal{G}}_{1,2}\equiv {\mathcal{G}}_{1,2}^{\left(2\right)}=〈G_{1,2}\mid {\mu }_{1,2}^{\left(2\right)}\equiv \left({·}_{1,2}\right)\mid assoc〉$, where $G_{1,2}$ are underlying sets, whereas ${\mu }_{1,2}^{\left(2\right)}$ are multiplications in ${\mathcal{G}}_{1,2}$. On the Cartesian product of the underlying sets $G^{\prime }=G_1\times G_2$ we define a direct product ${\mathcal{G}}_1\times {\mathcal{G}}_2={\mathcal{G}}^{\prime }=〈G^{\prime }\mid {\mu }^{\prime \left(2\right)}\equiv \left({•}^{\prime }\right)〉$ of the semigroups ${\mathcal{G}}_{1,2}$ via the componentwise multiplication of the doubles $G=\left(\begin{array}{c}{g}_1\\ g_2\end{array}\right)\in G_1\times G_2$ (being the Kronecker product of doubles in our notation), as

$$G^{\left(1\right)}{•}^{\prime }{G}^{\left(2\right)}={\left(\begin{array}{c}{g}_1\\ g_2\end{array}\right)}^{\left(1\right)}{•}^{\prime }{\left(\begin{array}{c}{g}_1\\ g_2\end{array}\right)}^{\left(2\right)}=\left(\begin{array}{c}{g}_1^{\left(1\right)}{·}_1{g}_1^{\left(2\right)}\\ g_2^{\left(1\right)}{·}_2{g}_2^{\left(2\right)}\end{array}\right),$$

(17)

and in the “polyadic” notation

$${\mu }^{\prime \left(2\right)}\left[G^{\left(1\right)},G^{\left(2\right)}\right]=\left(\begin{array}{c}{\mu }_1^{\left(2\right)}\left[g_1^{\left(1\right)},g_1^{\left(2\right)}\right]\\ {\mu }_2^{\left(2\right)}\left[g_2^{\left(1\right)},g_2^{\left(2\right)}\right]\end{array}\right).$$

(18)

Obviously, the associativity of ${\mu }^{\prime \left(2\right)}$ follows immediately from that of ${\mu }_{1,2}^{\left(2\right)}$, because of the componentwise multiplication in (18). If ${\mathcal{G}}_{1,2}$ are groups with the identities $e_{1,2}\in G_{1,2}$, then the identity of the direct product is the double $E=\left(\begin{array}{c}{e}_1\\ e_2\end{array}\right)$, such that ${\mu }^{\prime \left(2\right)}\left[E,G\right]={\mu }^{\prime \left(2\right)}\left[G,E\right]=G\in \mathcal{G}$.

3.1. Full Polyadic External Product

The “polyadization” of (18) is straightforward

Definition 1.

An$n^{\prime }$-ary full direct product semigroup${\mathcal{G}}^{\prime \left(n^{\prime }\right)}={\mathcal{G}}_1^{\left(n\right)}\times {\mathcal{G}}_2^{\left(n\right)}$consists of (two or k) n-ary semigroups (of the same arity$n^{\prime }=n$)

$${\mu }^{\prime \left(n\right)}\left[G^{\left(1\right)},G^{\left(2\right)},\dots ,G^{\left(n\right)}\right]=\left(\begin{array}{c}{\mu }_1^{\left(n\right)}\left[g_1^{\left(1\right)},g_1^{\left(2\right)},\dots ,g_1^{\left(n\right)}\right]\\ {\mu }_2^{\left(n\right)}\left[g_2^{\left(1\right)},g_2^{\left(2\right)},\dots ,g_2^{\left(n\right)}\right]\end{array}\right),$$

(19)

where the (total) polyadic associativity (8) of${\mu }^{\prime \left(n^{\prime }\right)}$is governed by those of the constituent semigroups${\mathcal{G}}_1^{\left(n\right)}$and${\mathcal{G}}_2^{\left(n\right)}$(or${\mathcal{G}}_1^{\left(n\right)}\dots {\mathcal{G}}_k^{\left(n\right)}$) and the componentwise construction (19).

If ${\mathcal{G}}_{1,2}^{\left(n\right)}=〈G_{1,2}\mid {\mu }_{1,2}^{\left(n\right)},{\overline{\mu }}_{1,2}^{\left(1\right)}〉$ are n-ary groups (where ${\overline{\mu }}_{1,2}^{\left(1\right)}$ are the unary multiplicative queroperations (13)), then the queroperation ${\overline{\mu }}^{\prime \left(1\right)}$ of the full direct product group ${\mathcal{G}}^{\prime \left(n^{\prime }\right)}=〈G^{\prime }\equiv G_1\times G_2\mid {\mu }^{\prime \left(n^{\prime }\right)},{\overline{\mu }}^{\prime \left(1\right)}〉$ ($n^{\prime }=n$) is defined componentwise as follows:

$$\overline{G}\equiv {\overline{\mu }}^{\prime \left(1\right)}\left[G\right]=\left(\begin{array}{c}{\overline{\mu }}_1^{\left(1\right)}\left[g_1\right]\\ {\overline{\mu }}_2^{\left(1\right)}\left[g_2\right]\end{array}\right),\mathrm{or}\overline{G}=\left(\begin{array}{c}{\overline{g}}_1\\ {\overline{g}}_2\end{array}\right),$$

(20)

which satisfies ${\mu }^{\prime \left(n\right)}\left[G,G,\dots ,\overline{G}\right]=G$ with $\overline{G}$ on any place (cf. (12)).

Definition 2.

A full polyadic direct product${\mathcal{G}}^{\prime \left(n\right)}={\mathcal{G}}_1^{\left(n\right)}\times {\mathcal{G}}_2^{\left(n\right)}$is called derived if its constituents${\mathcal{G}}_1^{\left(n\right)}$and${\mathcal{G}}_2^{\left(n\right)}$are derived, such that the operations${\mu }_{1,2}^{\left(n\right)}$are compositions of the binary operations${\mu }_{1,2}^{\left(2\right)}$, correspondingly.

In the derived case, all the operations in (19) have the form (see (1) and (2))

$${\mu }_{1,2}^{\left(n\right)}={\left({\mu }_{1,2}^{\left(2\right)}\right)}^{\circ \left(n-1\right)},{\mu }^{\left(n\right)}={\left({\mu }^{\left(2\right)}\right)}^{\circ \left(n-1\right)}.$$

(21)

The operations of the derived polyadic semigroup can be written as (cf., the binary direct product (17) and (18))

$${\mu }^{\prime \left(n\right)}\left[G^{\left(1\right)},G^{\left(2\right)},\dots ,G^{\left(n\right)}\right]=G^{\left(1\right)}{•}^{\prime }{G}^{\left(2\right)}{•}^{\prime }\dots {•}^{\prime }{G}^{\left(n\right)}=\left(\begin{array}{c}{g}_1^{\left(1\right)}{·}_1{g}_1^{\left(2\right)}{·}_1\dots {·}_1{g}_1^{\left(n\right)}\\ g_2^{\left(1\right)}{·}_2{g}_2^{\left(2\right)}{·}_2\dots {·}_2{g}_2^{\left(n\right)}\end{array}\right).$$

(22)

We will be more interested in nonderived polyadic analogs of the direct product.

Example 1.

Let us have two ternary groups: the unitless nonderived group${\mathcal{G}}_1^{\left(3\right)}=〈\mathsf{i}\mathbb{R}\mid {\mu }_1^{\left(3\right)}〉$, where${\mathsf{i}}^2=-1$,${\mu }_1^{\left(3\right)}\left[g_1^{\left(1\right)},g_1^{\left(2\right)},g_1^{\left(3\right)}\right]=g_1^{\left(1\right)}{g}_1^{\left(2\right)}{g}_1^{\left(3\right)}$is a triple product in$\mathbb{C}$, the querelement is${\overline{\mu }}_1^{\left(1\right)}\left[g_1\right]=1/g_1$, and${\mathcal{G}}_2^{\left(3\right)}=〈\mathbb{R}\mid {\mu }_2^{\left(3\right)}〉$with${\mu }_2^{\left(3\right)}\left[g_2^{\left(1\right)},g_2^{\left(2\right)},g_2^{\left(3\right)}\right]=g_2^{\left(1\right)}{\left(g_2^{\left(2\right)}\right)}^{-1}{g}_2^{\left(3\right)}$, the querelement${\overline{\mu }}_2^{\left(1\right)}\left[g_2\right]=g_2$. Then, the ternary nonderived full direct product group becomes${\mathcal{G}}^{\prime \left(3\right)}=〈\mathsf{i}\mathbb{R}\times \mathbb{R}\mid {\mu }^{\prime \left(3\right)},{\overline{\mu }}^{\prime \left(1\right)}〉$, where

$${\mu }^{\prime \left(3\right)}\left[G^{\left(1\right)},G^{\left(2\right)},G^{\left(3\right)}\right]=\left(\begin{array}{c}{g}_1^{\left(1\right)}{g}_1^{\left(2\right)}{g}_1^{\left(3\right)}\\ g_2^{\left(1\right)}{\left(g_2^{\left(2\right)}\right)}^{-1}{g}_2^{\left(3\right)}\end{array}\right),\overline{G}\equiv {\overline{\mu }}^{\prime \left(1\right)}\left[G\right]=\left(\begin{array}{c}1/g_1\\ g_2\end{array}\right),$$

(23)

which contains no identity, because${\mathcal{G}}_1^{\left(3\right)}$is unitless and nonderived.

3.2. Mixed-Arity Iterated Product

In the polyadic case, the following question arises, which cannot even be stated in the binary case: is it possible to build a version of the associative direct product such that it can be nonderived and have different arity than the constituent semigroup arities? The answer is yes, which leads to two arity-changing constructions: componentwise and noncomponentwise.

(1)

Iterated direct product(⊛). In each of the constituent polyadic semigroups we use the iterating (1) componentwise, but with different numbers of compositions, because the same number of compositions evidently leads to the iterated polyadic direct product. In this case the arity of the direct product is greater than or equal to the arities of the constituents $n^{\prime }\ge n_1,n_2$.

(2)

Hetero product(⊠). The polyadic product of k copies of the same n-ary semigroup is constructed using the associativity quiver technique, which mixes (“entangles”) elements from different multipliers, it is noncomponentwise (by analogy with heteromorphisms in [15]), and so it can be called a hetero product or hetero power (for coinciding multipliers, i.e., constituent polyadic semigroups or groups). This gives the arity of the hetero product which is less than or equal to the arities of the equal multipliers $n^{\prime }\le n$.

In the first componentwise case (1), the constituent multiplications (19) are composed from the lower-arity ones in the componentwise manner, but the initial arities of up and down components can be different (as opposed to the binary derived case (21))

$${\mu }_1^{\left(n\right)}={\left({\mu }_1^{\left(n_1\right)}\right)}^{\circ {\ell }_{\mu 1}},{\mu }_2^{\left(n\right)}={\left({\mu }_2^{\left(n_2\right)}\right)}^{\circ {\ell }_{\mu 2}},3\le n_{1,2}\le n-1,$$

(24)

where we exclude the limits: the derived case $n_{1,2}=2$ (21) and the undecomposed case $n_{1,2}=n$ (19). Since the total size of the up and down polyads is the same and coincides with the arity of the double G multiplication $n^{\prime }$, using (2) we obtain the arity compatibility relations

$$n^{\prime }={\ell }_{\mu 1}\left(n_1-1\right)+1={\ell }_{\mu 2}\left(n_2-1\right)+1.$$

(25)

Definition 3.

A mixed-arity polyadic iterated direct product semigroup ${\mathcal{G}}^{\prime \left(n^{\prime }\right)}={\mathcal{G}}_1^{\left(n_1\right)}⊛{\mathcal{G}}_2^{\left(n_2\right)}$ consists of (two) polyadic semigroups ${\mathcal{G}}_1^{\left(n_1\right)}$ and ${\mathcal{G}}_2^{\left(n_2\right)}$ of the different arity shapes $n_1$ and $n_2$

$${\mu }^{\prime \left(n^{\prime }\right)}\left[G^{\left(1\right)},G^{\left(2\right)},\dots ,G^{\left(n^{\prime }\right)}\right]=\left(\begin{array}{c}{\left({\mu }_1^{\left(n_1\right)}\right)}^{\circ {\ell }_{\mu 1}}\left[g_1^{\left(1\right)},g_1^{\left(2\right)},\dots ,g_1^{\left(n\right)}\right]\\ {\left({\mu }_2^{\left(n_2\right)}\right)}^{\circ {\ell }_{\mu 2}}\left[g_2^{\left(1\right)},g_2^{\left(2\right)},\dots ,g_2^{\left(n\right)}\right]\end{array}\right),$$

(26)

and the arity compatibility relations (25) hold.

Observe that it is not the case that any two polyadic semigroups can be composed in the mixed-arity polyadic direct product.

Assertion 1.

If the arity shapes of two polyadic semigroups${\mathcal{G}}_1^{\left(n_1\right)}$and${\mathcal{G}}_2^{\left(n_2\right)}$satisfy the compatibility condition

$$a\left(n_1-1\right)=b\left(n_2-1\right)=c,a,b,c\in \mathbb{N},$$

(27)

then they can form a mixed-arity direct product${\mathcal{G}}^{\prime \left(n^{\prime }\right)}={\mathcal{G}}_1^{\left(n_1\right)}⊛{\mathcal{G}}_2^{\left(n_2\right)}$, where$n^{\prime }=c+1$(25).

Example 2.

In the case of 4-ary and 5-ary semigroups ${\mathcal{G}}_1^{\left(4\right)}$ and ${\mathcal{G}}_2^{\left(5\right)}$ the direct product arity of ${\mathcal{G}}^{\prime \left(n^{\prime }\right)}$ is “quantized” $n^{\prime }=3{\ell }_{\mu 1}+1=4{\ell }_{\mu 2}+1$, such that

$$\begin{array}{cc}\hfill n^{\prime }& =12k+1=13,25,37,\dots ,\hfill \end{array}$$

(28)

$$\begin{array}{cc}\hfill {\ell }_{\mu 1}& =4k=4,8,12,\dots ,\hfill \end{array}$$

(29)

$$\begin{array}{cc}\hfill {\ell }_{\mu 2}& =3k=3,6,9,\dots ,k\in \mathbb{N},\hfill \end{array}$$

(30)

and only the first mixed-arity 13-ary direct product semigroup ${\mathcal{G}}^{\prime \left(13\right)}$ is nonderived. If ${\mathcal{G}}_1^{\left(4\right)}$ and ${\mathcal{G}}_2^{\left(5\right)}$ are polyadic groups with the queroperations ${\overline{\mu }}_1^{\left(1\right)}$ and ${\overline{\mu }}_2^{\left(1\right)}$ correspondingly, then the iterated direct ${\mathcal{G}}^{\prime \left(n^{\prime }\right)}$ is a polyadic group with the queroperation ${\overline{\mu }}^{\prime \left(1\right)}$ given in (20).

In the same way one can consider the iterated direct product of any number of polyadic semigroups.

3.3. Polyadic Hetero Product

In the second noncomponentwise case (2) we allow multiplying elements from different components, and therefore we should consider the Cartesian k-power of sets $G^{\prime }=G^{\times k}$ and endow the corresponding k-tuple with a polyadic operation in such a way that the associativity of ${\mathcal{G}}^{\left(n\right)}$ will govern the associativity of the product ${\mathcal{G}}^{\prime \left(n\right)}$. In other words we construct a k-power of the polyadic semigroup ${\mathcal{G}}^{\left(n\right)}$ such that the result ${\mathcal{G}}^{\prime \left(n^{\prime }\right)}$ is an $n^{\prime }$-ary semigroup.

The general structure of the hetero product formally coincides “reversely” with the main heteromorphism equation [15]. The additional parameter which determines the arity $n^{\prime }$ of the hetero power of the initial n-ary semigroup is the number of intact elements ${\ell }_{id}$. Thus, we arrive at

Definition 4.

The hetero (“entangled”) k-power of the n-ary semigroup ${\mathcal{G}}^{\left(n\right)}=〈G\mid {\mu }^{\left(n\right)}〉$ is the $n^{\prime }$-ary semigroup defined on the k-th Cartesian power $G^{\prime }=G^{\times k}$, such that ${\mathcal{G}}^{\prime \left(n^{\prime }\right)}=〈G^{\prime }\mid {\mu }^{\prime \left(n^{\prime }\right)}〉$,

$${\mathcal{G}}^{\prime \left(n^{\prime }\right)}={\left({\mathcal{G}}^{\left(n\right)}\right)}^{⊠k}\equiv \stackrel{k}{\overbrace{{\mathcal{G}}^{\left(n\right)}⊠\dots ⊠{\mathcal{G}}^{\left(n\right)}}},$$

(31)

and the $n^{\prime }$-ary multiplication of k-tuples $G^T=\left(g_1,g_2,\dots ,g_k\right)\in G^{\times k}$ is given (informally) by

$${\mu }^{\prime \left(n^{\prime }\right)}\left[\left(\begin{array}{c}{g}_1\\ ⋮\\ g_k\end{array}\right),\dots ,\left(\begin{array}{c}{g}_{k\left(n^{\prime }-1\right)}\\ ⋮\\ g_{k{n}^{\prime }}\end{array}\right)\right]=\left(\genfrac{}{}{0.0pt}{}{\left.\begin{array}{c}{\mu }^{\left(n\right)}\left[g_1,\dots ,g_n\right],\\ ⋮\\ {\mu }^{\left(n\right)}\left[g_{n\left({\ell }_{\mu }-1\right)},\dots ,g_{n{\ell }_{\mu }}\right]\end{array}\right\}{\ell }_{\mu }}{\left.\begin{array}{c}{g}_{n{\ell }_{\mu }+1},\\ ⋮\\ g_{n{\ell }_{\mu }+{\ell }_{id}}\end{array}\right\}{\ell }_{id}}\right),g_i\in G,$$

(32)

where ${\ell }_{id}$ is the number of intact elements on the r.h.s., and ${\ell }_{\mu }=k-{\ell }_{id}$ is the number of multiplications in the resulting k-tuple of the direct product. The hetero power parameters are connected by the arity-changing formula [15]

$$n^{\prime }=n-{\displaystyle \frac{n-1}{k}}{\ell }_{id},$$

(33)

with the integer ${\displaystyle \frac{n-1}{k}}{\ell }_{id}\ge 1$.

The concrete placement of elements and multiplications in (32) to obtain the associative ${\mu }^{\prime \left(n^{\prime }\right)}$ is governed by the associativity quiver technique [15].

There exist important general numerical relations between the parameters of the twisted direct power $n^{\prime },n,k,{\ell }_{id}$, which follow from (32) and (33). First, there are non-strict inequalities for them

$$\begin{array}{cc}\hfill 0& \le {\ell }_{id}\le k-1,\hfill \end{array}$$

(34)

$$\begin{array}{cc}\hfill {\ell }_{\mu }& \le k\le \left(n-1\right){\ell }_{\mu },\hfill \end{array}$$

(35)

$$\begin{array}{cc}\hfill 2& \le n^{\prime }\le n.\hfill \end{array}$$

(36)

Second, the initial and final arities n and $n^{\prime }$ are not arbitrary, but “quantized” such that the fraction in (33) has to be an integer (see

Table 1. Hetero power “quantization”.

k	${\mathit{\ell }}_{\mathit{\mu }}$	${\mathit{\ell }}_{id}$	$\mathit{n}/{\mathit{n}}^{\prime }$
2	1	1	$\begin{array}{ccccc}n=& 3,& 5,& 7,& \dots \\ n^{\prime }=& 2,& 3,& 4,& \dots \end{array}$
3	1	2	$\begin{array}{ccccc}n=& 4,& 7,& 10,& \dots \\ n^{\prime }=& 2,& 3,& 4,& \dots \end{array}$
3	2	1	$\begin{array}{ccccc}n=& 4,& 7,& 10,& \dots \\ n^{\prime }=& 3,& 5,& 7,& \dots \end{array}$
4	1	3	$\begin{array}{ccccc}n=& 5,& 9,& 13,& \dots \\ n^{\prime }=& 2,& 3,& 4,& \dots \end{array}$
4	2	2	$\begin{array}{ccccc}n=& 3,& 5,& 7,& \dots \\ n^{\prime }=& 2,& 3,& 4,& \dots \end{array}$
4	3	1	$\begin{array}{ccccc}n=& 5,& 9,& 13,& \dots \\ n^{\prime }=& 4,& 7,& 10,& \dots \end{array}$

).

Assertion 2.

The hetero power is not unique in both directions, if we do not fix the initial n and final$n^{\prime }$arities of${\mathcal{G}}^{\left(n\right)}$and${\mathcal{G}}^{\prime \left(n^{\prime }\right)}$.

Proof. 

This follows from (32) and the hetero power “quantization” shown in Table 1. □

The classification of the hetero powers consists of two limiting cases.

(1)

Intactless power: there are no intact elements ${\ell }_{id}=0$. The arity of the hetero power reaches its maximum and coincides with the arity of the initial semigroup $n^{\prime }=n$ (see Example 5).

(2)

Binary power: the final semigroup is of lowest arity, i.e., binary $n^{\prime }=2$. The number of intact elements is (see Example 4)

$${\ell }_{id}=k\frac{n-2}{n-1}.$$

(37)

Example 3.

Consider the cubic power of a 4-ary semigroup ${\mathcal{G}}^{\prime \left(3\right)}={\left({\mathcal{G}}^{\left(4\right)}\right)}^{⊠3}$ with the identity e, then the ternary identity triple in ${\mathcal{G}}^{\prime \left(3\right)}$ is $E^T=\left(e,e,e\right)$, and therefore this cubic power is a ternary semigroup with identity.

Proposition 1.

If the initial n-ary semigroup ${\mathcal{G}}^{\left(n\right)}$ contains an identity, then the hetero power ${\mathcal{G}}^{\prime \left(n^{\prime }\right)}={\left({\mathcal{G}}^{\left(n\right)}\right)}^{⊠k}$ can contain an identity in the intactless case and the Post-like quiver [15]. For the binary power $k=2$ only the one-sided identity is possible.

Let us consider some concrete examples.

Example 4.

Let ${\mathcal{G}}^{\left(3\right)}=〈G\mid {\mu }^{\left(3\right)}〉$ be a ternary semigroup, then we can construct its power $k=2$ (square) of the doubles $G=\left(\begin{array}{c}{g}_1\\ g_2\end{array}\right)\in G\times G=G^{\prime }$ in two ways to obtain the associative hetero power

$${\mu }^{\prime \left(2\right)}\left[G^{\left(1\right)},G^{\left(2\right)}\right]=\left\{\begin{array}{c}\left(\begin{array}{c}{\mu }^{\left(3\right)}\left[g_1^{\left(1\right)},g_2^{\left(1\right)},g_1^{\left(2\right)}\right]\\ g_2^{\left(2\right)}\end{array}\right),\\ \left(\begin{array}{c}{\mu }^{\left(3\right)}\left[g_1^{\left(1\right)},g_2^{\left(2\right)},g_1^{\left(2\right)}\right]\\ g_2^{\left(1\right)}\end{array}\right),\end{array}\right.g_i^{\left(j\right)}\in G.$$

(38)

This means that the Cartesian square can be endowed with the associative multiplication ${\mu }^{\prime \left(2\right)}$, and therefore ${\mathcal{G}}^{\prime \left(2\right)}=〈G^{\prime }\mid {\mu }^{\prime \left(2\right)}〉$ is a binary semigroup, being the hetero product ${\mathcal{G}}^{\prime \left(2\right)}={\mathcal{G}}^{\left(3\right)}⊠{\mathcal{G}}^{\left(3\right)}$. If ${\mathcal{G}}^{\left(3\right)}$ has a ternary identity $e\in G$, then ${\mathcal{G}}^{\prime \left(2\right)}$ has only the left (right) identity $E=\left(\begin{array}{c}e\\ e\end{array}\right)\in G^{\prime }$, since ${\mu }^{\prime \left(2\right)}\left[E,G\right]=G$ (${\mu }^{\prime \left(2\right)}\left[G,E\right]=G$), but not the right (left) identity. Thus, ${\mathcal{G}}^{\prime \left(2\right)}$ can be a semigroup only, even if ${\mathcal{G}}^{\left(3\right)}$ is a ternary group.

Example 5.

Take ${\mathcal{G}}^{\left(3\right)}=〈G\mid {\mu }^{\left(3\right)}〉$ a ternary semigroup, then the multiplication on the double$G=\left(\begin{array}{c}{g}_1\\ g_2\end{array}\right)\in G\times G=G^{\prime }$is ternary and noncomponentwise

$${\mu }^{\prime \left(3\right)}\left[G^{\left(1\right)},G^{\left(2\right)},G^{\left(3\right)}\right]=\left(\begin{array}{c}{\mu }^{\left(3\right)}\left[g_1^{\left(1\right)},g_2^{\left(2\right)},g_1^{\left(3\right)}\right]\\ {\mu }^{\left(3\right)}\left[g_2^{\left(1\right)},g_1^{\left(2\right)},g_2^{\left(3\right)}\right]\end{array}\right),g_i^{\left(j\right)}\in G,$$

(39)

and ${\mu }^{\prime \left(3\right)}$ is associative (and described by the Post-like associative quiver [15]), and therefore the cubic hetero power is the ternary semigroup ${\mathcal{G}}^{\prime \left(3\right)}=〈G\times G\mid {\mu }^{\prime \left(3\right)}〉$, such that ${\mathcal{G}}^{\prime \left(3\right)}={\mathcal{G}}^{\left(3\right)}⊠{\mathcal{G}}^{\left(3\right)}$. In this case, as opposed to the previous example, the existence of a ternary identity in ${\mathcal{G}}^{\left(3\right)}$ implies the ternary identity in the direct cube ${\mathcal{G}}^{\prime \left(3\right)}$ by $E=\left(\begin{array}{c}e\\ e\end{array}\right)$. If ${\mathcal{G}}^{\left(3\right)}$ is a ternary group with the unary queroperation ${\overline{\mu }}^{\left(1\right)}$, then the cubic hetero power ${\mathcal{G}}^{\prime \left(3\right)}$ is also a ternary group of the special class [24]: all querelements coincide (cf., (20)), such that ${\overline{G}}^T=\left(g_{quer},g_{quer}\right)$, where ${\overline{\mu }}^{\left(1\right)}\left[g\right]=g_{quer}$, $\forall g\in G$. This is because in (12) the querelement can be foundon any place.

Theorem 1.

If ${\mathcal{G}}^{\left(n\right)}$ is an n-ary group, then the hetero k-power ${\mathcal{G}}^{\prime \left(n^{\prime }\right)}={\left({\mathcal{G}}^{\left(n\right)}\right)}^{⊠k}$ can contain queroperations in the intactless case only.

Corollary 1.

If the power multiplication (32) contains no intact elements ${\ell }_{id}=0$ and does not change arity $n^{\prime }=n$, a hetero power can be a polyadic group which has only one querelement.

Next we consider more complicated hetero power (“entangled”) constructions with and without intact elements, as well as Post-like and non-Post associative quivers [15].

Example 6.

Let${\mathcal{G}}^{\left(4\right)}=〈G\mid {\mu }^{\left(4\right)}〉$be a 4-ary semigroup, then we can construct its 4-ary associative cubic hetero power${\mathcal{G}}^{\prime \left(4\right)}=〈G^{\prime }\mid {\mu }^{\prime \left(4\right)}〉$using the Post-like and non-Post-associative quivers without intact elements. Taking in (32)$n^{\prime }=n$, $k=3$, ${\ell }_{id}=0$, we obtain two possibilities for the multiplication of the triples$G^T=\left(g_1,g_2,g_3\right)\in G\times G\times G=G^{\prime }$

(1)

Post-like associative quiver. The multiplication of the hetero cubic power case takes the form

$${\mu }^{\prime \left(4\right)}\left[G^{\left(1\right)},G^{\left(2\right)},G^{\left(3\right)},G^{\left(4\right)}\right]=\left(\begin{array}{c}{\mu }^{\left(4\right)}\left[g_1^{\left(1\right)},g_2^{\left(2\right)},g_3^{\left(3\right)},g_1^{\left(4\right)}\right]\\ {\mu }^{\left(4\right)}\left[g_2^{\left(1\right)},g_3^{\left(2\right)},g_1^{\left(3\right)},g_2^{\left(4\right)}\right]\\ {\mu }^{\left(4\right)}\left[g_3^{\left(1\right)},g_1^{\left(2\right)},g_2^{\left(3\right)},g_3^{\left(4\right)}\right]\end{array}\right),g_i^{\left(j\right)}\in G,$$

(40)

and it can be shown that${\mu }^{\prime \left(4\right)}$is totally associative; therefore,${\mathcal{G}}^{\prime \left(4\right)}=〈G^{\prime }\mid {\mu }^{\prime \left(4\right)}〉$is a 4-ary semigroup.

(2)

Non-Post associative quiver. The multiplication of the hetero cubic power differs from (40)

$${\mu }^{\prime \left(4\right)}\left[G^{\left(1\right)},G^{\left(2\right)},G^{\left(3\right)},G^{\left(4\right)}\right]=\left(\begin{array}{c}{\mu }^{\left(4\right)}\left[g_1^{\left(1\right)},g_3^{\left(2\right)},g_2^{\left(3\right)},g_1^{\left(4\right)}\right]\\ {\mu }^{\left(4\right)}\left[g_2^{\left(1\right)},g_1^{\left(2\right)},g_3^{\left(3\right)},g_2^{\left(4\right)}\right]\\ {\mu }^{\left(4\right)}\left[g_3^{\left(1\right)},g_2^{\left(2\right)},g_1^{\left(3\right)},g_3^{\left(4\right)}\right]\end{array}\right),g_i^{\left(j\right)}\in G,$$

(41)

and it can be shown that${\mu }^{\prime \left(4\right)}$is totally associative; therefore,${\mathcal{G}}^{\prime \left(4\right)}=〈G^{\prime }\mid {\mu }^{\prime \left(4\right)}〉$is a 4-ary semigroup.

The following is valid for both the above cases. If${\mathcal{G}}^{\left(4\right)}$has the 4-ary identity satisfying

$${\mu }^{\left(4\right)}\left[e,e,e,g\right]={\mu }^{\left(4\right)}\left[e,e,g,e\right]={\mu }^{\left(4\right)}\left[e,g,e,e\right]={\mu }^{\left(4\right)}\left[g,e,e,e\right]=g,\forall g\in G,$$

(42)

then the hetero power${\mathcal{G}}^{\prime \left(4\right)}$has the 4-ary identity

$$E=\left(\begin{array}{c}e\\ e\\ e\end{array}\right),e\in G.$$

(43)

In the case where${\mathcal{G}}^{\left(3\right)}$is a ternary group with the unary queroperation${\overline{\mu }}^{\left(1\right)}$, then the cubic hetero power${\mathcal{G}}^{\prime \left(4\right)}$is also a ternary group with one querelement (cf., Example 5)

$$\overline{G}=\overline{\left(\begin{array}{c}{g}_1\\ g_2\\ g_3\end{array}\right)}=\left(\begin{array}{c}{g}_{quer}\\ g_{quer}\\ g_{quer}\end{array}\right),g_{quer}\in G,g_i\in G,$$

(44)

where$g_{quer}={\overline{\mu }}^{\left(1\right)}\left[g\right]$,$\forall g\in G$.

A more nontrivial example is a cubic hetero power which has different arity to the initial semigroup.

Example 7.

Let${\mathcal{G}}^{\left(4\right)}=〈G\mid {\mu }^{\left(4\right)}〉$be a 4-ary semigroup, then we can construct its ternary associative cubic hetero power${\mathcal{G}}^{\prime \left(3\right)}=〈G^{\prime }\mid {\mu }^{\prime \left(3\right)}〉$using the associative quivers with one intact element and two multiplications [15]. Taking in (32) the parameters$n^{\prime }=3$,$n=4$,$k=3$,${\ell }_{id}=1$(see third line of Table 1), we obtain for the ternary multiplication${\mu }^{\prime \left(3\right)}$for the triples$G^T=\left(g_1,g_2,g_3\right)\in G\times G\times G=G^{\prime }$of the hetero cubic power case the form

$${\mu }^{\prime \left(3\right)}\left[G^{\left(1\right)},G^{\left(2\right)},G^{\left(3\right)}\right]=\left(\begin{array}{c}{\mu }^{\left(4\right)}\left[g_1^{\left(1\right)},g_2^{\left(2\right)},g_3^{\left(3\right)},g_1^{\left(3\right)}\right]\\ {\mu }^{\left(4\right)}\left[g_2^{\left(1\right)},g_3^{\left(2\right)},g_1^{\left(2\right)},g_2^{\left(3\right)}\right]\\ g_3^{\left(1\right)}\end{array}\right),g_i^{\left(j\right)}\in G,$$

(45)

which is totally associative, and therefore the hetero cubic power of 4-ary semigroup${\mathcal{G}}^{\left(4\right)}=〈G\mid {\mu }^{\left(4\right)}〉$is a ternary semigroup${\mathcal{G}}^{\prime \left(3\right)}=〈G^{\prime }\mid {\mu }^{\prime \left(3\right)}〉$, such that${\mathcal{G}}^{\prime \left(3\right)}={\left({\mathcal{G}}^{\left(4\right)}\right)}^{⊠3}$. If the initial 4-ary semigroup${\mathcal{G}}^{\left(4\right)}$has the identity satisfying (42), then the ternary hetero power${\mathcal{G}}^{\prime \left(3\right)}$has only the right ternary identity (43) satisfying one relation

$${\mu }^{\prime \left(3\right)}\left[G,E,E\right]=G,\forall G\in G^{\times 3},$$

(46)

and therefore${\mathcal{G}}^{\prime \left(3\right)}$is a ternary semigroup with a right identity. If${\mathcal{G}}^{\left(4\right)}$is a 4-ary group with the queroperation${\overline{\mu }}^{\left(1\right)}$, then the hetero power${\mathcal{G}}^{\prime \left(3\right)}$can only be a ternary semigroup, because in$〈G^{\prime }\mid {\mu }^{\prime \left(3\right)}〉$we cannot define the standard queroperation [16].

4. Polyadic Products of Rings and Fields

Now we show that the thorough “polyadization” of operations can lead to some unexpected new properties of ring and field external direct products. Recall that in the binary case the external direct product of fields does not exist at all (see, e.g., [2]). The main new peculiarities of the polyadic case are:

(1)

The arity shape of the external product ring and its constituent rings can be different.

(2)

The external product of polyadic fields can be a polyadic field.

4.1. External Direct Product of Binary Rings

First, we recall the ordinary (binary) direct product of rings in notation which would be convenient to generalize to higher-arity structures [14]. Let us have two binary rings ${\mathcal{R}}_{1,2}\equiv {\mathcal{R}}_{1,2}^{\left(2,2\right)}=〈R_{1,2}\mid {\nu }_{1,2}^{\left(2\right)}\equiv \left({+}_{1,2}\right),{\mu }_{1,2}^{\left(2\right)}\equiv \left({·}_{1,2}\right)〉$, where $R_{1,2}$ are underlying sets, whereas ${\nu }_{1,2}^{\left(2\right)}$ and ${\mu }_{1,2}^{\left(2\right)}$ are additions and multiplications (satisfying distributivity) in ${\mathcal{R}}_{1,2}$, correspondingly. On the Cartesian product of the underlying sets $R^{\prime }=R_1\times R_2$ one defines the external direct product ring ${\mathcal{R}}_1\times {\mathcal{R}}_2={\mathcal{R}}^{\prime }=〈R^{\prime }\mid {\nu }^{\prime \left(2\right)}\equiv \left({+}^{\prime }\right),{\mu }^{\prime \left(2\right)}\equiv \left({•}^{\prime }\right)〉$ by the componentwise operations (addition and multiplication) on the doubles $X=\left(\begin{array}{c}{x}_1\\ x_2\end{array}\right)\in R_1\times R_2$ as follows:

$$X^{\left(1\right)}{+}^{\prime }{X}^{\left(2\right)}={\left(\begin{array}{c}{x}_1\\ x_2\end{array}\right)}^{\left(1\right)}{+}^{\prime }{\left(\begin{array}{c}{x}_1\\ x_2\end{array}\right)}^{\left(2\right)}\equiv \left(\begin{array}{c}{x}_1^{\left(1\right)}\\ x_2^{\left(1\right)}\end{array}\right){+}^{\prime }\left(\begin{array}{c}{x}_1^{\left(2\right)}\\ x_2^{\left(2\right)}\end{array}\right)=\left(\begin{array}{c}{x}_1^{\left(1\right)}{+}_1{x}_1^{\left(2\right)}\\ x_2^{\left(1\right)}{+}_2{x}_2^{\left(2\right)}\end{array}\right),$$

(47)

$$X^{\left(1\right)}{•}^{\prime }{X}^{\left(2\right)}={\left(\begin{array}{c}{x}_1\\ x_2\end{array}\right)}^{\left(1\right)}{•}^{\prime }{\left(\begin{array}{c}{x}_1\\ x_2\end{array}\right)}^{\left(2\right)}=\left(\begin{array}{c}{x}_1^{\left(1\right)}{·}_1{x}_1^{\left(2\right)}\\ x_2^{\left(1\right)}{·}_2{x}_2^{\left(2\right)}\end{array}\right),$$

(48)

or in the polyadic notation (with manifest operations)

$$\begin{array}{cc}\hfill {\nu }^{\prime \left(2\right)}\left[X^{\left(1\right)},X^{\left(2\right)}\right]& =\left(\begin{array}{c}{\nu }_1^{\left(2\right)}\left[x_1^{\left(1\right)},x_1^{\left(2\right)}\right]\\ {\nu }_2^{\left(2\right)}\left[x_2^{\left(1\right)},x_2^{\left(2\right)}\right]\end{array}\right),\hfill \end{array}$$

(49)

$$\begin{array}{cc}\hfill {\mu }^{\prime \left(2\right)}\left[X^{\left(1\right)},X^{\left(2\right)}\right]& =\left(\begin{array}{c}{\mu }_1^{\left(2\right)}\left[x_1^{\left(1\right)},x_1^{\left(2\right)}\right]\\ {\mu }_2^{\left(2\right)}\left[x_2^{\left(1\right)},x_2^{\left(2\right)}\right]\end{array}\right).\hfill \end{array}$$

(50)

The associativity and distributivity of the binary direct product operations ${\nu }^{\prime \left(2\right)}$ and ${\mu }^{\prime \left(2\right)}$ are obviously governed by those of the constituent binary rings ${\mathcal{R}}_1$ and ${\mathcal{R}}_2$, because of the componentwise construction on the r.h.s. of (49) and (50). In the polyadic case, the construction of the direct product is not so straightforward and can have additional unusual peculiarities.

4.2. Polyadic Rings

Here we recall definitions of polyadic rings [25,26,27] in our notation [14,15]. Consider a polyadic structure $〈R\mid {\mu }^{\left(n\right)},{\nu }^{\left(m\right)}〉$ with two operations on the same set R: the m-ary addition ${\nu }^{\left(m\right)}:R^{\times m}\to R$ and the n-ary multiplication ${\mu }^{\left(n\right)}:R^{\times n}\to R$. The “interaction” between operations can be defined using the polyadic analog of distributivity.

Definition 5.

The polyadic distributivity for ${\mu }^{\left(n\right)}$ and ${\nu }^{\left(m\right)}$ consists of n relations

$$\begin{array}{l}{\mu }^{\left(n\right)}\left[{\nu }^{\left(m\right)}\left[x_1,\dots x_m\right],y_2,y_3,\dots y_n\right]\hfill \\ ={\nu }^{\left(m\right)}\left[{\mu }^{\left(n\right)}\left[x_1,y_2,y_3,\dots y_n\right],{\mu }^{\left(n\right)}\left[x_2,y_2,y_3,\dots y_n\right],\dots {\mu }^{\left(n\right)}\left[x_m,y_2,y_3,\dots y_n\right]\right]\hfill \end{array}$$

(51)

$$\begin{array}{l}{\mu }^{\left(n\right)}\left[y_1,{\nu }^{\left(m\right)}\left[x_1,\dots x_m\right],y_3,\dots y_n\right]\hfill \\ ={\nu }^{\left(m\right)}\left[{\mu }^{\left(n\right)}\left[y_1,x_1,y_3,\dots y_n\right],{\mu }^{\left(n\right)}\left[y_1,x_2,y_3,\dots y_n\right],\dots {\mu }^{\left(n\right)}\left[y_1,x_m,y_3,\dots y_n\right]\right]\hfill \end{array}$$

(52)

$$\begin{array}{c}⋮\hfill \\ {\mu }^{\left(n\right)}\left[y_1,y_2,\dots y_{n-1},{\nu }^{\left(m\right)}\left[x_1,\dots x_m\right]\right]\hfill \\ ={\nu }^{\left(m\right)}\left[{\mu }^{\left(n\right)}\left[y_1,y_2,\dots y_{n-1},x_1\right],{\mu }^{\left(n\right)}\left[y_1,y_2,\dots y_{n-1},x_2\right],\dots {\mu }^{\left(n\right)}\left[y_1,y_2,\dots y_{n-1},x_m\right]\right],\hfill \end{array}$$

(53)

where $x_i,y_j\in R$.

The operations ${\mu }^{\left(n\right)}$ and ${\nu }^{\left(m\right)}$ are totally associative, if (in the invariance definition [14,15])

$$\begin{array}{cc}\hfill {\nu }^{\left(m\right)}\left[u,{\nu }^{\left(m\right)}\left[v\right],w\right]& =invariant,\hfill \end{array}$$

(54)

$$\begin{array}{cc}\hfill {\mu }^{\left(n\right)}\left[x,{\mu }^{\left(n\right)}\left[y\right],t\right]& =invariant,\hfill \end{array}$$

(55)

where the internal products can be on any place, and $y\in R^{\times n}$, $v\in R^{\times m}$, and the polyads x, t, u, w are of the needed lengths. In this way both algebraic structures $〈R\mid {\mu }^{\left(n\right)}\mid assoc〉$ and $〈R\mid {\nu }^{\left(m\right)}\mid assoc〉$ are polyadic semigroups ${\mathcal{S}}^{\left(n\right)}$ and ${\mathcal{S}}^{\left(m\right)}$.

Definition 6.

A polyadic$\left(m,n\right)$-ring${\mathcal{R}}^{\left(m,n\right)}$is a set R with two operations${\mu }^{\left(n\right)}:R^{\times n}\to R$and${\nu }^{\left(m\right)}:R^{\times m}\to R$, such that:

(1)

they are distributive (51)–(53);

(2)

$〈R\mid {\mu }^{\left(n\right)}\mid assoc〉$is a polyadic semigroup;

(3)

$〈R\mid {\nu }^{\left(m\right)}\mid assoc,comm,solv〉$is a commutative polyadic group.

In case the multiplicative semigroup $〈R\mid {\mu }^{\left(n\right)}\mid assoc〉$ of ${\mathcal{R}}^{\left(m,n\right)}$ is commutative, ${\mu }^{\left(n\right)}\left[x\right]={\mu }^{\left(n\right)}\left[\sigma \circ x\right]$, for all $\sigma \in S_n$, then ${\mathcal{R}}^{\left(m,n\right)}$ is called a commutative polyadic ring, and if it contains the identity, then ${\mathcal{R}}^{\left(m,n\right)}$ is a $\left(m,n\right)$-semiring. A polyadic ring ${\mathcal{R}}^{\left(m,n\right)}$ is called derived, if ${⪶}^{\left(m\right)}$ and ${\mu }^{\left(n\right)}$ are repetitions of the binary addition $\left(+\right)$ and multiplication $\left(·\right)$, whereas $〈R\mid \left(+\right)〉$ and $〈R\mid \left(·\right)〉$ are commutative (binary) group and semigroup, respectively.

4.3. Full Polyadic External Direct Product of $\left(m,n\right)$-Rings

Let us consider the following task: for a given polyadic $\left(m,n\right)$-ring ${\mathcal{R}}^{\prime \left(m,n\right)}=〈R^{\prime }\mid {\nu }^{\prime \left(m\right)},{\mu }^{\prime \left(n\right)}〉$ to construct a product of all possible (in arity shape) constituent rings ${\mathcal{R}}_1^{\left(m_1,n_1\right)}$ and ${\mathcal{R}}_2^{\left(m_2,n_2\right)}$. The first-hand “polyadization” of (49) and (50) leads to

Definition 7.

A full polyadic direct product ring ${\mathcal{R}}^{\prime \left(m,n\right)}={\mathcal{R}}_1^{\left(m,n\right)}\times {\mathcal{R}}_2^{\left(m,n\right)}$ consists of (two) polyadic rings of the same arity shape, such that

$$\begin{array}{cc}\hfill {\nu }^{\prime \left(m\right)}\left[X^{\left(1\right)},X^{\left(2\right)},\dots ,X^{\left(m\right)}\right]& =\left(\begin{array}{c}{\nu }_1^{\left(m\right)}\left[x_1^{\left(1\right)},x_1^{\left(2\right)},\dots ,x_1^{\left(m\right)}\right]\\ {\nu }_2^{\left(m\right)}\left[x_2^{\left(1\right)},x_2^{\left(2\right)},\dots ,x_2^{\left(m\right)}\right]\end{array}\right),\hfill \end{array}$$

(56)

$$\begin{array}{cc}\hfill {\mu }^{\prime \left(n\right)}\left[X^{\left(1\right)},X^{\left(2\right)},\dots ,X^{\left(n\right)}\right]& =\left(\begin{array}{c}{\mu }_1^{\left(n\right)}\left[x_1^{\left(1\right)},x_1^{\left(2\right)},\dots ,x_1^{\left(n\right)}\right]\\ {\mu }_2^{\left(n\right)}\left[x_2^{\left(1\right)},x_2^{\left(2\right)},\dots ,x_2^{\left(n\right)}\right]\end{array}\right),\hfill \end{array}$$

(57)

where the polyadic associativity (8) and polyadic distributivity (51)–(53) of the direct product operations ${\nu }^{\left(m\right)}$ and ${\mu }^{\left(n\right)}$ follow from those of the constituent rings and the componentwise operations in (56) and (57).

Example 8.

Consider two $\left(2,3\right)$-rings ${\mathcal{R}}_1^{\left(2,3\right)}=〈\left\{\mathsf{i}x\right\}\mid {\nu }_1^{\left(2\right)}=\left(+\right),{\mu }_1^{\left(3\right)}=\left(·\right),x\in \mathbb{Z},{\mathsf{i}}^2=-1〉$ and ${\mathcal{R}}_2^{\left(2,3\right)}=〈\left\{\left(\begin{array}{cc}0& a\\ b& 0\end{array}\right)\right\}\mid {\nu }_2^{\left(2\right)}=\left(+\right),{\mu }_2^{\left(3\right)}=\left(·\right),a,b\in \mathbb{Z}〉$, where $\left(+\right)$ and $\left(·\right)$ are operations in $\mathbb{Z}$, then their polyadic direct product on the doubles $X^T=\left(\mathsf{i}x,\left(\begin{array}{cc}0& a\\ b& 0\end{array}\right)\right)\in \left(\mathsf{i}\mathbb{Z},G{L}^{\mathrm{adiag}}\left(2,\mathbb{Z}\right)\right)$ is defined by

$$\begin{array}{cc}\hfill {\nu }^{\prime \left(2\right)}\left[X^{\left(1\right)},X^{\left(2\right)}\right]& =\left(\begin{array}{c}\mathsf{i}{x}^{\left(1\right)}+\mathsf{i}{x}^{\left(2\right)}\\ \left(\begin{array}{cc}0& a^{\left(1\right)}+a^{\left(2\right)}\\ b^{\left(1\right)}+b^{\left(2\right)}& 0\end{array}\right)\end{array}\right),\hfill \end{array}$$

(58)

$$\begin{array}{cc}\hfill {\mu }^{\prime \left(3\right)}\left[X^{\left(1\right)},X^{\left(2\right)},X^{\left(3\right)}\right]& =\left(\begin{array}{c}\mathsf{i}{x}^{\left(1\right)}{x}^{\left(2\right)}{x}^{\left(3\right)}\\ \left(\begin{array}{cc}0& a^{\left(1\right)}{b}^{\left(2\right)}{a}^{\left(3\right)}\\ b^{\left(1\right)}{a}^{\left(2\right)}{b}^{\left(3\right)}& 0\end{array}\right)\end{array}\right).\hfill \end{array}$$

(59)

The polyadic associativity and distributivity of the direct product operations ${\nu }^{\prime \left(2\right)}$ and ${\mu }^{\prime \left(3\right)}$ are evident, and therefore ${\mathcal{R}}^{\left(2,3\right)}=〈\left\{\left(ix,\left(\begin{array}{cc}0& a\\ b& 0\end{array}\right)\right)\right\}\mid {\nu }^{\prime \left(2\right)},{\mu }^{\prime \left(3\right)}〉$ is a $\left(2,3\right)$-ring ${\mathcal{R}}^{\left(2,3\right)}={\mathcal{R}}_1^{\left(2,3\right)}\times {\mathcal{R}}_2^{\left(2,3\right)}$.

Definition 8.

A polyadic direct product ${\mathcal{R}}^{\left(m,n\right)}$ is called derived if both constituent rings ${\mathcal{R}}_1^{\left(m,n\right)}$ and ${\mathcal{R}}_2^{\left(m,n\right)}$ are derived, such that the operations ${\nu }_{1,2}^{\left(m\right)}$ and ${\mu }_{1,2}^{\left(n\right)}$ are compositions of the binary operations ${\nu }_{1,2}^{\left(2\right)}$ and ${\mu }_{1,2}^{\left(2\right)}$, correspondingly.

So, in the derived case (see (1) all the operations in (56) and (57) have the form (cf., (21))

$$\begin{array}{cc}\hfill {\nu }_{1,2}^{\left(m\right)}& ={\left({\nu }_{1,2}^{\left(2\right)}\right)}^{\circ \left(m-1\right)},{\mu }_{1,2}^{\left(n\right)}={\left({\nu }_{1,2}^{\left(2\right)}\right)}^{\circ \left(n-1\right)},\hfill \end{array}$$

(60)

$$\begin{array}{cc}\hfill {\nu }^{\left(m\right)}& ={\left({\nu }^{\left(2\right)}\right)}^{\circ \left(m-1\right)},{\mu }^{\left(n\right)}={\left({\nu }^{\left(2\right)}\right)}^{\circ \left(n-1\right)}.\hfill \end{array}$$

(61)

Thus, the operations of the derived polyadic ring can be written as (cf., the binary direct product (47) and (48))

$$\begin{array}{cc}\hfill {\nu }^{\prime \left(m\right)}\left[X^{\left(1\right)},X^{\left(2\right)},\dots ,X^{\left(m\right)}\right]& =\left(\begin{array}{c}{x}_1^{\left(1\right)}{+}_1{x}_1^{\left(2\right)}{+}_1\dots {+}_1{x}_1^{\left(m\right)}\\ x_2^{\left(1\right)}{+}_2{x}_2^{\left(2\right)}{+}_2\dots {+}_2{x}_2^{\left(m\right)}\end{array}\right),\hfill \end{array}$$

(62)

$$\begin{array}{cc}\hfill {\mu }^{\prime \left(n\right)}\left[X^{\left(1\right)},X^{\left(2\right)},\dots ,X^{\left(n\right)}\right]& =\left(\begin{array}{c}{x}_1^{\left(1\right)}{·}_1{x}_1^{\left(2\right)}{·}_1\dots {·}_1{x}_1^{\left(n\right)}\\ x_2^{\left(1\right)}{·}_2{x}_2^{\left(2\right)}{·}_2\dots {·}_2{x}_2^{\left(n\right)}\end{array}\right),\hfill \end{array}$$

(63)

The external direct product $\left(2,3\right)$-ring ${\mathcal{R}}^{\left(2,3\right)}$ from Example 8 is not derived, because both multiplications ${\mu }_1^{\left(3\right)}$ and ${\mu }_2^{\left(3\right)}$ there are nonderived.

4.4. Mixed-Arity Iterated Product of $\left(m,n\right)$-Rings

Recall that some polyadic multiplications can be iterated, i.e., composed (1) from those of lower arity (2), as well as those larger than 2, and so being nonderived, in general. The nontrivial “polyadization” of (49) and (50) can arise, when the composition of the separate (up and down) components on the r.h.s. of (56) and (57) will be different, and therefore the external product operations on the doubles $X\in R_1\times R_2$ cannot be presented in the iterated form (1).

Let the constituent operations in (56) and (57) be composed from lower-arity corresponding operations, but in different ways for the up and down components, such that

$$\begin{array}{cc}\hfill {\nu }_1^{\left(m\right)}& ={\left({\nu }_1^{\left(m_1\right)}\right)}^{\circ {\ell }_{\nu 1}},{\nu }_2^{\left(m\right)}={\left({\nu }_2^{\left(m_2\right)}\right)}^{\circ {\ell }_{\nu 2}},3\le m_{1,2}\le m-1,\hfill \end{array}$$

(64)

$$\begin{array}{cc}\hfill {\mu }_1^{\left(n\right)}& ={\left({\mu }_1^{\left(n_1\right)}\right)}^{\circ {\ell }_{\mu 1}},{\mu }_2^{\left(n\right)}={\left({\mu }_2^{\left(n_2\right)}\right)}^{\circ {\ell }_{\mu 2}},3\le n_{1,2}\le n-1,\hfill \end{array}$$

(65)

where we exclude the limits: the derived case $m_{1,2}=n_{1,2}=2$ (60) and (61) and the uncomposed case $m_{1,2}=m$, $n_{1,2}=n$ (56) and (57). Since the total size of the up and down polyads is the same and coincides with the arities of the double addition m and multiplication n, using (2) we obtain the arity compatibility relations

$$\begin{array}{cc}\hfill m& ={\ell }_{\nu 1}\left(m_1-1\right)+1={\ell }_{\nu 2}\left(m_2-1\right)+1,\hfill \end{array}$$

(66)

$$\begin{array}{cc}\hfill n& ={\ell }_{\mu 1}\left(n_1-1\right)+1={\ell }_{\mu 2}\left(n_2-1\right)+1.\hfill \end{array}$$

(67)

Definition 9.

A mixed-arity polyadic direct product ring ${\mathcal{R}}^{\left(m,n\right)}={\mathcal{R}}_1^{\left(m_1,n_1\right)}⊛{\mathcal{R}}_2^{\left(m_2,n_2\right)}$ consists of two polyadic rings of the different arity shape, such that

$$\begin{array}{cc}\hfill {\nu }^{\prime \left(m\right)}\left[X^{\left(1\right)},X^{\left(2\right)},\dots ,X^{\left(m\right)}\right]& =\left(\begin{array}{c}{\left({\nu }_1^{\left(m_1\right)}\right)}^{\circ {\ell }_{\nu 1}}\left[x_1^{\left(1\right)},x_1^{\left(2\right)},\dots ,x_1^{\left(m\right)}\right]\\ {\left({\nu }_2^{\left(m_2\right)}\right)}^{\circ {\ell }_{\nu 2}}\left[x_2^{\left(1\right)},x_2^{\left(2\right)},\dots ,x_2^{\left(m\right)}\right]\end{array}\right),\hfill \end{array}$$

(68)

$$\begin{array}{cc}\hfill {\mu }^{\prime \left(n\right)}\left[X^{\left(1\right)},X^{\left(2\right)},\dots ,X^{\left(n\right)}\right]& =\left(\begin{array}{c}{\left({\mu }_1^{\left(n_1\right)}\right)}^{\circ {\ell }_{\mu 1}}\left[x_1^{\left(1\right)},x_1^{\left(2\right)},\dots ,x_1^{\left(n\right)}\right]\\ {\left({\mu }_2^{\left(n_2\right)}\right)}^{\circ {\ell }_{\mu 2}}\left[x_2^{\left(1\right)},x_2^{\left(2\right)},\dots ,x_2^{\left(n\right)}\right]\end{array}\right),\hfill \end{array}$$

(69)

and the arity compatibility relations (66) and (67) hold valid.

Thus, two polyadic rings cannot always be composed in the mixed-arity polyadic direct product.

Assertion 3.

If the arity shapes of two polyadic rings${\mathcal{R}}_1^{\left(m_1,n_1\right)}$and${\mathcal{R}}_2^{\left(m_2,n_2\right)}$satisfy the compatibility conditions

$$\begin{array}{cc}\hfill a\left(m_1-1\right)& =b\left(m_2-1\right),\hfill \end{array}$$

(70)

$$\begin{array}{cc}\hfill c\left(n_1-1\right)& =d\left(n_2-1\right),a,b,c,d\in \mathbb{N},\hfill \end{array}$$

(71)

then they can form a mixed-arity direct product.

The limiting cases, undecomposed (56) and (57) and derived (62) and (63), satisfy the compatibility conditions (70) and (71) as well.

Example 9.

Let us consider two (nonderived) polyadic rings

$$\begin{array}{cc}\hfill {\mathcal{R}}_1^{\left(9,3\right)}& =〈\left\{8l+7\right\}\mid {\nu }_1^{\left(9\right)},{\mu }_1^{\left(3\right)},l\in \mathbb{Z}〉,\hfill \end{array}$$

(72)

$$\begin{array}{cc}\hfill {\mathcal{R}}_2^{\left(5,5\right)}& =〈\left\{M\right\}\mid {\nu }_2^{\left(5\right)},{\mu }_2^{\left(5\right)}〉,\hfill \end{array}$$

(73)

where

$$M=\left(\begin{array}{cccc}0& 4k_1+3& 0& 0\\ 0& 0& 4k_2+3& 0\\ 0& 0& 0& 4k_3+3\\ 4k_4+3& 0& 0& 0\end{array}\right),k_i\in \mathbb{Z},$$

(74)

and ${\nu }_2^{\left(5\right)}$ and ${\mu }_2^{\left(5\right)}$ are the ordinary sum and product of 5 matrices. Using (66) and (67) we obtain $m=9$, $n=5$, if we choose the smallest “numbers of multiplications” ${\ell }_{\nu 1}=1$, ${\ell }_{\nu 2}=2$, ${\ell }_{\mu 1}=2$, ${\ell }_{\mu 2}=1$, and therefore the mixed-arity direct product nonderived $\left(9,5\right)$-ring becomes

$${\mathcal{R}}^{\left(9,5\right)}=〈\left\{X\right\}\mid {\nu }^{\prime \left(9\right)},{\mu }^{\prime \left(5\right)}〉,$$

(75)

where the doubles are $X=\left(\begin{array}{c}8l+7\\ M\end{array}\right)$ and the nonderived direct product operations are

$$\begin{array}{cc}\hfill & {\nu }^{\prime \left(9\right)}\left[X^{\left(1\right)},X^{\left(2\right)},\dots ,X^{\left(9\right)}\right]\hfill \\ \hfill & =\left(\begin{array}{c}8\left(l^{\left(1\right)}+l^{\left(2\right)}+l^{\left(3\right)}+l^{\left(4\right)}+l^{\left(5\right)}+l^{\left(6\right)}+l^{\left(7\right)}+l^{\left(8\right)}+l^{\left(9\right)}+7\right)+7\\ \left(\begin{array}{cccc}0& 4K_1+3& 0& 0\\ 0& 0& 4K_2+3& 0\\ 0& 0& 0& 4K_3+3\\ 4K_4+3& 0& 0& 0\end{array}\right)\end{array}\right),\hfill \end{array}$$

(76)

$$\begin{array}{cc}\hfill & {\mu }^{\prime \left(5\right)}\left[X^{\left(1\right)},X^{\left(2\right)},X^{\left(3\right)},X^{\left(4\right)},X^{\left(5\right)}\right]\hfill \\ \hfill & =\left(\begin{array}{c}\left(8l_{\mu }+7\right)\\ \left(\begin{array}{cccc}0& 4K_{\mu ,1}+3& 0& 0\\ 0& 0& 4K_{\mu ,2}+3& 0\\ 0& 0& 0& 4K_{\mu ,3}+3\\ 4K_{\mu ,4}+3& 0& 0& 0\end{array}\right)\end{array}\right),\hfill \end{array}$$

(77)

where, in the first line, $K_i=k_i^{\left(1\right)}+k_i^{\left(2\right)}+k_i^{\left(3\right)}+k_i^{\left(4\right)}+k_i^{\left(5\right)}+k_i^{\left(6\right)}+k_i^{\left(7\right)}+k_i^{\left(8\right)}+k_i^{\left(9\right)}+6\in \mathbb{Z}$, $l_{\mu }\in \mathbb{Z}$ is a cumbersome integer function of $l^{\left(j\right)}\in \mathbb{Z}$, $j=1,\dots ,9$, and in the second line $K_{\mu ,i}\in \mathbb{Z}$ are cumbersome integer functions of $k_i^{\left(s\right)}$, $i=1,\dots ,4$, $s=1,\dots ,5$. Therefore, the polyadic ring (75) is the nonderived mixed arity polyadic external product ${\mathcal{R}}^{\left(9,5\right)}={\mathcal{R}}_1^{\left(9,3\right)}⊛{\mathcal{R}}_2^{\left(5,5\right)}$ (see Definition 9).

Theorem 2.

The category of polyadic rings PolRing can exist (having the class of all polyadic rings for objects and ring homomorphisms for morphisms) and can be well-defined, because it has a product as the polyadic external product of rings.

In the same way one can construct the iterated full and mixed-arity products of any number k of polyadic rings, merely by passing from the doubles X to k-tuples $X_k^T=\left(x_1,\dots ,x_k\right)$.

4.5. Polyadic Hetero Product of $\left(m,n\right)$-Fields

The most crucial difference between the binary direct products and the polyadic ones arises for fields, because a direct product’s two binary fields are not a field [2].The reason for this lies in the fact that each binary field ${\mathcal{F}}^{\left(2,2\right)}$ necessarily contains 0 and 1, by definition. As follows from (48), a binary direct product contains nonzero idempotent doubles $\left(\begin{array}{c}1\\ 0\end{array}\right)$ and $\left(\begin{array}{c}0\\ 1\end{array}\right)$ which are noninvertible, and therefore the external direct product of fields ${\mathcal{F}}_1^{\left(2,2\right)}\times {\mathcal{F}}_2^{\left(2,2\right)}$ can never be a field. In the opposite case, polyadic fields (see Definition 10) can be zeroless (we denote them by $\widehat{\mathcal{F}}$), and the above arguments do not hold for them.

Recall the definitions of $\left(m,n\right)$-fields (see [27,28]). Denote $R^{*}=R\setminus \left\{z\right\}$, if the zero z exists (3). Observe that (in distinction to binary rings) $〈R^{*}\mid {\mu }^{\left(n\right)}\mid assoc〉$ is not a polyadic group, in general. If $〈R^{*}\mid {\mu }^{\left(n\right)}〉$ is the n-ary group, then ${\mathcal{R}}^{\left(m,n\right)}$ is called a $\left(m,n\right)$-divisionring${\mathcal{D}}^{\left(m,n\right)}$.

Definition 10.

A (totally) commutative $\left(m,n\right)$-division ring ${\mathcal{R}}^{\left(m,n\right)}$ is called a $\left(m,n\right)$-field ${\mathcal{F}}^{\left(m,n\right)}$.

In n-ary groups there exists an “intermediate” commutativity, known as semicommutativity (10).

Definition 11.

A semicommutative $\left(m,n\right)$-division ring ${\mathcal{R}}^{\left(m,n\right)}$ is called a semicommutative $\left(m,n\right)$-field ${\mathcal{F}}^{\left(m,n\right)}$.

The definition of a polyadic field can be expressed in a diagrammatic form, analogous to (16). We introduce the double Dörnte relations: for n-ary multiplication ${\mu }^{\left(n\right)}$ (15) and for m-ary addition ${\nu }^{\left(m\right)}$, as follows

$${\nu }^{\left(m\right)}\left[m_y,x\right]=x,$$

(78)

where the (additive) neutral sequence is $m_y=\left(y^{m-2},\tilde{y}\right)$, and $\tilde{y}$ is the additive querelement for $y\in R$ (see (14)). In distinction with (15), we have only one (additive) Dörnte relation (78) and one diagram from (16) only, because of the commutativity of ${\nu }^{\left(m\right)}$.

By analogy with the multiplicative queroperation ${\overline{\mu }}^{\left(1\right)}$ (13), introduce the additive unary queroperation by

$${\tilde{\nu }}^{\left(1\right)}\left(x\right)=\tilde{x},\forall x\in R,$$

(79)

where $\tilde{x}$ is the additive querelement (13). Thus, we have

Definition 12.

(Diagrammatic definition of$\left(m,n\right)$-field). A (polyadic)$\left(m,n\right)$-field is a one-set algebraic structure with 4 operations and 3 relations

$$〈R\mid {\nu }^{\left(m\right)},{\tilde{\nu }}^{\left(1\right)},{\mu }^{\left(n\right)},{\overline{\mu }}^{\left(1\right)}\mid \mathit{associativity},\mathit{distributivity},\mathit{double}Dö\mathit{rnte}\mathit{relations}〉,$$

(80)

where${\nu }^{\left(m\right)}$and${\mu }^{\left(n\right)}$are commutative associative m-ary addition and n-ary associative multiplication connected by polyadic distributivity (51)–(53),${\tilde{\nu }}^{\left(1\right)}$and${\overline{\mu }}^{\left(1\right)}$are unary additive queroperation (79) and multiplicative queroperation (13).

There is no initial relation between ${\tilde{\nu }}^{\left(1\right)}$ and ${\overline{\mu }}^{\left(1\right)}$; nevertheless the possibility of their “interaction” can lead to further thorough classification of polyadic fields.

Definition 13.

A polyadic field ${\mathcal{F}}^{\left(m,n\right)}$ is called quer-symmetric if its unary queroperations commute

$$\begin{array}{cc}\hfill {\tilde{\nu }}^{\left(1\right)}\circ {\overline{\mu }}^{\left(1\right)}& ={\overline{\mu }}^{\left(1\right)}\circ {\tilde{\nu }}^{\left(1\right)},\hfill \end{array}$$

(81)

$$\begin{array}{cc}\hfill \tilde{\overline{x}}& =\overline{\tilde{x}},\forall x\in R,\hfill \end{array}$$

(82)

in the other case ${\mathcal{F}}^{\left(m,n\right)}$ is called quer-nonsymmetric.

Example 10.

Consider the nonunital zeroless (denoted by $\widehat{\mathcal{F}}$) polyadic field ${\widehat{\mathcal{F}}}^{\left(3,3\right)}=〈\left\{ia/b\right\}\mid {\nu }^{\left(3\right)},{\mu }^{\left(3\right)}〉$, ${\mathsf{i}}^2=-1$, $a,b\in {\mathbb{Z}}^{odd}$. The ternary addition ${\nu }^{\left(3\right)}\left[x,y,t\right]=x+y+t$ and the ternary multiplication ${\mu }^{\left(3\right)}\left[x,y,t\right]=xyt$ are nonderived, ternary associative and distributive (operations are in $\mathbb{C}$). For each $x=ia/b$ ($a,b\in {\mathbb{Z}}^{odd}$) the additive querelement is $\tilde{x}=-ia/b$, and the multiplicative querelement is $\overline{x}=-ib/a$ (see (12)). Therefore, both $〈\left\{ia/b\right\}\mid {\mu }^{\left(3\right)}〉$ and $〈\left\{ia/b\right\}\mid {\nu }^{\left(3\right)}〉$ are ternary groups, but they both contain no neutral elements (no unit, no zero). The nonunital zeroless $\left(3,3\right)$-field ${\widehat{\mathcal{F}}}^{\left(3,3\right)}$ is quer-symmetric, because (see (82))

$$\tilde{\overline{x}}=\overline{\tilde{x}}=i\frac{b}{a}.$$

(83)

Finding quer-nonsymmetric polyadic fields is not a simple task.

Example 11.

Consider the set of real $4\times 4$ matrices over the fractions $\frac{4k+3}{4l+3}$, $k,l\in \mathbb{Z}$, of the form

$$M=\left(\begin{array}{cccc}0& {\displaystyle \frac{4k_1+3}{4l_1+3}}& 0& 0\\ 0& 0& {\displaystyle \frac{4k_2+3}{4l_2+3}}& 0\\ 0& 0& 0& {\displaystyle \frac{4k_3+3}{4l_3+3}}\\ {\displaystyle \frac{4k_4+3}{4l_4+3}}& 0& 0& 0\end{array}\right),k_i,l_i\in \mathbb{Z}.$$

(84)

The set $\left\{M\right\}$ is closed with respect to the ordinary addition of $m\ge 5$ matrices, because the sum of fewer of the fractions $\frac{4k+3}{4l+3}$ does not give a fraction of the same form [14], and with respect to the ordinary multiplication of $n\ge 5$ matrices, since the product of fewer matrices (84) does not have the same shape [29]. The polyadic associativity and polyadic distributivity follow from the binary ones of the ordinary matrices over $\mathbb{R}$, and the product of 5 matrices is semicommutative (see 10). Taking the minimal values $m=5$, $n=5$, we define the semicommutative zeroless $\left(5,5\right)$-field (see (11))

$${\mathcal{F}}_M^{\left(5,5\right)}=〈\left\{M\right\}\mid {\nu }^{\left(5\right)},{\mu }^{\left(5\right)},{\tilde{\nu }}^{\left(1\right)},{\overline{\mu }}^{\left(1\right)}〉,$$

(85)

where ${\nu }^{\left(5\right)}$ and ${\mu }^{\left(5\right)}$ are the ordinary sum and product of 5 matrices, whereas ${\tilde{\nu }}^{\left(1\right)}$ and ${\overline{\mu }}^{\left(1\right)}$ are additive and multiplicative queroperations

$${\tilde{\nu }}^{\left(1\right)}\left[M\right]\equiv \tilde{M}=-3M,{\overline{\mu }}^{\left(1\right)}\left[M\right]\equiv \overline{M}=\frac{4l_1+3}{4k_1+3}\frac{4l_2+3}{4k_2+3}\frac{4l_3+3}{4k_3+3}\frac{4l_4+3}{4k_4+3}M.$$

(86)

The division ring ${\mathcal{D}}_M^{\left(5,5\right)}$ is zeroless, because the fraction $\frac{4k+3}{4l+3}$, is never zero for $k,l\in \mathbb{Z}$, and it is unital with the unit

$$M_e=\left(\begin{array}{cccc}0& 1& 0& 0\\ 0& 0& 1& 0\\ 0& 0& 0& 1\\ 1& 0& 0& 0\end{array}\right).$$

(87)

Using (84) and (86), we obtain

$$\begin{array}{cc}\hfill {\tilde{\nu }}^{\left(1\right)}\left[{\overline{\mu }}^{\left(1\right)}\left[M\right]\right]& =-3\frac{4l_1+3}{4k_1+3}\frac{4l_2+3}{4k_2+3}\frac{4l_3+3}{4k_3+3}\frac{4l_4+3}{4k_4+3}M,\hfill \end{array}$$

(88)

$$\begin{array}{cc}\hfill {\overline{\mu }}^{\left(1\right)}\left[{\tilde{\nu }}^{\left(1\right)}\left[M\right]\right]& =-\frac{1}{27}\frac{4l_1+3}{4k_1+3}\frac{4l_2+3}{4k_2+3}\frac{4l_3+3}{4k_3+3}\frac{4l_4+3}{4k_4+3}M,\hfill \end{array}$$

(89)

or

$$\tilde{\overline{M}}=81\overline{\tilde{M}},$$

(90)

and therefore the additive and multiplicative queroperations do not commute independently of the field parameters. Thus, the matrix $\left(5,5\right)$-division ring ${\mathcal{D}}_M^{\left(5,5\right)}$ (85) is a quer-nonsymmetric division ring.

Definition 14.

The polyadic zeroless direct product field ${\widehat{\mathcal{F}}}^{\prime \left(m,n\right)}=〈R^{\prime }\mid {\nu }^{\prime \left(m\right)},{\mu }^{\prime \left(n\right)}〉$ consists of (two) zeroless polyadic fields ${\widehat{\mathcal{F}}}_1^{\left(m,n\right)}=〈R_1\mid {\nu }_1^{\left(m\right)},{\mu }_1^{\left(n\right)}〉$ and ${\widehat{\mathcal{F}}}_2^{\left(m,n\right)}=〈R_2\mid {\nu }_2^{\left(m\right)},{\mu }_2^{\left(n\right)}〉$ of the same arity shape, whereas the componentwise operations on the doubles $X\in R_1\times R_2$ in (56) and (57) still remain valid, and $〈R_1\mid {\mu }_1^{\left(n\right)}〉$, $〈R_2\mid {\mu }_2^{\left(n\right)}〉$, $〈R^{\prime }=\left\{X\right\}\mid {\mu }^{\prime \left(n\right)}〉$ are n-ary groups.

Following Definition 11, we have

Corollary 2.

If at least one of the constituent fields is semicommutative, and another one is totally commutative, then the polyadic product will be a semicommutative $\left(m,n\right)$-field.

The additive and multiplicative unary queroperations (13) and (79) for the direct product field ${\widehat{\mathcal{F}}}^{\left(m,n\right)}$ are defined componentwise on the doubles X as follows

$$\begin{array}{cc}\hfill {\tilde{\nu }}^{\prime \left(1\right)}\left[X\right]& =\left(\begin{array}{c}{\tilde{\nu }}_1^{\left(1\right)}\left[x_1\right]\\ {\tilde{\nu }}_2^{\left(1\right)}\left[x_2\right]\end{array}\right),\hfill \end{array}$$

(91)

$$\begin{array}{cc}\hfill {\overline{\mu }}^{\prime \left(1\right)}\left[X\right]& =\left(\begin{array}{c}{\overline{\mu }}_1^{\left(1\right)}\left[x_1\right]\\ {\overline{\mu }}_2^{\left(1\right)}\left[x_2\right]\end{array}\right),x_1\in R_1,x_2\in R_2.\hfill \end{array}$$

(92)

Definition 15.

A polyadic direct product field ${\widehat{\mathcal{F}}}^{\prime \left(m,n\right)}=〈R^{\prime }\mid {\nu }^{\prime \left(m\right)},{\tilde{\nu }}^{\prime \left(1\right)},{\mu }^{\prime \left(n\right)},{\overline{\mu }}^{\prime \left(1\right)}〉$ is called quer-symmetric if its unary queroperations (91) and (92) commute

$$\begin{array}{cc}\hfill {\tilde{\nu }}^{\prime \left(1\right)}\circ {\overline{\mu }}^{\prime \left(1\right)}& ={\overline{\mu }}^{\prime \left(1\right)}\circ {\tilde{\nu }}^{\prime \left(1\right)},\hfill \end{array}$$

(93)

$$\begin{array}{cc}\hfill \tilde{\overline{X}}& =\overline{\tilde{X}},\forall X\in R^{\prime },\hfill \end{array}$$

(94)

in the other case, ${\widehat{\mathcal{F}}}^{\prime \left(m,n\right)}$ is called a quer-nonsymmetric direct product $\left(m,n\right)$-field.

Example 12.

Consider two nonunital zeroless $\left(3,3\right)$-fields

$${\widehat{\mathcal{F}}}_{1,2}^{\left(3,3\right)}=〈\left\{\mathsf{i}\frac{a_{1,2}}{b_{1,2}}\right\}\mid {\nu }_{1,2}^{\left(3\right)},{\mu }_{1,2}^{\left(3\right)},{\tilde{\nu }}_{1,2}^{\left(1\right)},{\overline{\mu }}_{1,2}^{\left(1\right)}〉,{\mathsf{i}}^2=-1,a_{1,2},b_{1,2}\in {\mathbb{Z}}^{odd},$$

(95)

where ternary additions ${\nu }_{1,2}^{\left(3\right)}$ and ternary multiplications ${\mu }_{1,2}^{\left(3\right)}$ are the sum and product in ${\mathbb{Z}}^{odd}$, correspondingly, and the unary additive and multiplicative queroperations are ${\tilde{\nu }}_{1,2}^{\left(1\right)}\left[\mathsf{i}{a}_{1,2}/b_{1,2}\right]=-\mathsf{i}{a}_{1,2}/b_{1,2}$ and ${\overline{\mu }}_{1,2}^{\left(1\right)}\left[\mathsf{i}{a}_{1,2}/b_{1,2}\right]=-\mathsf{i}{b}_{1,2}/a_{1,2}$ (see Example 10). Using (56) and (57) we build the operations of the polyadic nonderived nonunital zeroless product $\left(3,3\right)$-field ${\widehat{\mathcal{F}}}^{\prime \left(3,3\right)}={\widehat{\mathcal{F}}}_1^{\left(3,3\right)}\times {\widehat{\mathcal{F}}}_2^{\left(3,3\right)}$ on the doubles $X^T=\left(\mathsf{i}{a}_1/b_1,\mathsf{i}{a}_2/b_2\right)$ as follows

$${\nu }^{\prime \left(3\right)}\left[X^{\left(1\right)},X^{\left(2\right)},X^{\left(3\right)}\right]=\left(\begin{array}{c}\mathsf{i}{\displaystyle \frac{a_1^{\left(1\right)}{b}_1^{\left(2\right)}{b}_1^{\left(3\right)}+b_1^{\left(1\right)}{a}_1^{\left(2\right)}{b}_1^{\left(3\right)}+b_1^{\left(1\right)}{b}_1^{\left(2\right)}{a}_1^{\left(3\right)}}{b_1^{\left(1\right)}{b}_1^{\left(2\right)}{b}_1^{\left(3\right)}}}\\ \mathsf{i}{\displaystyle \frac{a_2^{\left(1\right)}{b}_2^{\left(2\right)}{b}_2^{\left(3\right)}+b_2^{\left(1\right)}{a}_2^{\left(2\right)}{b}_2^{\left(3\right)}+b_2^{\left(1\right)}{b}_2^{\left(2\right)}{a}_2^{\left(3\right)}}{b_2^{\left(1\right)}{b}_2^{\left(2\right)}{b}_2^{\left(3\right)}}}\end{array}\right),$$

(96)

$${\mu }^{\prime \left(3\right)}\left[X^{\left(1\right)},X^{\left(2\right)},X^{\left(3\right)}\right]=\left(\begin{array}{c}-\mathsf{i}{\displaystyle \frac{a_1^{\left(1\right)}{a}_1^{\left(2\right)}{a}_1^{\left(3\right)}}{b_1^{\left(1\right)}{b}_1^{\left(2\right)}{b}_1^{\left(3\right)}}}\\ -\mathsf{i}{\displaystyle \frac{a_2^{\left(1\right)}{a}_2^{\left(2\right)}{a}_2^{\left(3\right)}}{b_2^{\left(1\right)}{b}_2^{\left(2\right)}{b}_2^{\left(3\right)}}}\end{array}\right),a_i^{\left(j\right)},b_i^{\left(j\right)}\in {\mathbb{Z}}^{odd},$$

(97)

and the unary additive and multiplicative queroperations (91) and (92) of the direct product ${\widehat{\mathcal{F}}}^{\prime \left(3,3\right)}$ are

$$\begin{array}{cc}\hfill {\tilde{\nu }}^{\prime \left(1\right)}\left[X\right]& =\left(\begin{array}{c}-\mathsf{i}{\displaystyle \frac{a_1}{b_1}}\\ -\mathsf{i}{\displaystyle \frac{a_2}{b_2}}\end{array}\right),\hfill \end{array}$$

(98)

$$\begin{array}{cc}\hfill {\overline{\mu }}^{\prime \left(1\right)}\left[X\right]& =\left(\begin{array}{c}-\mathsf{i}{\displaystyle \frac{b_1}{a_1}}\\ -\mathsf{i}{\displaystyle \frac{b_2}{a_2}}\end{array}\right),a_i,b_i\in {\mathbb{Z}}^{odd}.\hfill \end{array}$$

(99)

Therefore, both $〈\left\{X\right\}\mid {\nu }^{\prime \left(3\right)},{\tilde{\nu }}^{\prime \left(1\right)}〉$ and $〈\left\{X\right\}\mid {\mu }^{\prime \left(3\right)},{\overline{\mu }}^{\prime \left(1\right)}〉$ are commutative ternary groups, which means that the polyadic direct product ${\widehat{\mathcal{F}}}^{\prime \left(3,3\right)}={\widehat{\mathcal{F}}}_1^{\left(3,3\right)}\times {\widehat{\mathcal{F}}}_2^{\left(3,3\right)}$ is the nonunital zeroless polyadic field. Moreover, ${\widehat{\mathcal{F}}}^{\prime \left(3,3\right)}$ is quer-symmetric, because (93) and (94) remain valid

$${\overline{\mu }}^{\prime \left(1\right)}\circ {\tilde{\nu }}^{\prime \left(1\right)}\left[X\right]={\tilde{\nu }}^{\prime \left(1\right)}\circ {\overline{\mu }}^{\prime \left(1\right)}\left[X\right]=\left(\begin{array}{c}\mathsf{i}{\displaystyle \frac{b_1}{a_1}}\\ \mathsf{i}{\displaystyle \frac{b_2}{a_2}}\end{array}\right),a_i,b_i\in {\mathbb{Z}}^{odd}.$$

(100)

Example 13.

Let us consider the polyadic direct product of two zeroless fields, one of them being the semicommutative $\left(5,5\right)$-field ${\widehat{\mathcal{F}}}_1^{\left(5,5\right)}={\mathcal{F}}_M^{\left(5,5\right)}$ from (85), and the other one being the nonderived nonunital zeroless $\left(5,5\right)$-field of fractions ${\widehat{\mathcal{F}}}_2^{\left(5,5\right)}=〈\left\{\sqrt{\mathsf{i}}\frac{4r+1}{4s+1}\right\}\mid {\nu }_2^{\left(5\right)},{\mu }_2^{\left(5\right)}〉$, $r,s\in \mathbb{Z}$, ${\mathsf{i}}^2=-1$. The double is $X^T=\left(\sqrt{\mathsf{i}}\frac{4r+1}{4s+1},M\right)$, where M is in (84). The polyadic nonunital zeroless direct product field ${\widehat{\mathcal{F}}}^{\prime \left(5,5\right)}={\widehat{\mathcal{F}}}_1^{\left(5,5\right)}\times {\widehat{\mathcal{F}}}_2^{\left(5,5\right)}$ is nonderived and semicommutative, and is defined by ${\widehat{\mathcal{F}}}^{\left(5,5\right)}=〈X\mid {\nu }^{\prime \left(5\right)},{\mu }^{\prime \left(5\right)},{\tilde{\nu }}^{\prime \left(1\right)},{\overline{\mu }}^{\left(1\right)}〉$, where its addition and multiplication are

$$\begin{array}{cc}\hfill & {\nu }^{\prime \left(5\right)}\left[X^{\left(1\right)},X^{\left(2\right)},X^{\left(3\right)},X^{\left(4\right)},X^{\left(5\right)}\right]\hfill \\ \hfill & =\left(\begin{array}{c}\sqrt{\mathsf{i}}{\displaystyle \frac{4R_{\nu }+1}{4S_{\nu }+1}}\\ \left(\begin{array}{cccc}0& {\displaystyle \frac{4K_{\nu ,1}+3}{4L_{\nu ,1}+3}}& 0& 0\\ 0& 0& {\displaystyle \frac{4K_{\nu ,2}+3}{4L_{\nu ,2}+3}}& 0\\ 0& 0& 0& {\displaystyle \frac{4K_{\nu ,3}+3}{4L_{\nu ,3}+3}}\\ {\displaystyle \frac{4K_{\nu ,4}+3}{4L_{\nu ,4}+3}}& 0& 0& 0\end{array}\right)\end{array}\right),\hfill \end{array}$$

(101)

$$\begin{array}{cc}\hfill & {\mu }^{\prime \left(5\right)}\left[X^{\left(1\right)},X^{\left(2\right)},X^{\left(3\right)},X^{\left(4\right)},X^{\left(5\right)}\right]\hfill \\ \hfill & =\left(\begin{array}{c}\sqrt{\mathsf{i}}{\displaystyle \frac{4R_{\mu }+1}{4S_{\mu }+1}}\\ \left(\begin{array}{cccc}0& {\displaystyle \frac{4K_{\mu ,1}+3}{4L_{\mu ,1}+3}}& 0& 0\\ 0& 0& {\displaystyle \frac{4K_{\mu ,2}+3}{4L_{\mu ,2}+3}}& 0\\ 0& 0& 0& {\displaystyle \frac{4K_{\mu ,3}+3}{4L_{\mu ,3}+3}}\\ {\displaystyle \frac{4K_{\mu ,4}+3}{4L_{\mu ,4}+3}}& 0& 0& 0\end{array}\right)\end{array}\right),\hfill \end{array}$$

(102)

where $R_{\nu ,\mu },S_{\nu ,\mu }\in \mathbb{Z}$ are cumbersome integer functions of $r^{\left(i\right)},s^{\left(i\right)}\in \mathbb{Z}$, $i=1,\dots ,5$, and $K_{\nu ,i},K_{\mu ,i},L_{\nu ,i},L_{\mu ,i}\in \mathbb{Z}$ are cumbersome integer functions of $k_j^{\left(i\right)},l_j^{\left(i\right)}\in \mathbb{Z}$, $j=1,\dots ,4$, $i=1,\dots ,5$ (see (84)). The unary queroperations (91) and (92) of the direct product ${\widehat{\mathcal{F}}}^{\left(5,5\right)}$ are

$$\begin{array}{cc}\hfill {\tilde{\nu }}^{\prime \left(1\right)}\left[X\right]& =\left(\begin{array}{c}-3\sqrt{\mathsf{i}}{\displaystyle \frac{4r+1}{4s+1}}\\ -3M\end{array}\right),\hfill \end{array}$$

(103)

$$\begin{array}{cc}\hfill {\overline{\mu }}^{\prime \left(1\right)}\left[X\right]& =\left(\begin{array}{c}-\sqrt{\mathsf{i}}{\left({\displaystyle \frac{4s+1}{4r+1}}\right)}^3\\ {\displaystyle \frac{4l_1+3}{4k_1+3}}{\displaystyle \frac{4l_2+3}{4k_2+3}}{\displaystyle \frac{4l_3+3}{4k_3+3}}{\displaystyle \frac{4l_4+3}{4k_4+3}}M\end{array}\right),r,s,k_i,l_i\in \mathbb{Z},\hfill \end{array}$$

(104)

where M is in (84). Therefore, $〈\left\{X\right\}\mid {\nu }^{\prime \left(5\right)},{\tilde{\nu }}^{\prime \left(1\right)}〉$ is a commutative 5-ary group, and $〈\left\{X\right\}\mid {\mu }^{\prime \left(5\right)},{\overline{\mu }}^{\prime \left(1\right)}〉$ is a semicommutative 5-ary group, which means that the polyadic direct product ${\widehat{\mathcal{F}}}^{\prime \left(5,5\right)}={\widehat{\mathcal{F}}}_1^{\left(5,5\right)}\times {\widehat{\mathcal{F}}}_2^{\left(5,5\right)}$ is the nonunital zeroless polyadic semicommutative $\left(5,5\right)$-field. Using (90) we obtain

$${\tilde{\nu }}^{\prime \left(1\right)}{\overline{\mu }}^{\prime \left(1\right)}\left[X\right]=81{\overline{\mu }}^{\prime \left(1\right)}{\tilde{\nu }}^{\prime \left(1\right)}\left[X\right],$$

(105)

and therefore the direct product $\left(5,5\right)$-field ${\widehat{\mathcal{F}}}^{\prime \left(5,5\right)}$ is quer-nonsymmetric (see (81)).

Thus, we arrive at

Theorem 3.

The category of zeroless polyadic fields zlessPolField can exist (having the class of all zeroless polyadic fields for objects and field homomorphisms for morphisms) and can be well-defined, because it has a product as the polyadic field product.

5. Conclusions

For physical applications, for instance, the particle content of any elementary particle model is connected with the direct decomposition of its gauge symmetry group. Thus, the proposed generalization of the direct product can lead to principally new physical models having unusual mathematical properties.

For mathematical applications, further analysis of the direct product constructions introduced here and their examples for polyadic rings and fields would be interesting, and could lead to new kinds of categories.