Quasigroups, Loops, and Associative Laws
暂无分享,去创建一个
Abstract We investigate the question of which weakenings of the associative law imply that a quasigroup is a loop. In particular, we completely settle the question for all laws of “Bol–Moufang type” (those written with four variables, three of which are distinct).
[1] Jonathan D. H. Smith,et al. Quasigroups and loops : theory and applications , 1990 .
[2] R. H. Bruck. A Survey of Binary Systems , 1971 .
[3] W. McCune. A Davis-Putnam program and its application to finite-order model search: Quasigroup existence problems , 1994 .
[4] William McCune,et al. OTTER 3.0 Reference Manual and Guide , 1994 .