Belousov equations on ternary quasigroups

Summary The study of Belousov equations in binary quasigroups was initiated by V. D. Belousov. Krape and Taylor showed that every finite set of Belousov equations was equivalent to a single Belousov equation which was in some sense no longer than any single member of the set. This led to the concept of an irreducible Belousov equation, that is one which is not equivalent to an equation with fewer variables. Krape and Taylor determined the structure of the irreducible equations by establishing a correspondence between them and specific polynomials overZ ₂.In this paper it is shown that the structure of the ternary equations is richer than the binary counterpart, although the main result is similar to the binary case in as far as a system of ternary Belousov equations is equivalent to a single Belousov equation which is no longer than any member of the system or the system is equivalent to a pair of equations each with three variables.     

Generalized linear functional equations on almost quasigroups I: Equations with at most two variables

Summary. We define almost quasigroups, a new class of groupoids which generalize quasigroups, and prove several representation theorems for them, essentially reducing them to loops (see Theorems 1, 2 and 9). Some well-known theorems on quasigroups are generalized, notably the theorems of A. A. Albert (Theorems 8, 9 and 10).¶We also define the normal form of equations and show that every generalized linear functional equation Eq on almost quasigroups is equivalent to a system consisting of several equations with at most one variable each, and one equation in the normal form, with the same number of variables as Eq. Eventually, the general solution of the generalized linear functional equations on almost quasigroups with at most two variables is given.¶We plan to solve other generalized linear functional equations in subsequent papers.     

On the construction of cyclic quasigroups

Let F(x,y) be the free groupoid on two generators x and y. Define an infinite class of words in F(x,y) by w₀(x,y) = x,w₁(x,y) = y and w_i+2(x,y) = w_i(x,y)w_i+1(x,y). An identity of the form w_3n(x,y) = x is called a cyclic identity and a quasigroup satisfying a cyclic identity is called a cyclic quasigroup. The most extensively studied cyclic quasigroups have been models of the identity y(xy) = x. The more general notion of cyclic quasigroups was introduced by N.S. Mendelsohn. In this paper a new construction for cyclic quasigroups is given. This construction is useful in constructing large numbers of nonisomorphic quasigroups satisfying a given cyclic identity or a consequence of a cyclic identity. The construction is based on a generalization of A. Sade's singular direct product of quasigroups.     

On semi-symmetric quasigroups

Aequationes mathematicae -     

On the regularization of functional equations

Summary A calculus is proposed and applied to a number of examples by which distribution solutions of nonlinear functional equations can be defined without introducing specific multiplications of distributions.Herrn Prof. Dr. C. Schmieden zum 65. Geburtstag gewidmet     

On semi-planar Steiner quasigroups

A Steiner triple system (briefly ST) is in 1-1 correspondence with a Steiner quasigroup or squag (briefly SQ) [B. Ganter, H. Werner, Co-ordinatizing Steiner systems, Ann. Discrete Math. 7 (1980) 3-24; C.C. Lindner, A. Rosa, Steiner quadruple systems: A survey, Discrete Math. 21 (1979) 147-181]. It is well known that for each n≡1 or 3 (mod 6) there is a planar squag of cardinality n [J. Doyen, Sur la structure de certains systems triples de Steiner, Math. Z. 111 (1969) 289-300]. Quackenbush expected that there should also be semi-planar squags [R.W. Quackenbush, Varieties of Steiner loops and Steiner quasigroups, Canad. J. Math. 28 (1976) 1187-1198]. A simple squag is semi-planar if every triangle either generates the whole squag or the 9-element squag. The first author has constructed a semi-planar squag of cardinality 3n for all n>3 and n≡1 or 3 (mod 6) [M.H. Armanious, Semi-planar Steiner quasigroups of cardinality 3n, Australas. J. Combin. 27 (2003) 13-27]. In fact, this construction supplies us with semi-planar squags having only nontrivial subsquags of cardinality 9. Our aim in this article is to give a recursive construction as n→3n for semi-planar squags. This construction permits us to construct semi-planar squags having nontrivial subsquags of cardinality >9. Consequently, we may say that there are semi-planar (or semi-planar ) for each positive integer m and each n≡1 or 3 (mod 6) with n>3 having only medial subsquags at most of cardinality 3^ν (sub-) for each ν∈{1,2,…,m+1}.     

On linear representations of quasigroups

For homotopies of quasigroups, an analog of the fundamental theorem on homomorphisms does not hold in general. In this paper, we consider two approaches that allow one to obtain an analog of this theorem: the introduction of strict homotopies and the move from quasigroups to three-sorted quasigroups.     

On the topological classification of dynamic equations on time scales

This paper considers the topological classification of non-autonomous dynamic equations on time scales. In this paper we show, by a counterexample, that the trivial solutions of two topologically conjugated systems may not have the same uniform stability. This is contrary to the expectation that two topologically conjugated systems should have the same topological structure and asymptotic behaviors. To counter this mismatch in expectation, we propose a new definition of strong topological conjugacy that guarantees the same topological structure, and in particular the same uniform stability, for the corresponding solutions of two strongly topologically conjugated systems. Based on the new definition, a new version of the generalized Hartman–Grobman theorem is developed. We also include some examples to illustrate the feasibility and effectiveness of the new generalized Hartman–Grobman theorem.     

On the oscillation of functional differential equations

In this paper we present certain criteria for the oscillation of functional differential equations of the form where δ = ±1, p, g: [t₀, ∞) → IR, H: [t₀,∞) × IR → IR are continuous, p(t) ≥ 0 for t ≥ t₀ and lim_t → ∞ g(t) — ∞. We like to point out that condition of the form will not be employed.