r- ортогональные квазигруппы. I
Semiheaps are ternary generalisations of involuted semigroups. The first kind of semiheaps studied were heaps, which correspond closely to groups. We apply the radical theory of varieties of idempotent algebras to varieties of idempotent semiheaps. The class of heaps is shown to be a radical class, as are two larger classes having no involuted semigroup counterparts. Radical decompositions of various classes of idempotent semiheaps are given. The results are applied to involuted I-semigroups, leading...
In a recent paper, those quasigroup identities involving at most three variables and of “length” six which force the quasigroup to be a loop or group have been enumerated by computer. We separate these identities into subsets according to what classes of loops they define and also provide humanly-comprehensible proofs for most of the computer-generated results.
Criteria of recursive differentiability of quasigroups are given. Complete recursive codes which attains the Joshibound are constructed using recursively differentiable -ary quasigroups.
In an absolute space with congruence there are line reflections and point reflections. With the help of point reflections one can define in a natural way an addition + of points which is only associative if the product of three point reflection is a point reflection again. In general, for example for the case that is a linear space with hyperbolic incidence structure, the addition is not associative. is a K-loop or a Bruck loop.
Two suitable composition laws are defined in a regular permutation set in order to find new characterizations of some important classes of loops.
We deal with two types of buildups of 3-configurations: a generating buildup over a given edge set and a regulated one (according to maximal relative degrees of vertices over a penetrable set of vertices). Then we take account to minimal generating edge sets, i.e., to edge bases. We also deduce the fundamental relation between the numbers of all vertices, of all edges from edge basis and of all terminal elements. The topic is parallel to a certain part of Belousov' “Configurations in algebraic...
A K-loop or Bruck loop is a Bol loop with the automorphic inverse property. An overview of the most important theorems on K-loops and some of their relatives, especially Kikkawa loops, is given. First, left power alternative loops are discussed, then Kikkawa loops are considered. In particular, their nuclei are determined. Then the attention is paid to general K-loops and some special classes of K-loops such as 2-divisible ones. To construct examples, the method of derivation is introduced. This...
This is a survey of the results obtained by K. Głazek and his co-workers. We restrict our attention to the problems of axiomatizations of n-ary groups, classes of n-ary groups, properties of skew elements and homomorphisms induced by skew elements, constructions of covering groups, classifications and representations of n-ary groups. Some new results are added too.
Given a complete and atomic Boolean algebra B, there exists a family taugamma of triangular norms on B such that, under the partial ordering of triangular norms, taugamma is a Boolean algebra isomorphic to B, where gamma is the set of all atoms in B. In other words, as we have shown in this note, every complete and atomic Boolean algebra can be represented by its own triangular norms. What we have not shown in this paper is our belief that taugamma is not unique for B and that, for such a representation,...