Understanding Interaction is a book that explores the interaction between people and
technology, in the broader context of the relations between the human made and the natural …

We describe a large-scale project in applied automated deduction concerned with the
following problem of considerable interest in loop theory: If Q is a loop with commuting inner …

Quasigroups and loops are studied in four research areas; algebra, geometry, topology and
combinatorics. We shall be discussing them in the direction of algebra. Let G be a non …

A $ k\times n $ Latin rectangle $ L $ is a $ k\times n $ array, with symbols from a set of
cardinality $ n $, such that each row and each column contains only distinct symbols. If $ k …

The Sylow theorems hold for nite extra loops, as does P. Hall's theorem for nite solvable
extra loops. Every nite nonassociative extra loop Q has a nontrivial center, Z (Q) …

C-loops are loops satisfying $ x (y (yz))=((xy) y) z $. They often behave analogously to
Moufang loops and they are closely related to Steiner triple systems and combinatorics. We …

We study conjugacy closed loops (CC-loops) and power-associative CC-loops (PACC-
loops). If Q is a PACC-loop with nucleus N, then Q/N is an abelian group of exponent 12; if in …

BUCHSTEINER LOOPS Page 1 International Journal of Algebra and Computation Vol. 19, No.
8 (2009) 1049–1088 c© World Scientific Publishing Company BUCHSTEINER LOOPS …

C-loops are loops satisfying the identity x (y· yz)=(xy· y) z. We develop the theory of
extensions of C-loops, and characterize all nuclear extensions provided the nucleus is an …

This monograph is a compilation of results on some new Smarandache concepts in
Smarandache; groupoids, quasigroups and loops, and it pin points the inter-relationships …