Tomasz Brzeziński (Swansea)

An algebraic structure is a set with operations (functions from Cartesian powers of the set to the set). Typical and most widespread across mathematics are systems such as a semigroup, monoid, group, ring, field, associative algebra, vector space or module. In this lecture course we will revisit these well-known systems and look at them from a universal algebra perspective, as well as study some simple algebraic systems which have recently gained prominent position in algebra and topology such as braces, racks or quandles (sets with two operations interacting with each other in prescribed ways). In particular we will explore a little known fact (first described 100 years ago by Pruefer and Baer) that one can give a definition of a group without requesting existence of the neutral element and inverses by using a ternary rather than a binary operation (i.e. an operation with three rather than the usual two inputs). A set with such a suitable ternary operation is known as a heap. By picking an element in a heap, the ternary operation is reduced to the binary group operation, for which the chosen element is the neutral element (the resulting group is known as a retract). We will study properties and examples of heaps and relate them to the properties of corresponding groups (retracts). Next we will look at heaps with an additional binary operation that distributes over the ternary heap operation, known as trusses, relate them to both rings and braces, and study their properties.