Near domains as linear pseudo ternaries
On any involuted semigroup , define the ternary operation for all . The resulting ternary algebra satisfies the para-associativity law , which defines the variety of semiheaps. Important subvarieties include generalised heaps, which arise from inverse semigroups, and heaps, which arise from groups. We consider the intermediate variety of near heaps, defined by the additional laws and . Every Clifford semigroup is a near heap when viewed as a semiheap, and we show that the Clifford semigroup...
In [3], the present author used a binary operation as a tool for characterizing geodetic graphs. In this paper a new proof of the main result of the paper cited above is presented. The new proof is shorter and simpler.
A new mathematical theory, non-associative geometry, providing a unified algebraic description of continuous and discrete spacetime, is introduced.
A loop of order possesses at least associative triples. However, no loop of order that achieves this bound seems to be known. If the loop is involutory, then it possesses at least associative triples. Involutory loops with associative triples can be obtained by prolongation of certain maximally nonassociative quasigroups whenever is a prime greater than or equal to or , an odd prime. For orders the minimum number of associative triples is reported for both general and involutory...
Subdirectly irreducible non-idempotent groupoids satisfying and are studied.
T. Kepka, M.K. Kinyon and J.D. Phillips: The structure of F-quasigroups, J. Algebra 317 (2007), no. 2, 435–461 developed a connection between F-quasigroups and NK-loops. Since NK-loops are contained in the variety generated by groups and commutative Moufang loops, a question that arises is whether or not there exists a nonsplit NK-loop and likewise a nonsplit F-quasigroup. Here we prove that there do indeed exist nonsplit F-quasigroups and show that there are exactly four corresponding nonsplit...
Let be a loop. If is such that for each standard generator of Inn, then does not have to be a normal subloop. In an LC loop the left and middle nucleus coincide and form a normal subloop. The identities of Osborn loops are obtained by applying the idea of nuclear identification, and various connections of Osborn loops to Moufang and CC loops are discussed. Every Osborn loop possesses a normal nucleus, and this nucleus coincides with the left, the right and the middle nucleus. Loops that...
It is explicitly shown how the Lie algebras can be associated with the analytic Moufang loops. The resulting Lie algebra commutation relations are well known from the theory of alternative algebras.