Infinite-Dimensional Quasigroups of Finite Orders

V. N. Potapov

Matematičeskie zametki, Tome 93 (2013) no. 3, pp. 457-465

Résumé

Let $\Sigma$ be a finite set of cardinality $k>0$, let $\mathbb{A}$ be a finite or infinite set of indices, and let $\mathcal{F}\subseteq\Sigma^\mathbb{A}$ be a subset consisting of finitely supported families. A function $f\colon\Sigma^\mathbb{A}\to\Sigma$ is referred to as an $\mathbb{A}$-quasigroup (if $|\mathbb{A}|=n$, then an $n$-ary quasigroup) of order $k$ if $f(\overline{y})\neq f(\overline{z})$ for any ordered families $\overline{y}$ and $\overline{z}$ that differ at exactly one position. It is proved that an $\mathbb{A}$-quasigroup $f$ of order $4$ is separable (representable as a superposition) or semilinear on every coset of $\mathcal{F}$. It is shown that the quasigroups defined on $\Sigma^\mathbb{N}$, where $\mathbb{N}$ are positive integers, generate Lebesgue nonmeasurable subsets of the interval $[0,1]$.

Détail

Keywords: $n$-ary quasigroup, separable quasigroup, Lebesgue nonmeasurable sets, semilinear quasigroup, Boolean function.

Bibliographie

[1] V. D. Belousov, $n$-Arnye kvazigruppy, Shtiintsa, Kishinev, 1972 | MR | Zbl

[2] V. N. Potapov, D. S. Krotov, “Asimptotika chisla $n$-kvazigrupp poryadka 4”, Sib. matem. zhurn., 47:4 (2006), 873–887 | MR | Zbl

[3] A. V. Cheremushkin, “Kanonicheskoe razlozhenie $n$-arnykh kvazigrupp”, Issledovanie operatsii i kvazigrupp, Matem. issledovaniya, 102, Shtiintsa, Kishinev, 1988, 97–105 | MR | Zbl

[4] V. N. Potapov, “O dopolnyaemosti chastichnykh $n$-kvazigrupp poryadka 4”, Matem. tr., 14:2 (2011), 147–172 | MR

[5] D. S. Krotov, “On reducibility of $n$-ary quasigroups”, Discrete Math., 308:22 (2008), 5289–5297 | DOI | MR | Zbl

[6] D. S. Krotov, V. N. Potapov, “$n$-Ary quasigroups of order $4$”, SIAM J. Discrete Math., 23:2 (2009), 561–570 | DOI | MR | Zbl