Digital Commons Network^™

Boolean And Profinite Loops, Benjamin Andrew Phillips

Dissertations

A Quasigroup G consists of a set G together with a binary operation ∗ : G × G → G such that, for any elements a, b ∈ G there are unique solutions to the equations a ∗ x = b and y ∗ a = b within G. A loop is a quasigroup which also contains a 2-sided identity element. More heuristically, loops are essentially non-associative groups. However, without an associative binary operation, some of the familiar properties found in groups, such as 2-sided inverse, need not be present in loops.

The study of quasigroups and loops emerges …