Biquasigroups linear over a group
We determine the structure of biquasigroups (Q,^,*) satisfying varations of Polonijo's Ward double quasigroup identity (x^z)*(y^z)=x*y, including those that are linear over a group.
math.GR↗
arXiv subjects
Robert A. R. Monzo
Publications and source records attributed to Robert A. R. Monzo.
The structure of idempotent translatable quasigroups
We prove the main result that a groupoid of order n is an idempotent k-translatable quasigroup if and only if its multiplication is given by x.y = (ax+by)(mod n), where a+b = 1(mod n), a+bk = 0(mod n) and (k,n)= 1. We describe the structure of various types of idempotent, k-translatable quasigroups, some of which are connected with affine geometry and combinatorial algebra, and their parastrophes. We prove that such parastrophes are also idempotent, translatable quasigroups and determine when they are of the same type as the original quasigroup. In addition, we find several different necessary and sufficient conditions making a k-translatable quasigroup quadratical.
math.RA↗
Translatability and translatable semigroups
The concept of a k-translatable groupoid is explored in depth. Some properties of idempotent k-translatable groupoids, left cancellative k-translatable groupoids and left unitary k-translatable groupoids are proved. Necessary and sufficient conditions are found for a left cancellative k-translatable groupoid to be a semigroup. Any such semigroup is proved to be left unitary and a union of disjoint copies of cyclic groups of the same order. Methods of constructing k-translatable semigroups that are not left cancellative are given.
math.RA↗
Translatable quadratical quasigroups
The concept of a k-translatable groupoid is introduced. Those k-translatable quadratical quasigroups induced by the additive group of integers modulo m, where k<40, are listed for m<1200. The fine structure of quadratical quasigroups is explored in detail and the Cayley tables of quadratical quasigroups of orders 5, 9, 13 and 17 are produced. All but those of order 9 are k-translatable, for some k. Open questions and thoughts about future research in this area are given.
math.RA↗