FG1 Seminar talk

2018-10-19 (10:15)
Felix Schiffer
Equivalence of loop conditions

Abstract:
In a given algebra (or variety) certain identities, so called Maltsev conditions, do or do not hold. A special case of them, given only by a single identity, are called loop conditions. A loop condition implies a second one, if in every variety in which the first one holds also the second one does. An elegant way to show these implications uses the special form of these identities (which can be interpreted as a digraph) and digraph homomorphisms.

In this talk I will present some results from the paper "Loop conditions" by Miroslav Olšák in which he used the above mentioned strategy to show that there are exactly three equivalent classes of loop conditions given by undirected graphs.