arXiv math/06082692006-08math.COmath.GR

On reconstructing reducible n-ary quasigroups and switching subquasigroups

Denis Krotov, Vladimir Potapov, Polina Sokolova

备注：: 12pp. V.4: improved lower bound (last section), orders 5 and 7
发表信息：: Quasigroups Relat. Syst. 16(1) 2008, 55-67
DOI：: 10.17686/sced_rusnauka_2008-1040

英文摘要：

(1) We prove that, provided n>=4, a permutably reducible n-ary quasigroup is uniquely specified by its values on the n-ples containing zero. (2) We observe that for each n,k>=2 and r<=[k/2] there exists a reducible n-ary quasigroup of order k with an n-ary subquasigroup of order r. As corollaries, we have the following: (3) For each k>=4 and n>=3 we can construct a permutably irreducible n-ary quasigroup of order k. (4) The number of n-ary quasigroups of order k>3 has double-exponential growth as n tends to infinity; it is greater than exp exp(n ln[k/3]) if k>=6, and exp exp(n (ln 3)/3 - 0.44) if k=5.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Algebraic Properties of Subquasigroups and Construction of Cryptographically Suitable Finite Quasigroups

In this paper, we identify many important properties and develop criteria for the existence of subquasigroups in finite quasigroups. Based on these results, we propose an effective method that concludes the nonexistence of subquasigroup of a finite quasigroup, otherwise finds its all possible proper subquasigroups. This has an important application in checking the cryptographic suitability of a finite quasigroup. \par Further, we propose a binary operation using arithmetic of finite fields to construct quasigroups of order $p^r$. We develop the criteria under which these quasigroups have desir…

2021-12-10cs.ITmath.COmath.GR

n-Ary quasigroups of order 4

We characterize the set of all N-ary quasigroups of order 4: every N-ary quasigroup of order 4 is permutably reducible or semilinear. Permutable reducibility means that an N-ary quasigroup can be represented as a composition of K-ary and (N-K+1)-ary quasigroups for some K from 2 to N-1, where the order of arguments in the representation can differ from the original order. The set of semilinear N-ary quasigroups has a characterization in terms of Boolean functions. Keywords: Latin hypercube, n-ary quasigroup, reducibility

2008-10-26math.COmath.GR

On irreducible n-ary quasigroups with reducible retracts

An n-ary operation q:A^n->A is called an n-ary quasigroup of order |A| if in x_0=q(x_1,...,x_n) knowledge of any n elements of x_0,...,x_n uniquely specifies the remaining one. An n-ary quasigroup q is permutably reducible if q(x_1,...,x_n)=p(r(x_{s(1)},...,x_{s(k)}),x_{s(k+1)},...,x_{s(n)}) where p and r are (n-k+1)-ary and k-ary quasigroups, s is a permutation, and 1<k<n. For even n we construct a permutably irreducible n-ary quasigroup of order 4r such that all its retracts obtained by fixing one variable are permutably reducible. We use a partial Boolean function that satisfies similar pro…

2007-01-28math.COmath.GR

On connection between reducibility of an n-ary quasigroup and that of its retracts

An $n$-ary operation $Q:S^n\to S$ is called an $n$-ary quasigroup of order $|S|$ if in the equation $x_0=Q(x_1,...,x_n)$ knowledge of any $n$ elements of $x_0,...,x_n$ uniquely specifies the remaining one. An $n$-ary quasigroup $Q$ is (permutably) reducible if $Q(x_1,...,x_n)=P(R(x_{s(1)},...,x_{s(k)}),x_{s(k+1)},...,x_{s(n)})$ where $P$ and $R$ are $(n-k+1)$-ary and $k$-ary quasigroups, $s$ is a permutation, and $1<k<n$. An $m$-ary quasigroup $R$ is called a retract of $Q$ if it can be obtained from $Q$ or one of its inverses by fixing $n-m>0$ arguments. We show that every irreducible $n$-ary…

2011-06-08math.COmath.GR

On reducibility of n-ary quasigroups

An $n$-ary operation $Q:S^n -> S$ is called an $n$-ary quasigroup of order $|S|$ if in the equation $x_{0}=Q(x_1,...,x_n)$ knowledge of any $n$ elements of $x_0$, ..., $x_n$ uniquely specifies the remaining one. $Q$ is permutably reducible if $Q(x_1,...,x_n)=P(R(x_{s(1)},...,x_{s(k)}),x_{s(k+1)},...,x_{s(n)})$ where $P$ and $R$ are $(n-k+1)$-ary and $k$-ary quasigroups, $s$ is a permutation, and $1<k<n$. An $m$-ary quasigroup $S$ is called a retract of $Q$ if it can be obtained from $Q$ or one of its inverses by fixing $n-m>0$ arguments. We prove that if the maximum arity of a permutably irred…

2007-07-17math.COmath.GR

On the number of n-ary quasigroups of finite order

Let $Q(n,k)$ be the number of $n$-ary quasigroups of order $k$. We derive a recurrent formula for Q(n,4). We prove that for all $n\geq 2$ and $k\geq 5$ the following inequalities hold: $({k-3}/2)^{n/2}(\frac{k-1}2)^{n/2} < log_2 Q(n,k) \leq {c_k(k-2)^{n}} $, where $c_k$ does not depend on $n$. So, the upper asymptotic bound for $Q(n,k)$ is improved for any $k\geq 5$ and the lower bound is improved for odd $k\geq 7$. Keywords: n-ary quasigroup, latin cube, loop, asymptotic estimate, component, latin trade.

2016-02-08math.COmath.GR

更多相关论文收起更多论文

Transversals in completely reducible multiary quasigroups and in multiary quasigroups of order 4

An $n$-ary quasigroup $f$ of order $q$ is an $n$-ary operation over a set of cardinality $q$ such that the Cayley table of the operation is an $n$-dimensional latin hypercube of order $q$. A transversal in a quasigroup $f$ (or in the corresponding latin hypercube) is a collection of $q$ $(n+1)$-tuples from the Cayley table of $f$, each pair of tuples differing at each position. The problem of transversals in latin hypercubes was posed by Wanless in 2011. An $n$-ary quasigroup $f$ is called reducible if it can be obtained as a composition of two quasigroups whose arity is at least 2, and it is …

2017-09-11math.CO

Transversals, plexes, and multiplexes in iterated quasigroups

A $d$-ary quasigroup of order $n$ is a $d$-ary operation over a set of cardinality $n$ such that the Cayley table of the operation is a $d$-dimensional latin hypercube of the same order. Given a binary quasigroup $G$, the $d$-iterated quasigroup $G^{\left[d\right]}$ is a $d$-ary quasigroup that is a $d$-time composition of $G$ with itself. A $k$-multiplex (a $k$-plex) $K$ in a $d$-dimensional latin hypercube $Q$ of order $n$ or in the corresponding $d$-ary quasigroup is a multiset (a set) of $kn$ entries such that each hyperplane and each symbol of $Q$ is covered by exactly $k$ elements of $K$…

2017-09-10math.CO

哈达玛多类拟群乘积

The Hadamard multiary quasigroup product

本文研究哈达玛拟群乘积的推广形式，证明其叠加算子保持多种代数性质，将其推广至多类拟群并验证集合上m元拟群数量与对应正交m元运算数量相等，丰富了拟群代数理论。

2024-10-30math.CO

On the number of autotopies of an $n$-ary qusigroup of order $4$

An algebraic system from a finite set $Σ$ of cardinality $k$ and an $n$-ary operation $f$ invertible in each argument is called an $n$-ary quasigroup of order $k$. An autotopy of an $n$-ary quasigroup $(Σ,f)$ is a collection $(θ_0,θ_1,...,θ_n)$ of $n+1$ permutations of $Σ$ such that $f(θ_1(x_1),...,θ_n(x_n))\equiv θ_0(f(x_1,\ldots,x_n))$. We show that every $n$-ary quasigroup of order $4$ has at least $2^{[n/2]+2}$ and not more than $6\cdot 4^n$ autotopies. We characterize the $n$-ary quasigroups of order $4$ with $2^{(n+3)/2}$, $2\cdot 4^n$, and $6\cdot 4^n$ autotopies.

2019-03-01cs.DMmath.CO

Transversals, near transversals, and diagonals in iterated groups and quasigroups

Given a binary quasigroup $G$ of order $n$, a $d$-iterated quasigroup $G[d]$ is the $(d+1)$-ary quasigroup equal to the $d$-times composition of $G$ with itself. The Cayley table of every $d$-ary quasigroup is a $d$-dimensional latin hypercube. Transversals and diagonals in multiary quasigroups are defined so as to coincide with those in the corresponding latin hypercube. We prove that if a group $G$ of order $n$ satisfies the Hall--Paige condition, then the number of transversals in $G[d]$ is equal to $ \frac{n!}{ |G'| n^{n-1}} \cdot n!^{d} (1 + o(1))$ for large $d$, where $G'$ is the commuta…

2021-08-19math.CO

On decomposability of 4-ary distance 2 MDS codes, double-codes, and n-quasigroups of order 4

A subset $S$ of $\{0,1,...,2t-1\}^n$ is called a $t$-fold MDS code if every line in each of $n$ base directions contains exactly $t$ elements of $S$. The adjacency graph of a $t$-fold MDS code is not connected if and only if the characteristic function of the code is the repetition-free sum of the characteristic functions of $t$-fold MDS codes of smaller lengths. In the case $t=2$, the theory has the following application. The union of two disjoint $(n,4^{n-1},2)$ MDS codes in $\{0,1,2,3\}^n$ is a double-MDS-code. If the adjacency graph of the double-MDS-code is not connected, then the double-…

2007-01-18cs.ITmath.COmath.IT

可定向的可三角剖分流形本质上是拟群

Orientable triangulable manifolds are essentially quasigroups

本文将 Herman–Pakianathan 的有限群镶嵌曲面构造推广到 n 维，利用 n 元交错拟群函子性地生成平坦黎曼流形及其拓扑完备化，并证明所有连通可定向光滑流形都可作为某拟群 serenation 的分支。

2023-07-13math.COmath.RA

Associativity in multary quasigroups: The way of biased expansions

A "biased expansion" of a graph is a kind of branched covering graph with additional structure related to combinatorial homotopy of circles. Some but not all biased expansions are constructed from groups ("group expansions"); these include all biased expansions of complete graphs (assuming order at least four), which correspond to Dowling's lattices of a group and encode an iterated group operation. A biased expansion of a circle with chords encodes a multary (polyadic, n-ary) quasigroup, the chords corresponding to factorizations, i.e., associative structure. We show that any biased expansion…

2005-08-04math.CO

On a connection between the switching separability of a graph and that of its subgraphs

A graph of order $n>3$ is called {switching separable} if its modulo-2 sum with some complete bipartite graph on the same set of vertices is divided into two mutually independent subgraphs, each having at least two vertices. We prove the following: if removing any one or two vertices of a graph always results in a switching separable subgraph, then the graph itself is switching separable. On the other hand, for every odd order greater than 4, there is a graph that is not switching separable, but removing any vertex always results in a switching separable subgraph. We show a connection with sim…

2011-03-31math.CO